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
256
posts in
7.1
ms
Issue 527
λ
Functional Programming
haskellweekly.news
·
6d
6 days ago
Actions for Issue 527
Tarides
λ
Functional Programming
Content type:
Code
github.com
·
11h
11 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
·
1h
1 hour 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
·
14h
14 hours ago
·
Lobsters
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
·
10h
10 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
·
19h
19 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
Idris
Elba Says Some Audiences Won’t Accept Black James Bond
💬
LLMs
Content type:
News
theonion.com
·
23h
23 hours ago
Actions for Idris Elba Says Some Audiences Won’t Accept Black James Bond
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?
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'
Patoline
λ
Functional Programming
patoline.github.io
·
6d
6 days ago
Actions for Patoline
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
Co-Creator of
Haskell
: Functional
Prog
., Thinking in
Types
, Useless Languages [video]
λ
Functional Programming
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