SK
ага, был, только это всё равно была не функция
ну и, доречi, "Fast and loose reasoning is morally correct" закрыл такие темы довольно давно
Size: a a a
2020 February 26
ὦ
ну тогда добро пожаловать в мой клуб
R
ὦan
ну тогда добро пожаловать в мой клуб
хаха ты дед
λ
ну и, доречi, "Fast and loose reasoning is morally correct" закрыл такие темы довольно давно
ЯННП
DM
не понял, это Ян закрыл?
SK
ну и, доречi, "Fast and loose reasoning is morally correct" закрыл такие темы довольно давно
были бы polymorphic function types - никого бы не ебло, что не настоящая
SK
ЯННП
название паперы
λ
были бы polymorphic function types - никого бы не ебло, что не настоящая
ну чтобы никого не ебло, они бы и вести должны были себя нормально
ὦ
не понял, это Ян закрыл?
я ниче не делал
ὦ
хаха ты дед
всего на 1 год старше
λ
хотя можно конечно коэрций понавыдумывать наверное
R
ὦan
всего на 1 год старше
ээ молодняк
ὦ
ээ молодняк
вот леша дед
KS
Получается, на хаскель надо уходить писать
w
Kirill Shelopugin
Получается, на хаскель надо уходить писать
Эх, сча бы писать
R
ὦan
вот леша дед
у него дети даже
λ
хотя учитывая, что типы функций и их параметров (в т.ч. имплисит) не индуктивны, общее решение не сделоть
DM
Kirill Shelopugin
Получается, на хаскель надо уходить писать
нет
KS
Как нет, там нельзя без монадки файл читать