/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

 blog.polybdenum.com
Subtype Inference by Example Part 2: Parsing and Biunification | Considerations on Codecrafting
| | slightknack.dev
Mirror: Hindley Milner Type Inference - Isaac Clayton
3.2 parsecs away

Travel
| | A cozy little corner of the web.
| | thume.ca
Writing a Compiler in Rust - Tristan Hume
3.2 parsecs away

Travel
| | [AI summary] This blog post by Tristan Hume details his experience writing a compiler for a course project using Rust. He discusses various aspects of the project including the use of Rust's powerful enums and pattern matching, handling variable and type resolution, reference counting with Rc, code generation for x86 assembly, and the use of usercorn to run Linux binaries on macOS. The post also reflects on the challenges and benefits of using Rust for such a project, comparing it with other languages and design decisions.
| | gilmi.me
m.me - Giml's type inference engine
4.0 parsecs away

Travel
| | m.me - Giml's type inference engine
| | brianmckenna.org
JavaScript as a Functional Language - BAM Weblog
16.8 parsecs away

Travel
|