67 results

• 67programming
• 67haskell
• 9performance
• 8type-systems
• 5testing
• 4maths
• 3experience-reports
• 2advent-of-code
• 1webassembly
• 1rust
• 1rants
• 1json
• 1javascript
• 1gaming
• 1formal-methods
• 1documentation
• 1datalog
• 1agda

1. Testable IO in Haskell

   andyfriesen.com

   • haskell
   • programming
   • testing

2. Testing higher-order properties with QuickCheck

   blog.poisson.chat

   • haskell
   • programming
   • testing

3. The Essence of Datalog

   dodisturb.me

   • datalog
   • haskell
   • programming

4. The HLint Match Engine

   neilmitchell.blogspot.com

   • haskell
   • programming

5. The Haskell Elephant in the Room

   www.stephendiehl.com

   • haskell
   • programming
   • rants

6. The ReaderT Design Pattern

   www.fpcomplete.com

   • haskell
   • programming

7. The problem with adding functions to compact regions

   www.well-typed.com

   • haskell
   • programming

8. The reasonable effectiveness of the continuation monad

   blog.poisson.chat

   • haskell
   • programming

9. Thoughts on bootstrapping GHC

   www.joachim-breitner.de

   • haskell
   • programming

10. Threading responsibly

    mazzo.li

    • haskell
    • programming

11. TysWiredIn.hs - Note [Any types]

    hackage.haskell.org

    • haskell
    • programming
    • type-systems

12. UK air traffic control meltdown

    jameshaydon.github.io

    • haskell
    • programming

13. United Monoids

    blogs.ncl.ac.uk

    • haskell
    • maths
    • programming

14. What is Good About Haskell?

    doisinkidney.com

    • haskell
    • programming

15. Why would you use ContT?

    ro-che.info

    • haskell
    • programming

16. Winter is coming even more quickly

    www.joachim-breitner.de

    1. Introduction
    2. Part 1 - Vectors
    3. Part 2 - SPECIALIZE
    4. Part 3 - Difference Lists
    5. Part 4 - Export Lists
    6. Part 5 - Eta-expanding ReaderT
    7. Part 6 - Simpler Code
    8. Part 7 - The Zipper
    9. Statistics (the making-of)
    • haskell
    • performance
    • programming
    • webassembly

17. Writing Custom Optimization Passes

    reasonablypolymorphic.com

    • haskell
    • performance
    • programming