HaskellKatas

Learn to program by serendipity. Welcome to the gymnastics of code katafication.

[HaskellKatas @HaskellKatas]

@naldoco Hola, bro

[International Lab @iLABMadrid]

Aprende programación por entrenamiento con HaskellKatas
📆30/5/2025
⏰18:30
📣@HaskellKatas

Entra en la web de Madrid Innovation e inscríbete gratis 👉 https://t.co/waSIeKynnM

#eventos #networking #madrid

[HaskellKatas @HaskellKatas]

The following event [ES], in collaboration with HaskellMAD and Haskellkatas, will take place at iLAB (Madrid International Lab) on Friday, May 30th.
https://t.co/Ik3PhjINuD

[Igal Tabachnik @hmemcpy]

"Marking illegal states unrepresentable" is incredibly easy - use a language with sum types and exhaustive pattern matching. You're about 95% there.

[Graham Hutton @haskellhutt]

FP fans - 11 new PhD abstracts have just been published in the Journal of Functional Programming, with links to the full dissertations! https://t.co/NfRnt07RHW

[Alejandro Serrano @trupill]

As preparation for my type checking workshop I've printed in a nice form four papers I think give you a better overview of the field. Here's a thread with them 🧵

[albina @enjojoyy]

am I missing something or 35 years in prison is too much for a student stealing scientific journals?

[Alejandro Serrano @trupill]

Para los que viváis por Madrid y queráis aprender Haskell, el 15 de enero hay una sesión de katas para aprender y practicar

https://t.co/sGCiFF8lU0

[HaskellKatas @HaskellKatas]

First real Haskellkatas workshop ever
https://t.co/eq5w8hW6IW

[Graham Hutton @haskellhutt]

Just listed to a great new @HaskelInterlude with John Hughes! I particularly enjoyed hearing John arguing for keeping things simple, and how this is important for teaching new users, two things that are very close to my own heart. https://t.co/JGOcGqPlnD

[HaskellKatas @HaskellKatas]

Empieza el taller de HaskellKatas enseguida.
Página del proyecto:
https://t.co/i9XcQb6pDT
Slides: https://t.co/JZkOpGel6P
#codemotion #haskell #programming #madrid

[Graham Hutton @haskellhutt]

Interested in learning Haskell? My introductory and advanced courses are available on YouTube, with new videos added each week as the courses progress (intro: https://t.co/rk0n19cV3q, advanced: https://t.co/lhR9vV3BW9). Now with subtitles!

[HaskellKatas @HaskellKatas]

(ESP) Construye un entorno de katas potente y flexible
https://t.co/7ors31D07W

[Reynaldo Cordero @naldoco]

Taller sobre Katas de programación al estilo hacker. Para TODOS los niveles. No hay nada mejor, en mi opinión. https://t.co/xzalWWYYBB

[HaskellKatas @HaskellKatas]

@chrislpenner Fortunately, none of these issues are REALLY important to learning or developing professional-grade code in today's Haskell ecosystem. ;-)
Also: all of them should be irrelevant to programming training when your focus is placed on the style, quality and fun.

[Chris Penner @chrislpenner]

When I show you this list of issues, which language do you think of?

• Poor error messages
• Documentation not helpful enough
• Getting started difficulty
• Lack of IDE support

[HaskellKatas @HaskellKatas]

https://t.co/kI7hdqZEVK

[HaskellKatas @HaskellKatas]

Wally Makes A Suggestion by Scott Adams https://t.co/03Hmd9DnHU a través de @Dilbert_Daily

[HaskellKatas @HaskellKatas]

Excelente noticia. Gracias por el esfuerzo. Contad con nosotros.

[@[email protected] @esLibre_]

Hace unos meses tuvimos que suspender la organización de #esLibre2020 por el COVID-19, pero... ¡finalmente lo haremos completamente online!

Será el 18-19 de septiembre, celebrándola durante el #SoftwareFreedomDay.

Próximamente daremos más info: https://t.co/Tesnc4IVmY

👏👏👏