(no subject)
А расскажите, что можно почитать про системы типов? И с уклоном в практику, и с уклоном в теорию, но не слишком зубодробительную.
На данный момент я на примере Java generic-ов почти освоился с ковариантностью и контравариантностью. Функции высших порядков понимаю. И разобрал большую часть монад из википедии, т.е. от типа Optional в обморок не упаду. Но полноценно применять из этого умею только фунции высших порядков. На хаскеле пока не программировал.
Собственно, хочу систематизировать и углубить знания, поскольку дичайше отчаялся от системы типов джавы. Не могу даже понять: это я не умею ее использовать или она и впрямь не подходит для моих задач. С "плюсами" всё было намного понятнее и гибче.
На данный момент я на примере Java generic-ов почти освоился с ковариантностью и контравариантностью. Функции высших порядков понимаю. И разобрал большую часть монад из википедии, т.е. от типа Optional в обморок не упаду. Но полноценно применять из этого умею только фунции высших порядков. На хаскеле пока не программировал.
Собственно, хочу систематизировать и углубить знания, поскольку дичайше отчаялся от системы типов джавы. Не могу даже понять: это я не умею ее использовать или она и впрямь не подходит для моих задач. С "плюсами" всё было намного понятнее и гибче.