Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔤 Type Systems
Static Typing, Type Inference, Generics, Type Safety
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
103306
posts in
286.7
ms
PEP
747 –
Annotating
Type Forms
peps.python.org
·
1d
·
Discuss:
Hacker News
🔷
Typescript
Directed
type theory, with a
twist
arxiv.org
·
22h
🔨
Compilers
🔗 Type
inference
of all
constructs
and the next 15 months
yellowduck.be
·
9h
🔨
Compilers
Lil
' Fun
Langs
taylor.town
·
1d
·
Discuss:
Lobsters
,
Hacker News
🔨
Compilers
two
mechanisms
for dynamic type
checks
wingolog.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust
Permissive
, then
restrictive
: concrete solutions and examples in Haskell (2020)
williamyaoh.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust
Stack
Computers
: the new wave -- an on-line book
users.ece.cmu.edu
·
11h
·
Discuss:
Hacker News
🦀
Rust
seanpmaxwell/tspo
: A collection of utilities for handling both runtime and compile-time behavior for plain-objects.
github.com
·
1d
·
Discuss:
Hacker News
📘
TypeScript
Mason
: Type- and Name-Guided Program
Synthesis
arxiv.org
·
22h
🦀
SWC
Refactoring
038:
Reifying
Collections for Type Safety
hackernoon.com
·
4d
📘
TypeScript
I built the same PostgreSQL REST API in 6 languages — here's how the database
libraries
compare
davideme.com
·
12h
·
Discuss:
r/programming
🦕
Deno
ΛProlog
:
Logic
programming in higher-order
logic
lix.polytechnique.fr
·
4h
·
Discuss:
Hacker News
🔨
Compilers
Thoughts on
Standardizing
Programming
Languages
daoudclarke.net
·
10h
·
Discuss:
Hacker News
🔨
Compilers
Presentation: How
WebAssembly
Components Enable Safe and Portable Software
Extensions
infoq.com
·
17h
🦀
SWC
From AST definition to
monadic
DSL
arthi-chaud.github.io
·
1d
🔨
Compilers
Defer
available in gcc and
clang
news.ycombinator.com
·
11h
·
Discuss:
Hacker News
🦀
Rust
Vibe
Destroyer
: Agent
Anti-Patterns
medium.com
·
7h
·
Discuss:
r/webdev
🤖
AI
Building a Type-Safe Data
Processing
Pipeline in
TypeScript
dev.to
·
1d
·
Discuss:
DEV
🦕
Deno
Stack
Computers
: 7.2 LANGUAGE
CHOICE
users.ece.cmu.edu
·
11h
·
Discuss:
Hacker News
🔨
Compilers
The Agentic
Mullet
: code in the front,
proofs
in the back
amplifypartners.com
·
3d
·
Discuss:
Hacker News
🦀
Rust
Loading...
Loading more...
Page 2 »
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
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