/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 www.baturin.org
Introduction to OCaml - Daniil Baturin
| | programmingmadecomplicated.wordpress.com
What are types? Part 1 - Programming, Made Complicated
5.8 parsecs away

Travel
| | There are these things that, depending on your definition, many or all programming languages use: 'types'. There's also a rich mathematical study of types in Type Theory which, along with related disciplines, has many connections to logic and proof. Why? Often, they take the form of explicit 'annotations' to program artefacts, big and small. For...
| | slightknack.dev
Mirror: Hindley Milner Type Inference - Isaac Clayton
2.6 parsecs away

Travel
| | A cozy little corner of the web.
| | healeycodes.com
Creating the Golfcart Programming Language - Andrew Healey
5.2 parsecs away

Travel
| | Writing an interpreter from scratch.
| | tommorris.org
TIL: Emacs Lisp - write a string to a file tommorris.org
19.6 parsecs away

Travel
| Put some Hello World in a file.