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
7.9
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
·
9h
9 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
VU#862559: crypton-x509-validation
Haskell
libraries do not enforce X.509 NameConstraints
✔️
Formal Verification
kb.cert.org
·
5h
5 hours ago
Actions for VU#862559: crypton-x509-validation Haskell libraries do not enforce X.509 NameConstraints
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
Writing static checks to an unsuspecting library with Liquid
Haskell
✔️
Formal Verification
Content type:
Blog
tweag.io
·
20h
20 hours ago
Actions for Writing static checks to an unsuspecting library with Liquid Haskell
clj.rs
Clojure
implemented on Rust
✔️
Formal Verification
clojure-diary.gitlab.io
·
4d
4 days ago
Actions for clj.rs Clojure implemented on Rust
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
·
20h
20 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
Border-straddling library inaugurates new Canadian entrance
🦞
Boston
Content type:
News
sootoday.com
·
22h
22 hours ago
Actions for Border-straddling library inaugurates new Canadian entrance
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
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