Functional Programming

Feeds to Scour
SubscribedAll
Scoured 214 posts in 9.4 ms

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·

307: Trust Nothing, Sort Everything

 🌐Distributed Systems  Content type: Audio

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

 🦀Rust  Content type: Blog

The design principles of the Elixir type system

 🔬Static Analysis  Content type: Academic
arxiv.org··Hacker News

Chloe Madeley looks incredible stripping to bikini on £718-a-night solo holiday after opening up on James Haskell split

 🔍eBPF  Content type: News
thesun.co.uk·

OCaml Onboarding: Introduction to the Dune build system

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

Co-Creator of Haskell: Functional Prog., Thinking in Types, Useless Languages [video]

 🔤Type Theory  Content type: Video
youtube.com··Hacker News

ocaml/odoc: Documentation compiler for OCaml

 🔨Compiler Design  Content type: Code
github.com·

Thinking Elixir 307: Trust Nothing, Sort Everything

 🌐Distributed Systems
elixirstatus.com·

FlowStorm, a Clojure and ClojureScript debugger with some unique features

 🦀Rust
flow-storm.org·

AeroWomen in Yeovil highlights women's role in space exploration

 ❄️Nix  Content type: News
bbc.com·

Starting Work at Jane Street

 ⚙️Systems Programming  Content type: Blog
hazelduvall.dev·

How to Set Up Neovim for Elixir Development

 ❄️Nix
mitchellhanberg.com·

🍋 Lumiterra Dev Log #138 · Agents Learn to Stake, the Social Layer Takes Shape

 📝Obsidian  Content type: Blog
lumiterra.itch.io·

Good and Bad Elixir

 🦀Rust  Content type: Blog
keathley.io·

How a bunch of bloody-minded monks produced a secret elixir for health

 📝Obsidian
eatweeds.co.uk·

Running Dialyzer for Elixir Projects in GitHub Actions

 🌟Open Source  Content type: Blog
stratus3d.com·

Static types and shovels (2026)

 🔬Static Analysis

Why does `std.mem.sort` have the `context` field?

 🔬Static Analysis  Content type: Discussion
ziggit.dev·

Moduli Space of Sheaves and Categorified Commutator of Functors

 🔤Type Theory  Content type: Academic
arxiv.org·

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