22 results

• 22type-systems
• 18programming
• 8haskell
• 5rust
• 1testing
• 1rants
• 1python
• 1protocol-buffers
• 1maths

1. Bootstrapping a Type System

   journal.stuffwithstuff.com

   • type-systems

2. Church vs Curry Types

   lispcast.com

   • type-systems

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

   www.tweag.io

   • haskell
   • programming
   • type-systems

4. Faking Fundeps with Typechecker Plugins

   reasonablypolymorphic.com

   • haskell
   • programming
   • type-systems

5. Fancy types for CSV library

   oleg.fi

   • haskell
   • programming
   • type-systems

6. From Set Theory to Type Theory

   golem.ph.utexas.edu

   • maths
   • type-systems

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

   gankra.github.io

   • programming
   • rust
   • type-systems

8. Higher-rank types in Standard Haskell

   blog.poisson.chat

   • haskell
   • programming
   • type-systems

9. Languages I want to write

   blog.wesleyac.com

   • programming
   • type-systems

10. Linear types are merged in GHC

    www.tweag.io

    • haskell
    • programming
    • type-systems

11. Names are not type safety

    lexi-lambda.github.io

    • haskell
    • programming
    • type-systems

12. Protobuffers Are Wrong

    reasonablypolymorphic.com

    • programming
    • protocol-buffers
    • rants
    • type-systems

13. Putting the stack back into Stacked Borrows

    www.ralfj.de

    • programming
    • rust
    • type-systems

14. Python Negatypes

    www.hillelwayne.com

    • programming
    • python
    • type-systems

15. Rust: A unique perspective

    limpet.net

    • programming
    • rust
    • type-systems

16. Servant Route Smooshing

    www.parsonsmatt.org

    • haskell
    • programming
    • type-systems

17. Stacked Borrows Implemented

    www.ralfj.de

    • programming
    • rust
    • type-systems

18. Structural typing and first-class case expressions

    ice1000.org

    • programming
    • type-systems

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

    sethmlarson.dev

    • programming
    • testing
    • type-systems

20. TysWiredIn.hs - Note [Any types]

    hackage.haskell.org

    • haskell
    • programming
    • type-systems

21. Unsafe as a Human-Assisted Type System

    matklad.github.io

    • programming
    • rust
    • type-systems

22. What Type Soundness Theorem Do You Really Want to Prove?

    blog.sigplan.org

    • type-systems