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
type theory, static typing, type inference, algebraic data types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
46
posts in
7.2
ms
Static
types
and shovels (2026)
λ
Functional Programming
carefully.understood.systems
·
11h
11 hours ago
·
Lobsters
Actions for Static types and shovels (2026)
The design principles of the Elixir
type
system
λ
Functional Programming
Content type:
Academic
arxiv.org
·
6d
6 days ago
·
Hacker News
Actions for The design principles of the Elixir type system
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
·
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
λ
Functional Programming
lix.polytechnique.fr
·
20h
20 hours ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Create Your Own Programming Language with Rust
🦀
Rust
createlang.rs
·
1d
1 day ago
·
Hacker News
Actions for Create Your Own Programming Language with Rust
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
Proof
System
Timelines
🕸️
Distributed Systems
Content type:
Blog
klatz.co
·
2d
2 days ago
Actions for Proof System Timelines
Issue 527
λ
Functional Programming
haskellweekly.news
·
6d
6 days ago
Actions for Issue 527
Ask HN: Pandas to Polars migration, from 200s timeouts to under 4s. Anyone else?
🐘
PostgreSQL
Content type:
Discussion
news.ycombinator.com
·
1d
1 day ago
·
Hacker News
Actions for Ask HN: Pandas to Polars migration, from 200s timeouts to under 4s. Anyone else?
Introduction - Rust for Python Programmers
🐍
Python
microsoft.github.io
·
6d
6 days ago
·
Hacker News
Actions for Introduction - Rust for Python Programmers
A programming language for humans.
λ
Functional Programming
crowdhailer.me
·
2d
2 days ago
·
Lobsters
Actions for A programming language for humans.
a topos-oriented language with a content-addressed lattice heap
λ
Functional Programming
yon-lang.org
·
6d
6 days ago
·
Hacker News
Actions for a topos-oriented language with a content-addressed lattice heap
What’s Coming in Swift 6.4
🦀
Rust
wadetregaskis.com
·
2d
2 days ago
Actions for What’s Coming in Swift 6.4
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
Introducing Jo — Secure Programming for the AI Era
λ
Functional Programming
Content type:
Blog
jo-lang.org
·
6d
6 days ago
·
Hacker News
Actions for Introducing Jo — Secure Programming for the AI Era
Less-relevant results
Release Pyrefly v1.1.0-dev.2 · facebook/pyrefly
👨💻
Programming
Content type:
Code
github.com
·
8h
8 hours ago
Actions for Release Pyrefly v1.1.0-dev.2 · facebook/pyrefly
Interspecies quorum sensing signals modulate multicellular organization and enhance
contact-dependent
antagonism in Vibrio cholerae
🏗️
Terraform
Content type:
Academic
nature.com
·
3d
3 days ago
Actions for Interspecies quorum sensing signals modulate multicellular organization and enhance contact-dependent antagonism in Vibrio cholerae
Release Release Candidate v1.6.6-rc.157 · abhigyanpatwari/GitNexus
🏠
Self Hosting
Content type:
Code
github.com
·
2d
2 days ago
Actions for Release Release Candidate v1.6.6-rc.157 · abhigyanpatwari/GitNexus
When
Types
Intersect and Effects Get Handled
λ
Functional Programming
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for When Types Intersect and Effects Get Handled
When AI builds itself 👷, AI is not a line item 📝, local LLMs for agentic coding 🤖
λ
Functional Programming
tldr.tech
·
6d
6 days ago
Actions for When AI builds itself 👷, AI is not a line item 📝, local LLMs for agentic coding 🤖
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