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
Type Systems
🔷 Type Systems
Specific
static typing, type inference, dependent types, Haskell, Elm
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
259
posts in
8.5
ms
Issue 527
λ
Functional Programming
haskellweekly.news
·
6d
6 days ago
Actions for Issue 527
Tarides
λ
Functional Programming
Content type:
Code
github.com
·
14h
14 hours ago
Actions for Tarides
Stackage Blog: Stackage talk at
Haskell
Ecosystem Workshop 2026
λ
Functional Programming
Content type:
Blog
stackage.org
·
2d
2 days ago
Actions for Stackage Blog: Stackage talk at Haskell Ecosystem Workshop 2026
Static
types
and shovels (2026)
λ
Functional Programming
carefully.understood.systems
·
4h
4 hours ago
·
Lobsters
Actions for Static types and shovels (2026)
A line-by-line translation of the
OCaml
runtime from C to Rust
λ
Functional Programming
Content type:
Discussion
discuss.ocaml.org
·
17h
17 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
λ
Functional Programming
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
λ
Functional Programming
Content type:
Blog
ocamlpro.com
·
6d
6 days ago
·
Hacker News
Actions for OCaml Onboarding: Introduction to the Dune build system
Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
λ
Functional Programming
lix.polytechnique.fr
·
13h
13 hours ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
When
Types
Intersect and Effects Get Handled
λ
Functional Programming
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for When Types Intersect and Effects Get Handled
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 ...
λ
Functional Programming
lmika.org
·
22h
22 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 ...
Kemi Badenoch agrees with
Idris
Elba that Bond should not be ‘woke’
💬
LLMs
Content type:
News
the-independent.com
·
1d
1 day ago
Actions for Kemi Badenoch agrees with Idris Elba that Bond should not be ‘woke’
Elixir 1.20 adds
type
inference
, boosts compilation speed, and debuts new compiler options
λ
Functional Programming
alternativeto.net
·
6d
6 days ago
Actions for Elixir 1.20 adds type inference, boosts compilation speed, and debuts new compiler options
Kan Extensions in
Haskell
λ
Functional Programming
bartoszmilewski.com
·
2d
2 days ago
·
Hacker News
Actions for Kan Extensions in Haskell
Don’t make James Bond woke, warns
Idris
Elba as Brit
star
, 53, reveals why he WON’T be the next 007
💬
LLMs
Content type:
News
thesun.co.uk
·
2d
2 days ago
Actions for Don’t make James Bond woke, warns Idris Elba as Brit star, 53, reveals why he WON’T be the next 007
Extension or Imitation? Can you tell the valid
Haskell
Language Extensions, from the Impostors?
λ
Functional Programming
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?
Less-relevant results
Border-straddling library opens Canadian entrance
λ
Functional Programming
Content type:
News
sootoday.com
·
2h
2 hours ago
Actions for Border-straddling library opens Canadian entrance
Idris
Elba: 'Don't try to make James Bond woke'
🚀
Bootstrapping
Content type:
News
bbc.com
·
2d
2 days ago
Actions for Idris Elba: 'Don't try to make James Bond woke'
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
Idris
Elba's Role In This Obscure '90s Sci-Fi Series Is Genuinely Baffling
🌈
Neurodivergence
bgr.com
·
6d
6 days ago
Actions for Idris Elba's Role In This Obscure '90s Sci-Fi Series Is Genuinely Baffling
OCaml
Weekly News, 09 Jun 2026
λ
Functional Programming
alan.petitepomme.net
·
1d
1 day ago
Actions for OCaml Weekly News, 09 Jun 2026
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