умный дядя Клейсли
Oct. 15th, 2012 10:17 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
sassa_nfА вот какая часть его трипля постулирует способ extension f: A → T B в f*: T A → T B?
То есть, что задаёт способ "обхода списка" T A - monadic vs applicative
idTA = ηTA ; id*TA - это понятно. Но для определения μ ещё же нужно показать idTA = T ηA ; id*TA.
То есть, что задаёт способ "обхода списка" T A - monadic vs applicative
idTA = ηTA ; id*TA - это понятно. Но для определения μ ещё же нужно показать idTA = T ηA ; id*TA.
