learning Scalaz-day5

day 4里面粗看了typeclass law以及一些Monoid。今天就到了Monads

learning Scalaz-day4

上一次,我们见到了kindtype,以及Tagged type,然后大概看了Semigroup以及Monoid这两种抽象了二元运算的类型。之前在讨论的时候,就已经说过,FunctorMonoid等应该满足一些性质,称之为Law

learning Scalaz-day3

上一次的从Functor开始,然后到Applicative,最后到sequenceA的实现。

learning Scalaz-day2

之前已经实现了见过了很多基本的type classes,接下来看一看Functor typeclass。如果你不懂什么是Functor可以理解成一个包含map函数的interface,不过其实它应该还要满足一些性质。基本从这里以后的内容都没有相应的背景知识介绍。想学习一个的可以看这里

learning Scalaz-day1

《Learn You a Haskell for Great Good》里面说:

A typeclass is a sort of interface that defines some behavior. If a type is a part of a typeclass, that means that it supports and implements the behavior the typeclass describes.

learning Scalaz-day0

这个是为了学习Scalaz而翻译的笔记,Scalaz是为Scala提供函数式编程能力的库,实现了诸如FunctorMonadtype classes,恩,你在Haskell熟悉的东西,想在scala里面用基本都要去Scalaz里面找。