学习了一下午 Haskell - 未名空间MITBBS历史存档

国际科技财经博客移民网络热点娱乐民生时事公众号

Redian新闻

>未名空间

>Programming - 葵花宝典

学习了一下午 Haskell

学习了一下午 Haskell# Programming - 葵花宝典

s*k2015-02-13 08:02

1 楼

以前做的~~~呵呵~~现在才翻出来~~
牛肉自己做的~~是有筋的那种·~~话说做的时候花了我4个多小时 = =。。是清真做法
。。
味道就不说了。。。。形容不出来了哈哈
包子我是头一次自己做~嗯很成功了····
包包子比包饺子快多了·~~哈哈美的很美的很

u*g2015-02-13 08:02

2 楼

【以下文字转载自 Postdoc 讨论区】
发信人: ubcxzhang (没有昵称), 信区: Postdoc
标题: 续签合同，延了2年的ds2019，visa怎么办？
发信站: BBS 未名空间站 (Tue May 7 12:23:43 2013, 美东)
续签合同，延了2年的ds2019，visa和工卡怎么办？
我的visa是j1，老婆孩子的是j2. 老婆还有ead卡。
这些是不是自动跟ds2019着延？还是要自己另外申请？

c*e2015-02-13 08:02

3 楼

周六参加了湖南同乡会的湘菜大赛。没想到这样的大盘菜也都做得像模像样，色彩缤纷
，味道更是令人回味无穷啊。
合影
宫保三样
爽口木耳
烟熏腊肉
青豇豆肉末
酸菜腊肉
腊肉炒笋子
红烧肉
梅菜扣肉
海鲜冬瓜盅
颁奖喽！！

x*l2015-02-13 08:02

4 楼

http://forums.macrumors.com/showthread.php?t=1122019
[Apple's] focus this week has been to troubleshoot all the iPad 2s that
customers are returning to the stores. One iPad came back with a post it
note on it that said "Wife said no." It was escalated as something funny,
and two of the VPs got wind of it. They sent the guy an iPad 2 with a note
on it that said "Apple said yes."

s*i2015-02-13 08:02

5 楼

拍案叫绝！
艾玛，时间竟有如此神物竟然不知！找个地缝钻进去算了！
感觉这货已经不能简单的定义为一种语言了，而是一种思维方式和做事哲学。当然这并
不是说它能马上让你解决所有的问题。LINQ那些东西原来是这里来的啊。Higher Order
Functions处理大于两个参数的原理，简直就是神来之笔

s*o2015-02-13 08:02

6 楼

a !!!
好漂亮的摺。。。。。。
我上回包了饺子都不敢发出来丢人。。。

【在 s*******k 的大作中提到】

: 以前做的~~~呵呵~~现在才翻出来~~
: 牛肉自己做的~~是有筋的那种·~~话说做的时候花了我4个多小时 = =。。是清真做法
: 。。
: 味道就不说了。。。。形容不出来了哈哈
: 包子我是头一次自己做~嗯很成功了····
: 包包子比包饺子快多了·~~哈哈美的很美的很

h*r2015-02-13 08:02

7 楼

哪个是你做的？

【在 c********e 的大作中提到】

: 周六参加了湖南同乡会的湘菜大赛。没想到这样的大盘菜也都做得像模像样，色彩缤纷
: ，味道更是令人回味无穷啊。
: 合影
: 宫保三样
: 爽口木耳
: 烟熏腊肉
: 青豇豆肉末
: 酸菜腊肉
: 腊肉炒笋子
: 红烧肉

l*y2015-02-13 08:02

8 楼

right on bro

Order

【在 s*i 的大作中提到】

: 拍案叫绝！
: 艾玛，时间竟有如此神物竟然不知！找个地缝钻进去算了！
: 感觉这货已经不能简单的定义为一种语言了，而是一种思维方式和做事哲学。当然这并
: 不是说它能马上让你解决所有的问题。LINQ那些东西原来是这里来的啊。Higher Order
: Functions处理大于两个参数的原理，简直就是神来之笔

s*o2015-02-13 08:02

9 楼

还有。。牛肉面/粉用的什么面啊
看起来是粗粗的那种红烧牛肉面

【在 s*******k 的大作中提到】

M*e2015-02-13 08:02

10 楼

奇了怪了
这么多好吃的我看了居然也没有特别提前胃口

★ 发自iPhone App: ChineseWeb - 中文网站浏览器

【在 c********e 的大作中提到】

l*y2015-02-13 08:02

11 楼

fuck the haters: goodbug

【在 l*y 的大作中提到】

: right on bro
:
: Order

s*k2015-02-13 08:02

12 楼

对呢~~~~牛肉面是手擀面那种~~超市有卖~~吃炸酱面的那种面~~我觉得牛肉面就得用这
个面 = =。。
包子哈~~~可能是比较喜欢面食吧~~~~我很钟爱饺子和包子 = = 。。所以做得也还不错
了。。=呵呵

c*e2015-02-13 08:02

13 楼

不饿？

【在 M**e 的大作中提到】

: 奇了怪了
: 这么多好吃的我看了居然也没有特别提前胃口
:
: ★ 发自iPhone App: ChineseWeb - 中文网站浏览器

l*t2015-02-13 08:02

14 楼

那看完typed lambda你会觉得你是上帝

a*k2015-02-13 08:02

15 楼

谢谢啦～

m*l2015-02-13 08:02

16 楼

湖南人都这么能吃吗？第一张椅子上有菜，椅子挺好看；第二张地上放满了菜；13号是
湘菜吗？是橙子呀，橙子被吃掉了吗？

【在 c********e 的大作中提到】

c*o2015-02-13 08:02

17 楼

本来就几乎是FP society的“official language”，从Lazy ML来的, FP有啥研究，都
是拿它做实验，然后再推广。
purely pure FP & lazy evaluation for all
基本上是 Scala的root 之一。
Lisp是FP另外一大支系，是Clojure的直系祖先。
Lisp/ML的几大区别就是dynamic/static, simple/complex, free form/complex
restraint
基本这些区别上在Clojure/Scala上都能看得到。
http://www.manning.com/bjarnason/
基本上就是用Scala来做成一个jvm haskell......
当然，我不赞成pure FP in real work

Order

【在 s*i 的大作中提到】

s*o2015-02-13 08:02

18 楼

中国超市么。。。我都没在米国见到过。。。

【在 s*******k 的大作中提到】

: 对呢~~~~牛肉面是手擀面那种~~超市有卖~~吃炸酱面的那种面~~我觉得牛肉面就得用这
: 个面 = =。。
: 包子哈~~~可能是比较喜欢面食吧~~~~我很钟爱饺子和包子 = = 。。所以做得也还不错
: 了。。=呵呵

m*l2015-02-13 08:02

19 楼

不在照片里

【在 h*********r 的大作中提到】

: 哪个是你做的？

c*o2015-02-13 08:02

20 楼

oh, BTW, both Common Lisp/Haskell are amazing and represent totally
different mindset to program, compare to normal c/c++/java way of thinking.

【在 c******o 的大作中提到】

: 本来就几乎是FP society的“official language”，从Lazy ML来的, FP有啥研究，都
: 是拿它做实验，然后再推广。
: purely pure FP & lazy evaluation for all
: 基本上是 Scala的root 之一。
: Lisp是FP另外一大支系，是Clojure的直系祖先。
: Lisp/ML的几大区别就是dynamic/static, simple/complex, free form/complex
: restraint
: 基本这些区别上在Clojure/Scala上都能看得到。
: http://www.manning.com/bjarnason/
: 基本上就是用Scala来做成一个jvm haskell......

s*k2015-02-13 08:02

21 楼

对对~~
呵呵。。。
不过我这个是在韩国超市买到的
不过中国超市肯定有~~like 大华~顺发~一系列的。。如果你在加州的话。。

m*l2015-02-13 08:02

22 楼

赞！
吃了，就成了领奖的那样，你肯定不愿意的。

【在 M**e 的大作中提到】

: 奇了怪了
: 这么多好吃的我看了居然也没有特别提前胃口
:
: ★ 发自iPhone App: ChineseWeb - 中文网站浏览器

n*w2015-02-13 08:02

23 楼

我上次在一个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。

【在 c******o 的大作中提到】

s*o2015-02-13 08:02

24 楼

呃。。。我距离湾区那叫一个远啊。。。
看来我要自己学着擀了。。

【在 s*******k 的大作中提到】

: 对对~~
: 呵呵。。。
: 不过我这个是在韩国超市买到的
: 不过中国超市肯定有~~like 大华~顺发~一系列的。。如果你在加州的话。。

m*l2015-02-13 08:02

25 楼

饿了，也不吃

不饿？

【在 c********e 的大作中提到】

: 不饿？

q*c2015-02-13 08:02

26 楼

直到被老板呵斥的时候，呵呵

【在 l******t 的大作中提到】

: 那看完typed lambda你会觉得你是上帝

s*k2015-02-13 08:02

27 楼

我在国内的时候自己擀过~还是彩色的= =。。味道也很赞~~只不过我做的是那种宽的~~
~很好吃~~~
自己擀面就注意面一定不能软~~否则没有嚼头。。

c*e2015-02-13 08:02

28 楼

赞熏肉和腊肉

l*m2015-02-13 08:02

29 楼

s*82015-02-13 08:02

30 楼

师妹中午去吃清蒸一条龙?

【在 c****e 的大作中提到】

: 赞熏肉和腊肉

l*z2015-02-13 08:02

31 楼

"真味"的湿面就很不错.有细的和中粗的.很筋道.中国超市都有卖.在饺子皮那里.

m*l2015-02-13 08:02

32 楼

嗯，合你的味口

赞熏肉和腊肉

【在 c****e 的大作中提到】

: 赞熏肉和腊肉

s*k2015-02-13 08:02

33 楼

嗯对~~就是那种~~软的~~~~~多买点~~回家冻起来~~~懒得做饭了就吃点面条

m*l2015-02-13 08:02

34 楼

天哪，龙，你也吃！？！

师妹中午去吃清蒸一条龙?

【在 s**********8 的大作中提到】

: 师妹中午去吃清蒸一条龙?

a*92015-02-13 08:02

35 楼

zan~

c*e2015-02-13 08:02

36 楼

清蒸一条龙有啥吃的？

【在 s**********8 的大作中提到】

: 师妹中午去吃清蒸一条龙?

w*s2015-02-13 08:02

37 楼

我们家叫“树叶” 麦穗饺，呵呵。
求分步包子包法，花纹真好看

s*82015-02-13 08:02

38 楼

葱爆羊肉? 补补.

【在 c****e 的大作中提到】

: 清蒸一条龙有啥吃的？

s*k2015-02-13 08:02

39 楼

额。。。做法就不发鸟~~实在感兴趣我可以单独告诉你~~~做个步骤出来太麻烦 = =，
，汗。。
嘻嘻~~各地叫法不同啦~~~~

m*l2015-02-13 08:02

40 楼

不要这个补

葱爆羊肉? 补补.

【在 s**********8 的大作中提到】

: 葱爆羊肉? 补补.

E*A2015-02-13 08:02

41 楼

我在food版见过的最美包子

s*82015-02-13 08:02

42 楼

那用阴?

【在 m**********l 的大作中提到】

: 不要这个补
:
: 葱爆羊肉? 补补.

s*k2015-02-13 08:02

43 楼

汗~~真的假的 = =。。

m*l2015-02-13 08:02

44 楼

乌鸡、当归

那用阴?

【在 s**********8 的大作中提到】

: 那用阴?

c*g2015-02-13 08:02

45 楼

Re~~

s*82015-02-13 08:02

46 楼

好吧. 额试验一下.

【在 m**********l 的大作中提到】

: 乌鸡、当归
:
: 那用阴?

s*k2015-02-13 08:02

47 楼

我也re。、、、、可以不

G*o2015-02-13 08:02

48 楼

吃了吗

乌鸡、当归
那用阴?

【在 m**********l 的大作中提到】

: 乌鸡、当归
:
: 那用阴?

b*n2015-02-13 08:02

49 楼

我又想吃牛肉面了，你包的跟我妈包的一模一样啊～～～哈哈

G*o2015-02-13 08:02

50 楼

吃了吗

好吧. 额试验一下.

【在 s**********8 的大作中提到】

: 好吧. 额试验一下.

s*k2015-02-13 08:02

51 楼

楼上的我鄙视你。

a*y2015-02-13 08:02

52 楼

宫保三样的盆好脏啊
照相前也不先擦擦。。。

l*r2015-02-13 08:02

53 楼

c*e2015-02-13 08:02

54 楼

你真恶心。把我说吐了。

【在 a********y 的大作中提到】

: 宫保三样的盆好脏啊
: 照相前也不先擦擦。。。

q*22015-02-13 08:02

55 楼

Nice and impressive!

【在 s*******k 的大作中提到】

r*e2015-02-13 08:02

56 楼

lz好牛，每次看到第一次做包子就成功的消息总让我无比自卑。。。。

M*e2015-02-13 08:02

57 楼

哇！好专业的柳叶包子！我试了好多次，就是不会包……惭愧啊

i*t2015-02-13 08:02

58 楼

想起了以前大学门口卖的梅菜肉包子，就是这个形状呀

r*d2015-02-13 08:02

59 楼

WOW，第一次做的~~~ 牛！

【在 s*******k 的大作中提到】

U*n2015-02-13 08:02

60 楼

馋啊～

s*k2015-02-13 08:02

61 楼

我也有第一次做失败的例子。。。而且至今没找出失败原因。。= =

a*z2015-02-13 08:02

62 楼

zan

【在 s*******k 的大作中提到】