Redian新闻
>
fp就是Declarative Programming
avatar
fp就是Declarative Programming# Programming - 葵花宝典
b*r
1
Allen & Heath ZED-10FX 连接到 receiver 需要用什么cable 效果比较好啊,貌似以
前看过有人说要用啥特别的balanced cable ,找不到原文了,谁说下那个cable的名字
avatar
i*e
2
没有保险,医生可以收现金吗?
avatar
J*l
3
今年夏天要毕业了,现在开始准备申请postdoc position,看了看广告,遇到好多问题
啊,希望得到版上的帮助,谢谢!
如果广告上这样说:
- Ph.D. in a related field of science is required
- 5+ years recent and related experience required
这个5年经验是指PhD之后吗?还是说读博的那几年都可以算进去?
第二个问题,广告上说 submit the CV and three references to Dr.XX
这个是要具体的推荐信呢还是提供三个推荐人的名字联系方式就足够了?
avatar
h*s
4
有没有一个大概PERM的流程和时间表?
在精华区里也没有看见。
一开始律师说前期准备时间大概2个月,然后登广告4个月,然后9-24个月等劳工部批准
,再然后就等排
期。
我觉得律师总是和公司一伙,尽量延长你的时间。结果是前期准备了6个月,然后今年3
月初才开始登广
告。我也不知道到底要花多长时间等劳工部批准。有没有过来人share一下经验?
多谢了!
avatar
c*7
5
1. 邻家女孩 (钢琴曲)
2. 胎教水晶音乐盒(龙猫散步)
3. 魔女宅急便(吉他版插曲)
4. 水晶之声 (最干净的音乐)
5 .红猪(吹短笛的女子们)
6.霍尔的移动城堡( 世界的约盟 )
7. 天空之城( 小提琴&钢琴版)
8 .龙猫 (Ending 主题曲)
9 .天空之城 (乘着你)
10. 风之谷 (与王虫的交流)
过年了,下来听听吧。
avatar
i*s
6
GoldenDict 在 Ubuntu 12.04里,经常需要force closure,如果我想重启机子的话
说明GoldenDict不能正常关掉。
你们用什么dictionary software?
avatar
z*e
7
某个syllabus
AIMS
Declarative programming languages provide elegant and powerful programming
paradigms which every programmer should know. This subject presents
declarative programming languages and techniques.
INDICATIVE CONTENT
The dangers of destructive update
Functional programming
Recursion
Strong type systems
Parametric polymorphism
Algebraic types
Type classes
Defensive programming practice
Higher order programming
Currying and partial application
Lazy evaluation
Monads
Logic programming
Unification and resolution
Nondeterminism, search, and backtracking
avatar
h*0
8
I have a question, I have XENYX 1202FX mixer, and Sony STRDH520 7.1 Channel
3D AV Receiver, what kind of cable I should use?
avatar
B*J
9
Urology。Columbia。

看哪个科?纽约?

【在 i*********e 的大作中提到】
: 没有保险,医生可以收现金吗?
avatar
s*u
10
1.读博的那几年都可以算进去
2.提供三个推荐人的名字联系方式就足够
Good luck
avatar
l*i
11

开始等广告就快了

年3

【在 h*****s 的大作中提到】
: 有没有一个大概PERM的流程和时间表?
: 在精华区里也没有看见。
: 一开始律师说前期准备时间大概2个月,然后登广告4个月,然后9-24个月等劳工部批准
: ,再然后就等排
: 期。
: 我觉得律师总是和公司一伙,尽量延长你的时间。结果是前期准备了6个月,然后今年3
: 月初才开始登广
: 告。我也不知道到底要花多长时间等劳工部批准。有没有过来人share一下经验?
: 多谢了!

avatar
n*0
12
哪里的排行榜?到哪去听?
avatar
G*l
13
fp(pure)肯定是declarative的。但是反之不成立,比如sql什么的也是declarative的。

【在 z****e 的大作中提到】
: 某个syllabus
: AIMS
: Declarative programming languages provide elegant and powerful programming
: paradigms which every programmer should know. This subject presents
: declarative programming languages and techniques.
: INDICATIVE CONTENT
: The dangers of destructive update
: Functional programming
: Recursion
: Strong type systems

avatar
r*8
14
红白线RCA就可以了

【在 b***r 的大作中提到】
: Allen & Heath ZED-10FX 连接到 receiver 需要用什么cable 效果比较好啊,貌似以
: 前看过有人说要用啥特别的balanced cable ,找不到原文了,谁说下那个cable的名字
: 吧

avatar
d*y
15
广告上的别相信,好多都是已经招了人的才贴广告的。还是找你感兴趣的教授,不断的
写信询问。人真想招人的话,会给你回信的
avatar
m*e
16
又没有千寻的音乐上榜,放它的图干嘛。。。。
也不贴个下载link,太不专业了

【在 c*******7 的大作中提到】
: 1. 邻家女孩 (钢琴曲)
: 2. 胎教水晶音乐盒(龙猫散步)
: 3. 魔女宅急便(吉他版插曲)
: 4. 水晶之声 (最干净的音乐)
: 5 .红猪(吹短笛的女子们)
: 6.霍尔的移动城堡( 世界的约盟 )
: 7. 天空之城( 小提琴&钢琴版)
: 8 .龙猫 (Ending 主题曲)
: 9 .天空之城 (乘着你)
: 10. 风之谷 (与王虫的交流)

avatar
z*e
17
Recommended Background Knowledge:
Object Oriented Software Development
avatar
a*a
18
是可以。 但是,为了保证声音传输质量,建议去Best Buy 买比较好的线, 不要买
generic 的如Dynex之类的品牌 。问一下店员就行。

【在 r*****8 的大作中提到】
: 红白线RCA就可以了
avatar
c*y
19
我最喜欢的是天空之城主题曲,龙猫排第二~
avatar
l*t
20

throw OO away

【在 z****e 的大作中提到】
: Recommended Background Knowledge:
: Object Oriented Software Development

avatar
n*0
21
恩恩

【在 c*******y 的大作中提到】
: 我最喜欢的是天空之城主题曲,龙猫排第二~
avatar
z*e
22
这个不能丢掉,否则用monad去做io,会把人累死
oo为主

【在 l******t 的大作中提到】
:
: throw OO away

avatar
p*2
23

需要monad的FP也就Haskell吧?

【在 z****e 的大作中提到】
: 这个不能丢掉,否则用monad去做io,会把人累死
: oo为主

avatar
z*e
24
那不用monad的还算是fp么?

【在 p*****2 的大作中提到】
:
: 需要monad的FP也就Haskell吧?

avatar
c*o
25
monad你你在不知不觉中用到的。
没学monad的时候,你有时候根本不知道其实你用了monad.
"let", "for"在clojure里都是monad
avatar
p*2
26

你要那么说python,coffeescript也都用了monad了。

【在 c******o 的大作中提到】
: monad你你在不知不觉中用到的。
: 没学monad的时候,你有时候根本不知道其实你用了monad.
: "let", "for"在clojure里都是monad

avatar
p*2
27

clojure是favor macro的。纯FP才用monad。这个世界很少有纯的。就跟Java不是纯OO
的一样。

【在 z****e 的大作中提到】
: 那不用monad的还算是fp么?
avatar
c*o
28
确实啊,monad其实是个很高等级的抽象,早在FP 出现之前就有了。
要是说monad在Lisp/Clojure里有没有实际作用,那是比Haskell要弱很多。
monad在fp的主要作用时打包side effect,让它可以以pure的形式处理。
所以,不纯的clojure/scala都没有在monad上大花文章。当然在高级专家手里那是威力
无穷。。。

【在 p*****2 的大作中提到】
:
: clojure是favor macro的。纯FP才用monad。这个世界很少有纯的。就跟Java不是纯OO
: 的一样。

avatar
p*2
29

大牛怎么学的monad呀?专门学了Haskell还是就在Scala上学的?

【在 c******o 的大作中提到】
: 确实啊,monad其实是个很高等级的抽象,早在FP 出现之前就有了。
: 要是说monad在Lisp/Clojure里有没有实际作用,那是比Haskell要弱很多。
: monad在fp的主要作用时打包side effect,让它可以以pure的形式处理。
: 所以,不纯的clojure/scala都没有在monad上大花文章。当然在高级专家手里那是威力
: 无穷。。。

avatar
c*o
30
http://www.manning.com/bjarnason/
我买了一本,作者是scalaz的主要contributor (scalaz的梦想就是bring Haskell
like ADT 到scala)
我在上面学的各种ADT/monad,还有streaming IO.

【在 p*****2 的大作中提到】
:
: 大牛怎么学的monad呀?专门学了Haskell还是就在Scala上学的?

avatar
p*2
31

这本呀。以前注意过。感觉应该挺不错的。

【在 c******o 的大作中提到】
: http://www.manning.com/bjarnason/
: 我买了一本,作者是scalaz的主要contributor (scalaz的梦想就是bring Haskell
: like ADT 到scala)
: 我在上面学的各种ADT/monad,还有streaming IO.

avatar
q*x
32
云山雾罩,彻底看晕了。
http://www.douban.com/group/topic/1238401/

【在 z****e 的大作中提到】
: 某个syllabus
: AIMS
: Declarative programming languages provide elegant and powerful programming
: paradigms which every programmer should know. This subject presents
: declarative programming languages and techniques.
: INDICATIVE CONTENT
: The dangers of destructive update
: Functional programming
: Recursion
: Strong type systems

avatar
c*o
33
例子1: 用map/fold/join/filter/unit这几个基本函数组合起来就可以写出很复杂的
list
处理程序。
map 推得,这是一个functor
fold 推得,这是一个foldable 需要一个monoid来做fold
join 推得,这是一个monad, join和flapMap/bind等价
filter 推得,这是一种特殊的zero monad
unit 这个也是monad必有的,
有 unit的不一定是monad, 如果是unit + apply/map2/zip,而没有 join/bind 那么它
是是applicative functor
这些东西干什么用比较有用? 那就好长的话题了。。。

【在 q****x 的大作中提到】
: 云山雾罩,彻底看晕了。
: http://www.douban.com/group/topic/1238401/

avatar
l*s
34
bu ming jue li

【在 c******o 的大作中提到】
: 例子1: 用map/fold/join/filter/unit这几个基本函数组合起来就可以写出很复杂的
: list
: 处理程序。
: map 推得,这是一个functor
: fold 推得,这是一个foldable 需要一个monoid来做fold
: join 推得,这是一个monad, join和flapMap/bind等价
: filter 推得,这是一种特殊的zero monad
: unit 这个也是monad必有的,
: 有 unit的不一定是monad, 如果是unit + apply/map2/zip,而没有 join/bind 那么它
: 是是applicative functor

相关阅读
logo
联系我们隐私协议©2024 redian.news
Redian新闻
Redian.news刊载任何文章,不代表同意其说法或描述,仅为提供更多信息,也不构成任何建议。文章信息的合法性及真实性由其作者负责,与Redian.news及其运营公司无关。欢迎投稿,如发现稿件侵权,或作者不愿在本网发表文章,请版权拥有者通知本网处理。