language test 2

Question 1

let, let*, letrec

Answer 1

let is normal, let* means pay attention to bindings even within let expression and letrec means can call self in defenition

Question 2

tail recursion

Answer 2

compiler fakes iteration. Nothing needs to be done after return.

Question 3

Static Length String

Answer 3

length of the string is fixed

Question 4

Limited Dynamic Length String

Answer 4

size can shrink/grow but fixed max

Question 5

Dynamic Length String

Answer 5

String go brrrr

Question 6

types of array bindings

Answer 6

static (C++ static), fixed stack dynamic (declared c++ arrays), fixed heap dynamic (C++ new array), HEAP-DYNAMIC (everything is dynamic including size).

Question 7

associative array

Answer 7

maps keys to values

Question 8

difference between tuple and record

Answer 8

record is a named tuple

Question 9

union

Answer 9

A type whose variables are allowed to store different type values at different times during execution

Question 10

unification vs instantiation

Answer 10

unification means two rules match and can be merged, instantiation is when X gets replaced with the fact implied