/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.ploeh.dk
Types + Properties = Software
| | yotam.net
Why Static Typing ยท Yotam's blog
2.0 parsecs away

Travel
| | A blog about free software and programming
| | blog.samibadawi.com
Languages and Logic: Static vs. Dynamic Functional Languages
2.4 parsecs away

Travel
| | [AI summary] A developer reflects on the trade-offs between static and dynamic typing systems, discussing their experiences with functional languages like Haskell, Scala, and Clojure in contexts ranging from production stability to NLP exploration.
| | ruudvanasseldonk.com
A type system for RCL: Introduction
3.0 parsecs away

Travel
| | I am adding a type system to RCL, my configuration language. In part 1, I explain what I want from the type system.
| | github.com
GitHub - libgit2/libgit2: A cross-platform, linkable library implementation of Git that you can use in your application.
23.9 parsecs away

Travel
| A cross-platform, linkable library implementation of Git that you can use in your application. - libgit2/libgit2