Loon: A Modern LISP with Invisible Types, Algebraic Effects, and Ownership Without Annotations
By
surprisetalk
An everything bagel for the brain. Substantive, layered, well-seasoned.
Summary
Loon is a modern functional programming language based on LISP that features invisible type inference (Hindley-Milner), safe ownership semantics without annotations, and algebraic effects. The language includes functional programming constructs like composition, pipes, pattern matching, and macros, while eliminating the need for explicit type annotations through type inference.
Key quotes
· 5 pulledA functional language with invisible types, safe ownership, and algebraic effects.
Hindley-Milner inference eliminates type annotations.
Loon is a modern LISP with invisible types, algebraic effects, and ownership without annotations.
composition[fn compose [f g] [fn [x] [f [g x]]]]
ownership[let items #[1 2 3]] [let sorted [sort items]] ; items moved to sorted
You might also wanna read
Discovering Functional Programming Preferences While Implementing Advent of Code in AWK
The author shares their experience implementing an Advent of Code problem in AWK and discovering their preference for functional programming
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 ago
Rust is not for every project: A critical look at the hype behind Amazon, Cloudflare, and Discord's adoption
The article critically examines the hype around Rust programming language, arguing that while Rust has strengths in safety and performance,
kerkour.com·18d ago
A Grounded Conceptual Model for Ownership Types in Rust Programming
This article presents a grounded conceptual model for ownership types in Rust, the programming language known for memory safety without garb
cacm.acm.org·1mo ago
Dynamic Borrow-Checking in a Toy Programming Language: Implementing Rust-like Memory Safety Without Static Types
This article presents a demonstration of a toy programming language that implements borrow-checking without static type-checking. The langua
scattered-thoughts.net·1mo ago