Here is a brief list of terms translated into Danish.
It is intended as an aid to help native Danish speakers understand the
involved concepts.

QuickCheck terms:

- test:	     teste eller afprøve
- property:  egenskab
  	     f.eks. hvilken egenskab skal funktionen f have?
- generate:  generere (eller producere)
- arbitrary: tilfældig
- shrink:    krympe eller minimere
- classify:  klassificere, gruppere eller inddele


Functional programming (and programming language) terms:

- interpreter: fortolker
- compiler:    oversætter
- library:     bibliotek
- language:    sprog
- expression:  udtryk
- state:       tilstand
- type:	       type
- declaration: erklæring
- recursive:   rekursiv
- integer:     heltal
- float:       flydende kommatal
- string:      streng eller tekststreng
- character:   tegn
- list:	       liste
- pair:	       par
- tuple:       tuppel
- function:    funktion
- argument:    argument
- call:	       kalde
- invoke:      kalde
- parameter:   parameter
- condition:   betingelse
- conditional: betingelsesudtryk (eller betingelsessætning i imperativ programmering)
- iterator:    iterator
- grammar:     grammatik
- infer:       udlede eller deducere
- assign:      tildele
- assignment:  tildeling
- bind:	       binde eller associere
- binding:     binding eller associering
- concatenate: sammensplejse
- loop:	       løkke
- default:     standard
- label:       navngive
- exception:   undtagelse
- verbose:     ordrig
- polymorphic: polymorf eller "mange-typet"
- unit:	       enhed
- unit type:   enhedstype
- wildcard:    jokertegn eller "catch-all tilfældet"
- framework:   ramme, skelet eller rammekonstruktion

I would personally not translate the following terms into Danish:
 pattern matching
 exception
 assignment
 pointer
 unit/unit type
 wildcard
 framework