Haskell 范畴基础

http://www.sczyh30.com/posts/Functional-Programming/haskell-category-basic/

Morphism: 态射 (Mapping : 映射)

Functor (F): 函子 F :: C \to D

Covariant: 协变 C \to D

Contravariant: 逆变 C^{Op} \to D

Type: 类型

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s