Телеграмм чат группы fprog

neFormal

Это id или lg?

это не может быть lg

14:03пожаловаться #1

это может быть только id

14:03пожаловаться #2

это может быть error!

14:04пожаловаться #3

х(

14:04пожаловаться #4

lg - не может быть, конечно же

14:04пожаловаться #5

Aleksei (astynax) Pi... in fprog_spb

Alexander Vershilov

это может быть error!

Ну с этим и наличие имени ничего не сделает

14:04пожаловаться #6

neFormal in fprog_spb

У lg такая же сигнатура без констов

14:04пожаловаться #7

а ещё это может быть:
let x = x in x

14:04пожаловаться #8

neFormal

У lg такая же сигнатура без констов

Нет

14:04пожаловаться #9

neFormal

У lg такая же сигнатура без констов

Там ограничение на числа

14:04пожаловаться #10

в lg не засунуть строку

14:05пожаловаться #11

> :t log
log :: Floating a => a -> a

14:05пожаловаться #12

Да даже Ratio не засунуть

14:05пожаловаться #13

Prelude Data.Ratio> log (4 % (8::Int))

<interactive>:6:1: error:
• No instance for (Floating (Ratio Int))

14:06пожаловаться #14

Хотя вполне себе число

14:06пожаловаться #15

ну, я не стал вдаваться в подробности (оправдываю свою неграмотность)

14:06пожаловаться #16

neFormal in fprog_spb

Я вроде понятно написал. Именно про это

14:06пожаловаться #17

Тебя все не поняли => непонятно

14:07пожаловаться #18

В общем у a -> a есть только 2 реализации identity и bottom

14:07пожаловаться #19

Alexander Vershilov

Тебя все не поняли => непонятно

*все непоняли