Mastodawn

redmp (EDITED)28m ago

when did the derived read instance start caring about the order of fields? has it always? #haskell

HaskellOrg 5h ago

Picking up #Haskell is not a matter of "If" but of "When".

When your head overflows with UML diagrams instead of expressive yet concise types?

When your systems belch runtime exceptions like a Weezing?

When shared mutable state prevents you from understanding what the hell is happening?

HaskellOrg 5h ago

Some people hear “ #Haskell 's type system eliminates entire classes of bugs” and think “Cool, no tests needed”.
But what you should hear is “Cool, we can focus on more interesting tests”.

Golden tests, property tests, doctests…

https://wiki.haskell.org/index.php?title=How_to_write_a_Haskell_program#Testing

How to write a Haskell program - HaskellWiki

José A. Alonso 9h ago

Readings shared June 15, 2025. https://jaalonso.github.io/vestigium/posts/2025/06/16-readings_shared_06-15-25 #AI #AIforMath #CoqProver #FunctionalProgramming #Haskell #ITP #LeanProver #Lisp #Math #Programming #Rocq

Readings shared June 15, 2025

The readings shared in Bluesky on 15 June 2025 are BiCoq: Bigraphs formalisation with Coq. ~ Cécile Marcon et als. #ITP #CoqProver #Rocq #Math Introduction to competitive programming in Haskell. ~ Br

Vestigium

Philip Schwarz 21h ago

🚀 just uploaded (link in reply): "Folding Cheat Sheet #9 List Unfolding - unfold as the Computational Dual of fold, and how unfold relates to iterate" #scala #haskell #folding #unfolding #iterate #functional_programming

José A. Alonso 1d ago

Data structures and algorithms for competitive programming in Haskell. ~ Soumik Sarkar. https://github.com/meooow25/haccepted #Haskell #FunctionalProgramming

GitHub - meooow25/haccepted: Data structures and algorithms for competitive programming in Haskell

Data structures and algorithms for competitive programming in Haskell - meooow25/haccepted

GitHub

José A. Alonso 1d ago

Introduction to competitive programming in Haskell. ~ Brent Yorgey. https://byorgey.github.io/blog/posts/2025/06/10/comprog-hs-intro.html #Haskell #FunctionalProgramming

José A. Alonso 1d ago

Readings shared June 14, 2025. https://jaalonso.github.io/vestigium/posts/2025/06/15-readings_shared_06-14-25 #Algorithms #Emacs #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Math #Maxima

Readings shared June 14, 2025

The readings shared in Bluesky on 14 June 2025 are Formalizing information theory in Lean 4: divergences, hypothesis testing and the data processing inequality. ~ Lorenzo Luccioli. #ITP #LeanProver #

Vestigium

José A. Alonso 1d ago

Curso "Informática (2013-14)". https://jaalonso.github.io/cursos/i1m-13 #Haskell #ProgramaciónFuncional #Algorítmica #CálculoSimbólico #Maxima