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.…
common lisp
8 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.…
Smelter
tl;dr: a CLI for Coalton scripts I've been working on Smelter: a way to use Coalton for writing shell scripts and small CLI programs. It's an experimental way to get type-safe scripting with…
Allegro Common Lisp
I’ve always been curious about trying different lisp/scheme implementations (will write about that someday). One of these has been Allegro Common Lisp. It’s old, it’s stable, it’s maintained, it’s at…
Simple web programming in Common Lisp (this time in Replit)
Use or fork this Replit instance…
(Untitled)
I agree that Common Lisp a very powerful language, but I can’t live with all that power uncontrollably thrown on me. Common Lisp grossly lacks self-discipline and self-limitation when it’s needed. ht…