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, pure functions, immutability, type systems
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
192
posts in
4.0
ms
Co-Creator of
Haskell
:
Functional
Programming
, Thinking in Types, Useless Languages | Simon Jones
📐
Type Theory
Content type:
News
developing.dev
·
3d
3 days ago
Actions for Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones
Issue 528
📐
Type Theory
haskellweekly.news
·
12h
12 hours ago
Actions for Issue 528
Implementing
Monads
with Async Zig
📐
Type Theory
Content type:
Blog
platypro.net
·
2d
2 days ago
·
Hacker News
Actions for Implementing Monads with Async Zig
Writing static checks to an unsuspecting library with Liquid
Haskell
✔️
Formal Verification
Content type:
Blog
tweag.io
·
23h
23 hours ago
Actions for Writing static checks to an unsuspecting library with Liquid Haskell
A line-by-line translation of the
OCaml
runtime from C to Rust
✔️
Formal Verification
Content type:
Discussion
discuss.ocaml.org
·
1d
1 day ago
·
Lobsters
,
Hacker News
Actions for A line-by-line translation of the OCaml runtime from C to Rust
clj.rs
Clojure
implemented on Rust
✔️
Formal Verification
clojure-diary.gitlab.io
·
4d
4 days ago
Actions for clj.rs Clojure implemented on Rust
VU#862559: crypton-x509-validation
Haskell
libraries do not enforce X.509 NameConstraints
✔️
Formal Verification
kb.cert.org
·
8h
8 hours ago
Actions for VU#862559: crypton-x509-validation Haskell libraries do not enforce X.509 NameConstraints
Tarides
✔️
Formal Verification
Content type:
Code
github.com
·
1d
1 day ago
Actions for Tarides
OCaml
Weekly News, 09 Jun 2026
✔️
Formal Verification
alan.petitepomme.net
·
2d
2 days ago
Actions for OCaml Weekly News, 09 Jun 2026
Credo Language Server and the birth of
elixir-tools
✔️
Formal Verification
mitchellhanberg.com
·
6d
6 days ago
Actions for Credo Language Server and the birth of elixir-tools
Watch: Historic US-Canada border library gets new Quebec-only entrance
🦞
Boston
Content type:
News
bbc.com
·
23h
23 hours ago
·
Hacker News
Actions for Watch: Historic US-Canada border library gets new Quebec-only entrance
Clojure
Deref (Jun 9, 2026)
✔️
Formal Verification
clojure.org
·
2d
2 days ago
Actions for Clojure Deref (Jun 9, 2026)
Stackage Blog: Stackage talk at
Haskell
Ecosystem Workshop 2026
📐
Type Theory
Content type:
Blog
stackage.org
·
3d
3 days ago
Actions for Stackage Blog: Stackage talk at Haskell Ecosystem Workshop 2026
Thinking
Elixir
307: Trust Nothing, Sort Everything
🌪️
Chaos Engineering
elixirstatus.com
·
2d
2 days ago
Actions for Thinking Elixir 307: Trust Nothing, Sort Everything
Lua.ex: Sandboxed Lua 5.3 on the Beam, Built for AI Agents
⚙️
Backend Dev
deflua.com
·
1d
1 day ago
·
Hacker News
Actions for Lua.ex: Sandboxed Lua 5.3 on the Beam, Built for AI Agents
Poor Man's Time Machine:
Lazy
Evaluation
in JavaScript and
Haskell
📐
Type Theory
Content type:
Blog
irfanali.org
·
3d
3 days ago
·
Hacker News
,
r/compsci
,
r/programming
,
r/programming
Actions for Poor Man's Time Machine: Lazy Evaluation in JavaScript and Haskell
307: Trust Nothing, Sort Everything
✔️
Formal Verification
Content type:
Audio
podcast.thinkingelixir.com
·
2d
2 days ago
Actions for 307: Trust Nothing, Sort Everything
15-150: Principles of
Functional
Programming
🌉
Pittsburgh
brandonspark.github.io
·
2d
2 days ago
Actions for 15-150: Principles of Functional Programming
Good and Bad
Elixir
✔️
Formal Verification
Content type:
Blog
keathley.io
·
6d
6 days ago
Actions for Good and Bad Elixir
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
·
1d
1 day 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 ...
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