Outer Web | Explore

/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
\|	\|	ruudvanasseldonk.com A type system for RCL: Introduction I am adding a type system to RCL, my configuration language. In part 1, I explain what I want from the type system.	3.1 parsecs Travel
\|	\|
\|	\|	journal.infinitenegativeutility.com Leaving Haskell behind - Infinite Negative Utility For almost a complete decade-starting with discovering Haskell in about 2009 and right up until switching to a job where I used primarily...	3.3 parsecs Travel
\|	\|
\|	\|	blog.aria.ai Why Use Flow? An introduction to and explanation of the benefits of static typing in JavaScript	2.8 parsecs Travel
\|	\|
\|	\|	berk.es I am a webdeveloper (using Ruby, Rails and other Open Source)	19.3 parsecs Travel
\|