monad就是一chaining pattern - 未名空间MITBBS历史存档

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

Redian新闻

>未名空间

>Programming - 葵花宝典

monad就是一chaining pattern

monad就是一chaining pattern# Programming - 葵花宝典

R*s2015-02-18 08:02

1 楼

本人现在是博士后，不管以前还是现在我都是只有和自己的老板合作，以前学生的时候
都是老板的idea我来作，现在是和老板讨论然后产生一些idea，可是我老板年级也大了
，也不是很想干了，我看有很多人都可以找到和其他感兴趣的牛人合作的机会，然后很
多paper出来，可是轮到我，我每次都试着取做，可是每次都是说说也没有什么下文，
这些学术的合作都是怎么养initialize的呢？怎么养才能promote很多合作呢？谢谢！

k*a2015-02-18 08:02

2 楼

上映前有很多广告，在mall里到处都是。今天去看了，大烂片啊大烂片，可以排上我看
过的最烂的电影的前几名了。大家不要去看了。

l*n2015-02-18 08:02

3 楼

说白了

a*u2015-02-18 08:02

4 楼

When you become a PI, or when your boss promotes for you.

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

: 本人现在是博士后，不管以前还是现在我都是只有和自己的老板合作，以前学生的时候
: 都是老板的idea我来作，现在是和老板讨论然后产生一些idea，可是我老板年级也大了
: ，也不是很想干了，我看有很多人都可以找到和其他感兴趣的牛人合作的机会，然后很
: 多paper出来，可是轮到我，我每次都试着取做，可是每次都是说说也没有什么下文，
: 这些学术的合作都是怎么养initialize的呢？怎么养才能promote很多合作呢？谢谢！

c*o2015-02-18 08:02

5 楼

in some sense, right
but what you said is like
object just package code and data together.
kind of too short

p*l2015-02-18 08:02

6 楼

你自己没有独立，人家是不会拿你当真的。
即使独立了，你一个新人找合作也不能找大牌，得找也处于上升阶段人，这样合作的双方都能受益。再一个就是要对方人品好，交流好，很多合作最后都因为交流障碍闹起了矛盾，最后不了了之。

z*e2015-02-18 08:02

7 楼

感觉fp挺无聊其实
很多人只是死记硬背
不仅对fp不懂，对oop更是不懂
本来从oop过渡到fp是比较合理的
现在情况是很多人是oop搞不清楚
以为弄了fp就高大上了，结果是两个p都不懂
一深入就露馅，fp和oop配合起来真是管用
楼上的经验很多都可以直接挪用到java上
刚用了点immutable，hoho

w*r2015-02-18 08:02

8 楼

的确。很多大牌其实不怎么做事了，而且即使做，也往往很不敬业，够你受的。

双方都能受益。再一个就是要对方人品好，交流好，很多合作最后都因为交流障碍闹起
了矛盾，最后不了了之。

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

: 你自己没有独立，人家是不会拿你当真的。
: 即使独立了，你一个新人找合作也不能找大牌，得找也处于上升阶段人，这样合作的双方都能受益。再一个就是要对方人品好，交流好，很多合作最后都因为交流障碍闹起了矛盾，最后不了了之。

p*22015-02-18 08:02

9 楼

oo和fp根本不矛盾

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

: 感觉fp挺无聊其实
: 很多人只是死记硬背
: 不仅对fp不懂，对oop更是不懂
: 本来从oop过渡到fp是比较合理的
: 现在情况是很多人是oop搞不清楚
: 以为弄了fp就高大上了，结果是两个p都不懂
: 一深入就露馅，fp和oop配合起来真是管用
: 楼上的经验很多都可以直接挪用到java上
: 刚用了点immutable，hoho

l*n2015-02-18 08:02

10 楼

fp还是挺有意思的。一种不同的思维方式吧。

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

c*o2015-02-18 08:02

11 楼

learning fp, even not using it make you a better developer

l*n2015-02-18 08:02

12 楼

fp最难的就是monad了吧。

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

: learning fp, even not using it make you a better developer

c*o2015-02-18 08:02

13 楼

monadfix , arrowloop
comonad我都没有用好过
前两个很神奇，lazy value 自反馈自编程
最后一个在音频视频和历史数据 aggregration用的多。
functor,applicative,monad三者的关系和区别是fp核心知识之一

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

: fp最难的就是monad了吧。

b*e2015-02-18 08:02

14 楼

顶。I pretty much said the same.

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

: learning fp, even not using it make you a better developer

b*e2015-02-18 08:02

15 楼

By monadfix you do you mean recursive monad binding (Levent Erkok 2000)? It
is certainly fancy but I can hardly find any real use of it.

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

: monadfix , arrowloop
: comonad我都没有用好过
: 前两个很神奇，lazy value 自反馈自编程
: 最后一个在音频视频和历史数据 aggregration用的多。
: functor,applicative,monad三者的关系和区别是fp核心知识之一

a*e2015-02-18 08:02

16 楼

One use case: to construct cyclic graph where each node has a unique ID.
To have unique ID, you need a state monad. To make cyclic graph symbolically
, you need the ability to reference nodes that is only defined afterwards.

It

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

: By monadfix you do you mean recursive monad binding (Levent Erkok 2000)? It
: is certainly fancy but I can hardly find any real use of it.

a*e2015-02-18 08:02

17 楼

这种理解方式可以上路，但走不远。建议从 fmap/return/join 来理解 monad，或者学
习以下怎么用 monad 来表达 non-determinism 和 continuation.

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

: 说白了

c*o2015-02-18 08:02

18 楼

你这个太高大上了。
我基本还是以工作可以用啥来学习的。

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

: 这种理解方式可以上路，但走不远。建议从 fmap/return/join 来理解 monad，或者学
: 习以下怎么用 monad 来表达 non-determinism 和 continuation.

l*s2015-02-18 08:02

19 楼

wow，以后面试也别考算法，就考对monad的理解吧：-）

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

a*e2015-02-18 08:02

20 楼

我贴一个算２４的程序吧（不是我写的），理解了 list monad 的都应该能明白。
make24 :: [Ratio Int] -> Bool
make24 = not . null . filter (==24%1) . ambArith
ambArith :: [Ratio Int] -> [Ratio Int]
ambArith [] = []
ambArith [x] = [x]
ambArith ns = do
let pickOne s = map (x -> (x, delete x s)) s
(x, xs) (y, ys) op ambArith $ (op x y) : ys
简单改改就可以不仅返回可能性而且输出算式，作为练习题吧。

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

: 你这个太高大上了。
: 我基本还是以工作可以用啥来学习的。

c*o2015-02-18 08:02

21 楼

贴code不解释几乎是没用的，大部分人（没有haskell/FP经验的）都要先研究1天才明
白是啥，然后再1天明白是
想说明啥。

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

: 我贴一个算２４的程序吧（不是我写的），理解了 list monad 的都应该能明白。
: make24 :: [Ratio Int] -> Bool
: make24 = not . null . filter (==24%1) . ambArith
: ambArith :: [Ratio Int] -> [Ratio Int]
: ambArith [] = []
: ambArith [x] = [x]
: ambArith ns = do
: let pickOne s = map (x -> (x, delete x s)) s
: (x, xs) : (y, ys)

a*e2015-02-18 08:02

22 楼

我是做个试验，要给那些把 monad 理解为 chaining pattern 的人看，能否读懂这个
程序。也没几行，可以通过学习增进理解，而不是靠我解释，是吧。

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

: 贴code不解释几乎是没用的，大部分人（没有haskell/FP经验的）都要先研究1天才明
: 白是啥，然后再1天明白是
: 想说明啥。

l*n2015-02-18 08:02

23 楼

很容易理解啊。比scala规范多了啊。

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

: 我是做个试验，要给那些把 monad 理解为 chaining pattern 的人看，能否读懂这个
: 程序。也没几行，可以通过学习增进理解，而不是靠我解释，是吧。