/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

degoes.net
| | lambdaland.org

This is the story of how I solved a problem (ugly, cumbersome boilerplate code) that I ran into while writing a program in a functional language (Elixir). Functional programming languages often pride themselves on expressiveness and elegance; but occasionally they are not amenable to the most obvious solutions to the problems we wish to solve. In this case, the simplest solution to my problem would have been to have a global mutable variable. But no one likes those.
3.7 parsecs

Travel
| |
| | argumatronic.com

Occasional writings about Haskell.
4.1 parsecs

Travel
| |
| | mmhaskell.com

[AI summary] This article compares Functional Programming and Object Oriented Programming paradigms, discussing their key differences, strengths, weaknesses, and how Haskell fits into the functional paradigm.
4.1 parsecs

Travel
| |
| | www.jeremykun.com

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.
16.9 parsecs

Travel
|