~lobsters | Bookmarks (3)

You may have heard of the "The One Billion Row Challenge" (1brc) and in case you don't, go checkout Gunnar Morlings's 1brc repo. I got sucked in because two of my colleagues have entered the competition and are on the leaderboard. PHP is not known for its speed, but as I am working on the PHP profiler I thought I gi...

I'm going to teach you the basics of Lambda Calculus really quickly. Lambda Calculus is deep. But I'm covering only the fundamentals here. What is Lambda Calculus? Lambda Calculus (LC) is a model to describe computations. LC describes the syntax and semantics. Syntax A lambda expression (also known as lambda term) c...

I've been using Haskell in production for 8 years. I've been using OCaml in production for 8 months. It's time to compare those two languages. Syntax Haskell probably has the most elegant syntax across all languages I've seen (maybe Idris is better because dependently typed code can become ugly in Haskell really qui...