Estou projetando uma linguagem de programação funcional de tipo estaticamente simples como uma experiência de aprendizado. Parece que o sistema de tipos que eu implementei até agora poderia (com um pouco de trabalho extra) incorporar tipos de interseção e união, por exemplo, você poderia...
É possível testar algoritmicamente se um número computável é racional ou inteiro? Em outras palavras, seria possível para uma biblioteca que implementa números computáveis fornecer as funções isIntegerou isRational? Suponho que isso não seja possível e que isso esteja de alguma forma relacionado...
Digamos que queríamos uma linguagem de programação funcional, pura e funcional, como Haskell ou Idris, voltada à programação de sistemas sem coleta de lixo e sem tempo de execução (ou pelo menos não mais do que os "durações" de C e Rust). Algo que pode funcionar, mais ou menos, em metal...