/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

 typesanitizer.com
On the purported benefits of effect systems
| | lwn.net
The Koka programming language [LWN.net]
2.8 parsecs away

Travel
| | Statically typed programming languages can help catch mismatches between the kinds of values a [...]
| | macoy.me
Cakelisp: a programming language for games
3.1 parsecs away

Travel
| | [AI summary] This is a comprehensive overview of Cakelisp, a programming language designed to enhance developer productivity while maintaining high performance. The language combines powerful code generation, modification, and a built-in build system to streamline the development process. It emphasizes trust in the developer's ability to create programs efficiently, while also providing tools for complex project management and optimization.
| | xvw.lol
xvw.lol - Why I chose OCaml as my primary language
2.8 parsecs away

Travel
| | A detailed explanation of why I chose OCaml as the 'default' programming language for every project.
| | healeycodes.com
A Custom WebAssembly Compiler - Andrew Healey
23.6 parsecs away

Travel
| Making my programming language 4000x quicker, and adding a static type checker.