[Haskell] (+/-) бесконечность

сомневаюсь, что такое есть, т.к. числа в хаскеле вроде как безграничы

> числа в хаскеле вроде как безграничы

И сколько байт занимает "безграничное" число?

сколько надо, столько и занимает :)

isInfinite (1/0)

> И сколько байт занимает "безграничное" число?

Всю доступную память может занять. Во многих языках есть безграничные числа.

> Всю доступную память может занять.

Ну так это и есть граница. Т.е. безграничных чисел нет?

>И сколько байт занимает "безграничное" число

Подозреваю, что где-то около _|_.

> Ну так это и есть граница. Т.е. безграничных чисел нет?

имеется в виду, что у языка нет ограничений

реально бесконечное число last [1..] Только вычислятся оно тоже бесконечно будет.

ну, для меня контекст бесконечности был таков : любой тип, принадлежащий к классу Ord в сравнении с бесконечностью должен быть меньше, а с минус бесконечностью - больше. в принципе от размерности числовых типов Haskell зависеть не должно. бесконечности в Haskell, как оказалось, действительно нет (с чем-то я его перепутал), и способы построения катаморфизмов, в которых я намеревался бесконечности использовать, мне уже показали. тем не менее still curious

почему ж нет? let inf = (1/0) let neg_inf = (-1)*inf

вполне себе бесконечность например (inf == inf/2)==True и 1/inf = 0.0

Опять же isInfinity из Prelude работает

Но как ни странно:
Prelude> (1/0) + sin(1/0)
NaN

а так хотелось inf

Синус бесконечности разве определен?

По крайней мере lim x, при x->inf не существует.

>> Prelude> (1/0) + sin(1/0)

Чтобы понять почему тут NaN нуна вспомнить, что sin(x) при x -> inf неопределен.

>Чтобы понять почему тут NaN нуна вспомнить, что sin(x) при x -> inf неопределен

ну это тем не менее нелогично. бесконечность + _ = бесконечность. независимо от того, определён _ или нет. на мой взгляд это правило сильнее. вот если бы (1/0) + (1/0)*sin(1/0) - тогда да, NaN как он есть

> . бесконечность + _ = бесконечность независимо от того, определён _ или нет

Странная логика.

NaN - нот э намба, не число. арифметические действия с не числами не логичны. короче, выдыхай :)

Я был двоечником. Всю жизнь думал, что |sin(x) |<= 1 при любых действительных x.
Из чего Infinity + C = Infinity. Буду рад увидеть ссылку на обратное.