/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
| | 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
| | 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.
| | 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...
| | www.morling.dev
Getting Started With Java Development in 2023 - An Opinionated Guide - Gunnar Morling
25.2 parsecs away

Travel
| 27 years of age, and alive and kicking?-?The Java platform regularly comes out amongst the top contenders in rankings like the TIOBE index. In my opinion, rightly so. The language is very actively maintained and constantly improved; its underlying runtime, the Java Virtual Machine (JVM), is one of, if not the most, advanced runtime environments for managed programming languages. There is a massive eco-system of Java libraries which make it a great tool for a large number of use cases, ranging from comman...