λ
мы в личке выяснили, что товарищ хочет выдать чужой проект за свой в универе
Скинуть бы ему ссылку на xmonad
Size: a a a
2020 June 28
YP
Скинуть бы ему ссылку на xmonad
👍 только обои надо нескучные
JS
и в
Op заворачивать, a потом getOp, я так понял?чёрт. неудобненько. тогда
lmapJS
пожалуйста, попросите меня помочь
помоги
JS
чёрт. неудобненько. тогда
lmapно это только для одной переменной
JS
например, из
a -> b -> c нужно сделать Maybe a -> [b] -> ccurry . lmap (bimap fromJust head) . uncurryYP
чёрт. неудобненько. тогда
lmapага, увы
JS
curry . lmap (bimap fromJust head) . uncurry\f x y -> f (fromJust x) (head y) но вот так всё равно понятнееJG
Линейные типы вмерджили, когда зависимые типы появятся?
YP
пожалуйста, попросите меня помочь
не мог бы ты помочь, пожалуйста?
JS
Линейные типы вмерджили, когда зависимые типы появятся?
вот зарелизят линтипы, тогда и поговорим
YP
curry . lmap (bimap fromJust head) . uncurryо, интересное, спасибо! Еще подумал, может, дублирование
pure можно устранить оборачиванием в HList, но не уверен, будет ли пенальти по перфомансу и позднее связывание в результате.JS
о, интересное, спасибо! Еще подумал, может, дублирование
pure можно устранить оборачиванием в HList, но не уверен, будет ли пенальти по перфомансу и позднее связывание в результате."пенальти по перфомансу" по-русски называется потерей производительности (скорости)
YP
Линейные типы вмерджили, когда зависимые типы появятся?
а first-class модули когда? А скоупы неймспейсяв? А dot-нотация для записей и отключение генерации методов-аксессоров? Хотеть-хотеть 🤗
YP
"пенальти по перфомансу" по-русски называется потерей производительности (скорости)
Спасибо)
JS
а first-class модули когда? А скоупы неймспейсяв? А dot-нотация для записей и отключение генерации методов-аксессоров? Хотеть-хотеть 🤗
только без dot. геттеры выключать, конечно, надо, потому что они сами по себе неправильные
YP
ну да, сам синтаксис сомнительный, конечно
YP
Ах, да, еще бы сахар для открытых записей и вариантов, и, возможно, для расширяемых (eadt)