monad函数式编程

monad是是一种编程概念，可能要溯源到数学（根据维基百科解释），跟面向对象编程相关的可能在于泛型那部分。