《弱弱的问一问，DSL和模式匹配对于函数式编程很重要吗？》的相关内容

在参与这个讨论http://www.javaeye.com/topic/33971后，这段时间对这个话题有了一些新的思考，写下来和大家分享分享。 重点探讨一下动静态编程语言的语义，兼带些DSL及通用语言，以及新手上手难易问题。 编程语言的语义，在论坛里讨论不多。在这里先分析一下几门主流静态语言，C，C++，Java，C#的语义。这些语言从编程风格角度讲，都称之为”imperative prog ...

！我的圈子函数式编程の道已经建立，对 FP 感兴趣的人可以加入，共同探讨这一古老的新事物！ 引用写在前面的话：Scheme、函数式编程(FP) 已入门者无须阅读。 这是我很久以前在自己写的一篇文章，现在又拿出来，是为了在 JavaEye 上造势，让访客们看一看 Scheme & 函数式编程世界的精彩（如果还不知道什么的 FP 的话）——当然，我绝对没有要贬低其它语言（除了 Java）的意思，事实上 ...

（教育用，大腕版，纯搞笑） 一定要爱上括号 Scheme 一个都不能省的那种 Vim、Emacs 都能自动高亮括号对 看一眼就知道表达式是在哪个参数位置上返回的 心里别提多舒坦 没那个我现在都不知道怎么写程序！ 用 Python 的时候 括号逗号元组连一块儿 三四层的函数调用就看不出来哪儿对哪儿了 Perl 光括号就七八种，还能自定义 鬼能背得得那匹配规则 Ruby 倒好 只省括号，但要被算符优 ...

原文在这里： http://programming.reddit.com/info/63tnv/comments/c02qx55 Latent typing是一种你不需要在源码中的明确的声明你的变量的类型的类型系统.而与之相反的是manifest typing,它需要你在源码中明确的声明你的变量的类型。 Static typing类型系统指的是你的源码中的任何独立的表达式都必须有类型， ...

Lisp是一个古老的函数式编程语言，Scheme则起源于MIT的一种Lisp方言。当前编程语言的一些特性，如尾递归、匿名函数、动态改变代码的功能等等，不少是受到了Lisp的启发。这里介绍几个能在Windows下使用的免费Scheme语言或Lisp语言的环境。DrScheme。这个是我一直在用的Scheme解释器，界面设计得既漂亮又方便。调试、括号匹配功能我也相当喜欢。而且带有大量的文档资料，如果英 ...

在参与这个讨论http://www.javaeye.com/topic/33971后，这段时间对这个话题有了一些新的思考，写下来和大家分享分享。 重点探讨一下动静态编程语言的语义，兼带些DSL及通用语言，以及新手上手难易问题。 编程语言的语义，在论坛里讨论不多。在这里先分析一下几门主流静态语言，C，C++，Java，C#的语义。这些语言从编程风格角度讲，都称之为”imperative prog ...

！我的圈子函数式编程の道已经建立，对 FP 感兴趣的人可以加入，共同探讨这一古老的新事物！ 引用写在前面的话：Scheme、函数式编程(FP) 已入门者无须阅读。 这是我很久以前在自己写的一篇文章，现在又拿出来，是为了在 JavaEye 上造势，让访客们看一看 Scheme & 函数式编程世界的精彩（如果还不知道什么的 FP 的话）——当然，我绝对没有要贬低其它语言（除了 Java）的意思，事实上 ...

下面每行代表一个人的回复： ruby and C#3.0 Groovy and Ruby Groovy (Ruby for 2006) Scheme and Lisp Groovy and Ruby/Rails REBOL Haskell OCaml OCaml PL/SQL Python (Ruby/Rails for 2006) Haskell Haskell PHP Groovy F# Ir ...

我看见的中文书就ML教程和SICP两本了，后者用的是LISP方言SCHEME，我不太喜欢那种括号的风格。 Haskell,Erlang都还没看到中文书出版，看电子书还是太累了。 还有别的选项吗？

haskell里面是不是所有的函数都是lambda实现的？不然为什么 :t 操作符所返回的都是 lambda的表示,也就是说都是用lambda解释的. 呵呵，最好讲下haskell里的type.和java或c里面的不同. 还有在scheme中 ((lambda x (+ x 1))2) 要改成((lambda x (+ (car x) 1))2)这样的 解释下原因 我知道是把2当成 ...

Adobe宣布Flex 2开源了，于是去看了两天。初步结论，Flex/Flash的威力是强大的。 当初觉得天天对着计算机搞底层的东西太枯燥，想着写商用程序可以和人打交道，而且要掌握行业知识也算是跨学科，于是上了这条贼船，现在发现这行的本质是在数据库里读读写写，还是底层的东西更有趣些。不过一家人等米下锅，商用程序也是衣食父母，那么就虔诚的静心写好商用程序。 现在的商用程序，几乎都要有个web界面 ...

http://en.wikibooks.org/wiki/Haskell/Category_theory http://www.alpheccar.org/en/posts/show/74 顺便问下，haskell中能不能直接用pair来构造list. PS:我用(1,(2,()) 试了下，不行的说. 还有这本书 http://www.douban.com/subject/1949066/ ...

函数式编程关注有点久了，可以说MS的介入使函数式编程逐渐摘掉学院派的帽子，开始为广大程序员所接受。然而其成为主流的基础是什么呢，说说别人的观点吧。1，并发——硬件的发展方向决定，CPU转向多核而非进一步提高主频2，语法——在表达上更贴近问题本身（数学） 然而我最初接触的ERLang，吸引我的最关键点却是鲁棒性。软件是个大的概念，可以说任何硬 ...

Clojure 是什么？ 引自官方网站的介绍 引用Features * Dynamic Development * Functional Programming * Lisp * Runtime Polymorphism * Concurrent Programming * Hosted on the JVM 它基于JVM，能调用Java的类库， ...

引用Scala是一门现代的多范式编程语言，志在以简练、优雅及类型安全的方式来表达常用编程模式。它平滑地集成了面向对象和函数语言的特性。 Scala是面向对象的：Scala是一个纯面向对象语言，在某种意义上来讲所有数值都是对象。对象的类型和行为是由class和trait来描述的。Class的抽象可由子类化和一种灵活的基于mixin的组合机制（它可作为多重继承的简单替代方案）来扩展。 Scala是 ...

Arc 语言是 Graham 设计的一种全新的 Lisp 方言，被实现为一个对 MzScheme 的扩展程序。与其它方言不同，这个语言具有十分清晰和“现代化”的语法，以至于无法被直接实现为一组 Scheme 的卫生宏。按照作者的话说，Arc 是一种适合“探索性编程”(exploratory programming)的语言，适合乐于思考但不想被现有语言的语法、特性等不足限制思考的程序员使用，在构建大 ...