🧬 Functional Programming

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

Typeclassopedia
wiki.haskell.org·2d·
Discuss: Hacker News
🔤Type Theory
Functional Programming in Python: Leveraging Lambda Functions and Higher-Order Functions
kdnuggets.com·12h
⬆️Lambda Lifting
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
Song recommendations with F# free monads
blog.ploeh.dk·1d
🔗Functional Compilers
On systematic construction of correct logic programs
arxiv.org·1d
⚖️Hoare Logic
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·15h
🎯Gradual Typing
Manuel M T Chakravarty: Functional data structures in Swift
justtesting.org·3d
🔒Type Safety
Implementing Forth in Go and C
eli.thegreenplace.net·29m
🔗Concatenative Programming
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·9h·
Discuss: Hacker News
🧮Algebraic Datatypes
Teaching programming languages
kmjn.org·1d
💻Programming languages
Paradigms of Intelligence Team
github.com·14h·
Discuss: Hacker News
🔲Cellular Automata
Structural vs. Mathematical “Under” (2023)
dyalog.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
Learning JavaScript Promises the Feynman Way (With AI Assistance)
jakeworth.com·14h·
Discuss: Hacker News
⚔️Lean Tactics
Applying SOLID Principles in Go
dev.to·4h·
Discuss: DEV
💧Liquid Types
Is Math Discovered or Invented?
curtispoe.org·21h
🔲Proof Irrelevance
Sets & Heaps in Haskell and Rust
mmhaskell.com·1d
🔒Type Safety
busy beaver function
ncatlab.org·3d
⚔️Lean Theorem
CL-JSON Ambiguity
funcall.blogspot.com·3d·
Discuss: www.blogger.com
🧠Lisp Dialects
Trying to get error backtraces in rust libraries right
iroh.computer·11h·
Discuss: Lobsters, Hacker News, r/rust
🔒Linear Types
Positional Embeddings in Transformers: A Math Guide to RoPE & ALiBi
towardsdatascience.com·14h
📐Geometric Hashing