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
Haskell, lambda calculus, pure functions, algebraic data types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
103
posts in
7.2
ms
Co-Creator of
Haskell
:
Functional
Programming
, Thinking in Types, Useless Languages | Simon Jones
🤔
Philosophy of CS
Content type:
News
developing.dev
·
2d
2 days ago
Actions for Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones
Issue 527
λ
Type Theory
haskellweekly.news
·
6d
6 days ago
Actions for Issue 527
Tarides
∘
Category Theory
Content type:
Code
github.com
·
17h
17 hours ago
Actions for Tarides
A line-by-line translation of the
OCaml
runtime from C to Rust
λ
Lambda Calculus
Content type:
Discussion
discuss.ocaml.org
·
21h
21 hours ago
·
Lobsters
,
Hacker News
Actions for A line-by-line translation of the OCaml runtime from C to Rust
Implementing
Monads
with Async Zig
λ
Lambda Calculus
Content type:
Blog
platypro.net
·
1d
1 day ago
·
Hacker News
Actions for Implementing Monads with Async Zig
clj.rs
Clojure
implemented on Rust
λ
Lambda Calculus
clojure-diary.gitlab.io
·
3d
3 days ago
Actions for clj.rs Clojure implemented on Rust
Stackage Blog: Stackage talk at
Haskell
Ecosystem Workshop 2026
λ
Type Theory
Content type:
Blog
stackage.org
·
2d
2 days ago
Actions for Stackage Blog: Stackage talk at Haskell Ecosystem Workshop 2026
Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
λ
Type Theory
lix.polytechnique.fr
·
16h
16 hours ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Kan Extensions in
Haskell
∘
Category Theory
bartoszmilewski.com
·
2d
2 days ago
·
Hacker News
Actions for Kan Extensions in Haskell
quasitriangular Hopf
2-algebra
in nLab
∘
Category Theory
ncatlab.org
·
5d
5 days ago
Actions for quasitriangular Hopf 2-algebra in nLab
Clojure
Deref (Jun 9, 2026)
λ
Lambda Calculus
clojure.org
·
2d
2 days ago
Actions for Clojure Deref (Jun 9, 2026)
OCaml
Weekly News, 09 Jun 2026
∘
Category Theory
alan.petitepomme.net
·
1d
1 day ago
Actions for OCaml Weekly News, 09 Jun 2026
OCaml
Onboarding: Introduction to the Dune build system
λ
Type Theory
Content type:
Blog
ocamlpro.com
·
6d
6 days ago
·
Hacker News
Actions for OCaml Onboarding: Introduction to the Dune build system
Border-straddling library opens Canadian entrance
∘
Category Theory
Content type:
News
sootoday.com
·
5h
5 hours ago
Actions for Border-straddling library opens Canadian entrance
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 ...
Chloe Madeley looks incredible stripping to bikini on £718-a-night solo holiday after opening up on James
Haskell
split
λ
Type Theory
Content type:
News
thesun.co.uk
·
12h
12 hours ago
Actions for Chloe Madeley looks incredible stripping to bikini on £718-a-night solo holiday after opening up on James Haskell split
Debootstrapping without Archeology: Stacked Implementations in Camlboot
λ
Lambda Calculus
Content type:
Academic
arxiv.org
·
7h
7 hours ago
·
Lobsters
Actions for Debootstrapping without Archeology: Stacked Implementations in Camlboot
Extension or Imitation? Can you tell the valid
Haskell
Language Extensions, from the Impostors?
λ
Type Theory
doscienceto.it
·
6d
6 days ago
·
Lobsters
,
Hacker News
Actions for Extension or Imitation? Can you tell the valid Haskell Language Extensions, from the Impostors?
Poor Man's Time Machine: Lazy Evaluation in JavaScript and
Haskell
λ
Lambda Calculus
Content type:
Blog
irfanali.org
·
2d
2 days ago
·
Hacker News
,
r/compsci
,
r/programming
,
r/programming
Actions for Poor Man's Time Machine: Lazy Evaluation in JavaScript and Haskell
Co-Creator of
Haskell
:
Functional
Prog
., Thinking in Types, Useless Languages [video]
λ
Type Theory
Content type:
Video
youtube.com
·
2d
2 days ago
·
Hacker News
Actions for Co-Creator of Haskell: Functional Prog., Thinking in Types, Useless Languages [video]
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