/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

 lexi-lambda.github.io
Types as axioms, or: playing god with static types
| | blog.aria.ai
Why Use Flow?
2.8 parsecs away

Travel
| | An introduction to and explanation of the benefits of static typing in JavaScript
| | ruudvanasseldonk.com
A type system for RCL: Introduction
3.1 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.
| | degoes.net
A Glossary of Functional Programming - John A De Goes
2.9 parsecs away

Travel
| | Functional programming has a bit of jargon, but that doesn't have to stop you from understanding core concepts
| | www.inner-product.com
What Functional Programming Is, What it Isn't, and Why it Matters
17.9 parsecs away

Travel
| The core premise of functional programming, in my opinion, is that local reasoning and composition make for better code. Here I discuss what these terms mean and the benefits they bring.