Type Inference Was a Mistake

from blog Fernando Borretti, | ↗ original
On type inference as an academic computer science lab leak.
This is a short summary. ↗ Open original to view full content

Related

Lowering Rust traits to logic
baby steps | original ↗
An experimental new type inference scheme for Rust
baby steps | original ↗
Focusing on ownership
baby steps | original ↗
Reducing DST Annotation
baby steps | original ↗
Type inference in Spidermonkey
baby steps | original ↗
Mutability
baby steps | original ↗
Tone and criticism
baby steps | original ↗
Structure literals vs. constructors in Rust
Steve Klabnik | original ↗
Not Sucking at TypeScript: 3 Tips
Vladimir Klepov as a Coder | original ↗
My thoughts on OCaml
osa1.net - All posts | original ↗

More from Fernando Borretti

The Best Emacs Microfeature
5 Jun 2024 | original ↗

Why I keep using Emacs in 2024.

The Design Space of Wikis
2 Jun 2024 | original ↗

An exploration of the design space of wikis.

Thoughts on LLM Agents
5 Jan 2024 | original ↗

Entropy, criticality, and complexity classes of cellular automata.

You Need More Constraints
30 Jul 2023 | original ↗

A checklist of useful SQL constraints.

Type Systems for Memory Safety
22 Jul 2023 | original ↗

A survey of type systems for memory safety.