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.
#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
@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
The simple Haskell initiative. https://www.simplehaskell.org/ #Haskell #FunctionalProgramming
"We believe that when later generations look back at the development of mathematics one will recognise four important steps: (1) the Egyptian-Babylonian-Chinese phase, in which correct computations were made, without proofs; (2) the ancient Greeks with the development of ‘proof ’; (3) the end of the nineteenth century when mathematics became ‘rigorous’; (4) the present, when mathematics (supported by computer) finally becomes fully precise and fully transparent." H. Barendregt, F. Wiedijk.
- 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.
