Comparative Analysis of Small Functional Programming Language Implementations
By
surprisetalk
Hot, fresh, and worth queueing round the block for.
Summary
The article presents a comparative analysis of various small functional programming language implementations, focusing on their features, implementation languages, and characteristics. It examines multiple projects including Hirrolot's CoC, Harrop MiniML, Algorithm W, and others, detailing their source code size, implementation language, support for features like HM type inference, algebraic data types, pattern matching, and compilation targets. The content appears to be a technical reference or comparison chart for programming language enthusiasts and implementers.
Key quotes
· 5 pulledLOC Host HM ADTs Match Cl. Target
Hirrolot's CoC src ~70 OCaml ✗ ✗ ✗ ✓ Interpreter
Harrop MiniML src ~100 OCaml ✗ ✗ ✗ ✗ LLVM → native
Algorithm W src ~300 Haskell ✓ ✗ ✗ ✗ Type checker only
lambda-calculus-hs src ~200–900 Haskell ✗ ✓ ✓ ✓ Interpreter
You might also wanna read
A Formal Proof That Jira Is Turing-Complete via Minsky Machine Implementation
This article provides a formal proof that Jira (Atlassian's project-tracking tool) is Turing-complete by demonstrating how to build a Minsky
A Formal Proof That Jira Is Turing-Complete via Minsky Machine Implementation
This article provides a formal proof that Jira (Atlassian's project-tracking tool) is Turing-complete by demonstrating how to build a Minsky
How Shamir's Secret Sharing Algorithm Enables Threshold Cryptography
This article explains Adi Shamir's Secret Sharing algorithm, a cryptographic method published in 1979 that splits a secret into multiple pie
ente.com·6d ago
Implementing Profunctor Equipment in Haskell: A Toy Implementation for Programmers
The article discusses a toy implementation of profunctor equipment in Haskell, building on previous work. The author aims to make the concep
bartoszmilewski.com·15d ago
OCaml-based CCSDS protocol stack successfully deployed in low Earth orbit
A pure-OCaml CCSDS protocol stack (codename Borealis) successfully booted in low Earth orbit on 23 April, running inside DPhi Space's Cluste
gazagnaire.org·16d agoThe History of Pipes, Forks, and Zombies in Unix Systems
This article discusses the history and concept of pipes in Unix systems, focusing on Doug McIlroy's original vision of coupling programs lik