由买买提看人间百态

topics

全部话题 - 话题: haskell
首页 上页 1 2 3 4 5 6 7 8 9 10 下页 末页 (共10页)
a*****e
发帖数: 1700
1
来自主题: Programming版 - haskell怎么调试好?

我做编译器相关工作,有时会用到 Haskell。
你如果用 deriving Show,那么会自动生成 Show a => Show (Tree a) 的 instance.
如果你想直接在类型上限定,可以写成:
data Tree a where
EmptyTree :: Tree a
Node :: a -> Tree a -> Tree a
这种写法和上面写法等价,是引入 GADT 之后加入的语法。然后,要做 Show a 的限制
就很简单了:
data Tree a where
EmptyTree :: Show a => Tree a
Node :: Show a => a -> Tree a -> Tree a
之前你遇到那个类型错误,询问结果是,可以用 {-# LANGUAGE ExtendedDefaultRules
#-} 来规避。详见
https://www.haskell.org/ghc/docs/7.8.3/html/users_guide/interactive-
evaluation.html#extended-de... 阅读全帖
p*****2
发帖数: 21240
2
来自主题: Programming版 - 我擦,haskell很简洁啊
我是这样的
ruby Scala coffee js Clojure Scala haskell Scala
感觉scala需要反复推敲 不学haskell 感觉scala很难深入呀
w******p
发帖数: 166
3
In Standard ML I also treat them as linked list, using explode/implode,
still much faster.
Lazy eval is evil in prod env. for Haskell, that's why parallel Haskell don'
t use lazy eval at all.

slow.
w******p
发帖数: 166
4
I think lazy eval is okay, but it shouldn't be the default, whoever want to
have lazy eval just do their own thunks, and with any language that supports
pointer/reference.
By making it the default really confuses people about performance, and
invents problem that wasn't there before.
However, lazy eval seems essential for Haskell because it wants to be "pure"
, in that the function parameter evaluation orders doesn't matter for
deterministic calculations, and at the same time save duplicated eva... 阅读全帖
n*w
发帖数: 3393
5
来自主题: Programming版 - 学习了一下午 Haskell
我上次在一个haskell的video看到反复提到一个叫Agda的语言。
http://en.wikipedia.org/wiki/Agda_%28programming_language%29
wiki说是基于一个中国人的type理论。
“Agda is based on Zhaohui Luo's UTT[4] a type theory similar to Martin-L&#
246;f type theory.”
有说比haskell还powerful。
a*****e
发帖数: 1700
p*****2
发帖数: 21240
7
来自主题: JobHunting版 - 应不应该学学Haskell?
是不是学Haskell比Scala能更好的了解FP呢?
r******k
发帖数: 46
8
来自主题: JobHunting版 - 应不应该学学Haskell?
我现在正在上haskell,据说比scala更pure
s*****n
发帖数: 994
9
来自主题: JobHunting版 - 应不应该学学Haskell?
今天上课正好提到haskell,教授说在毕业前最好学一下
t****a
发帖数: 1212
10
来自主题: JobHunting版 - Haskell 有人用吗?
请问你为什么问这个问题啊,你们公司用Haskell?
w****f
发帖数: 684
11
来自主题: JobHunting版 - Haskell 有人用吗?
Manager is a big fan of Haskell. 经常说些 这是给smart people玩的。。。
搞懂一些,可以多谢午饭时的谈资 :)
t**r
发帖数: 3428
12
面试用scala, clojure或者haskell写算法会不会吃亏?
d******e
发帖数: 2265
13
找死啊 特别是haskell
o*****t
发帖数: 227
14
在学校学过haskell,不过最近发现工业界在炒functional programming language。请
教在工业界做FPL的,能不能总结一下现状和未来发展方向
谢谢
h**j
发帖数: 2033
15
fp炒了很多年了 现在industry也就是用erlang
haskell还是远了点
b***e
发帖数: 1419
16
来自主题: Programming版 - 有人用Haskell吗
The syntax is pretty normal for functional languages. The problem is that it is
alignment sensitive, which means, it MATTERS how many space/tabs you put at
the front of the line, and THAT SUCKS. Any language that is alignment
sensitive should DIE, like Haskell and Python.
k***r
发帖数: 4260
17
来自主题: Programming版 - 有人用Haskell吗
@blaze, @wdong,
I actually like Python very much. After you get pass the first
period, the indentation makes thing easier and you type less.
Among the languages I have used for any actual projects, Python
has been the most productive language for me when I need to
quickly get something done.
Even so, Haskell looks very foreign to me. wdong's comment
gives me a good perspective of the language in terms of the
shift to functional programming but remarks like python should
die has somewhat discount
b***e
发帖数: 1419
18
来自主题: Programming版 - 有人用Haskell吗
Unfair comments. There're well many other functional languages that have "
normal" syntax, like ML/Caml/Ocaml. Why does Haskell have to be the asshole? As for lisp, any paren-matching tool in modern editors will help, e.g., emacs/vim.
b***e
发帖数: 1419
19
来自主题: Programming版 - 有人用Haskell吗

我曾
fu
深奥
并行
哈哈, 这个高!
不过话说回来, Haskell作为language本身我并不看好, 但是有它而来的一些design
patterns确是值得借鉴的. 比如说这个monad, 做domain specific language
interpretation正好是物尽其用.
d***q
发帖数: 1119
20
来自主题: Programming版 - 有人用Haskell吗
貌似ruby 1.9已经不慢了。
perl 6 的compiler似乎是用haskell写的。
p***o
发帖数: 44
21
来自主题: Programming版 - 有人用Haskell吗
当然是个big deal
学了Haskell之后你会发现你甚至对Java和其他语言的的理解更加深刻了
p***o
发帖数: 44
22
来自主题: Programming版 - 有人用Haskell吗
Significant indentation really sucks, because you won't be able to
automatically reformat your code in your editor. It's not because the editor
is not powerful enough. It's just impossible! The syntax is aimed to make
the language clean looking, but it causes more trouble than this minor
benefit.
But Haskell is too great a language to ignore, despite of this "defect
". I'm really sad to have to put up with its syntax.

it is
at
p***o
发帖数: 44
23
来自主题: Programming版 - 有人用Haskell吗
I'm certainly talking about major OO concept: polymorphism, inheritance etc.
Java Generics really sucks. In fact many things are wrong with Java, but it
did something better than Python.
Essentially Haskell has OO, but only if you understand what OO really means.
Have you tried CLOS? That gives you a better idea what is OO.
But who told you that OO(in its conventional meaning) is the best way to do
things? I think the normal OO languages you use nowadays are doomed,
because "everything is an obj
w***g
发帖数: 5958
24
来自主题: Programming版 - 请问有哪位师傅知道haskell语言的?
反正我花了30个小时没学会. monad还行, monad transformer就基本上不知道怎么回事
了.跟常规思维差的太远了.如果什么别的语言都没学过可能会好点.
不过Haskell确实是一个非常优雅精妙的语言.
w***g
发帖数: 5958
25
来自主题: Programming版 - Haskell的学习曲线是指数增长的!
http://www.willamette.edu/~fruehr/haskell/evolution.html
同样是算阶乘,最后PhD版和PostDoc版太牛了,怕是我这辈子也学不会了。
b***e
发帖数: 1419
26
来自主题: Programming版 - Haskell的学习曲线是指数增长的!
You can do all of these with Javascript.
This is not really haskell, these are just to play with formal systems.
t****a
发帖数: 1212
27
如果某个职位要求单打独斗的话,那可以用lisp或者haskell。
比如说,data scientist。
r*******n
发帖数: 3020
28
来自主题: Programming版 - Haskell很难学。。
你看哪本书? 这个很关键,
learn you haskell for great good这本非常好
e*******o
发帖数: 4654
29
来自主题: Programming版 - Haskell很难学。。
不要急。 haskell 有太多模式性的东西。慢慢来就好了。
t****a
发帖数: 1212
30
来自主题: Programming版 - Haskell很难学。。
我现在主要写Clojure,对haskell很感兴趣,特别是它的静态typing,觉得它可以在编
译阶段找出程序的错误,这点比Clojure强。
但我有些担心这种语言没办法productionize,比如,如何调用别的语言的package?如
何做大规模并行计算?如何做统计/OR的计算?也就是-是不是中看不中用的语言?我想
要的这种静态FP语言要有实际用途才好。
s*********e
发帖数: 1051
31
来自主题: Programming版 - Haskell很难学。。
just out of curiosity.
between haskell and clojure, which one has richer library supports and is
more suitable for machine learning / statistics?
truly appreciate your insights.
d***q
发帖数: 1119
32
来自主题: Programming版 - Haskell很难学。。
clojure 相对比较实用。
haskell 是pure functional language。完全没有side effect,这个不总是都很方便
。特别是涉及io和其他库的交互。
a*****e
发帖数: 1700
33
来自主题: Programming版 - Haskell很难学。。
中文资料可以到 haskellcn.org 去看看
英文的就多了,论坛 reddit.com/r/haskell,或者直接加入邮件组
c*******9
发帖数: 9032
34
来自主题: Programming版 - Haskell很难学。。
丑在哪?我想学 Haskell就是因为有这类Category theory里的优美概念。
A*******t
发帖数: 443
35
这么写haskell真是纯属有病
a*****e
发帖数: 1700
36
你仔细看我写的那个 double,和你这个 inner loop 没有大区别
你这个是从左往右,我写的是从右往左 (foldr)
你要是用 Haskell 里面的 Vector,或者是 Mutable Vector,都能写出和你那个
Python 基本一样的程序。
不过你既然选择了用 List,难免会遇到 strictness 的问题。
t*s
发帖数: 1504
37
果然是大神
O2加了就可以了,不加就out of memory (用的最新版windows ghc)
你算的是三角形,我算的是正方形
两者内存速度差距应该就是最多一倍。
网上查了一下,似乎O2有些时候会让Haskell程序产生数量级的变化,比如从O(n)到O(1
)啥的。

dependecy
0
T******7
发帖数: 1419
38
来自主题: Programming版 - Go, Haskell who will be next trend???
Go, Haskell who will be next trend???
T******7
发帖数: 1419
39
最大的感觉就是,用这写code,不接地气。type系统真心好,还可一自己创建各种type
。monad能把这语言变成妖怪,可读性和可维护行非常低。语法方面,有些用法比
common lisp还要诡异。接受起来需要时间。写熟练需要磨练。
初步打算放一放 以后需要再看。
有没有研究过haskell的同学来说说,说什么都行
e*******o
发帖数: 4654
40
都说perl是只读,haskell更晦涩。
T******7
发帖数: 1419
41
最大的感觉就是,用这写code,不接地气。type系统真心好,还可一自己创建各种type
。monad能把这语言变成妖怪,可读性和可维护行非常低。语法方面,有些用法比
common lisp还要诡异。接受起来需要时间。写熟练需要磨练。
初步打算放一放 以后需要再看。
有没有研究过haskell的同学来说说,说什么都行
e*******o
发帖数: 4654
42
都说perl是只读,haskell更晦涩。
a*****e
发帖数: 1700
b***e
发帖数: 1419
44
来自主题: Programming版 - Haskell有什么公司在用呀?
http://www.haskell.org/haskellwiki/Haskell_in_industry
Interestingly, in the list can be found AT&T, Facebook, Google, Nvidia and
Qualcomm. That beats me.
c*******9
发帖数: 9032
45
来自主题: Programming版 - haskell 好像还不支持arm 64吧。
本想在objective c 程序里嵌入haskell ,但如果iphone 5s,新ipad 上不能用就先
等等了。
p*****2
发帖数: 21240
46
有纯脚本,干嘛用Haskell呀?
c******o
发帖数: 1277
47
haskell是真正的纯fp,因为这个很多它的东西别人都没法做,没法模仿。
比如completely type inference, total lazy eval, total referential
transparency.

inference
n*w
发帖数: 3393
48
我举的ide的原因是读到你这段。ide里有intelligence,hint等很多feature让写代码
比shell里容易多了。难道你不就是表达这个意思?
“clojure括号一大堆, 用interactive shell反而没有用编辑器顺手(shell里面 数括号
就把人数晕了).”。
好吧,我取消对F#的wish。只是纯感叹。
ocaml比F#早出来快十年,却没F#普及。我宁愿看到有个ML语言普及。难道MS没有出个F
#,Ocaml就会是今天F#这个普及率?我忍不住又wishful thinking一下,希望haskell
在tobie里尽快排进20。
n*w
发帖数: 3393
49
F#里值得表扬之一有把monad 写成workflow。(当然两种不是100%对等, 比如workflow
允许不纯的side affect的code)。不用理解monad也很容易用。
haskell也许也可以引入一些syntactic suger让一些功能容易读写。
n****1
发帖数: 1136
50
Monad在haskell里面不那么重要, 而typeclass才是adhoc polymorphism的精髓。
Monad只是众多typeclass中的一个罢了。 你要高兴, 可以实现自己的workflow.

workflow
首页 上页 1 2 3 4 5 6 7 8 9 10 下页 末页 (共10页)