yntcsb
- 浏览: 160376 次
- 性别:
- 来自: 保山腾冲
-
最新评论
-
TNTDoctor：
谢谢，标记一下，有空来看看
（转）Haskell与范畴论 -
t173625478：
文章一般般，不够透彻，以至于误解了很多函数式特性的由来和作用。 ...
（转）函数式编程另类指南 -
liyiwen007：
学习了！
很受益！
用AGG实现高质量图形输出（二） -
hqs7636：
感谢！！！！！！！
《learn to tango with D》译文 -
rocex：
多谢，刚好用到。
《learn to tango with D》译文
文章列表
d语言论坛对nimrod语言的讨论地址
- 博客分类：
- 编程语言
以下是D语言官方论坛对Nimrod语言的讨论地址
http://www.digitalmars.com/webnews/newsgroups.php?art_group=digitalmars.D&article_id=168607
粗略看了一下，这门新语言还是很吸引人的，强大、简洁、实用、稳定，整合了面向对象、函数式、过程式、泛型等编程范式，还能保持简洁和高效。
nimrod语言的官网：http://nimrod-code.org/
nimrod语言编译器项目网址：https://github.com/Araq/Nimrod
nimrod语言集成开发环 ...
一个结合了Lisp的强大能力、python的易读性和C的性能的编程语言：Nimrod
项目主页：http://nimrod-code.org/
Nimrod是一个新型的静态类型、命令式编程语言，支持过程式、函数式、面向对象和泛型编程风格而保持简单和高效。Nimrod从Lisp继承来的一个特殊特性--抽象语法树(AST)作为语言规范的一部分，可以用作创建领域特定语言的强大宏系统。
Nimrod是一个编译型的具有垃圾收集的系统编程语言，有着极其卓越的生产/性能比。Nimrod的设计集中在三个E上：即效率(efficiency)、表达能力(expressiveness)和优雅(elegan ...
Ocaml编程速览
来自http://bbs.9ria.com/thread-77807-1-1.html
一旦你了解了OCaml便会感到它是一门非常神奇的语言，不过学习它的第一步却是非常困难的。希望这个小小的教程可以让事情变得简单些。首先OCaml不是一个结构化语言，它属于函数语言家族。纯粹的函数语言没有提供循环机制（你需要使用递归来完成循环），变量也不可改变，以及其它的一些限制。幸运的是OCaml不是一个纯粹的函数语言因此可以使用循环与更改变量。现在让我们开始OCaml的探险历程吧：）首先让我们启动OCaml，在命令提示符下输入 ocaml 。你将看到下面的内容：
原文地址：http://www.ocaml-tutorial.org/the_structure_of_ocaml_programs 翻译：ShiningRay
现在我们花些时间从一个更高的层次来看看实际的OCaml程序。我想教一下关于局部和全局定义，什么时候使用;;，什么时候是;，以及模块、嵌套函数和引用。这样我们就要看这些以前毫无概念没见过的OCaml概念了，不过现在还不用担心细节问题。首先关注程序整体结构以及我指出的一些特点。
局部“变量”（实际上是 局部表达式，local expressions)
让我们先拿average函数看一下，并在C语言中添加一个局部变量（可以拿它和我 ...
注释
OCaml的注释是用(* and *)来分隔的，如下：
(* 这是一个单行注释 *)
(* 这是一个
* 多行
* 注释
*)
换句话说，注释的方式和原始的C(/* ... */)一样。
目前还没有单行注释的语法（就是类似Perl的# ...或者C99/C++/Java的// ...）。是否使用##...还没有确定，而且我极力推荐OCaml的人以后能将其加入到语言中。
OCaml可以处理嵌套的(* ... *)，这可以让你很方便地注释某个代码区域：
(* 这段代码坏的……
(* 质数测试. *)
let is_prime n =
(* ...
有权重的网站为何不发外链也能够生龙活虎
- 博客分类：
- 搜索引擎优化
众所周知，seo最重要的两点就是内容和外链，这个是通过站长朋友所验证出来的事实，这也是每天seo优化的重点，内容文字的编辑和发布，站外外链的建设都是必不可少的。一个网站起来，如果只通过站内内容的更新，不去发 ...
要做好自己的博客，那么我想我写的这篇文章对你来说是有帮助的了，博客seo之以博客养博客将会告诉你怎么去推广你的博客!
在写这篇文章的时候，我思索了良久，回想了一下这一个月来自己做这个博客的经历，然后也上网搜索了一下自己喜欢的wordpress，结果发现了下面这个消息!“北京时间11月11日消息，据国外媒体报道，WordPress创始人马特·穆伦维格(Matt Mullenweg)周四确认，WordPress博客量现在已经超过6000万，每月独立访客量超过3亿。”每月三亿，这是一个什么概念，所以说博客的竞争力还是很大，特别是wordpress博客竞争力也是相当的大!
所以博客se ...
安装了wordpress程序之后，如何正确设置你的站点时区呢，这个问题有点蛋疼的了，呵呵，如果没有设置好的话，你以后设置定时发布文章这个功能就不正常了，不能对应上你的手机时间！
时区设置
首先在你的wp控制面板中 ...
seo执行力你注意了吗？(转)
- 博客分类：
- 搜索引擎优化
在你做seo的时候，你的执行力够吗？很多人开始觉得seo很神奇，很感兴趣，可是慢慢的就觉得枯燥乏味。
所谓执行力，指的是做某一件事情，坚持，贯彻的做下去，不到目的不罢休！执行力：对个人而言执行力就是办事能力 ...
对于一个新站来说，我想百度的收录问题应该是新站站长们最头疼的一件事情了。如何让百度对自己所建的新站收录更快更多，每个新站站长都会有自己的一套做法，今天就来说一些自己在网上看到的让百度更快收录新站的方法 ...
haskell中快速计算斐波那奇数列
看到一个在Haskell中，利用函数内涵快速计算斐波那奇数列的函数：
fib=1:1:[a+b|(a,b)<- zip fib (tail fib)]
或
fib@(1:tfib)=1:1:[a+b|(a,b)<- zip fib tfib]
此函数得到一个斐波那奇数列的无限列表，要取前10项可用
take 10 fib
可在瞬间得到结果。
用haskell求水仙花数
最近对haskell语言比较感兴趣，因为它简洁、高效、强大。
今天摸索着用haskell写了一个求水仙花数的程序，其实只有一行代码。
水仙花数是一个三位数，它的各个数位的三次方这和与该数相等。
如下:
[c|i<-[1..0], j<-[0..9], k<[0..9],let
c=i*100+j*10+k,c==i^3+j^3+k^3]
来自网络的有关实验室语言与工程性语言的精彩论述
原文出自groups.google.com/group/pongba/msg/7d2d93586f10bb6f的google缓存
在 2010年4月25日 下午12:54，Alleluia <allul...@gmail.com>写道：
仅说GHC,那是小看它了.没有Haskell,可以有C,有Java,有Ruby,有Python,但是不会有C# Scala D.Haskell 的老大被MS收在了MS Cambridge,于是C#现在已然是半个Haskell.Linq直接来自于Monad, Extension Method直 ...
Haskell与范畴论
http://www.yi-programmer.com/blog/2010-04-06_haskell_and_category_translate.html
用haskell的概念解释范畴论。翻译自 wikibook : http://en.wikibooks.org/wiki/Haskell/Category_theory
目录
范畴论简介
范畴公理
Hask ，Haskell范畴
函子
Hask 上的函子
将范畴论的概念对应到Haskell
Monads
示例：幂集函子同时也是monad ...
对 haskell 与 monad 的理解
http://www.opengpu.org/bbs/viewthread.php?tid=2638&extra=page%3D1haskell作为纯函数式语言如何处理IO并不是真正的处理，只是通过类型系统将跟IO相关的“不纯”的代码和其他纯函数式代码隔离开。通过编译期类型检查进行保证。具体实现就是通过叫 IO 的 type constructor [io] ，而这个 IO 就是 Monad 的一种。Monad是什么在数学上Monad是一门处理状态转换的数学理论。对于haskell来说，Monad 就是一个 type class ...