68 results

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

1. Haskell Problems For a New Decade

   www.stephendiehl.com

   • haskell
   • programming

2. Haskell in Production: Riskbook

   serokell.io

   • experience-reports
   • haskell
   • programming

3. Hedgehog on a REST API

   magnus.therning.org

   • haskell
   • programming
   • testing

4. Higher-rank types in Standard Haskell

   blog.poisson.chat

   • haskell
   • programming
   • type-systems

5. Holmes

   github.com

   • formal-methods
   • haskell
   • programming

6. How QuantifiedConstraints can let us put join back in Monad

   ryanglscott.github.io

   • haskell
   • programming

7. How we made Haskell search strings as fast as Rust

   tech.channable.com

   • haskell
   • performance
   • programming
   • rust

8. Implementing unsafeCoerce correctly using unsafePerformIO

   www.reddit.com

   • haskell
   • programming

9. Improvements in GHC's testsuite infrastructure

   www.haskell.org

   • haskell
   • programming
   • testing

10. Improving Random

    mail.haskell.org

    • haskell
    • programming

11. JSON Parsing from Scratch in Haskell

    abhinavsarkar.net

    • haskell
    • json
    • programming

12. Lazy validation

    ro-che.info

    • haskell
    • programming

13. Lessons learned from writing ShellCheck, GitHub’s now most starred Haskell project

    www.vidarholen.net

    • experience-reports
    • haskell
    • programming

14. Linear types are merged in GHC

    www.tweag.io

    • haskell
    • programming
    • type-systems

15. Making Haskell run fast: the many faces of reverse

    blog.poisson.chat

    • haskell
    • performance
    • programming

16. My favorite Haskell function

    github.com

    • haskell
    • programming

17. Names are not type safety

    lexi-lambda.github.io

    • haskell
    • programming
    • type-systems

18. Parse, don’t validate

    lexi-lambda.github.io

    • haskell
    • programming

19. Proxy arguments in class methods: a comparative analysis

    ryanglscott.github.io

    • haskell
    • programming

20. Random libraries and benchmarks

    alexey.kuleshevi.ch

    • haskell
    • performance
    • programming

21. Servant Route Smooshing

    www.parsonsmatt.org

    • haskell
    • programming
    • type-systems

22. Shuffling things up: Applying Group Theory in Advent of Code

    blog.jle.im

    • advent-of-code
    • haskell
    • maths
    • programming

23. Some Tricks for List Manipulation

    doisinkidney.com

    • haskell
    • programming

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

    www.tweag.io

    • haskell
    • programming

25. Term/Type Punning in Haskell

    int-index.com

    • haskell
    • programming