18 results

  1. Eager vs. Lazy Instantiation: Making an Informed Decision

    www.tweag.io

  2. Faking Fundeps with Typechecker Plugins

    reasonablypolymorphic.com

  3. Fancy types for CSV library

    oleg.fi

  4. Here's My Type, So Initialize Me Maybe (mem::uninitialized is deprecated)

    gankra.github.io

  5. Higher-rank types in Standard Haskell

    blog.poisson.chat

  6. Languages I want to write

    blog.wesleyac.com

  7. Linear types are merged in GHC

    www.tweag.io

  8. Names are not type safety

    lexi-lambda.github.io

  9. Protobuffers Are Wrong

    reasonablypolymorphic.com

  10. Putting the stack back into Stacked Borrows

    www.ralfj.de

  11. Python Negatypes

    www.hillelwayne.com

  12. Rust: A unique perspective

    limpet.net

  13. Servant Route Smooshing

    www.parsonsmatt.org

  14. Stacked Borrows Implemented

    www.ralfj.de

  15. Structural typing and first-class case expressions

    ice1000.org

  16. Tests aren’t enough: Case study after adding type hints to urllib3

    sethmlarson.dev

  17. TysWiredIn.hs - Note [Any types]

    hackage.haskell.org

  18. Unsafe as a Human-Assisted Type System

    matklad.github.io