最新文章列表

5 Principles For Programming[转]

5 Principles For Programming Here are a few things I have learned about programming computers, in no particular order. I didn’t invent any of them, and I don’t always follow them. But since nobody se ...
Dustin 评论(0) 有2282人浏览 2007-01-21 02:04

天生一对

Born to be together,这句也是Apple以前iTune和iPod的广告词。不过这里是用来比喻两个语言特性:类型推断和命名参数。 自ML诞生的类型推断技术似乎随着C#3的宣传日渐进入主流视野,一些新语言如D,Scala也实现了所谓“局部类型推断”(只简化声明,但不推断函数接口)。类型推断简化了大量不必要的类型声明,使代码获得动态脚本语言一样的感观,同时有获得编译期的类型检查和运行时 ...
cookoo 评论(4) 有3856人浏览 2007-01-10 02:29

FP中减少括号的语法糖

在F#中内置了两个很有用的运算符 |> 和 >> ,用来串联数据和函数,有效减少括号的使用,让代码不那么lispy。这两个符号的定义很简单,在Ocaml中也一样可以方便使用。 运算符 |> 定义: let (|>) x f = f x val (|>) : 'a -> ('a -> 'b) -> 'b 例子:形如f(g(h(i(x)))) ...
cookoo 评论(2) 有5225人浏览 2006-12-30 07:35

Functional programming has finally reached the masses by VB

Confessions of a Used Programming Language Salesman - Getting the Masses Hooked on Haskell The author summaries that functional programming has finally reached the masses, except that it is called Vis ...
cookoo 评论(0) 有2915人浏览 2006-12-06 06:40

Java 函数式编程实验(新添Keyword Message)

实验了以下内容:高阶函数,Currying,Lazy Evaluation,无穷流,Monad。都是很基本的东西。实现也是基于内部类的。没啥是了不起的。只是在给Lazy Evaluation造语法糖的时候,用了一下bytecode动态增强。给Lazy函数的lambda定义内部的所有的局部变量的读取操作前加了Lazy Evaluation过程。 private final static F< ...
taowen 评论(7) 有6092人浏览 2006-12-02 05:57

一道“正方体六个面上的四个角点整数之和相等”的求解问题

题目: 请将8个给定的正整数(如1,2,3,4,5,6,7,8)分别放在一个正方体的8个角的顶点上,以实现如下要求(如果可能):正方体六个面上的四个角点整数之和相等?输出结果如:A1=1,A2=2... 求解如下 算法思路 根据题境,我们先做如下设定和术语说明,以便于后面的讨论: 1、正整数以1,2,3,4,。。。8表示,以便进行分析; 2、正方体顶点标示如上所示; 3、每一个面的四个顶点数总和 ...
qinysong 评论(28) 有12691人浏览 2006-11-18 12:02

List comprehension和递归的巧妙结合

我以前总以为list comprehension这个语法糖不过就是些map,filter转换罢了,最近看到Haskell和Erlang的递归用法来实现排列,比循环方法要简洁很多: Haskell: java 代码 permutation [] = [[]]      permutation xs = [x:ys | x <- xs, ys <- permutatio ...
cookoo 评论(5) 有5467人浏览 2006-11-18 05:10

One-day Compiler in Ocaml

Happen to find this nice presentation on quickly developing static DSL in OCaml. Here, 'static' means the DSL is processed by a formal compiler as opposed to dynamic DSL such as the fancy metaprogrammi ...
cookoo 评论(3) 有3482人浏览 2006-10-30 07:25

GHC 6.6宣布支持SMP

Haskell工业级编译器GHC 6.6版本刚刚发布,重要更新是可以在编译期选择让Haskell线程调度器使用多少本地线程。 Perl6实现Pugs马上采用了这一新特性,并取得明显的提速。 但是,Pugs领导者唐凤(Audrey Tang)又补充道因为受仍然是单线程的GC的限制,提速未能接近理想化的线性增加。并行GC是GHC下一版本6.8的工作目标。
cookoo 评论(1) 有2780人浏览 2006-10-23 05:45

[fwd]什么是Monad?

发信人: faint (faint), 信区: FuncProgram 标  题: 什么是Monad(1): introduction 发信站: 水木社区 (Sun Oct  8 05:06:47 2006), 站内 在函数式编程里面,Monad是一个门槛。但是要解释“什么是monad”,这世界上没几个人 能一下讲清楚,因为涉及的背景知识太复杂。 介绍Monad可以被认为是一个"ind ...
cookoo 评论(2) 有9884人浏览 2006-10-11 07:37

ICFP2006大赛结果

International Conference on Functional Programming 2006大赛结果: 第三名Team: Can't Spell Awesome Without ASM, from Google,使用汇编 第二名Team kuma, from Japan,使用D语言 第一名Team Smartass, from Google,使用Haskell,并辅以C++/Pyt ...
cookoo 评论(3) 有4886人浏览 2006-09-23 04:59

Haskell

最近一段时间在学习ruby on rails.迷上了脚本语言.就如beyond java说的:"今天的 Java 程序员可以通过学习其他方式和语言受益。Java 技术曾经是编程阵营中所有开发项目的最佳选择,但这种情况已经发生了变化。其他框架正在塑造 Java 框架的构建方式,从其他语言中学到的概念有助于 Java 编程。所编写的 Python(或 Ruby、Smalltalk 或 ... ...
dogstar 评论(1) 有2360人浏览 2006-09-20 16:18

Re: ajoo JRC

ajoo牛 代码观感 刚开始接触JParsec的时候,我就对照着ajoo的calculator, mssql的等比较复杂深入的例子,向下挖掘,并随之构建一套类体系。遇到不懂的地方,就向ajoo询问。 ajoo给我的建议是从简单的步骤开始做起,这样更有信心。 我的回答是,简单的步骤并不能免除我今后应对复杂的地方。现在弄不懂的,后面还是不懂。我习惯于一开始尽量把所有障碍和难点思考清楚,提前拔除。 aj ...
buaawhl 评论(0) 有2237人浏览 2006-09-16 08:56

Ruby中实现Monadic组合子

Why不愧是一代Ruby大牛,连monadic combinator这个Haskell最著名的概念之一也能极简单地用Ruby复制出来:http://redhanded.hobix.com/inspect/hoppingThroughPipesAndClosures.html 突然感觉和java社团搞模式框架相比,ruby社团更津津乐道于这样的“奇巧淫技”,也许这正是文化差异和乐趣所在。 upda ...
cookoo 评论(0) 有2117人浏览 2006-09-14 14:46

学习备忘

发现不写备忘真是个坏习惯,很多准备好要学的东西有时就忘了。。语言:haskell, lisp 函数式编程语言,受cookoo鼓舞开始学习haskell,加上haskell是实现pugs的语言,看来学一下也是应该的。lisp有时间也要看看,就当是折磨自己罢。。erlang 分布式编程语言,已有应用OpenPoker,作者神宗冥浩,简介 http://blog.mylkcn.net/senzung ...
qiezi 评论(0) 有1787人浏览 2006-09-07 14:24

Hasekll Road to Future

Several friends have asked me about Haskell functional programming language. I haven't used it in daily jobs, yet I'm learning it not only because of its beauty and simplicity to express math, logic an ...
cookoo 评论(5) 有2315人浏览 2006-07-05 00:14

Why Function Programming is Important to Financial Modeling?

(Quoted from LexiFi)LexiFi found that a functional programming language was the most effective tool for developing compositional contract and scenario algebras. LexiFi users derive important benefits ...
cookoo 评论(1) 有2701人浏览 2006-02-22 19:28

非常惭愧,还是学习不够多!

  徐昊终于出手了,最近的一组重量级的文章《丧钟为谁鸣?》,直指当初我的那篇《敲响OO时代的丧钟》。  链接地址:第0 面向对象 http://www.blogjava.net/raimundox/archive/2005/12/20/24851.html 第1 接口 http://www.blogjava.net/raimundox/archive/2005/12/21/24889.html 第 ...
庄表伟 评论(0) 有1271人浏览 2005-12-22 21:48

说的都是概念——有关编程范式

        在Python中,lambda是一个有趣的关键字,它用于定义简单的匿名函数。匿名函数的概念,是指没有与特定变量绑定的函数。也就是除了定义的那一刻可以引用该函数之外,你无法通过任何方式再次引用它了。这类似于我们熟知的立即数,因此我给由lambda语法定义的匿名函数起了个新名字:立即函数。存在即是真理,Python中引入了lambda语法,引入了匿名函数的概念,它所坚持的真理又是什么呢? ...
perhaps 评论(1) 有1935人浏览 2005-12-17 17:41

论面向组合子程序设计方法 之 oracle

不少朋友说我的阐述很苍白无力。这让我很苦恼。我确实是拚了命地想把问题说清楚,我也有实际non-trivial的项目经验,怎么就说不明白呢?哎! 所以,还是不能不多罗嗦一下,希望能够再阐述得明白一点。 其实,所谓co,有心的朋友也许能够感觉到,它很象是设计一门语言。 它有顺序/分支,有函数调用,异常处理,基本上一个程序设计语言有的东西它都有了。这些顺序/分支作为语言的基础设施,而一些应对具体需求 ...
ajoo 评论(0) 有7892人浏览 2005-08-10 12:39

最近博客热门TAG

Java(141747) C(73651) C++(68608) SQL(64571) C#(59609) XML(59133) .net(54785) 编程(39454) JSP(37542) 数据结构(36423) Eclipse(31254) PHP(29988) F#(26079) 算法(24867) 脚本(19840) J#(18922) JDBC(17888) ASP(17480) JDK(14881) JVM(14450)

博客人气排行榜

    博客电子书下载排行

      >>浏览更多下载

      相关资讯

      相关讨论

      Global site tag (gtag.js) - Google Analytics