caml rider
Original rap song, lyrics by Happy, performance by Suno. Enjoy!
Maybe it’s optional¹, but the result is clear
Either I work with int lists or lazy Integers² here
Maybe it’s optional, but the result is clear
Either I work with int lists or lazy Integers here
Riding dunes on the back of a caml³
Spot an oasis, some shady cabal⁴
Backpacks stacked high with their trashy code around
Trigger minor collection⁵, light up my Camel and bounce
Calmly weaving caml code, complexity tamed
Python’s gettin’ pretty painful, time to reshape
Grab it, twist it in a pretzel, oops, the reptile’s dead
My soul’s unscathed, purity⁶ won in the end
Time to chill, I lean on a palm tree⁷
Isabelle’s⁸ beside me, living the dream
My expression’s evaluation
Depends in type system validation⁹
I’m a menace in the field of effects¹⁰, architect of connects
Can’t delimit me¹¹, watch me shift and reset¹²
Fat stacks¹³ get cut up then linked back together
One-shot’s¹⁴ all I need, your constraints mean nothing
Footnotes
¹ Haskell’s Maybe vs OCaml’s option types
² Haskell’s Either vs OCaml’s result types; int list vs lazy Integer evaluation
³ OCaml (pronounced “O-Camel”)
⁴ Poorly designed code/libraries
⁵ OCaml’s garbage collection has minor and major collection cycles
⁶ Functional programming purity (no side effects)
⁷ LEAN theorem prover (leaning on palm tree)
⁸ Isabelle/HOL theorem prover
⁹ Dependent types and type checking
¹⁰ Algebraic effects and effect systems
¹¹ Delimited continuations
¹² Shift/reset operators in continuation-based programming
¹³ Call stacks
¹⁴ One-shot continuations