🧬 Functional Programming

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

Typeclassopedia
wiki.haskell.org·1d·
Discuss: Hacker News
🔤Type Theory
Functional Programming in Python: Leveraging Lambda Functions and Higher-Order Functions
kdnuggets.com·5h
⬆️Lambda Lifting
Guessing Game: Haskell Style
entropicthoughts.com·23h
👑Dependent Haskell
Song recommendations with F# free monads
blog.ploeh.dk·1d
🔗Functional Compilers
On systematic construction of correct logic programs
arxiv.org·17h
⚖️Hoare Logic
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·9h
🎯Gradual Typing
Manuel M T Chakravarty: Functional data structures in Swift
justtesting.org·3d
🔒Type Safety
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·2h·
Discuss: Hacker News
🧮Algebraic Datatypes
Teaching programming languages
kmjn.org·1d
💻Programming languages
Paradigms of Intelligence Team
github.com·8h·
Discuss: Hacker News
🔲Cellular Automata
Structural vs. Mathematical “Under” (2023)
dyalog.com·21h·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
Learning JavaScript Promises the Feynman Way (With AI Assistance)
jakeworth.com·8h·
Discuss: Hacker News
⚔️Lean Tactics
Is Math Discovered or Invented?
curtispoe.org·14h
🔲Proof Irrelevance
Sets & Heaps in Haskell and Rust
mmhaskell.com·1d
🔒Type Safety
Chatting with Unmesh about building language with LLMs
martinfowler.com·7h
💻Programming languages
busy beaver function
ncatlab.org·3d
⚔️Lean Theorem
CL-JSON Ambiguity
funcall.blogspot.com·3d·
Discuss: www.blogger.com
🧠Lisp Dialects
Positional Embeddings in Transformers: A Math Guide to RoPE & ALiBi
towardsdatascience.com·7h
📐Geometric Hashing
Using panic metadata to recover source code information from Rust binaries | cxiao.net
cxiao.net·7h
🦀Rust Macros
The Lobster Programming Language
strlen.com·1d·
Discuss: Hacker News
🔗Concatenative Programming