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.
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.
