X
> Книжку Марлоу
И книжку Брагилевского параллельно (и конкурентно)
Size: a a a
2021 May 11
JS
после Москвина можно переходить к практике
YS
хочется написать тайпкласс типа
class Foo (a :: Type -> Bool) where ..., но не могу прокинуть в a тайп-фемелю, т.к. не до конца применена. Как обычно решается такое в хаскеле?YS
Если в результате нужен констрейнт, то кажется такое можно решить передачей тайпкласса, но как в общем случае - не знаю
KV
Дефункционализация, first class families
[
А Брагилевского же нет на русском, да?
OK
Можно смотреть на ютубе Бартоша Милевского
YS
Про дефункционализация надо бы почитать, а вот насчет fcf тоже думал
[
Ну я только англ видел
[
Каждый раз как сюда кидали
[
Он свою книгу пишет
[
Haskell in depth
YS
Недавно дописал
YS
Закончился кошмар, продолжавшийся три с половиной года: в ближайшие дни Haskell in Depth уходит в печать. По этому поводу издательство даёт сегодня скидку в 40%: http://bit.ly/haskell-in-depth. Последним фрагментом текста оказались благодарности. Ещё позавчера их немного правил. Теперь уже совсем всё. Ура!
YS
Плохо гуглили)