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
GADTs
🎨 GADTs
Specific
Generalized ADTs, Type Equality, Phantom Types, OCaml
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
66
posts in
21.3
ms
Tarides
🐫
Embedded OCaml
Content type:
Code
github.com
·
17h
17 hours ago
Actions for Tarides
Stackage Blog: Stackage talk at
Haskell
Ecosystem Workshop 2026
🎯
Hindley-Milner
Content type:
Blog
stackage.org
·
2d
2 days ago
Actions for Stackage Blog: Stackage talk at Haskell Ecosystem Workshop 2026
Issue 527
λ
Functional Programming
haskellweekly.news
·
6d
6 days ago
Actions for Issue 527
A line-by-line translation of the
OCaml
runtime from C to Rust
📦
Opam
Content type:
Discussion
discuss.ocaml.org
·
20h
20 hours ago
·
Lobsters
,
Hacker News
Actions for A line-by-line translation of the OCaml runtime from C to Rust
Co-Creator of
Haskell
: Functional Programming, Thinking in
Types
, Useless Languages | Simon Jones
🎯
GADT
Content type:
News
developing.dev
·
2d
2 days ago
Actions for Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones
OCaml
Onboarding: Introduction to the Dune build system
🏗️
Dune
Content type:
Blog
ocamlpro.com
·
6d
6 days ago
·
Hacker News
Actions for OCaml Onboarding: Introduction to the Dune build system
Kan Extensions in
Haskell
🎁
Monads
bartoszmilewski.com
·
2d
2 days ago
·
Hacker News
Actions for Kan Extensions in Haskell
Less-relevant results
Border-straddling library opens Canadian entrance
🎁
Monads
Content type:
News
sootoday.com
·
5h
5 hours ago
Actions for Border-straddling library opens Canadian entrance
OCaml
Weekly News, 09 Jun 2026
λ
Functional Programming
alan.petitepomme.net
·
1d
1 day ago
Actions for OCaml Weekly News, 09 Jun 2026
Extension or Imitation? Can you tell the valid
Haskell
Language Extensions, from the Impostors?
🎁
Monads
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?
Chloe Madeley looks incredible stripping to bikini on £718-a-night solo holiday after opening up on James
Haskell
split
🎁
Monads
Content type:
News
thesun.co.uk
·
11h
11 hours ago
Actions for Chloe Madeley looks incredible stripping to bikini on £718-a-night solo holiday after opening up on James Haskell split
Poor Man's Time Machine: Lazy Evaluation in JavaScript and
Haskell
λ
Functional Programming
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
ocaml/odoc
: Documentation compiler for
OCaml
🐫
OCaml
Content type:
Code
github.com
·
17h
17 hours ago
Actions for ocaml/odoc: Documentation compiler for OCaml
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 ...
🎯
GADT
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 ...
Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
🔗
Curry-Howard
lix.polytechnique.fr
·
16h
16 hours ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
From Classroom to Community: SEED Transforms Learning Into Service
🎁
Monads
Content type:
Academic
usu.edu
·
6d
6 days ago
Actions for From Classroom to Community: SEED Transforms Learning Into Service
Co-Creator of
Haskell
: Functional Prog., Thinking in
Types
, Useless Languages [video]
🎁
Monads
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]
AeroWomen in Yeovil highlights women's role in space exploration
🎁
Monads
Content type:
News
bbc.com
·
20h
20 hours ago
Actions for AeroWomen in Yeovil highlights women's role in space exploration
Debootstrapping without Archeology: Stacked Implementations in Camlboot
📦
Module Systems
Content type:
Academic
arxiv.org
·
6h
6 hours ago
·
Lobsters
Actions for Debootstrapping without Archeology: Stacked Implementations in Camlboot
Tetsuwan Scientific | Software Engineer | San Francisco (SoMa) | ONSITE | Full-t...
📦
Module Systems
Content type:
Discussion
news.ycombinator.com
·
6d
6 days ago
·
Hacker News
Actions for Tetsuwan Scientific | Software Engineer | San Francisco (SoMa) | ONSITE | Full-t...
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