Explore >> Select a destination

You are here

 lexi-lambda.github.io
Types as axioms, or: playing god with static types
| | 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
| | journal.infinitenegativeutility.com
Leaving Haskell behind - Infinite Negative Utility
3.3 parsecs away

Travel
| | For almost a complete decade-starting with discovering Haskell in about 2009 and right up until switching to a job where I used primarily...
| | paulbutler.org
Paul Butler - Tail Recursion in Python
15.3 parsecs away

Travel
|