Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Functional Programming
λ Functional Programming
FP, immutability, monads, Haskell, OCaml
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
165
posts in
22.3
ms
Implementing
Monads
with Async Zig
🗣️
New Languages
Content type:
Blog
platypro.net
·
14h
14 hours ago
·
Hacker News
Actions for Implementing Monads with Async Zig
Co-Creator of
Haskell
:
Functional
Programming
, Thinking in Types, Useless Languages | Simon Jones
🔧
Compilers
Content type:
News
developing.dev
·
1d
1 day ago
Actions for Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones
Issue 527
🔤
Type Systems
haskellweekly.news
·
6d
6 days ago
Actions for Issue 527
A line-by-line translation of the
OCaml
runtime from C to Rust
🦀
Rust
Content type:
Discussion
discuss.ocaml.org
·
5h
5 hours ago
·
Lobsters
Actions for A line-by-line translation of the OCaml runtime from C to Rust
ocaml/odoc
: Documentation compiler for
OCaml
✅
Formal Verification
Content type:
Code
github.com
·
1h
1 hour ago
Actions for ocaml/odoc: Documentation compiler for OCaml
Stackage Blog: Stackage talk at
Haskell
Ecosystem Workshop 2026
🗣️
New Languages
Content type:
Blog
stackage.org
·
1d
1 day ago
Actions for Stackage Blog: Stackage talk at Haskell Ecosystem Workshop 2026
clj.rs
Clojure
implemented on Rust
🔧
Compilers
clojure-diary.gitlab.io
·
3d
3 days ago
Actions for clj.rs Clojure implemented on Rust
Thinking
Elixir
307: Trust Nothing, Sort Everything
🔒
Zero Trust
elixirstatus.com
·
21h
21 hours ago
Actions for Thinking Elixir 307: Trust Nothing, Sort Everything
307: Trust Nothing, Sort Everything
🔒
Zero Trust
Content type:
Audio
podcast.thinkingelixir.com
·
23h
23 hours ago
Actions for 307: Trust Nothing, Sort Everything
Kan Extensions in
Haskell
🔤
Type Systems
bartoszmilewski.com
·
1d
1 day ago
·
Hacker News
Actions for Kan Extensions in Haskell
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 Systems
lmika.org
·
9h
9 hours ago
Actions for 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 ...
Credo Language Server and the birth of
elixir-tools
🛠️
Developer Tools
mitchellhanberg.com
·
4d
4 days ago
Actions for Credo Language Server and the birth of elixir-tools
Poor Man's Time Machine: Lazy Evaluation in JavaScript and
Haskell
🔤
Type Systems
Content type:
Blog
irfanali.org
·
1d
1 day ago
·
Hacker News
,
r/compsci
,
r/programming
,
r/programming
Actions for Poor Man's Time Machine: Lazy Evaluation in JavaScript and Haskell
Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
🔤
Type Systems
lix.polytechnique.fr
·
31m
31 minutes ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Elixir
v1.20 released: now a gradually
typed
language
🦀
Rust
Content type:
Discussion
news.ycombinator.com
·
6d
6 days ago
·
Hacker News
Actions for Elixir v1.20 released: now a gradually typed language
Co-Creator of
Haskell
:
Functional
Prog
., Thinking in Types, Useless Languages [video]
🔤
Type Systems
Content type:
Video
youtube.com
·
1d
1 day ago
·
Hacker News
Actions for Co-Creator of Haskell: Functional Prog., Thinking in Types, Useless Languages [video]
Elixir
1.20 adds
type
inference, boosts compilation speed, and debuts new compiler options
🔤
Type Systems
alternativeto.net
·
5d
5 days ago
Actions for Elixir 1.20 adds type inference, boosts compilation speed, and debuts new compiler options
🍋 Lumiterra Dev Log #138 · Agents Learn to Stake, the Social Layer Takes Shape
🔬
eBPF
Content type:
Blog
lumiterra.itch.io
·
1d
1 day ago
Actions for 🍋 Lumiterra Dev Log #138 · Agents Learn to Stake, the Social Layer Takes Shape
Language Models for
Programming
— Will Richardson
🔧
Compilers
willhbr.net
·
22h
22 hours ago
Actions for Language Models for Programming — Will Richardson
The design principles of the
Elixir
type
system
🔤
Type Systems
Content type:
Academic
arxiv.org
·
5d
5 days ago
·
Hacker News
Actions for The design principles of the Elixir type system
Page 2 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
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
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help