Login

Recent searches

No recent searches

Search options

Not available on mastodon.xyz.
mastodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance, open to everyone, but mainly English and French speaking.

Administered by:

Server stats:

812
active users

mastodon.xyz: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.4

#programacionfuncional

5 posts5 participants0 posts today
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Exercitium</span></a>: Descomposiciones triangulares. <a href="https://jaalonso.github.io/exercitium/posts/2014/06/05-descomposiciones_triangulares/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">posts/2014/06/05-descomposiciones_triangulares/</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Matemáticas</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Exercitium</span></a>: Índices de valores verdaderos. <a href="https://jaalonso.github.io/exercitium/posts/2014/06/04-indices_verdaderos/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">posts/2014/06/04-indices_verdaderos/</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgramaciónFuncional</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Exercitium</span></a>: Código de las alergias. <a href="https://jaalonso.github.io/exercitium/posts/2014/06/03-alergias/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">posts/2014/06/03-alergias/</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Matemáticas</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Exercitium</span></a>: Reiteración de una función. <a href="https://jaalonso.github.io/exercitium/posts/2014/05/30-reiteracion_de_funciones/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">posts/2014/05/30-reiteracion_de_funciones/</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Matemáticas</span></a></p>
José A. Alonso<p>Curso "Lógica matemática y fundamentos (2011-12)". <a href="https://jaalonso.github.io/cursos/lmf-11" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/cursos/lmf-</span><span class="invisible">11</span></a> <a href="https://mathstodon.xyz/tags/L%C3%B3gica" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Lógica</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgramaciónFuncional</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Exercitium</span></a>: Elementos de una matriz con algún vecino menor. <a href="https://jaalonso.github.io/exercitium/posts/2014/05/29-algun_vecino_menor/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">posts/2014/05/29-algun_vecino_menor/</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Matemáticas</span></a></p>
José A. Alonso<p>Readings shared April 6, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/04/06-readings_shared_04-06-25" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/04/06-readings_shared_04-06-25</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Exercitium</span></a>: Enumeración de árboles binarios. <a href="https://jaalonso.github.io/exercitium/posts/2014/05/28-enumera_arbol/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">posts/2014/05/28-enumera_arbol/</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgramaciónFuncional</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Exercitium</span></a>: Números triangulares con n cifras distintas. <a href="https://jaalonso.github.io/exercitium/posts/2014/05/27-triangulares_con_cifras/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">posts/2014/05/27-triangulares_con_cifras/</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Matemáticas</span></a></p>
José A. Alonso<p>Exámenes de programación funcional con Haskell (curso 2011–12). <a href="https://web.archive.org/web/https://raw.githubusercontent.com/jaalonso/Examenes_de_PF_con_Haskell_Vol3/master/Libro/Examenes_de_PF_con_Haskell_Vol3.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">web.archive.org/web/https://ra</span><span class="invisible">w.githubusercontent.com/jaalonso/Examenes_de_PF_con_Haskell_Vol3/master/Libro/Examenes_de_PF_con_Haskell_Vol3.pdf</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgramaciónFuncional</span></a></p>
José A. Alonso<p>Ejercicios de programación funcional con Haskell (curso 2011–12). <a href="https://web.archive.org/web/http://www.cs.us.es/~jalonso/cursos/i1m-11/ejercicios/ejercicios-I1M-2011.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">web.archive.org/web/http://www</span><span class="invisible">.cs.us.es/~jalonso/cursos/i1m-11/ejercicios/ejercicios-I1M-2011.pdf</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgramaciónFuncional</span></a></p>
José A. Alonso<p>Temas de "Programación funcional" (2011-12). <a href="https://web.archive.org/web/http://www.cs.us.es/~jalonso/cursos/i1m-11/temas/2011-12-IM-temas-PF.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">web.archive.org/web/http://www</span><span class="invisible">.cs.us.es/~jalonso/cursos/i1m-11/temas/2011-12-IM-temas-PF.pdf</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgramaciónFuncional</span></a></p>
José A. Alonso<p>Curso "Informática (2011-12)". <a href="https://jaalonso.github.io/cursos/i1m-11" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/cursos/i1m-</span><span class="invisible">11</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Algor%C3%ADtmica" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Algorítmica</span></a> <a href="https://mathstodon.xyz/tags/C%C3%A1lculoSimb%C3%B3lico" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CálculoSimbólico</span></a> <a href="https://mathstodon.xyz/tags/Maxima" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Maxima</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Exercitium</span></a>: Trenzado de listas. <a href="https://jaalonso.github.io/exercitium/posts/2014/05/26-trenzado_de_listas/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">posts/2014/05/26-trenzado_de_listas/</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgramaciónFuncional</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Exercitium</span></a>: Biparticiones de una lista. <a href="https://jaalonso.github.io/exercitium/posts/2014/05/23-biparticiones_de_una_lista/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">posts/2014/05/23-biparticiones_de_una_lista/</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgramaciónFuncional</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Exercitium</span></a>: Mayor producto de las ramas de un árbol. <a href="https://jaalonso.github.io/exercitium/posts/2014/05/22-mayor_producto_de_las_ramas_de_un_arbol/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">posts/2014/05/22-mayor_producto_de_las_ramas_de_un_arbol/</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Matemáticas</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Exercitium</span></a>: Número de pares de elementos adyacentes iguales en una matriz. <a href="https://jaalonso.github.io/exercitium/posts/2014/05/21-pares_adyacentes_iguales/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">posts/2014/05/21-pares_adyacentes_iguales/</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Matemáticas</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Exercitium</span></a>: Elemento más repetido de manera consecutiva. <a href="https://jaalonso.github.io/exercitium/posts/2014/05/20-mas_repetido/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">posts/2014/05/20-mas_repetido/</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgramaciónFuncional</span></a></p>
José A. Alonso<p>Exámenes de "Programación funcional con Haskell" Vol. 2 (Curso 2010–11). <a href="https://web.archive.org/web/https://raw.githubusercontent.com/jaalonso/Examenes_de_PF_con_Haskell_Vol2/master/Libro/Examenes_de_PF_con_Haskell_Vol2.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">web.archive.org/web/https://ra</span><span class="invisible">w.githubusercontent.com/jaalonso/Examenes_de_PF_con_Haskell_Vol2/master/Libro/Examenes_de_PF_con_Haskell_Vol2.pdf</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Matemáticas</span></a></p>
José A. Alonso<p>Ejercicios de "Informática de 1º de Matemáticas" (2010–11). <a href="https://web.archive.org/web/https://www.cs.us.es/~jalonso/cursos/i1m-10/ejercicios/ejercicios-I1M-2010.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">web.archive.org/web/https://ww</span><span class="invisible">w.cs.us.es/~jalonso/cursos/i1m-10/ejercicios/ejercicios-I1M-2010.pdf</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Matemáticas</span></a></p>
ExploreLive feeds
About