José A. Alonso @jalonso@functional.cafe
- Exercitium
- https://www.glc.us.es/~jalonso/exercitium/
- GitHub
- https://github.com/jaalonso
Matemático interesado en el estudio y enseñanza de la lógica computacional, la programación funcional y el razonamiento automático.
Joined Jan 2020
José A. Alonso
boosted
F-algebras versus regular recursion
https://bartoszmilewski.com/2017/02/28/f-algebras/
Discussions: https://discu.eu/q/https://bartoszmilewski.com/2017/02/28/f-algebras/
José A. Alonso
boosted
Introduction to Haskell Typeclasses
https://serokell.io/blog/haskell-typeclasses
Discussions: https://discu.eu/q/https://serokell.io/blog/haskell-typeclasses
#Exercitium: Soluciones de "Eliminación de las ocurrencias aisladas". https://youtu.be/7TJAdGjM3Ik #Haskell #ProgramaciónFuncional
#I1M2019: Vídeo de "Definiciones por recursión en Haskell (Parte 2 de 2)". https://youtu.be/QwWBJqkIjXo #Haskell #ProgramaciónFuncional #Matemáticas
#I1M2019: Vídeo de "Definiciones por recursión en Haskell (Parte 1)". https://youtu.be/buZ79fi9WHw #Haskell #ProgramaciónFuncional #Matemáticas
#I1M2019: Vídeo de "Haskell con JupyterLab". https://youtu.be/KXTNtTVXiqA #Haskell #ProgramaciónLógica #JupyterLab
#I1M2019: Video de "Definiciones de listas por comprensión en Haskell". https://youtu.be/7_8R7WFpzbM #Haskell #ProgramaciónFuncional
#I1M2019: Vídeo de "Métodos elementales de definición de funciones en Haskell". https://youtu.be/pqWULjqrafQ #Haskell #ProgramaciónFuncional
#I1M2019: Vídeo de "Tipos y clases en Haskell". https://youtu.be/T2Ex9uEKg2U #Haskell #ProgramaciónFuncional
#I1M2019: Vídeo de "Introducción a la programación funcional con Haskell (Parte 2 de 2)". https://youtu.be/-RxlvQ1Bs4c #Haskell #ProgramaciónFuncional
Introducción a la programación funcional con Haskell (Parte 1 de 2) https://youtu.be/7-FDTFPGSsI
The evolution of a Scheme programmer. ~ Erkin Batu Altunbaş. https://erkin.party/blog/200715/evolution/ #Programming #Scheme
Haskell language extension taxonomy. ~ Doug Beardsley. https://gist.github.com/mightybyte/6c469c125eb50e0c2ebf4ae26b5adfff #Haskell #FunctionalProgramming
Kind inference for datatypes. ~ N. Xie, R.A. Eisenberg, B.C.d.S. Oliveira. https://dl.acm.org/doi/pdf/10.1145/3371121?download=true #Haskell #FunctionalProgramming
Mandelbrot & Lovejoy's rain fractals. ~ Jasper Van der Jeugt (@jaspervdj). https://jaspervdj.be/posts/2020-01-04-mandelbrot-lovejoy-rain.html #Haskell #FunctionalProgramming
Type-level rewrite rules. ~ Samuel Gélineau. https://github.com/gelisam/typelevel-rewrite-rules #Haskell #FunctionalProgramming
José A. Alonso
boosted
@jalonso An important benefit to the "Simple Haskell" approach which doesn't seem to be mentioned: it might actually make it possible to write useful, small #Haskell implementations. For all the brilliance of GHC, there's a compiler monoculture in the Haskell world. Like the Chrome monoculture, it's cemented by everyone choosing to rely on the behavior of a single implementation.
Learn Haskell now! ~ Yann Esposito (@yogsototh). https://her.esy.fun/posts/0010-Haskell-Now/index.html #Haskell #FunctionalProgramming
- Exercitium
- https://www.glc.us.es/~jalonso/exercitium/
- GitHub
- https://github.com/jaalonso
Matemático interesado en el estudio y enseñanza de la lógica computacional, la programación funcional y el razonamiento automático.
Joined Jan 2020
