|Playlist||schedule page slides as PDF|
Typed Recursion 1 — letrec (3:45)
Type checking recursive functions. See typed-letrec.rkt.
Typed Recursion 2 — variants (5:25)
Type checking datatypes with variants.
The video and slides for this part use
” pairs, while
rest. The earlier slides/videos really should be changed to be consistent with this video, so that
rest are used only for lists, as opposed to raw pairs.
Examples for interp with let-type and type-case.
Typed Recursion 4 — interp (3:21)
Implementing interp with let-type and type-case. See type-case.rkt.
Examples for typecheck with let-type and type-case.
Implementing typecheck with let-type and type-case. See type-case.rkt, again.