An almost baked video, but now enhanced. Examples shown: github.com/Edu... Yes yes ... wikipedia en.wikipedia.o... Social media stuff: / eduardorfs / theeduardorfs
I decided for my dream programming language I want dependent types. This video helped me understand further, corrected misunderstandings and made me re-evaluate my perspective. Thank you! Do you have free resources on Coq? The fact it was made in OCaml makes me want to write my language in OCaml but neither her nor there. 😂
this guy disappears and then comes back with a banger (btw we need books about these topics to read further)
Just because you asked boss.
Types and Programming Languages
Advanced Topics in Types and Programming Languages
Both by Pierce.
I decided for my dream programming language I want dependent types. This video helped me understand further, corrected misunderstandings and made me re-evaluate my perspective. Thank you!
Do you have free resources on Coq? The fact it was made in OCaml makes me want to write my language in OCaml but neither her nor there. 😂
Have you ever tried Lean Prover?
Which VSCode plugin do you used that gives you inline error messages?
Doskya
good content, thank you
First
Cool! I'm just a Lisper but I've been thinking about how I could introduce types to my programs.
the little typer/prover
@@reycorbie3581 Got both of them! :)