@chechar huy, quizá debí especificar que creo que es una broma ultraelaborada.

(Diría que este artículo convierte Fortran paso a paso en un lenguaje tipo Haskell pero más friki, tipo Lean.)

(Es curioso que tanto Fortran como la familia de Haskell/Lean y demás me parezcan ambos lenguajes para matemáticos, pero a su vez no tienen nada que ver entre sí.)

@chechar Lean tiene cosas tipo que puede demostrar/validar que tu función "concatenar listas" tiene un tipo como:

lista de n elementos de tipo x -> lista de m elementos de tipo x -> lista de n+m elementos de tipo x