EG
(примерно поэтому я пишу лисп)
Size: a a a
2020 May 02
r
typeof (x^4 + y^4 - z^4)
EG
red75prime
typeof (x^4 + y^4 - z^4)
Ну, это можно вычислять итеративно
EG
Тут из сложного только степени
r
Ну, это можно вычислять итеративно
Долго придётся проверять, можно ли присвоить значение этого типа типу (0) если x!=0
EG
red75prime
Долго придётся проверять, можно ли присвоить значение этого типа типу (0) если x!=0
Да, тайпчекаться будет очень долго
EG
Так, подожди секунду, я недооценил «очень долго»
r
Да, тайпчекаться будет очень долго
Теорема Ферма. Бесконечно долго. для BigInt, конечно
p
Ну возводить в степень тип это какой-то мазохизм. Пока что такого не хочу. Сделаю +- только. Потому что остальное будет долго считаться и вообще это сложно.
EG
С произвольными завтипами возведение в степень можно реализовать
EG
red75prime
Теорема Ферма. Бесконечно долго. для BigInt, конечно
Нет, потому что Int не бесконечен.
EG
Это не «любое целое число», а «любое целое число от INTMIN до INTMAX»
p
у меня Int бесконечен
p
а I32, I64 получаются от базового Int путем ограничений
EG
у меня Int бесконечен
Уже длинную арифметику реализовал?
EG
Впрочем, неважно
p
пока нет, но готовые крейты есть
EG
Код исполняется на несовершенном железе, у которого есть ограниченный объём оперативной памяти
r
Код исполняется на несовершенном железе, у которого есть ограниченный объём оперативной памяти
И в несовершенной Вселенной, у которой есть срок годности
EG
а I32, I64 получаются от базового Int путем ограничений
Я бы, кстати, отключал длинную арифметику по дефолту, потому что вывод типов и без этого будет медленным