Functional Programming

Feeds to Scour
SubscribedAll
Scoured 213 posts in 11.9 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

Kan Extensions in Haskell

 🔤Type Theory

clj.rs Clojure implemented on Rust

 ⚙️Systems Programming

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

 🔨Compiler Design
deflua.com··Hacker News

Implementing Monads with Async Zig

 🦀Rust  Content type: Blog

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·

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

 🔤Type Theory
lix.polytechnique.fr·

Clojure Deref (Jun 9, 2026)

 🦀Rust
clojure.org·

Credo Language Server and the birth of elixir-tools

 🔨Compilers
mitchellhanberg.com·

OCaml Weekly News, 09 Jun 2026

 🔨Compiler Design

Curved DG Modules and Matrix Factorizations from Noncommutative Quadric Hypersurfaces

 🔤Type Theory  Content type: Academic
arxiv.org·

Fine tuning classification in Elixir

 🗄️Vector Databases
elixirstatus.com·

Elixir 1.20 adds type inference, boosts compilation speed, and debuts new compiler options

 🔬Static Analysis
alternativeto.net·

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

 🚀Performance
javacodegeeks.com·

15-150: Principles of Functional Programming

 🔤Type Theory

OCaml Onboarding: Introduction to the Dune build system

 🔨Compiler Design  Content type: Blog
ocamlpro.com··Hacker News

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