A
так работает
Size: a a a
2021 February 15
T
The Lord of Hypercomplex Numbers
Обрезать морочно, извинити
Ммм, шОкалы
D
надо попросить, чтобы компилятор учил как экстеншн включать
D
в сообщениях
T
надо попросить, чтобы компилятор учил как экстеншн включать
Кто такой экстеншн
A
TypeApplications например
D
The Lord of Hypercomplex Numbers
Кто такой экстеншн
у компилятора есть расширения
A
ну кстати можно это @Int просто выбросить и все
T
у компилятора есть расширения
Компилятор имеет расширения, а расширения имеют меня, понял
A
aragaer@stronghold /tmp $ cat p.hs
main = print =<< (+3) . read <$> getLine
aragaer@stronghold /tmp $ stack ghc p
[1 of 1] Compiling Main ( p.hs, p.o ) [flags changed]
Linking p ...
aragaer@stronghold /tmp $ ./p
10
13
A
все работает
T
ну кстати можно это @Int просто выбросить и все
👀
Ща попробую
Попробовал
А зачем тогда вообще @Int?
Ща попробую
Попробовал
А зачем тогда вообще @Int?
A
чтобы точно Int, а не какой-нибудь Integer
T
aragaer@stronghold /tmp $ cat p.hs
main = print =<< (+3) . read <$> getLine
aragaer@stronghold /tmp $ stack ghc p
[1 of 1] Compiling Main ( p.hs, p.o ) [flags changed]
Linking p ...
aragaer@stronghold /tmp $ ./p
10
13
Мы одинаково мыслим
Я тоже 10 вбил
Я тоже 10 вбил
T
чтобы точно Int, а не какой-нибудь Integer
Справедливо
A
$ ./p
10000000000000000000000000000000000000000000
7386721425538678787
A
с Int вот такое получается. С Integer
$ ./p
10000000000000000000000000000000000000000000
10000000000000000000000000000000000000000003
A
ну или точнее не "с Integer", а "без Int"
A
вариант с @Int у меня получился чуть-чуть даже меньше бинарь
к
в данном случае достаочно вместо (+ 3) написать (+ (3 :: Integer))