🧬 Functional Programming

Immutability, Pattern Matching, Type Theory, Pure Functions, Type Systems, Monads, Haskell, OCaml, Immutability, Pure Functions, Monads, Agda

Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·1d·
Discuss: Hacker News
💻Programming languages
Efficient Polynomial Identity Testing Over Nonassociative Algebras
arxiv.org·3h
🧮Algebraic Datatypes
libvips v8.18.0 Function Pointer Type Confusion in libvips Callback Dispatch
seclists.org·4h
🦀Rust Verification
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·22h
🔗Topological Sorting
ECMAScript TC39 proposal-pattern-matching
github.com·17h·
Discuss: Hacker News
🔤Type Theory
What is Algebraic about Algebraic Effects?
interjectedfuture.com·15h
✨Algebraic Effects
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·16h·
Discuss: www.blogger.com
🔗Lisp
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·13h·
Discuss: Hacker News
λLambda Encodings
Linkage
11011110.github.io·15h
📐Linear Algebra
From Spectacular Failure to Production Success: How I Built Secondary Mind with a Custom Kiro Methodology
dev.to·23h·
Discuss: DEV
🔌Interface Evolution
Algebraic Types are not Scary
blog.aiono.dev·21h·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
Show HN: I wrote a book: The Elements of Code
news.ycombinator.com·16h·
Discuss: Hacker News
🛠Language Design
The pirate-based logic of Rust shared references
ais523.me.uk·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Borrowing
Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.com·3d·
Discuss: Hacker News
🔤Type Theory
How to Debug Chez Scheme Programs (2002)
scheme.com·10h·
Discuss: Hacker News
📜Proof Carrying Code
What Does -> Mean in Python Function Definitions?
realpython.com·17h
λLambda Formalization
Haskell Interlude: 70: Phil Wadler
haskell.foundation·2d
🔤Type Theory
Asynchronous Exceptions in Practice (2017)
simonmar.github.io·12h·
Discuss: Hacker News
🧠Program Logic
Semantic Dictionary Encoding
falvotech.com·16h·
Discuss: Hacker News
🌀Brotli Dictionary
ISO C++ committee has a new chief sheep herder
shape-of-code.com·1d
📜Proof Carrying Code