Size: a a a

2021 July 02

IO

I O in Haskell
Кайнды
источник

к

кана in Haskell
но зачастую приходится (или использовать улитку)
источник

к

кана in Haskell
{} позволяет убрать это совсем
источник

DM

Dmitriy Mozhevitin in Haskell
можно более развернуто плз
источник

к

кана in Haskell
в простых случаях помогает просто перестановка аргументов в forall местами, типа ставим первыми то, что нужно указывать, а в конец то что само выводится
источник

к

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

к

кана in Haskell
и улитка неизбежна
источник

IO

I O in Haskell
f :: forall k (a :: k) . foo

Приходится всегда писать f @_ @Int, кайнд выведется автоматически

C

f :: forall {k} (a :: k) . foo

улитка не нужна
источник

к

кана in Haskell
и тут {} приходит на помощь
источник

DM

Dmitriy Mozhevitin in Haskell
все, понял
источник

DM

Dmitriy Mozhevitin in Haskell
спасибо!
источник

к

кана in Haskell
вообще это выглядит как промежуточный хак перед forall ->
источник

к

кана in Haskell
который с приходом forall -> просто должен стать ненужным
источник

к

кана in Haskell
f :: forall k. forall (a :: k) -> foo

f Int - тоже улитка не нужна
источник

P

Purple in Haskell
Друзья, из головы вылетело название – как называлась либка для Web Elm-like приложений?
источник

K

Kir in Haskell
В где?
источник

P

Purple in Haskell
Вспомнил – Miso
источник

IR

IC Rainbow in Haskell
Никто не хочет случаем добавить апи токены в stack?
https://github.com/commercialhaskell/stack/issues/5513
источник
2021 July 03

ST

Stop Terror in Haskell
Прагматично и объективно – бэк для SPA в 2021: Yesod или Servant?
источник

A

Andrey in Haskell
для каких целей?
источник