由买买提看人间百态

topics

全部话题 - 话题: haskell
首页 上页 1 2 3 4 5 6 7 8 9 10 下页 末页 (共10页)
p*****2
发帖数: 21240
1
来自主题: Programming版 - Scala又被鄙视了
Scala's disjoint part has polymorphic sub-typing and implicit dictionaries.
Haskell's disjoint part has first-class type classes, type-level functions,
full type inference, and many other neat little tweaks. The intersection is
a higher-kinded type system with first-class functions.
Scala's part of the intersection, for a list of reasons that include JVM
type erasure, issues combining higher-kinded types with polymorphic sub-
typing, and certain implementation choices, is partially "broken" in t... 阅读全帖
p*****2
发帖数: 21240
2
来自主题: Programming版 - 我觉得在scala上浪费时间没意思
Scala's disjoint part has polymorphic sub-typing and implicit dictionaries.
Haskell's disjoint part has first-class type classes, type-level functions,
full type inference, and many other neat little tweaks. The intersection is
a higher-kinded type system with first-class functions.
Scala's part of the intersection, for a list of reasons that include JVM
type erasure, issues combining higher-kinded types with polymorphic sub-
typing, and certain implementation choices, is partially "broken" in t... 阅读全帖
b***e
发帖数: 17
3
来自主题: Programming版 - 对 (im)mutability 的误解和深度理解
Javascript没有immutable,也没有什么歧义,虽然确实有的时候令人费解。
有一片文章是专门讨论SML和Haskell里面deref的含义的,并且由此引出了一个形式化
的pure的定义。很有意思。有兴趣可以读一读。
http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=9CA80D
Roughly, if (deref a) is not further reducible, then it's purely functional.
Otherwise, if (deref a) can be further reduced to another value, then it
is impure. In pure languages, such as Haskell, the reduction of (deref a)
is at a second pass of interpretation (monadic interpretation). 所以Haskell
的语义和别的语言不一样的地方在于它有两层... 阅读全帖
p*u
发帖数: 2454
4
来自主题: Programming版 - 编程的宗派
总是有人喜欢争论这类问题,到底是“函数式编程”(FP)好,还是“面向对象编程”
(OOP)好。既然现在出了两个帮派,就有人积极地做它们的帮众,互相唾骂和残杀。
然后呢,又出了一个“好好先生帮”,这个帮的人喜欢说,管它什么范式呢,能解决问
题的工具就是好工具!
我个人其实不属于这三帮人中的任何一个。
面向对象编程(Object-Oriented Programming)
如果你看透了表面现象就会发现,其实“面向对象编程”本身没有引入很多新东西。所
谓“面向对象语言”,其实就是经典的“过程式语言”(比如Pascal),加上一点点抽
象能力。所谓“类”和“对象”,基本是过程式语言里面的记录(record,或者叫结构
,structure),它的本质就是一个从名字到数据的“映射表”(map)。你可以用名字
从这个表里面提取相应的数据。比如point.x,就是用名字'x'从记录point里面提取相
应的数据。这比起数组来是一件很方便的事情,因为你不需要记住存放数据的下标。即
使你插入了新的数据成员,仍然可以用原来的名字来访问已有的数据,而不用担心下标
错位的问题。
所谓“对象思想”(区别于“面向... 阅读全帖
z*******3
发帖数: 13709
5
来自主题: Programming版 - 感叹一下,除了能力之外的资本为0

那姑娘如果出来找工作,对于那三个领域语言的熟悉顺序应该是
c/c++ > haskell > java/scala
她对于c的熟悉程度未必低于其他人,但是就是不应该出来点评java和jvm上的东西
haskell介于两者之间,她是一个很典型的c/c++程序员丢人的例子
Teaching.
I spend a fair bit of time thinking about how to help people understand how
to use and evaluate their tools. In addition to serving as a Teaching
Assistant for introductory programming, theory, and program analysis courses
, I have designed and taught the following short courses:
Introduction to C Memory Management and C++ Object-Oriented Programming (... 阅读全帖
h*i
发帖数: 3446
6
来自主题: Programming版 - 王垠新文 为Java说句公道话
我不知道你说的transducer是不是同一个东西。不太可能是同一个东西。
我说的是这一系列事件:
当2014年Rich Hickey推出transducer的时候,
http://blog.cognitect.com/blog/2014/8/6/transducers-are-coming
他用了几个类似type signature的假代码例子来介绍概念,这就引发了一些haskell程
序员试图在haskell里面来实现transducer的活动,和一系列的有关能不能type
transducer的争论, Rich Hickey自己也参加了这个活动,比如:
http://conscientiousprogrammer.com/blog/2014/08/07/understandin
https://news.ycombinator.com/item?id=8342718
最后的结论是transducer的特性是原创的,比如early stopping, stateful,
completion operation, init等等,那种“其实transducer就是X“的说法都是错的。... 阅读全帖
w***g
发帖数: 5958
7
来自主题: Programming版 - FP over head很高
除非对FP及其实现(如何从lambda演算编译成x86指令, lazy evaluation何时
被求值)有比较深入的理解,一般人其实很难对FP代码的性能有比较准确的预期。
运算在什么时候发生在哪行代码,花了多少内存,都要绕几个弯才能想明白。
所以FP语言高性能,我觉得是个神话。
我这里的FP特指haskell。但我觉得不失一般性。
第一,haskell是一种纯FP语言。别的混合型语言,你说不好是哪个成分在起作用。
第二,haskell是编译型的。解释型语言讨论性能没有现实意义。
实际写多线程多核,C/C++或者java/C#,完全可以写const function。
我不认为这是FP特性。如果是const function,里面哪怕都是for loop实现的,
也还是可以很容易并行化,完全不需要写成lambda演算。所需要的,只是
理解const关键字怎么用而已。
m***r
发帖数: 359
8
来自主题: DataSciences版 - 机器学习日报2015年2月楼
机器学习日报 2015-02-25
@好东西传送门 出品, 过刊见
http://ml.memect.com
订阅:给 [email protected]
/* */ 发封空信, 标题: 订阅机器学习日报
更好看的HTML版
http://ml.memect.com/archive/2015-02-25/short.html
1) 【用神经网络实现快速准确的依存关系解析器】 by @爱可可-爱生活
关键词:会议活动, 算法, 资源, 自然语言处理, Christopher Manning, EMNLP, PDF,
会议, 教育网站, 神经网络
[论文]《A fast and accurate dependency parser using neural networks》(2014)
D Chen, CD Manning [1] 来自Stanford,用神经网络实现快速准确的依存关系解析器
[1] http://cs.stanford.edu/~danqi/papers/emnlp2014.pdf
长微博图:http://ww4.sinaimg.cn/large/5396e... 阅读全帖
D*********n
发帖数: 279
9
来自主题: Military版 - Native Americans in the United States
http://en.wikipedia.org/wiki/Native_Americans_in_the_United_Sta
Native Americans in the United States
From Wikipedia, the free encyclopedia
Jump to: navigation, search
"American Indian" redirects here. For other indigenous peoples, see
Indigenous peoples of the Americas and other geographic regions. For
Americans from South Asia, see Indian American.
This article may be too long to read and navigate comfortably. Please
consider splitting content into sub-articles and/or condensing it. (January
2... 阅读全帖
z*******3
发帖数: 13709
10
来自主题: Military版 - 有些ap是不适合去当马工的
Jean Yang
Jean Yang, CS PhD student at MIT.
91 upvotes by Ahmet Alp Balkan, Alex Shvartser, Albert Sheu, Kat Li, (more)
Quick Primer: Scala is to Java as C++ is to C. Scala wraps a layer of
functional programming over Java as C++ wraps a layer of object-oriented
programming over C. Haskell is a pure functional language that compiles to C
. Performance-wise, typically C++ > Haskell > Scala.
i****x
发帖数: 17565
11
来自主题: Automobile版 - 如果编程语言是车的话
http://users.cms.caltech.edu/~mvanier/hacking/rants/cars.html
If programming languages were cars...
Ada is a tank. A butt-ugly tank that never breaks down. People laugh
uncontrollably if you tell them you drive Ada, but really, do you want to be
driving a sports car in a war zone? [from Amit Dubey]
Assembly Language is a bare engine; you have to build the car yourself and
manually supply it with gas while it's running, but if you're careful it
can go like a bat out of hell.
[From "Subterfug"... 阅读全帖
r***u
发帖数: 241
12
来自主题: JobHunting版 - Clarifi面经
有网友问我Clarifi面经,我干脆发到版面上,能不能发个包子啊
Clarifi及母公司Capital IQ基本上是纯的Java shop,但我投的是新开的Scala职位。
所以电话面试有两轮,第一轮问Haskell(我不懂Scala),第二轮问一道算法题,我后
来查了在这里,http://ostermiller.org/dilate_and_erode.html,面试官会一直问到你给出最优解,我最后没有完全答出来但很接近了。后来去onsite的时候,发现board上就是写的他们员工对这道题的讨论,说明是很喜欢考这道题的。
On site时发现很喜欢考brain teaser和Java,不是我喜欢的风格。我对Java也是一窍
不通,所以最后也没拿到offer。面试和其他公司稍有不同,让在纸上写程序而不是在
白板上写。
第一个人上来问了一些Java的基本概念和简单的程序题目,还打了些wikipedia的文章
出来,感觉比较搞笑,我基本上都答不出来。
第二个session居然有两个小时,直接拿了篇ICFP的paper出来考我的Haskell设计,我
吐血。
吃完饭回来是分别是一个法国人和他... 阅读全帖
k***x
发帖数: 6799
13
来自主题: JobHunting版 - 如果编程语言是车的话 (转载)
【 以下文字转载自 Automobile 讨论区 】
发信人: icefox (icefox), 信区: Automobile
标 题: 如果编程语言是车的话
发信站: BBS 未名空间站 (Tue Feb 5 15:19:22 2013, 美东)
http://users.cms.caltech.edu/~mvanier/hacking/rants/cars.html
If programming languages were cars...
Ada is a tank. A butt-ugly tank that never breaks down. People laugh
uncontrollably if you tell them you drive Ada, but really, do you want to be
driving a sports car in a war zone? [from Amit Dubey]
Assembly Language is a bare engine; you have to build the car yoursel... 阅读全帖
e*******o
发帖数: 4654
14
来自主题: JobHunting版 - 凑个热闹也说CS
遇到一个与我看的一致的。 转专业的想短平快,找个脚本语言(ruby,python),做
web developer是正途。
别听本版上的一些算法牛人忽悠,去学暂时没啥用的算法。(你要想进FLAG,就当我没
说。这个有个人偏见在其中)。希望更多的人冒出来,给大家一个更真是的CS相关的
job market。
另外,我遇到过中国人phone interview,基本上是教我下一步怎么做。
=============
ruby 被Haskell超过,那要相当长的时间,如果可能的话。Haskell基本是精英程序员
的语言。
E*****m
发帖数: 25615
15

忘了註明,上面那句不是我講的,是句名言,諷刺性十足的名言。
我同意, Monad 不在 Haskell 裡都不是全套的, 懂 Haskell 裡的 Monad
也還是未必真懂 Monad。 真要懂,看這系列的
http://www.youtube.com/watch?v=9fohXBj2UEI
(註明一下,我自己也沒耐心看完)
p********Z
发帖数: 1
16
来自主题: JobHunting版 - Jane Street貌似bar非常高
OCaml是函数式编程语言,这就是一个非常大的限制了。能叫得上名字且用函数式做
serious product的大技术公司,可能只有F(Erlang,Haskell)和T(Scala)了吧,
OCaml这个语言除了JS似乎就没听过哪些公司用了……小型技术公司就几乎更没有相关
职位。
ZJU的那位高中就搞竞赛,圈内很有名,背包九讲就是他写的。当年他申JS纯粹是为了
找一个可以以写函数式为生的职位。在他申请之前已经有挺丰富的Haskell经验了,嗯
……
r**e
发帖数: 287
17
来自主题: Working版 - Secrets of Extreme Savers
You can put away a lot more than the average American without living a
deprived life.
Avoid Debt
Super Savers: Ed Haskell, 50 and Debbie Chasteen, 52, daughter Laura, 15
Savings Rate: 50% of after-tax income
Home: Liberty, Mo.
Occupations: Ed is a retired Air Force officer; Debbie is a college
professor
Since they married two decades ago, Ed Haskell and Debbie Chasteen have
saved more than half their income every year. But Ed's aggressive savings
habits go back even further. From his early 20s,
w***g
发帖数: 5958
18
haskell,玄门正宗,从小学练到高中可以很牛。如果练python的话,小学毕业就到顶
了。练C++的话,初中毕业也就到顶了。java在python和C++之间。而且这些语言半路出
家的练半年顶小学生练5年,从小练没什么优势。要练童子功,必须haskell这种慢工出
细活的。就是怕找不到老师教。实在不行Pascal也可以。绝对不推荐C++。
而且python java c++这些语言本身发展也到顶了,未来只能走下坡路了。半路出家的
随便学学找个工作没问题,但是小学生要等工作还有十多年,十多年后现在这些语言多
半是不流行了。
其实要我说,小学生多看看百科全书比学编程有用多了。
w***g
发帖数: 5958
19
haskell,玄门正宗,从小学练到高中可以很牛。如果练python的话,小学毕业就到顶
了。练C++的话,初中毕业也就到顶了。java在python和C++之间。而且这些语言半路出
家的练半年顶小学生练5年,从小练没什么优势。要练童子功,必须haskell这种慢工出
细活的。就是怕找不到老师教。实在不行Pascal也可以。绝对不推荐C++。
而且python java c++这些语言本身发展也到顶了,未来只能走下坡路了。半路出家的
随便学学找个工作没问题,但是小学生要等工作还有十多年,十多年后现在这些语言多
半是不流行了。
其实要我说,小学生多看看百科全书比学编程有用多了。
j*a
发帖数: 14423
20
来自主题: Linux版 - 越用越觉得c好用
how much do u knwo about haskell? (btw, i dont know haskell at all)
X****r
发帖数: 3557
21
来自主题: Programming版 - 我也来一个, quick sort 只要一行。
There is really no point writing Python code like that.
If you like functional style, just use Haskell:
q s = case s of{[]->[];(x:xs)->q [y|y<-xs,y=x]}
Which does almost (except for the case the the pivot element is repeated)
exactly you do here and is more readable.
Note that this 'quicksort' (both the Python and the Haskell version)
is not really a quicksort, i.e. it does not sort in-place, thus has
quadratic space and time cost.
X****r
发帖数: 3557
22
来自主题: Programming版 - 学python的必要性有多大?
Haskell is a good programming language, except only a small
number of programmers would be able to use it well. This means
Haskell is never going to be a mainstream programming language.
h***s
发帖数: 1716
23
来自主题: Programming版 - Python擂台:算24点
学函数编程,干嘛不用haskell,纯函数式编程语言,比这种multi-paradigm表达强的
多。
其实像lisp这种的,也不纯。但我个人喜欢lisp的地方,是很强的一般化和抽象化的能
力,就是函数式编程的核心。所以换到haskell了。。。
h***s
发帖数: 1716
24
来自主题: Programming版 - Python擂台:算24点
haskell spec只要求你合理的空格就行了,而求haskell的函数特点是短而一般化,不
需要太多行,所以一般小的对不齐不会影响代码的正确性。
h***s
发帖数: 1716
25
来自主题: Programming版 - Python擂台:算24点
忘了说了,这段代码可以解任意个整数的情况,比如:[1,2,3,4,5,6,7 。。]
,不限于24点,就是LZ的原始问题。当然这只是逻辑算法和原理上来说,至于bug,就
不负责了。。哈!只要算法允许,haskell表达总是可以做到更简洁,这个负责是没问
题的。
当然我喜欢haskell,只是个人观点而已。。
h***s
发帖数: 1716
26
来自主题: Programming版 - Python擂台:算24点
学函数编程,干嘛不用haskell,纯函数式编程语言,比这种multi-paradigm表达强的
多。
其实像lisp这种的,也不纯。但我个人喜欢lisp的地方,是很强的一般化和抽象化的能
力,就是函数式编程的核心。所以换到haskell了。。。
h***s
发帖数: 1716
27
来自主题: Programming版 - Python擂台:算24点
haskell spec只要求你合理的空格就行了,而求haskell的函数特点是短而一般化,不
需要太多行,所以一般小的对不齐不会影响代码的正确性。
h***s
发帖数: 1716
28
来自主题: Programming版 - Python擂台:算24点
忘了说了,这段代码可以解任意个整数的情况,比如:[1,2,3,4,5,6,7 。。]
,不限于24点,就是LZ的原始问题。当然这只是逻辑算法和原理上来说,至于bug,就
不负责了。。哈!只要算法允许,haskell表达总是可以做到更简洁,这个负责是没问
题的。
当然我喜欢haskell,只是个人观点而已。。
r****y
发帖数: 26819
29
http://www.javaworld.com/javaworld/jw-01-2013/130107-developer-
age=1
Here is our guide to some of the more dominant tech generations in computer
history, as embodied by the programmers who gave them life. The list is far
from complete, but if you've been coding for any amount of time, you will pr
obably recognize many of these generational traits in yourself, your coworke
rs, and the programming community at large.
Punch-card programmers
The '60s-era computers received their instructions from a... 阅读全帖
t****a
发帖数: 1212
30
来自主题: Programming版 - 关于FP
我对LISP是不是很干净强的FP最近越来越不确定。
Haskell是公认的FP,现在找本FP算法书都是Haskell的

with
a*****e
发帖数: 1700
31
来自主题: Programming版 - 我老给你们指条明路吧
你混淆了几个概念。元编程 (Meta programming) 和函数编程 (Functional
Programming),还有静态编译的优化 (static compilation optimization) 这三者是
orthogonal 的概念,不能混为一谈。
纯函数编程一样需要输入(参数值)和输出(返回值),你把这些和 I/O 搞混了。所
谓 I/O 的输入和输出是特指有副作用的,即便将一个程序的 I/O 部分和纯函数部分划
分开来,也不表示纯函数部分能够在编译期静态执行。在编译期,如果参数仅是变量而
非确定的值的话,即便是纯函数程序也无法运行。所以“所谓的纯函数式程序只能运行
于编译期”这句话是不正确的。
如果你要说的是编译期对纯函数的程序做优化比较容易,这个确实是这样,也算是函数
语言的一个小优势。
运用模板元编程在编译期也可以完成很多事情,但这不能和函数编程混为一谈。元编程
的直观理解是生成程序的程序,所以可以利用元编程在静态编译期做一些优化工作,或
者对一些抽象的模板进行展开,但是它并不能取代函数编程本身。比如 Ocaml 和
Haskell 里面同样有模板元编程的工... 阅读全帖
B***i
发帖数: 724
32
来自主题: Programming版 - 关于python
我觉得数据结构和算法是内功。
haskell 也是必须学的吗? 我觉得好多人甚至都没听说过haskell 也在工业界, 学术
界过的好好的。
E*****m
发帖数: 25615
33
来自主题: Programming版 - 开始学python,要被它打败了

You think Haskell is a dynamic language. So I don't know what you mean by
"dynamic language". To me, there is nothing in Haskell that's more "dynamic"
than Java.
E*****m
发帖数: 25615
34
来自主题: Programming版 - 未来ruby能不能挤掉python

我不是啥大牛,只是喜歡比較語言而已。
話說我也粉了 Scala 一段時間, 覺得他的 Typing system
太醜了點。 去看了半天 Lift 還是沒搞懂啥叫 template-first,
轉去看 Play, 比較好點,好像還是不像 Django 完整。
Ruby 則是一直都提不起興趣, 原因是我覺得 Python 可以
適用的地方是 Ruby 的 superset。
Clojure, Haskell, Ocaml, Erlang 這些FP 我都業餘玩玩,
沒認真用。
我認為最好的語言,一是 Prolog, 一是 Haskell。
但是未來是屬於 Brainfuck 的, 哈哈!
E*****m
发帖数: 25615
35
来自主题: Programming版 - 有朋友了解shen和Mark Tarver吗?
為啥不用 Haskell 就好?
Haskell 好, Lisp 好, Prolog 也好, 各取一點混在一起
就未必好了。
以前有個 Lambda Prolog 也是想把 FP 和 logic programming
合起來, 也不成功, 這個看來也是類似的。
d*******r
发帖数: 3299
36
来自主题: Programming版 - python并不算google带火的
我记得2002年左右,我cs同学里追新的家伙就在玩Python和Haskell了,但是Haskell除
了写paper外,没有真正火过...?
g*****g
发帖数: 34805
37
来自主题: Programming版 - [bssd]周末乱侃
读书的时候用java 3D写了3D图型压缩的一点算法,发过IEEE Trans。
后来给游戏公司做,写过会打poker的机器人。再后来给安全公司做,实现一些
S/MIME的加密算法,密钥切割,托管恢复的一些算法。再后来做mobile,写了一些
mobile网络优化的一些算法,实现了千万在线用户的push架构,自动failover等等,
还搞了两patent。
从来没觉得实现算法有什么难的,这么多年下来觉得最难是高并发产品环境下解决多线
程的bug及系统调优。没法设断点,问题难以重现,甚至log都不足。全靠经验猜。
我老从不介意被人叫java developer,您老就别替俺们操心了。您老鼓吹了10年的
Haskell,平均工资2万8,就是一ph.d, postdoc的玩具。还不如学Php呢。
http://www.indeed.com/salary?q1=haskell&l1=&tm=1
a*****e
发帖数: 1700
38
来自主题: Programming版 - functional programming?
书这方面我也不是特别了解,都是从 conference paper 和项目代码看过来的。你可以
搜索 IFIP DSL Conference,有 proceeding 什么的。
如果你用 Haskell,基础的理论就是 Monad, Applicative Functor, Arrow 这些。更
基础的是解释器的实现,Oleg 的网站上有些 paper: http://okmij.org/ftp/tagless-final/
而且要看你想做什么,Haskell 这边 parser 类的 DSL 已经很成熟了,hackage 上很
多。电子设计和 control 方面的 DSL 也比较多,上面提到的 Lava, 还有 Atom 都是。
a*****e
发帖数: 1700
39
来自主题: Programming版 - functional programming?
如果你说的高效是指快速实现一个DSL的解释器,那么上面我给的那个blog链接是个很
好的例子。
首先,它绕过了 parser,因为程序本身虽然看起来象 BASIC,但实际上都是 Haskell
,直接代表 AST,所以省去很多前期的麻烦。这就叫做 embeded DSL。只需要定义
合适的 AST,然后对之进行 pattern match 解释执行就好了。
其次,embedded DSL 可以直接使用 host language 里面的值和函数,比如数字表达式
什么的,直接用,无须单独处理。你要做的工作可以完全放在你所定义的 DSL 的核心语
义上面。
最后,如果你追求 DSL 本身运行起来的效率,那么可以采取 finally taggless 的方
式,定义 combinator 来组建 DSL,它们本身就是 host language 里的函数,由
host language 的编译器直接编译,无须另写 AST 和解释器。我上面给的 Oleg 的链
接里有这个 paper。
所以从 embedded DSL 入手,实现一个新的 DSL 过程被大大简化,应该是相当有效率
的。
如果你... 阅读全帖
g*****g
发帖数: 34805
40
来自主题: Programming版 - functional programming?
Java developers make much more money than Haskell developers, that's just a
fact.
Since when stating fact is also zhuangbility?
http://www.indeed.com/salary?q1=java&l1=&q2=haskell&l2=&tm=1
Where's your proof of industry java project in 2002 BTW? You were exposed
the other day and now you are back again?
a*****e
发帖数: 1700
41
来自主题: Programming版 - functional programming?
书这方面我也不是特别了解,都是从 conference paper 和项目代码看过来的。你可以
搜索 IFIP DSL Conference,有 proceeding 什么的。
如果你用 Haskell,基础的理论就是 Monad, Applicative Functor, Arrow 这些。更
基础的是解释器的实现,Oleg 的网站上有些 paper: http://okmij.org/ftp/tagless-final/
而且要看你想做什么,Haskell 这边 parser 类的 DSL 已经很成熟了,hackage 上很
多。电子设计和 control 方面的 DSL 也比较多,上面提到的 Lava, 还有 Atom 都是。
a*****e
发帖数: 1700
42
来自主题: Programming版 - functional programming?
如果你说的高效是指快速实现一个DSL的解释器,那么上面我给的那个blog链接是个很
好的例子。
首先,它绕过了 parser,因为程序本身虽然看起来象 BASIC,但实际上都是 Haskell
,直接代表 AST,所以省去很多前期的麻烦。这就叫做 embeded DSL。只需要定义
合适的 AST,然后对之进行 pattern match 解释执行就好了。
其次,embedded DSL 可以直接使用 host language 里面的值和函数,比如数字表达式
什么的,直接用,无须单独处理。你要做的工作可以完全放在你所定义的 DSL 的核心语
义上面。
最后,如果你追求 DSL 本身运行起来的效率,那么可以采取 finally taggless 的方
式,定义 combinator 来组建 DSL,它们本身就是 host language 里的函数,由
host language 的编译器直接编译,无须另写 AST 和解释器。我上面给的 Oleg 的链
接里有这个 paper。
所以从 embedded DSL 入手,实现一个新的 DSL 过程被大大简化,应该是相当有效率
的。
如果你... 阅读全帖
g*****g
发帖数: 34805
43
来自主题: Programming版 - functional programming?
Java developers make much more money than Haskell developers, that's just a
fact.
Since when stating fact is also zhuangbility?
http://www.indeed.com/salary?q1=java&l1=&q2=haskell&l2=&tm=1
Where's your proof of industry java project in 2002 BTW? You were exposed
the other day and now you are back again?
t****a
发帖数: 1212
44
来自主题: Programming版 - python太慢了
你不是玩haskell的嘛,好好的haskell并行不用怎么跑回python来了,是不是图上面的
package多,呵呵。
d******3
发帖数: 70
45
来自主题: Programming版 - clojure这语言真不错
和Haskell比呢?我觉得Haskell也挺爽的呀。没学过clojure。

thread
p*****2
发帖数: 21240
46
来自主题: Programming版 - clojure这语言真不错

Haskell
多谢大牛。我比较关心concurrency, 这个Haskell是怎么解决的?对于state mutation
来说。
d******3
发帖数: 70
47
来自主题: Programming版 - clojure这语言真不错
刚粗略看了下Clojure,觉得在state mutation方面是比Haskell简化了。haskell里主
要还是靠monad来实现。monad是公认的难学,不过monad一旦做好了后,就使得不纯的
function具有了和纯function类似的特质,并发就变得很简单了。我总有点疑虑,
clojure的这种简化是不是还是要花一些代价的,总体来说。另外FP在把很多function
合成一个系统的时候,有type checking还是一个挺大的advantage吧。

mutation
g*****g
发帖数: 34805
48
来自主题: Programming版 - node不负众望,完胜Java
找到blaze当年对FP评价的一段。还说没鼓吹呢,事实胜于雄辩。我老是不懂编程语言,
但眼光实在比你强得太多。
Second, I here apologize to make the dogmatical judgment that
you have totally no idea about programming languages. Let me
rephrase: you have almost totally no idea about programming
languages. I just do not understand why you can keep talking
about things that you have very little knowledge about with such
great confidence. If I were you, I would have wisely shut
myself up. Look at your commenting here, none of which is right.
1. How c... 阅读全帖
p*****2
发帖数: 21240
49

最后说下IO Monad. 这个是整个haskell里面最丑陋,最不intuitive的monad. 要学
monad应该从Maybe Monad或list monad开始. 但很多人误以为haskell里面的monad就是
为了解决IO, 以为IO=Monad, 但看半天也没看懂IO Monad到底想干啥. 所以这个吓跑了
很多人.
顶这个。以前以为monad就是为了解决IO才出现的。总是这么道听途说。
首页 上页 1 2 3 4 5 6 7 8 9 10 下页 末页 (共10页)