18 results
-
Eager vs. Lazy Instantiation: Making an Informed Decision
www.tweag.io
-
Faking Fundeps with Typechecker Plugins
reasonablypolymorphic.com
-
Fancy types for CSV library
oleg.fi
-
Here's My Type, So Initialize Me Maybe (mem::uninitialized is deprecated)
gankra.github.io
-
Higher-rank types in Standard Haskell
blog.poisson.chat
-
Languages I want to write
blog.wesleyac.com
-
Linear types are merged in GHC
www.tweag.io
-
Names are not type safety
lexi-lambda.github.io
-
Protobuffers Are Wrong
reasonablypolymorphic.com
-
Putting the stack back into Stacked Borrows
www.ralfj.de
-
Python Negatypes
www.hillelwayne.com
-
Rust: A unique perspective
limpet.net
-
Servant Route Smooshing
www.parsonsmatt.org
-
Stacked Borrows Implemented
www.ralfj.de
-
Structural typing and first-class case expressions
ice1000.org
-
Tests aren’t enough: Case study after adding type hints to urllib3
sethmlarson.dev
-
TysWiredIn.hs - Note [Any types]
hackage.haskell.org
-
Unsafe as a Human-Assisted Type System
matklad.github.io