Functional Programming

Feeds to Scour
SubscribedAll
Scoured 210 posts in 7.1 ms

Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones

 🔬Static Analysis  Content type: News
developing.dev·

Issue 527

 🔤Type Theory
haskellweekly.news·

Tarides

 🌐Distributed Systems  Content type: Code
github.com·

A line-by-line translation of the OCaml runtime from C to Rust

 🦀Rust  Content type: Discussion
discuss.ocaml.org··Lobsters

Kan Extensions in Haskell

 🔤Type Theory

Lua.ex: Sandboxed Lua 5.3 on the Beam, Built for AI Agents

 🔨Compiler Design
deflua.com··Hacker News

clj.rs Clojure implemented on Rust

 ⚙️Systems Programming

Implementing Monads with Async Zig

 🦀Rust  Content type: Blog

Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs

 🔤Type Theory
lix.polytechnique.fr·

Stackage Blog: Stackage talk at Haskell Ecosystem Workshop 2026

 🔬Static Analysis  Content type: Blog
stackage.org·

quasitriangular Hopf 2-algebra in nLab

 Formal Verification
ncatlab.org·

Fine tuning classification in Elixir

 🗄️Vector Databases
elixirstatus.com·

Credo Language Server and the birth of elixir-tools

 🔨Compilers
mitchellhanberg.com·

Curved DG Modules and Matrix Factorizations from Noncommutative Quadric Hypersurfaces

 🔤Type Theory  Content type: Academic
arxiv.org·

15-150: Principles of Functional Programming

 🔤Type Theory

Records in Production: Where They Shine and Where They Silently Fail

 🚀Performance
javacodegeeks.com·

Elixir v1.20 released: now a gradually typed language

 🦀Rust  Content type: Discussion

307: Trust Nothing, Sort Everything

 🌐Distributed Systems  Content type: Audio

Still wishing for enums in Go. And now, after looking at a piece of code feating optional pointer types, I wished Go had unions too. In fact, Go should just ...

 🔤Type Theory
lmika.org·

Poor Man's Time Machine: Lazy Evaluation in JavaScript and Haskell

 🦀Rust  Content type: Blog

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help