Я разрабатываю простой статически типизированный функциональный язык программирования для обучения. Похоже, что система типов, которую я реализовал до сих пор, могла (с небольшой дополнительной работой) включать типы пересечений и объединений, например, вы могли бы иметь: <Union String...
Можно ли алгоритмически проверить, является ли вычисляемое число рациональным или целым? Другими словами, возможно ли для библиотеки, которая реализует вычислимые числа, предоставлять функции isIntegerили isRational? Я предполагаю, что это невозможно, и что это как-то связано с тем, что невозможно...
Допустим, мы хотели создать типичный, чисто функциональный язык программирования, такой как Haskell или Idris, который предназначен для системного программирования без сборки мусора и не имеет времени выполнения (или, по крайней мере, не более, чем «среды выполнения» C и Rust). То, что может...