8 results

• 8type-systems
• 8programming
• 8haskell

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

   www.tweag.io

   • haskell
   • programming
   • type-systems

2. Faking Fundeps with Typechecker Plugins

   reasonablypolymorphic.com

   • haskell
   • programming
   • type-systems

3. Fancy types for CSV library

   oleg.fi

   • haskell
   • programming
   • type-systems

4. Higher-rank types in Standard Haskell

   blog.poisson.chat

   • haskell
   • programming
   • type-systems

5. Linear types are merged in GHC

   www.tweag.io

   • haskell
   • programming
   • type-systems

6. Names are not type safety

   lexi-lambda.github.io

   • haskell
   • programming
   • type-systems

7. Servant Route Smooshing

   www.parsonsmatt.org

   • haskell
   • programming
   • type-systems

8. TysWiredIn.hs - Note [Any types]

   hackage.haskell.org

   • haskell
   • programming
   • type-systems