Size: a a a

2021 July 02

X

XÆA-XII in Haskell
Ага
источник

X

XÆA-XII in Haskell
Она так и выглядит, только foldr
источник

YS

Yan Shkurinskiy in Haskell
asum . reverse
источник

DB

Danil Berestov in Haskell
Гигант мысли!
источник

X

XÆA-XII in Haskell
Да мне не нада конкретно foldl
источник

YS

Yan Shkurinskiy in Haskell
Тогда сочиняй)
источник

X

XÆA-XII in Haskell
Да ёмаё
источник

X

XÆA-XII in Haskell
Мне она и нужна
источник

DB

Danil Berestov in Haskell
Тогда не сочиняй, пользуй готовую
источник

DM

Dmitriy Mozhevitin in Haskell
А что пришло взамен?
источник

YS

Yan Shkurinskiy in Haskell
Тайп аппликейшн часто
источник

L

Lierdakil in Haskell
visible type applications
источник

DM

Dmitriy Mozhevitin in Haskell
а слово visible добавляет какой-то доп.смысл?
источник

DB

Danil Berestov in Haskell
Да, тайп аппликецшен всегда были. Только недавно дали в руки программистам
источник

L

Lierdakil in Haskell
ну технически компилятор делал те же самые type applications при инстанцировании, но "невидимо"
источник

DM

Dmitriy Mozhevitin in Haskell
а вообще справедливо, что тайп аппликейшн
юзал прокси только при взаимодействии с каким-нить библиотечным кодом
и каждый раз когда его вижу становится не по себе
источник

DB

Danil Berestov in Haskell
В Коре, в смысле
источник

DM

Dmitriy Mozhevitin in Haskell
про это не знал, спс
источник

к

кана in Haskell
да, не все аргументы visible
источник

к

кана in Haskell
f :: forall {a}. a -> a

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