Estoy diseñando un lenguaje de programación funcional simple mecanografiado como una experiencia de aprendizaje. Parece que el sistema de tipos que he implementado hasta ahora podría (con un poco de trabajo extra) incorporar tipos de intersección y unión, por ejemplo, podría tener: <Union...
¿Es posible probar algorítmicamente si un número computable es racional o entero? En otras palabras, ¿sería posible que una biblioteca que implementa números computables proporcione las funciones isIntegero isRational? Supongo que no es posible, y que esto está relacionado de alguna manera con el...
Digamos que queríamos un lenguaje de programación funcional y puro, como Haskell o Idris, que esté dirigido a la programación de sistemas sin recolección de basura y no tenga tiempo de ejecución (o al menos no más que los "tiempos de ejecución" de C y Rust). Algo que puede correr, más o menos,...