Coalton via Haskell: Pattern Matching
Pattern matching isn't just syntax sugar ... it's the compiler asking "have you thought about this?" Learn how Coalton's match expression ensures you handle every case, with no silent nil or missing branches.…
15 posts
Pattern matching isn't just syntax sugar ... it's the compiler asking "have you thought about this?" Learn how Coalton's match expression ensures you handle every case, with no silent nil or missing branches.…
(being an exploration of structural computation) The Premise I've been thinking about how we learn to process collections. In most languages, we reach for loops first – for, while, the familiar…
Pure functions are the foundation of everything in Coalton. They're predictable, composable, and safe by default. The type signatures aren't red tape: they're guardrails that let you move fast without breaking things.…
This is the core benefit Coalton brings to Lisp: structured correctness with minimal friction.…
Context As hinted at in the first post, I found Abhinav’s posts to be a great source material for learning and (over this weekend) recreation :-) I picked the second post, where the pruning process…
Context I found this excellent blog post by Abhinav Sarkar that lays out, step-by-step, writing a simple Sudoku solver in Haskell, and … it seemed a good idea to translate it, step-by-corresponding-s…
Yes, but not so much simplicity of syntax. I’m misled here by a superficial resemblance between the cultures of Haskell and Lisp. Both cultures are obsessed with mechanically processing code, and ther…
It’s that (too frequent) time again … when I anxiously (and full of fickleness) wonder what language to increase familiarity with. The last year, I learnt quite a bit of common lisp, or atleast enoug…
It's that (too frequent) time again ... when I anxiously (and full of fickleness) wonder what language to increase familiarity with. The last year, I learnt quite a bit of common lisp, or atleast…
Calculating, Scheming, and Paul Graham I came across [this paper] recently, and it challenged some of the thoughts/assumptions that had been building in my mind for a while (it discusses Scheme vs Mi…
I came across [this paper] recently, and it challenged some of the thoughts/assumptions that had been building in my mind for a while (it discusses Scheme vs Miranda, but you can imagine Lisp vs Haske…
Because, you know, every once in a while … Clear out existing stuff rm ~/.ghc ~/.cabal Get basic stuff sudo apt-get update sudo apt-get install ghc cabal-install Set up cabal cabal update cabal…