71 results

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

1. Some Tricks for List Manipulation

   doisinkidney.com

   • haskell
   • programming

2. Splittable pseudo-random number generators in Haskell: random v1.1 and v1.2

   www.tweag.io

   • haskell
   • programming

3. Term/Type Punning in Haskell

   int-index.com

   • haskell
   • programming

4. Testable IO in Haskell

   andyfriesen.com

   • haskell
   • programming
   • testing

5. Testing higher-order properties with QuickCheck

   blog.poisson.chat

   • haskell
   • programming
   • testing

6. The Essence of Datalog

   dodisturb.me

   • datalog
   • haskell
   • programming

7. The HLint Match Engine

   neilmitchell.blogspot.com

   • haskell
   • programming

8. The Haskell Elephant in the Room

   www.stephendiehl.com

   • haskell
   • programming
   • rants

9. The ReaderT Design Pattern

   www.fpcomplete.com

   • haskell
   • programming

10. The problem with adding functions to compact regions

    www.well-typed.com

    • haskell
    • programming

11. The reasonable effectiveness of the continuation monad

    blog.poisson.chat

    • haskell
    • programming

12. The sad state of property-based testing libraries

    stevana.github.io

    1. The sad state of property-based testing libraries
    2. Parallel property-based testing with a deterministic thread scheduler
    • programming
    • testing
    • haskell

13. Thoughts on bootstrapping GHC

    www.joachim-breitner.de

    • haskell
    • programming

14. Threading responsibly

    mazzo.li

    • haskell
    • programming

15. TysWiredIn.hs - Note [Any types]

    hackage.haskell.org

    • haskell
    • programming
    • type-systems

16. UK air traffic control meltdown

    jameshaydon.github.io

    • haskell
    • programming

17. United Monoids

    blogs.ncl.ac.uk

    • haskell
    • maths
    • programming

18. What is Good About Haskell?

    doisinkidney.com

    • haskell
    • programming

19. Why would you use ContT?

    ro-che.info

    • haskell
    • programming

20. 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

21. Writing Custom Optimization Passes

    reasonablypolymorphic.com

    • haskell
    • performance
    • programming