monad

Swift 烧脑体操（五）- Monad

前言Swift其实比Objective-C复杂很多，相对于出生于上世纪80年代的Objective-C来说，Swift融入了大量新特性。这也使得我们学习掌握这门语言变得相对来说更加困难。不过一切都是值得的，Swift相比Objective-C，写出来的程序更安全、更简洁，最终能够提高我们的工作效率和质量。Swift相关的学习资料已经很多，我想从另外一个角度来介绍它的一些特性，我把这个角度叫做「烧脑
唐巧·2016-03-15 00:00

Swift 烧脑体操（五）- Monad

前言\\Swift其实比Objective-C复杂很多，相对于出生于上世纪80年代的Objective-C来说，Swift融入了大量新特性。这也使得我们学习掌握这门语言变得相对来说更加困难。不过一切都是值得的，Swift相比Objective-C，写出来的程序更安全、更简洁，最终能够提高我们的工作效率和质量。\\Swift相关的学习资料已经很多，我想从另外一个角度来介绍它的一些特性，我把这个角度叫
weixin_34228387·2016-03-14 00:00

[置顶] 一个适用于ListView/GridView/RecyclerView的通用适配器

简化大量重复代码支持多布局自定义图片加载常用数据操作view复用RecyclerViewitem点击和长按事件GitHub源码地址简书地址gradle依赖dependencies{ compile'com.classic.adapter:commonadapter
a125138·2016-03-09 18:00

ListView的CommonAdapter

最近写Adapter写到吐，封装一个adapter共享：publicabstractclassCommonAdapterextendsBaseAdapter{ protectedLayoutInflatermInflater
u010878994·2016-03-08 17:00

【函数式】Monads模式初探——for解析式

for表达式是monad语法糖先看一组示例：caseclassPerson(name:String,isMale:Boolean,children:Person*) vallara=Person("Lara
JasonDing1354·2016-03-05 21:00

【函数式】Monads模式初探——for解析式

for表达式是monad语法糖先看一组示例：caseclassPerson(name:String,isMale:Boolean,children:Person*) vallara=Person("Lara
JasonDing1354·2016-03-05 21:00

【函数式】Monads模式初探——Monad概念

单子单子（Monad）是一种将函子组合应用的方法。在计算机科学里，单子经常用来代表计算（computation）。
JasonDing1354·2016-03-05 21:00

【函数式】Monads模式初探——Option Monad

OptionMonadScala中的Option是一个Monad实现。
JasonDing1354·2016-03-05 21:00

【函数式】Monads模式初探——Monad概念

单子单子（Monad）是一种将函子组合应用的方法。在计算机科学里，单子经常用来代表计算（computation）。
JasonDing1354·2016-03-05 21:00

【函数式】Monads模式初探——Option Monad

OptionMonadScala中的Option是一个Monad实现。
JasonDing1354·2016-03-05 21:00

【函数式】Monads模式初探——Monad概念

title:【函数式】Monads模式初探——Monad概念date:2016-03-0110:12:21category:FunctionalProgrammingtags:-Scala-FunctionalProgramming
JasonDing1354·2016-03-05 21:00

android通用listview和gridview万能适配器实现的两种方式

第一种方式的CommonAdapter： importjava.util.List; importandroid.content.Context;
SYIF88·2016-03-04 12:00

[Haskell] Monad

classMonadmwherereturn::a->ma(>>=)::ma->(a->mb)->mb(>>)::ma->mb->mbx>>y=x>>=\_->yfail::String->mafailmsg
何幻·2016-03-04 07:30

【函数式】Monads模式初探——Endofunctor

自函子自函子（Endofunctor）是一个将范畴映射到自身的函子（Afunctorthatmapsacategorytoitself）。函子是将一个范畴转换到另一个范畴，所以自函子是一种特殊的函子。由三部分组成：一组元素对象一组态射态射组合（二元运算）如果这个范畴满足结合律，那么它是一个半群；如果半群满足幺元（单位元，identity），那么它是幺半群（Monoid）。因此，函子是将一个Mono
JasonDing1354·2016-03-01 10:28

【函数式】Monads模式初探——Endofunctor

自函子自函子（Endofunctor）是一个将范畴映射到自身的函子（Afunctorthatmapsacategorytoitself）。函子是将一个范畴转换到另一个范畴，所以自函子是一种特殊的函子。由三部分组成：一组元素对象一组态射态射组合（二元运算）如果这个范畴满足结合律，那么它是一个半群；如果半群满足幺元（单位元，identity），那么它是幺半群（Monoid）。因此，函子是将一个Mono
JasonDing1354·2016-03-01 10:00

【函数式】Monads模式初探——Endofunctor

自函子自函子（Endofunctor）是一个将范畴映射到自身的函子（Afunctorthatmapsacategorytoitself）。函子是将一个范畴转换到另一个范畴，所以自函子是一种特殊的函子。由三部分组成：一组元素对象一组态射态射组合（二元运算）如果这个范畴满足结合律，那么它是一个半群；如果半群满足幺元（单位元，identity），那么它是幺半群（Monoid）。因此，函子是将一个Mono
JasonDing1354·2016-03-01 10:00

【函数式】Monads模式初探——Functor

函子与范畴函子（functor）是从一个范畴到另一个范畴的转换，并且其亦可转换/保持态射（morphism）。一个态射是从一个范畴里的一个值到同一个范畴里的另一个值的变换。在猫的范畴的例子里，一个态射好比一个盒子，能够把黯淡无光的猫转化为一个霓虹闪耀的猫。在类型的范畴里（计算机科学常用的范畴），一个态射是一个把某类型转化为另一个类型的函数。函子是可以把猫转化为狗的东西（不同范畴的转换）。函子可以把
JasonDing1354·2016-02-29 21:18

【函数式】Monads模式初探——Functor

函子与范畴函子（functor）是从一个范畴到另一个范畴的转换，并且其亦可转换/保持态射（morphism）。一个态射是从一个范畴里的一个值到同一个范畴里的另一个值的变换。在猫的范畴的例子里，一个态射好比一个盒子，能够把黯淡无光的猫转化为一个霓虹闪耀的猫。在类型的范畴里（计算机科学常用的范畴），一个态射是一个把某类型转化为另一个类型的函数。函子是可以把猫转化为狗的东西（不同范畴的转换）。函子可以把
JasonDing1354·2016-02-29 21:00

【函数式】Monads模式初探——Functor

函子与范畴函子（functor）是从一个范畴到另一个范畴的转换，并且其亦可转换/保持态射（morphism）。一个态射是从一个范畴里的一个值到同一个范畴里的另一个值的变换。在猫的范畴的例子里，一个态射好比一个盒子，能够把黯淡无光的猫转化为一个霓虹闪耀的猫。在类型的范畴里（计算机科学常用的范畴），一个态射是一个把某类型转化为另一个类型的函数。函子是可以把猫转化为狗的东西（不同范畴的转换）。函子可以把
JasonDing1354·2016-02-29 21:00

Scalaz（28）－ ST Monad ：FP方式适用变量

  函数式编程模式强调纯代码（purecode），主要实现方式是使用不可变数据结构，目的是函数组合（composability）最终实现函数组件的重复使用。但是，如果我们在一个函数p内部使用了可变量（mutablevariables），如果函数的输入参数e是纯代码，那么表达式p(e)同样是纯代码的，因为函数的调用者是无法接触到函数内部申明的这些可变量的。不过，这样的做法会造成函数的臃肿代码，因为在
TIGER_XC·2016-02-29 08:00

Scalaz（28）－ ST Monad ：FP方式适用变量

  函数式编程模式强调纯代码（purecode），主要实现方式是使用不可变数据结构，目的是函数组合（composability）最终实现函数组件的重复使用。但是，如果我们在一个函数p内部使用了可变量（mutablevariables），如果函数的输入参数e是纯代码，那么表达式p(e)同样是纯代码的，因为函数的调用者是无法接触到函数内部申明的这些可变量的。不过，这样的做法会造成函数的臃肿代码，因为在
雪川大虫·2016-02-29 08:00

【函数式】Monads模式初探——Monoids

Monads是什么知乎里有关于什么是Monad的问题讨论，而在维基百科中也有关于Monad的释义。
JasonDing1354·2016-02-28 21:00

【函数式】Monads模式初探——Monoids

Monads是什么知乎里有关于什么是Monad的问题讨论，而在维基百科中也有关于Monad的释义。
JasonDing1354·2016-02-28 21:00

android自定义adapter之简单写法

给控件设置adapter的调用代码大概是这样   mGridView.setAdapter(newCommonAdapter(mContext,list,R.layout.item_main_shouye
tianyaleixiaowu·2016-02-25 11:00

万能Adapter以及ViewHolder性能优化

//CommonAdapterimportandroid.content.Context; importandroid.widget.BaseAdapter; importjava.util.List
戎码之路·2016-01-28 22:00

Scalaz（25）－ Monad： Monad Transformer-叠加Monad效果

 中间插播了几篇scalaz数据类型，现在又要回到Monad专题。因为FP的特征就是Monad式编程（Monadicprogramming），所以必须充分理解认识Monad、熟练掌握Monad运用。
TIGER_XC·2016-01-20 08:00

Scalaz（25）－ Monad： Monad Transformer-叠加Monad效果

 中间插播了几篇scalaz数据类型，现在又要回到Monad专题。因为FP的特征就是Monad式编程（Monadicprogramming），所以必须充分理解认识Monad、熟练掌握Monad运用。
雪川大虫·2016-01-20 08:00

C# Monads的实现（二）

再谈continuationmonad上一篇中我们已经介绍了continuationmonad，但是这个monad与Identity，Maybe，IEnumerablemonads稍微难于理解，故本篇再次讨论
gaoshoufenmu·2016-01-19 15:00

C# Monads的实现（一）

Haskell中输入输出的功能是通过Monad方法实现的。本篇不讨论Haskell
gaoshoufenmu·2016-01-18 11:00

Functor Monad 及 他们与范畴的关系

单子和函子构成了构成了函数式编程的基本概念的基础构造元素。函子(Functor)Functor是从一个范畴到另一范畴的转换，并且其亦可转换／保持态射（morphisrm）。morphisrm是指一个范畴里的值到同个范畴里的另一个值的变化。在类型的范畴里面－－这是计算机科学最常用的范畴－－一个态射是一个把某个类型转换成另一个类型的函数。我们围绕Config展开讨论traitConfig[+A]{ d
venps·2016-01-03 12:00

Scalaz（22）－ 泛函编程思维： Coerce Monadic Thinking

前面写过一篇关于用Reader实现依赖注入管理的博文（Scalaz（16）－Monad：依赖注入－DependencyInjectionByReaderMonad）。
TIGER_XC·2015-12-30 09:00

Scalaz（22）－ 泛函编程思维： Coerce Monadic Thinking

前面写过一篇关于用Reader实现依赖注入管理的博文（Scalaz（16）－Monad：依赖注入－DependencyInjectionByReaderMonad）。
雪川大虫·2015-12-30 09:00

各种代数结构（抽象代数）总结，仿射空间和点的数学定义

整理自《离散数学》第三部分屈婉玲运算的封闭性是大前提：结合律-> 半群（Semigroup）+幺元-> 幺半群（Monoid）不是Monad ∀a ∃ea:e=e:a=a  =>  幺元唯一+逆元-> 
u010476094·2015-12-17 21:00

Scalaz（20）－Monad： Validation－Applicative版本的Either

 scalaz还提供了个typeclass叫Validation。乍看起来跟\/没什么分别。实际上这个Validation是在\/的基础上增加了Applicative功能，就是实现了ap函数。通过Applicative实例就可以同时运算多个Validation并返回多条异常信息。所以，\/与Validation核心分别就在于Validation可以返回多条异常信息。Validation也是由两种状
雪川大虫·2015-12-17 18:00

Scalaz（20）－Monad： Validation－Applicative版本的Either

 scalaz还提供了个typeclass叫Validation。乍看起来跟\/没什么分别。实际上这个Validation是在\/的基础上增加了Applicative功能，就是实现了ap函数。通过Applicative实例就可以同时运算多个Validation并返回多条异常信息。所以，\/与Validation核心分别就在于Validation可以返回多条异常信息。Validation也是由两种状
TIGER_XC·2015-12-17 18:00

Scalaz（19）－ Monad： \/ - Monad 版本的 Either

 scala标准库提供了一个Either类型，它可以说是Option的升级版。与Option相同，Either也有两种状态：Left和Right，分别对应Option的None和Some，不同的是Left可以返回一个值。我们通常用这个值来表述异常信息。scalaz也提供了自己版本的Either，并用\/来分辨表示，以及两种状态-\/和\/-。我想scalaz特别提供\/是有原因的：\/不单是一种类
雪川大虫·2015-12-17 13:00

Scalaz（19）－ Monad： \/ - Monad 版本的 Either

 scala标准库提供了一个Either类型，它可以说是Option的升级版。与Option相同，Either也有两种状态：Left和Right，分别对应Option的None和Some，不同的是Left可以返回一个值。我们通常用这个值来表述异常信息。scalaz也提供了自己版本的Either，并用\/来分辨表示，以及两种状态-\/和\/-。我想scalaz特别提供\/是有原因的：\/不单是一种类
TIGER_XC·2015-12-17 13:00

Scalaz（18）－ Monad： ReaderWriterState-可以是一种简单的编程语言

 说道FP,我们马上会联想到Monad。我们说过Monad的代表函数flatMap可以把两个运算F[A],F[B]连续起来，这样就可以从程序的意义上形成一种串型的流程（workflow）。
TIGER_XC·2015-12-15 17:00

Scalaz（18）－ Monad： ReaderWriterState-可以是一种简单的编程语言

 说道FP,我们马上会联想到Monad。我们说过Monad的代表函数flatMap可以把两个运算F[A],F[B]连续起来，这样就可以从程序的意义上形成一种串型的流程（workflow）。
雪川大虫·2015-12-15 17:00

Scalaz（17）－ Monad：泛函状态类型－State Monad

之前我们介绍了WriterMonad。Writer也是在F[]内维护Log的，可以说是一种状态维护方式。但Writer的Log是一种Mo
TIGER_XC·2015-12-11 10:00

Scalaz（17）－ Monad：泛函状态类型－State Monad

之前我们介绍了WriterMonad。Writer也是在F[]内维护Log的，可以说是一种状态维护方式。但Writer的Log是一种Mo
雪川大虫·2015-12-11 10:00

[简单实用系列] 通用adapter

使用方式如下：mListView.setAdapter(mAdapter=newCommonAdapter( getApplicationContext()
zhengdan66·2015-12-05 21:00

Scalaz（16）－ Monad：依赖注入－Dependency Injection By Reader Monad

 在上一篇讨论里我们简单的介绍了一下CakePattern和ReaderMonad是如何实现依赖注入的。主要还是从方法上示范了如何用CakePattern和Reader在编程过程中解析依赖和注入依赖。
雪川大虫·2015-12-04 11:00

Scalaz（16）－ Monad：依赖注入－Dependency Injection By Reader Monad

 在上一篇讨论里我们简单的介绍了一下CakePattern和ReaderMonad是如何实现依赖注入的。主要还是从方法上示范了如何用CakePattern和Reader在编程过程中解析依赖和注入依赖。
TIGER_XC·2015-12-04 11:00

Scalaz（15）－ Monad：依赖注入－Reader besides Cake

 我们可以用MonadReader来实现依赖注入（dependencyinjectionDIorIOC）功能。
TIGER_XC·2015-11-27 19:00

Scalaz（15）－ Monad：依赖注入－Reader besides Cake

 我们可以用MonadReader来实现依赖注入（dependencyinjectionDIorIOC）功能。
雪川大虫·2015-11-27 19:00

Scala Monad Design Pattern

Monad的设计有几点原则：为接口同时定义flatMap和map。设计一个获取monad值的方式(模式匹配或者apply)。符合一元法则,monadiclaws。
Barudisshu·2015-11-27 14:00

Scalaz（14）－ Monad：函数组合－Kleisli to Reader

 MonadReader就是一种函数的组合。在scalaz里函数（function）本身就是Monad，自然也就是Functor和applicative。
TIGER_XC·2015-11-25 21:00

Scalaz（14）－ Monad：函数组合－Kleisli to Reader

 MonadReader就是一种函数的组合。在scalaz里函数（function）本身就是Monad，自然也就是Functor和applicative。
雪川大虫·2015-11-25 21:00

Scalaz（13）－ Monad：Writer - some kind of logger

而Monad是一种特殊的FP运算模型M[A]，它是一种持续运算模式。通过flatMap作
TIGER_XC·2015-11-20 10:00
上一页 13 14 15 16 17 18 19 20 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他