/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

 agentultra.com
Agentultra - Designing Boring Software with Functional Programming - Part 1
| | degoes.net
A Glossary of Functional Programming - John A De Goes
2.8 parsecs away

Travel
| | Functional programming has a bit of jargon, but that doesn't have to stop you from understanding core concepts
| | noelwelsh.com
Noel Welsh: What Functional Programming Is, What it Isn't, and Why it Matters
2.6 parsecs away

Travel
| | [AI summary] The post explains functional programming as a hypothesis about software quality centered on local reasoning and composition rather than just language features like immutability, using examples from Scala, TypeScript, and Haskell.
| | henko.net
Functional foundations ยท Henrik Jernevad
2.9 parsecs away

Travel
| | A selection of functional programming concepts that I feel are helpful to all developers.
| | www.jeremykun.com
Universal Properties | Math Programming
16.3 parsecs away

Travel
| Previously in this series we've seen the definition of a category and a bunch of examples, basic properties of morphisms, and a first look at how to represent categories as types in ML. In this post we'll expand these ideas and introduce the notion of a universal property. We'll see examples from mathematics and write some programs which simultaneously prove certain objects have universal properties and construct the morphisms involved.