Add some notes
This commit is contained in:
parent
c0111e30bc
commit
f3f1dcc0a4
24
TODO.md
24
TODO.md
@ -1,6 +1,30 @@
|
||||
#Typechecking Notes
|
||||
|
||||
(cf. cardelli paper)
|
||||
|
||||
Given a length function def:
|
||||
````
|
||||
fn length(x) {
|
||||
if x.is_null {
|
||||
0
|
||||
} else {
|
||||
succ(length(x.tail))
|
||||
}
|
||||
}
|
||||
````
|
||||
Constraints:
|
||||
.null: List a -> bool
|
||||
.tail: List a -> List a
|
||||
0: Nat
|
||||
succ: Nat -> Nat
|
||||
|
||||
|
||||
|
||||
|
||||
# TODO Items
|
||||
|
||||
-make the REPL more advanced!
|
||||
|
||||
-Plan of attack:
|
||||
-write a visitor pattern for AST
|
||||
-convert AST type to including SourceMap'd wrappers (w/ .into())
|
||||
|
Loading…
Reference in New Issue
Block a user