范畴论 把很多代数群一起来研究,看看有各个代数群之间有什么共通的特性; 常用术语 Functor, Bifunctor, Profunctor, Monad, Comonad, Bimonad, MonoidK
sealed abstract class TreeInstances { implicit val treeInstance: Traverse1[Tree] with Monad[Tree] with Comonad [Tree] with Align[Tree] with Zip[Tree] = new Traverse1[Tree] with Monad[Tree] with Comonad[Tree] with
使用 jQuery 你不需要理解“comonad”是什么,你也不需要为了使用 Redux 去理解函数组合。 任何框架或者库的目的都应该是把复杂的事物抽象得更加简单。
FlexibleInstances #-} module Haskoin.Types where import Protolude import Crypto.Hash import Control.Comonad.Cofree
所谓申明式 UI 可以用下面的公式表达: type render = (state: State) => View; 然后用一段公式介绍了 Comonadic: class Functor w => Comonad