monad

万能适配器 CommonAdapter

packagecom.stephen.ifishing.adapter; importjava.util.List; importandroid.content.Context; importandroid.view.LayoutInflater; importandroid.view.View; importandroid.view.ViewGroup; importandroid.widg
BINGDUCAIJUN·2015-11-19 18:00

PowerShell为什么强大

windows 操作系统 和office办公软件，如此之优秀，微软也没敢命名为PowerOS 和 PowerOffice，但是在Monad（PowerShell的前身）发布后的第二年（2006年），微软就直接就发布了
·2015-11-13 22:02

每周优秀代码赏析—Jscex内核【一】

它的灵感的源于F#，它为JavaScript语言提供了一个monadic扩展。
·2015-11-13 20:48

Windows PowerShell

之前的开发代号是Monad，程序另一个名称叫Microsoft Shell（MSH）。 目录   [ 隐藏] 1 源起与目的 2 程序特性 3
·2015-11-13 20:44

Scalaz（12）－ Monad：再述述flatMap，顺便了解MonadPlus

在前面的几篇讨论里我们初步对FP有了些少了解K：FP嘛，不就是F[A]吗？也是，FP就是在F[]壳子（context）内对程序的状态进行更改，也就是在F壳子（context）内施用一些函数。再直白一点就是在F壳子内进行OOP惯用的行令编程（imperativeprogramming）。当然，既然是在壳子（context）内进行编程这种新的模式，那么总需要些新的函数施用方法吧。我们再次审视一下以前了
TIGER_XC·2015-11-13 19:00

Android中适用于ListView、GridView等组件的通用Adapter

    今天随便逛逛CSDN，看到主页上推荐了一篇文章Android 高速开发系列 打造万能的ListView GridView 适配器，刚好这两天写项目自己也封装了相似的CommonAdapter
·2015-11-13 16:06

Vista MMC和PowerShell未达目标并更名＂Aspen＂

PowerShell代号Monad是微软下一代Windows命令行外壳工具和脚本语言工具支持Windows XP/2003/Vista系统，需要.NET Framework 2.0。
·2015-11-13 15:45

在Ubuntu12.04.2上使用Xmonad窗口管理器（续）

在上一个post《在Ubuntu12.04.2上使用Xmonad窗口管理器》中提到dmenu， 安装完成后，alt + p就可以启动。
·2015-11-13 13:17

Monad学习

  这是观看Cousera上的课程《Principles of Reactive Programming》中week1里的Monad一节所做的笔记。
·2015-11-02 18:56

Rust 还不支持higher-kinded types

看到trait就想到了haskell的type class，所以试了试看能不能实现一个monad。不过不幸的是，马上发现它的generic不支持高阶参数。
·2015-10-31 19:56

Microsoft Power Shell (Monad)的独特之处

据Monad架构师Jeffrey P. Snover的说法，Monad是一种面向任务的自动化框架。
·2015-10-31 17:25

在scala中使用for表达式做monad运算

在haskell中，我们有语法糖‘do’帮助表达monad运算。scala中我们也有相应语法糖‘for’。
·2015-10-31 14:13

State Monad in C++

一个C++版本的State Monad。 需要C++11。
·2015-10-31 14:12

Monad in Scala

加上一些隐式规则，我们可以在scala里模拟haskell的monad。
·2015-10-31 14:11

[小技巧]让C#的空值处理变得更优雅

msg=4895299#xx4895299xx http://devtalk.net/csharp/chained-null-checks-and-the-maybe-monad/  
·2015-10-31 10:43

Interesting Finds: 2009 01.31~02.01

HTML Renderer The Maybe Monad in C# Fast Reflection Library LINQ Performance - Part 1 - LINQ
·2015-10-31 09:25

单子、上帝和程序员

　　我在高中时第一次接触到单子（Monad）这个词，是在莱布尼兹哲学中。初看上去，这个生造的概念平平无奇，论原创古希腊人早就发明了原子论了，论科学性绝对不如现代物理学的微观粒子。
·2015-10-31 09:21

xmonad @ubuntu 10.04

Like the Big workspace in Xmonad. I think it is very suitable for programmers . 1.
·2015-10-31 09:08

陈年译稿——一个面向Scheme程序员的monad介绍

好久没空在博客园上发帖，只好把陈年旧货拿出来晒一晒，希望对想理解monad机制又不想学 习范畴论的朋友有所帮助，
·2015-10-30 14:17

Scalaz（11）－ Monad：你存在的意义

  前面提到了scalaz是个函数式编程（FP）工具库。它提供了许多新的数据类型、拓展的标准类型及完整的一套typeclass来支持scala语言的函数式编程模式。我们知道：对于任何类型，我们只需要实现这个类型的typeclass实例就可以在对这个类型施用所对应typeclass提供的所有组件函数了（combinator）。突然之间我们的焦点好像都放在了如何获取typeclass实例上了，从而忽略
TIGER_XC·2015-10-28 13:00

PowerShell

PowerShell的前身命名为Monad, 在2006年4月25日正式发布beta版时更名为PowerShell. 　　
·2015-10-23 08:55

泛函编程（23）－泛函数据类型－Monad

    简单来说：Monad就是泛函编程中最概括通用的数据模型（高阶数据类型）。
·2015-10-21 13:21

泛函编程（24）－泛函数据类型－Monad, monadic programming

    在上一节我们介绍了Monad。我们知道Monad是一个高度概括的抽象模型。好像创造Monad的目的是为了抽取各种数据类型的共性组件函数汇集成一套组件库从而避免重复编码。
·2015-10-21 13:20

Monad

不得不说自己是个大傻逼T_T... 对于bind  m a -> (a -> m b) -> mb 对于 newtype Parser a = Parser (String -> [(a , String)])  m a明明就是指 Parser a啊...为毛我会理解成 Parser (String -> [(a , Strin
·2015-10-21 11:00

微软：不用担心所谓Windows Vista病毒(zz)

代号Monad的MSH类似于Unix，基于.NET，是用以取代DOS的下一代命令行工具。针对它的概念性验证病毒名为Danom，有五个变
·2015-10-21 11:10

泛函编程（31）－泛函IO：Free Monad－Running free

    在上节我们介绍了Free Monad的基本情况。可以说Free Monad又是一个以数据结构替换程序堆栈的实例。
·2015-10-21 11:30

泛函编程（32）－泛函IO：IO Monad

    由于泛函编程非常重视函数组合（function composition），任何带有副作用（side effect）的函数都无法实现函数组合，所以必须把包含外界影响（effectful）副作用不纯代码（impure code）函数中的纯代码部分（pure code）抽离出来形成独立的另一个纯函数。我们通过代码抽离把不纯代码逐步抽离向外推并在程序里形成一个纯代码核心（pur
·2015-10-21 11:30

泛函编程（29）－泛函实用结构：Trampoline-不再怕StackOverflow

比如说flatMap就是一种推进式的递归算法，没了它就无法使用for-comprehension，那么泛函编程也就无法被称为Monadic Programming了。
·2015-10-21 11:29

泛函编程（30）－泛函IO：Free Monad－Monad生产线

    在上节我们介绍了Trampoline。它主要是为了解决堆栈溢出（StackOverflow）错误而设计的。Trampoline类型是一种数据结构，它的设计思路是以heap换stack：对应传统递归算法运行时在堆栈上寄存程序状态，用Trampoline进行递归算法时程序状态是保存在Trampoline的数据结构里的。数据结构是在heap上的，所以可以实现以heap换sta
·2015-10-21 11:29

泛函编程（27）－泛函编程模式－Monad Transformer

同样，泛函数据类型Foldable,Monoid,Functor,Applicative,Traversable,Monad也是我们将来进入实际泛函编程的必需。
·2015-10-21 11:28

泛函编程（28）－粗俗浅解：Functor, Applicative, Monad

    经过了一段时间的泛函编程讨论，始终没能实实在在的明确到底泛函编程有什么区别和特点；我是指在现实编程的情况下所谓的泛函编程到底如何特别。我们已经习惯了传统的行令式编程（imperative programming），总是先入为主的认为软件编程就是一行接着一行的更改某些变量状态指令：明刀明枪，字里行间目的和方式都很明确。我们就以一步步更改程序状态的方式，一行一行的拼凑指令：
·2015-10-21 11:28

泛函编程（25）－泛函数据类型－Monad－Applicative

    上两期我们讨论了Monad。我们说Monad是个最有概括性（抽象性）的泛函数据类型，它可以覆盖绝大多数数据类型。
·2015-10-21 11:27

泛函编程（26）－泛函数据类型－Monad－Applicative Functor Traversal

我们又说所有Monad都是Applicative，因为我们可以用flatMap来实现map2，但不是所有数据类型的flatMap都可以用map2实现
·2015-10-21 11:27

Scalaz（10）－ Monad：就是一种函数式编程模式－a design pattern

  Monadtypeclass不是一种类型，而是一种程序设计模式（designpattern），是泛函编程中最重要的编程概念，因而很多行内人把FP又称为MonadicProgramming。
TIGER_XC·2015-10-20 06:00

[译] 用 Haskell 写简单的 Monadic Parser

原文:SimpleMonadicParserinHaskellhttp://michal.muskala.eu/2015/09/23/simple-monadic-parser-in-haskell.html
题叶·2015-09-25 00:00

Scala和范畴论 -- 对Monad的一点认识

背景所有一切的开始都是因为这句话：一个单子（Monad）说白了不过就是自函子范畴上的一个幺半群而已，有什么难以理解的。第一次看到这句话是在这篇文章：程序语言简史(伪)。
福克斯纪·2015-09-06 08:24

万能适配器MyBaseAdapter

MyViewHolder、MyBaseAdapter两个类的代码连接相关笔记：1、ListView–>AdapterextendsBaseAdapter->ViewHolderViewHolderCommonAdapter2
kiddingboy_wjj·2015-08-28 00:00

Android万能适配器Adapter-android学习之旅(74)

万能适配器的代码的github地址是https://github.com/fengsehng/CommonAdapter万能适配器的代码的github地址是https://github.com/fengsehng
u010321471·2015-08-22 21:00

Oracle内存数据库Timesten的使用(1)

TimesTenDaemonpid12239port53396instancettgjdsTimesTenserverpid12248startedonport53397启动和停止Timesten数据库启动Timesten[root@bogonbin]#ttDaemonAdmin-start
jaune161·2015-08-03 13:00

MyAdapter代码复用工具类

CommonBaseAdapterpackage com.example.commonAdapter; import java.util.List; import android.content.Context
flying-tomato·2015-07-24 11:00

SlideExpandableListView滑动显示隐藏面板

view.findViewById(R.id.listView); protectedvoidnotifyDataSetChanged(){ if(adapter==null){ adapter=newCommonAdapter
gundumw100·2015-07-19 22:00

SlideExpandableListView滑动显示隐藏面板

view.findViewById(R.id.listView); protectedvoidnotifyDataSetChanged(){ if(adapter==null){ adapter=newCommonAdapter
gundumw100·2015-07-17 11:00

SlideExpandableListView滑动显示隐藏面板

view.findViewById(R.id.listView); protectedvoidnotifyDataSetChanged(){ if(adapter==null){ adapter=newCommonAdapter
gundumw100·2015-07-17 11:00

泛函编程（34）－泛函变量：处理状态转变－ST Monad

    泛函编程的核心模式就是函数组合（compositionality）。实现函数组合的必要条件之一就是参与组合的各方程序都必须是纯代码的（pure code）。所谓纯代码就是程序中的所有表达式都必须是Referentially Transparent（RT，等量可替换的），它的意思是：在一段程序p中，所有的表达式e都可以用e的运算结果替代而不影响到p的运算结果，那么e就是R
·2015-07-17 10:00

泛函编程（34）－泛函变量：处理状态转变－ST Monad

  泛函编程的核心模式就是函数组合（compositionality）。实现函数组合的必要条件之一就是参与组合的各方程序都必须是纯代码的（purecode）。所谓纯代码就是程序中的所有表达式都必须是ReferentiallyTransparent（RT，等量可替换的），它的意思是：在一段程序p中，所有的表达式e都可以用e的运算结果替代而不影响到p的运算结果，那么e就是RT等量可替换的，也就是说程序
TIGER_XC·2015-07-16 19:00

JParsec中如何在parser规则里引用lexer规则

Sprache的思想跟《MonadicParserCombinators》这篇论文里的提到的设计方法如出一辙，是不区分lexer和parser的。但是JParsec区分。如果在
yangdong·2015-07-15 15:00

泛函编程（33）－泛函IO：Free Functor - Coyoneda

   在前几期讨论中我们终于推导出了Free Monad。这是一个Monad工厂，它可以把任何F[A]变成Monad。可惜的是它对F[A]是有所要求的：F必须是个Functor。
·2015-07-13 13:00

泛函编程（33）－泛函IO：Free Functor - Coyoneda

  在前几期讨论中我们终于推导出了FreeMonad。这是一个Monad工厂，它可以把任何F[A]变成Monad。可惜的是它对F[A]是有所要求的：F必须是个Functor。
TIGER_XC·2015-07-12 20:00

通过Scala理解什么是Monad

什么是Monad?
josephguan·2015-07-07 10:00

android ADB * daemon not running.starting it now on port 5037 *

daemonnotrunning.startingitnowonport5037*   ADBserverdidn'tACK *failedtostartdaemon*error:cannotconnecttodaemonADBSERVER
nei504293736·2015-07-06 17:00
上一页 14 15 16 17 18 19 20 21 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他