Skip to main content
Scour
Discover
Docs
Login
Sign Up
Discover
About
Docs
Changelog
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Type Inference
🔍 Type Inference
Hindley-Milner, Unification, Constraint Solving, OCaml Types
Filter Results
Timeframe
Choose a timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
33
posts in
65.4
ms
λ
Functional Programming
Haskell Weekly Newsletter
·
3d
3 days ago
Issue 529
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Issue 529
🎯
Hindley-Milner
discuss.ocaml.org
·
2d
2 days ago
OCaml
5.5.0
Discussed on
Hacker News
,
Hacker News
, and
Lobsters
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for OCaml 5.5.0
🔌
FPGA Programming
unsafeperform.io
·
22h
22 hours ago
Retrocomputing with Clash –
Haskell
for FPGA Hardware Design
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Retrocomputing with Clash – Haskell for FPGA Hardware Design
🧮
Algebraic Effects
Stephen Diehl
·
2d
2 days ago
Prism: An Impure Functional Language With
Typed
Effects
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Prism: An Impure Functional Language With Typed Effects
λ
Functional Programming
Serokell Blog
·
6d
6 days ago
How Serokell Contributes to the Future of
Haskell
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for How Serokell Contributes to the Future of Haskell
🥧
Raspberry Pi
codeberg.org
·
6h
6 hours ago
Guy John
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Guy John
λ
Functional Programming
GitHub
·
1d
1 day ago
haskell/ghcup-metadata
Covers
#ariel-os:matrix.org .
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for haskell/ghcup-metadata
λ
Functional Programming
abhinavsarkar.net
·
4d
4 days ago
Nix for
Haskell
: Static Builds
Covers
4 stories
See all stories this covers
including
NixOS
Discussed on
Lobsters
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Nix for Haskell: Static Builds
λ
Functional Programming
wiki.haskell.org
·
2d
2 days ago
Wadler's Law
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Wadler's Law
🔌
RSocket
flaviocorpa.com
·
5d
5 days ago
Haskell
for Elm developers: giving names to stuff (Part 8 – IO)
Covered by
Haskell Weekly Newsletter
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Haskell for Elm developers: giving names to stuff (Part 8 – IO)
🤔
Philosophy
DEV Community
·
20h
20 hours ago
🌈 The ultimate
polymorphism
: PureScript as a universal language
Discussed on
DEV
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for 🌈 The ultimate polymorphism: PureScript as a universal language
λ
Functional Programming
Tweag
·
4d
4 days ago
Sheaves in
Haskell
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Sheaves in Haskell
📘
TypeScript
Track Awesome List
·
1d
1 day ago
Awesome List Updated on Jun 21, 2026
Covers
5 stories
See all stories this covers
including
Github repo or feel free to ask any questions here! PS: we are hiring!
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Awesome List Updated on Jun 21, 2026
📡
RSS
i-programmer.info
·
2d
2 days ago
Hello, World!: A Brief History of Programming in 90 Languages (Badger Media)
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Hello, World!: A Brief History of Programming in 90 Languages (Badger Media)
🗄️
Databases
nikita-volkov.github.io
·
4d
4 days ago
Pqi: Making Libpq a Choice, Not a Requirement
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Pqi: Making Libpq a Choice, Not a Requirement
⌨️
Text Editors
Emacs Redux
·
2d
2 days ago
Essential Structured Navigation and Editing Commands
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Essential Structured Navigation and Editing Commands
λ
Functional Programming
prog21.dadgum.com
·
6d
6 days ago
Papers from the Lost Culture of Array Languages (2011)
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Papers from the Lost Culture of Array Languages (2011)
📝
NLP
astledsa.substack.com
·
2d
2 days ago
Tree Transformers
Discussed on
Substack
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Tree Transformers
⌨️
Text Editors
xvw.lol
·
6d
6 days ago
Emacs, how it all started (for me)
Covers
5 stories
See all stories this covers
including
How people can stand VS Code?
Covered by
tldr.tech
Discussed on
Hacker News
and
Lobsters
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Emacs, how it all started (for me)
🔬
Static Analysis
link.springer.com
·
5d
5 days ago
The French School of Programming
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The French School of Programming
Page 2 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous post
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
Discover
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
Like
Save
Not for me
Report