Size: a a a

PureScript — русскоговорящее сообщество

2020 April 07

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
особенно если не юзать рефлекс хост и прочее
источник

KV

Kirill Valyavin in PureScript — русскоговорящее сообщество
Речь про уродские констрейнты?
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
как за частую да
источник

KV

Kirill Valyavin in PureScript — русскоговорящее сообщество
Я обычно без задней мысли пишу
foo :: _ => _
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
эта штука конечно упрощает работу
https://github.com/EugeneN/twic2/blob/master/frontend/src/Lib/FW.hs#L20
источник

R:

Ryner :: () -> IO ❄️ in PureScript — русскоговорящее сообщество
Я мягко говоря не так хорошо разбираюсь, просто написал хелперы когда пытался что-то делать
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
Kirill Valyavin
Я обычно без задней мысли пишу
foo :: _ => _
фу
источник

KV

Kirill Valyavin in PureScript — русскоговорящее сообщество
Что справа от стрелочки можно воткнуть, а что слева пусть само как-нибудь
источник

KV

Kirill Valyavin in PureScript — русскоговорящее сообщество
Ryner :: () -> IO ❄️
Я мягко говоря не так хорошо разбираюсь, просто написал хелперы когда пытался что-то делать
Ну и зачем это писать, когда можно не писать
источник

R:

Ryner :: () -> IO ❄️ in PureScript — русскоговорящее сообщество
Kirill Valyavin
Ну и зачем это писать, когда можно не писать
Не писать не получится
источник

KV

Kirill Valyavin in PureScript — русскоговорящее сообщество
Ryner :: () -> IO ❄️
Не писать не получится
Чёита?
источник

R:

Ryner :: () -> IO ❄️ in PureScript — русскоговорящее сообщество
Потому что я трогал обелиск
источник

R:

Ryner :: () -> IO ❄️ in PureScript — русскоговорящее сообщество
И без этих всех констрейнтов ничего нормально не написать
источник

KV

Kirill Valyavin in PureScript — русскоговорящее сообщество
Ryner :: () -> IO ❄️
И без этих всех констрейнтов ничего нормально не написать
Где это они не выводятся?
источник

R:

Ryner :: () -> IO ❄️ in PureScript — русскоговорящее сообщество
Они выводятся
источник

R:

Ryner :: () -> IO ❄️ in PureScript — русскоговорящее сообщество
В тип на несколько строк с импортами из различных частей рефлекса и обелиска
источник

KV

Kirill Valyavin in PureScript — русскоговорящее сообщество
Раз выводятся, нафига писать?
источник

R:

Ryner :: () -> IO ❄️ in PureScript — русскоговорящее сообщество
Не получится не писать их всегда
источник

KV

Kirill Valyavin in PureScript — русскоговорящее сообщество
Ryner :: () -> IO ❄️
Не получится не писать их всегда
Да почему? Если вдруг где-то вывод запутается, наверняка же всё равно можно добавить, скажем, один явный констрейнт, а остальные андерскор
источник

R:

Ryner :: () -> IO ❄️ in PureScript — русскоговорящее сообщество
Я не думаю что это best practice
источник