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.…
haskell
15 posts
Coalton via Haskell: Lists and Recursion
(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…
Coalton via Haskell: Functions
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.…
Coalton via Haskell: Prelude
This is the core benefit Coalton brings to Lisp: structured correctness with minimal friction.…
Optimized Sudoku solver- Haskell to Scala
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…
A simple Sudoku solver- Haskell to Scala
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…
On syntax, in Haskell and Lisp
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…
Nit-picking languages
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…
Nit-picking languages
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
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…
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 Miranda, but you can imagine Lisp vs Haske…
Trying out Haskell again
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…