Alexandria Library

A curated collection of awesome articles

Here are some ressources related to Type, Typing, Inference. Hoping you will find learning material, alternative tools or just some interesting stuff.

Home > Programming, Machine Learning, Quan... > Functional programming, Haskell, Li... > Programming, Languages, Type Infere... > Type, Typing, Inference

Articles

What Vale taught me about linear types, borrowing, and memory safety

See discussion (12 comments, 126 points) - Archive

Type system of Fortnite's Verse language

See discussion (152 comments, 225 points) - Archive

The semantics of a simple functional language

See discussion (6 comments, 96 points) - Archive

Parse, don't validate (2019)

See discussion (219 comments, 398 points) - Archive

TypeScripting the technical interview

See discussion (161 comments, 727 points) - Archive

Austral: A systems language with linear types and capabilities

See discussion (120 comments, 211 points) - Archive

Dynamic types have the potential to be more than "no static types"

See discussion (293 comments, 123 points) - Archive

The type system is a programmer's best friend

See discussion (454 comments, 242 points) - Archive

Book review: The Little Typer (2021)

See discussion (23 comments, 109 points) - Archive

Why don't more languages offer flow typing?

See discussion (122 comments, 192 points) - Archive

Idris 2: Quantitative Type Theory in Practice

See discussion (60 comments, 150 points) - Archive

Where do type systems come from? (2017)

See discussion (185 comments, 205 points) - Archive

What is property-based testing? (2016)

See discussion (35 comments, 106 points) - Archive

The ATS Programming Language

See discussion (36 comments, 99 points) - Archive

Are dynamic languages going to replace static languages? (2003)

See discussion (427 comments, 91 points) - Archive

Types versus sets in math and programming languages

See discussion (59 comments, 107 points) - Archive

Parse, Don't Validate (2019)

See discussion (270 comments, 389 points) - Archive

Cue, an open-source data validation language

See discussion (71 comments, 190 points) - Archive

Native Type Theory

See discussion (71 comments, 116 points) - Archive

See discussion (130 comments, 190 points) - Archive

Adopting Ruby 3 types with RBS

See discussion (33 comments, 88 points) - Archive

See discussion (50 comments, 121 points) - Archive

Types as axioms, or: playing god with static types

See discussion (25 comments, 109 points) - Archive

RBS, Ruby’s new type signature language

See discussion (334 comments, 511 points) - Archive

Everything you need (and don't need) to know about PHP's type system

See discussion (66 comments, 115 points) - Archive

Turning the IDE Inside Out with Datalog

See discussion (61 comments, 275 points) - Archive

Go generics may use square brackets [] not parenthesis ()

See discussion (314 comments, 172 points) - Archive

Featherweight Go

See discussion (160 comments, 252 points) - Archive

Language Design: Use 'ident: Type' not 'Type ident'

See discussion (188 comments, 139 points) - Archive

Is Go Duck-Typed?

See discussion (84 comments, 110 points) - Archive

Dogelang – A Python with Haskell Syntax

See discussion (77 comments, 149 points) - Archive

Dynamic type systems are not inherently more open

See discussion (275 comments, 382 points) - Archive

Parse, Don’t Validate

See discussion (230 comments, 642 points) - Archive

Go Contracts – Draft Design

See discussion (199 comments, 249 points) - Archive

What I Want from a Type System (2016)

See discussion (103 comments, 106 points) - Archive

The ATS Programming Language

See discussion (38 comments, 141 points) - Archive

A Primer on Type Systems

See discussion (31 comments, 192 points) - Archive

Covariance and contravariance in C++

See discussion (15 comments, 94 points) - Archive

Type erasure and reification

See discussion (91 comments, 92 points) - Archive

See discussion (44 comments, 146 points) - Archive

Reified Generics: The Search for the Cure

See discussion (43 comments, 86 points) - Archive

Scala: Understanding implicits

See discussion (71 comments, 135 points) - Archive

The Java type system is broken

See discussion (155 comments, 291 points) - Archive

Value Type Hygiene

See discussion (57 comments, 103 points) - Archive

Leveraging the type system to avoid mistakes

See discussion (116 comments, 167 points) - Archive

Are unsound type systems wrong?

See discussion (158 comments, 210 points) - Archive

Sum Types Are Coming (2015)

See discussion (113 comments, 113 points) - Archive

A practitioner’s guide to reading programming languages papers

See discussion (7 comments, 182 points) - Archive

Dependent Types for F#

See discussion (51 comments, 136 points) - Archive

Type-safe GraphQL with OCaml

See discussion (100 comments, 207 points) - Archive

Where Do Type Systems Come From?

See discussion (164 comments, 285 points) - Archive

See discussion (125 comments, 206 points) - Archive

What is property based testing?

See discussion (33 comments, 95 points) - Archive

Bootstrapping a Type System (2010)

See discussion (22 comments, 101 points) - Archive

The Unsound Playground: Java and Scala's Type Systems are Unsound

See discussion (124 comments, 206 points) - Archive

See discussion (104 comments, 89 points) - Archive

RDL: a lightweight system for adding contracts to Ruby

See discussion (41 comments, 81 points) - Archive

Java Generics Are Turing Complete

See discussion (101 comments, 112 points) - Archive

A Path to Programming Language Theory

See discussion (35 comments, 174 points) - Archive

Covariance and Contravariance

See discussion (67 comments, 156 points) - Archive

A Path to Enlightenment in Programming Language Theory

See discussion (97 comments, 155 points) - Archive

Gradual typing for Clojure

See discussion (11 comments, 102 points) - Archive

See discussion (39 comments, 179 points) - Archive

State of the Specialization: Generics over primitives in Java and JVM

See discussion (1 comments, 83 points) - Archive

What is Gradual Typing

See discussion (40 comments, 86 points) - Archive

Types Are The Truth

See discussion (102 comments, 132 points) - Archive

On Languages, VMs, Optimization, and the Way of the World

See discussion (29 comments, 90 points) - Archive

Non-terminating compilation in Java

See discussion (43 comments, 84 points) - Archive

Dynamic Languages Strike Back

See discussion (34 comments, 83 points) - Archive

Show HN: Numbat – A programming language with physical dimensions as types

See discussion (113 comments, 146 points) - Archive

Church vs. Curry Types

See discussion (45 comments, 101 points) - Archive

Interview about Austral, a systems programming language with linear types

See discussion (43 comments, 111 points) - Archive

Universal domain types

See discussion (27 comments, 108 points) - Archive

Parse, Don't Validate (2019)

See discussion (102 comments, 321 points) - Archive