4 ms·
https://cs.uwaterloo.ca/~plragde/flaneries/ https://cs.uwaterloo.ca/~plragde/flaneries/ the 'teach yourself racket' small book covers Hof, Lambdas, pattern matc
by hackermailman 6y ago
https://cs.uwaterloo.ca/~plragde/flaneries/ https://cs.uwaterloo.ca/~plragde/flaneries/ the 'teach yourself racket' small book covers Hof, Lambdas, pattern matching, then you can take his other short course on Agda to learn dependent types.
Or try ocaml https://www.cs.cornell.edu/courses/cs3110/2020sp/textbook/ https://www.cs.cornell.edu/courses/cs3110/2020sp/textbook/