scala和monad# Programming - 葵花宝典
l*a
1 楼
请教各位大神，本人opt期间，前两个月在NJ居住并工作。后6个月搬到IL居住但给一家
PA的公司做远程工作。请问这种情况要如何报税?
谢谢各位！
PA的公司做远程工作。请问这种情况要如何报税?
谢谢各位！
p*2
2 楼
functional scala 一定要用monad吗？
我指的是显式的用。不是隐式的用list，future就算用了。
或者说不理解monad可以算functional scala吗？
monad在实践中在scala项目中的比重有多大？比如kafka，spark这些项目。
我指的是显式的用。不是隐式的用list，future就算用了。
或者说不理解monad可以算functional scala吗？
monad在实践中在scala项目中的比重有多大？比如kafka，spark这些项目。
M*s
3 楼
在哪儿住在哪儿报。然后具体看每个税表。
c*9
4 楼
纯functional 大多要用到monad吧。
【在 p*****2 的大作中提到】
: functional scala 一定要用monad吗？
: 我指的是显式的用。不是隐式的用list，future就算用了。
: 或者说不理解monad可以算functional scala吗？
: monad在实践中在scala项目中的比重有多大？比如kafka，spark这些项目。
【在 p*****2 的大作中提到】
: functional scala 一定要用monad吗？
: 我指的是显式的用。不是隐式的用list，future就算用了。
: 或者说不理解monad可以算functional scala吗？
: monad在实践中在scala项目中的比重有多大？比如kafka，spark这些项目。
c*o
5 楼
monad是一种data control structure, 是一种pattern
你当然可以不用。像java不用di,ioc一样，自己取舍。
但大家都用，自然有他的道理和好处
你当然可以不用。像java不用di,ioc一样，自己取舍。
但大家都用，自然有他的道理和好处
c*o
6 楼
app developer 一般不用自己design monad
理解还是需要的。
理解还是需要的。
p*2
7 楼
用肯定用到。我想知道的是，monad anywhere吗？到底多大程度上用。
【在 c*******9 的大作中提到】
: 纯functional 大多要用到monad吧。
p*2
8 楼
大牛的项目用到多少monad？常用的是哪些？
【在 c******o 的大作中提到】
: monad是一种data control structure, 是一种pattern
: 你当然可以不用。像java不用di,ioc一样，自己取舍。
: 但大家都用，自然有他的道理和好处
p*2
9 楼
嗯。我想问的就是使用的问题。到底多大程度上用到了monad。常用的有哪些。库就是
scalaz吧？
【在 c******o 的大作中提到】
: app developer 一般不用自己design monad
: 理解还是需要的。
c*o
10 楼
in real work, everything is a monad/applicative functor/functor...
like future, list, json validator, error handling, db object etc.
but I did not design or implement most of them, only used them.
even common MVC components have functional combinators (means them are some
sort of ADTs).
like future, list, json validator, error handling, db object etc.
but I did not design or implement most of them, only used them.
even common MVC components have functional combinators (means them are some
sort of ADTs).
p*2
11 楼
some
这个我知道。你的意思除了这些就不用其他monad了？那不需要理解monad完全可以工作
。因为这是隐式在使用。也体会不到monad pattern的含义。
我的意思有没有必须要理解monad才能工作的地方。像scalaz应该有不少monad吧？
【在 c******o 的大作中提到】
: in real work, everything is a monad/applicative functor/functor...
: like future, list, json validator, error handling, db object etc.
: but I did not design or implement most of them, only used them.
: even common MVC components have functional combinators (means them are some
: sort of ADTs).
a*e
12 楼
能够很好地理解 continuation monad 和 free monad 你就入门了。用 scala 不需要
学习 monad transformer.
常见的还有 applicative 和 monoid，这两个都还比较简单。
【在 p*****2 的大作中提到】
:
: some
: 这个我知道。你的意思除了这些就不用其他monad了？那不需要理解monad完全可以工作
: 。因为这是隐式在使用。也体会不到monad pattern的含义。
: 我的意思有没有必须要理解monad才能工作的地方。像scalaz应该有不少monad吧？
学习 monad transformer.
常见的还有 applicative 和 monoid，这两个都还比较简单。
【在 p*****2 的大作中提到】
:
: some
: 这个我知道。你的意思除了这些就不用其他monad了？那不需要理解monad完全可以工作
: 。因为这是隐式在使用。也体会不到monad pattern的含义。
: 我的意思有没有必须要理解monad才能工作的地方。像scalaz应该有不少monad吧？
l*t
13 楼
不知道也。你自己下个kafka，spark代码看看吧。其实如果用了var就不用提自己是纯
fp了，kafka就不是。但是纯不纯有有什么打紧？
【在 p*****2 的大作中提到】
: functional scala 一定要用monad吗？
: 我指的是显式的用。不是隐式的用list，future就算用了。
: 或者说不理解monad可以算functional scala吗？
: monad在实践中在scala项目中的比重有多大？比如kafka，spark这些项目。
fp了，kafka就不是。但是纯不纯有有什么打紧？
【在 p*****2 的大作中提到】
: functional scala 一定要用monad吗？
: 我指的是显式的用。不是隐式的用list，future就算用了。
: 或者说不理解monad可以算functional scala吗？
: monad在实践中在scala项目中的比重有多大？比如kafka，spark这些项目。
c*o
14 楼
太复杂了，一般的monad( future/list/stream(其实不是monad)/Option/Try/Either)
能理解, app development足够了。
continuation/free 都是advanced topic
【在 a*****e 的大作中提到】
: 能够很好地理解 continuation monad 和 free monad 你就入门了。用 scala 不需要
: 学习 monad transformer.
: 常见的还有 applicative 和 monoid，这两个都还比较简单。
能理解, app development足够了。
continuation/free 都是advanced topic
【在 a*****e 的大作中提到】
: 能够很好地理解 continuation monad 和 free monad 你就入门了。用 scala 不需要
: 学习 monad transformer.
: 常见的还有 applicative 和 monoid，这两个都还比较简单。
c*o
15 楼
不理解怎么用？
monad的局限是什么？ 我为啥要用它？有啥好处. 和其他的ADT 一起用怎么办？
你不用把你的logic/flow设计成monad, 但是不理解也用不好。
【在 p*****2 的大作中提到】
:
: some
: 这个我知道。你的意思除了这些就不用其他monad了？那不需要理解monad完全可以工作
: 。因为这是隐式在使用。也体会不到monad pattern的含义。
: 我的意思有没有必须要理解monad才能工作的地方。像scalaz应该有不少monad吧？
monad的局限是什么？ 我为啥要用它？有啥好处. 和其他的ADT 一起用怎么办？
你不用把你的logic/flow设计成monad, 但是不理解也用不好。
【在 p*****2 的大作中提到】
:
: some
: 这个我知道。你的意思除了这些就不用其他monad了？那不需要理解monad完全可以工作
: 。因为这是隐式在使用。也体会不到monad pattern的含义。
: 我的意思有没有必须要理解monad才能工作的地方。像scalaz应该有不少monad吧？
c*o
16 楼
这个也不对，immutable 可以有var，只要是local，non observable的就可以，
【在 l*****t 的大作中提到】
: 不知道也。你自己下个kafka，spark代码看看吧。其实如果用了var就不用提自己是纯
: fp了，kafka就不是。但是纯不纯有有什么打紧？
【在 l*****t 的大作中提到】
: 不知道也。你自己下个kafka，spark代码看看吧。其实如果用了var就不用提自己是纯
: fp了，kafka就不是。但是纯不纯有有什么打紧？
p*2
17 楼
list future这些看sample code就可以用了 doc里也没有强调是monad
【在 c******o 的大作中提到】
: 不理解怎么用？
: monad的局限是什么？ 我为啥要用它？有啥好处. 和其他的ADT 一起用怎么办？
: 你不用把你的logic/flow设计成monad, 但是不理解也用不好。
【在 c******o 的大作中提到】
: 不理解怎么用？
: monad的局限是什么？ 我为啥要用它？有啥好处. 和其他的ADT 一起用怎么办？
: 你不用把你的logic/flow设计成monad, 但是不理解也用不好。
c*o
18 楼
那么我想合并3个list,
list(1,2,3,4)
list(2,3,4,5)
list(4,5,6,7)
用 x1*x2+x3
怎么做？
是monad 么？
【在 p*****2 的大作中提到】
: list future这些看sample code就可以用了 doc里也没有强调是monad
list(1,2,3,4)
list(2,3,4,5)
list(4,5,6,7)
用 x1*x2+x3
怎么做？
是monad 么？
【在 p*****2 的大作中提到】
: list future这些看sample code就可以用了 doc里也没有强调是monad
p*2
19 楼
没看懂什么意思
不用monad就不能合并三个list？
【在 c******o 的大作中提到】
: 那么我想合并3个list,
: list(1,2,3,4)
: list(2,3,4,5)
: list(4,5,6,7)
: 用 x1*x2+x3
: 怎么做？
: 是monad 么？
不用monad就不能合并三个list？
【在 c******o 的大作中提到】
: 那么我想合并3个list,
: list(1,2,3,4)
: list(2,3,4,5)
: list(4,5,6,7)
: 用 x1*x2+x3
: 怎么做？
: 是monad 么？
p*g
20 楼
那些倾向Pure Funtional的与比较考虑企业应用的渐行渐远:
http://typelevel.org/blog/2014/09/02/typelevel-scala.html
http://typelevel.org/blog/2014/09/02/typelevel-scala.html
c*o
21 楼
这是很典型的实际应用coding,如果把list换成无始无终的stream就更加清楚了。
这是很典型的applicative functor, 基本上是用zip combinator.
那为啥要问monad呢？ 每一个monad都是applicative functor,但是不是每个
applicative functor都是monad
的。
list 可以用monad的map, flatMap来实现，但是很不清楚。 用zip就很好。
unlimited stream根本就没法用monad的map, flatMap，不会返回的。只能用 zip
因为unlimited stream不是monad.
如果你熟悉functor, applicative functor, monad 对一个问题，你很快就能想到怎么
处理。
对于处理某个问题的lib你也很快就能上手。
【在 p*****2 的大作中提到】
: 没看懂什么意思
: 不用monad就不能合并三个list？
这是很典型的applicative functor, 基本上是用zip combinator.
那为啥要问monad呢？ 每一个monad都是applicative functor,但是不是每个
applicative functor都是monad
的。
list 可以用monad的map, flatMap来实现，但是很不清楚。 用zip就很好。
unlimited stream根本就没法用monad的map, flatMap，不会返回的。只能用 zip
因为unlimited stream不是monad.
如果你熟悉functor, applicative functor, monad 对一个问题，你很快就能想到怎么
处理。
对于处理某个问题的lib你也很快就能上手。
【在 p*****2 的大作中提到】
: 没看懂什么意思
: 不用monad就不能合并三个list？
c*o
22 楼
我以前在公司brown bag时候的slide中的几页
applicative functor都是
【在 c******o 的大作中提到】
: 这是很典型的实际应用coding,如果把list换成无始无终的stream就更加清楚了。
: 这是很典型的applicative functor, 基本上是用zip combinator.
: 那为啥要问monad呢？ 每一个monad都是applicative functor,但是不是每个
: applicative functor都是monad
: 的。
: list 可以用monad的map, flatMap来实现，但是很不清楚。 用zip就很好。
: unlimited stream根本就没法用monad的map, flatMap，不会返回的。只能用 zip
: 因为unlimited stream不是monad.
: 如果你熟悉functor, applicative functor, monad 对一个问题，你很快就能想到怎么
: 处理。
applicative functor都是
【在 c******o 的大作中提到】
: 这是很典型的实际应用coding,如果把list换成无始无终的stream就更加清楚了。
: 这是很典型的applicative functor, 基本上是用zip combinator.
: 那为啥要问monad呢？ 每一个monad都是applicative functor,但是不是每个
: applicative functor都是monad
: 的。
: list 可以用monad的map, flatMap来实现，但是很不清楚。 用zip就很好。
: unlimited stream根本就没法用monad的map, flatMap，不会返回的。只能用 zip
: 因为unlimited stream不是monad.
: 如果你熟悉functor, applicative functor, monad 对一个问题，你很快就能想到怎么
: 处理。
p*2
23 楼
好 学习了
话说你没给我发书吧
不过我也不着急 而且决定入一本paper的
【在 c******o 的大作中提到】
: 这是很典型的实际应用coding,如果把list换成无始无终的stream就更加清楚了。
: 这是很典型的applicative functor, 基本上是用zip combinator.
: 那为啥要问monad呢？ 每一个monad都是applicative functor,但是不是每个
: applicative functor都是monad
: 的。
: list 可以用monad的map, flatMap来实现，但是很不清楚。 用zip就很好。
: unlimited stream根本就没法用monad的map, flatMap，不会返回的。只能用 zip
: 因为unlimited stream不是monad.
: 如果你熟悉functor, applicative functor, monad 对一个问题，你很快就能想到怎么
: 处理。
话说你没给我发书吧
不过我也不着急 而且决定入一本paper的
【在 c******o 的大作中提到】
: 这是很典型的实际应用coding,如果把list换成无始无终的stream就更加清楚了。
: 这是很典型的applicative functor, 基本上是用zip combinator.
: 那为啥要问monad呢？ 每一个monad都是applicative functor,但是不是每个
: applicative functor都是monad
: 的。
: list 可以用monad的map, flatMap来实现，但是很不清楚。 用zip就很好。
: unlimited stream根本就没法用monad的map, flatMap，不会返回的。只能用 zip
: 因为unlimited stream不是monad.
: 如果你熟悉functor, applicative functor, monad 对一个问题，你很快就能想到怎么
: 处理。
c*o
24 楼
发了。。。
没收到？
【在 p*****2 的大作中提到】
: 好 学习了
: 话说你没给我发书吧
: 不过我也不着急 而且决定入一本paper的
没收到？
【在 p*****2 的大作中提到】
: 好 学习了
: 话说你没给我发书吧
: 不过我也不着急 而且决定入一本paper的
l*t
25 楼
我有点糊涂了。我当年学的时候老师说不能有assignment，period。后来coursera的
scala课，Martin也是只字不提var。
【在 c******o 的大作中提到】
: 这个也不对，immutable 可以有var，只要是local，non observable的就可以，
scala课，Martin也是只字不提var。
【在 c******o 的大作中提到】
: 这个也不对，immutable 可以有var，只要是local，non observable的就可以，
c*o
26 楼
一个function内部的var，只要对外部没影响。当然可以有。
比如说排序里用一个中间变量。只要最后输出的是新的immutable。那个中间变量当然
没问题。
严格的定义是referential trasperancy .
A
f(3) = 5 那在任何地方都能用 5 替代 f(3)没问题就行。
比如说排序里用一个中间变量。只要最后输出的是新的immutable。那个中间变量当然
没问题。
严格的定义是referential trasperancy .
A
f(3) = 5 那在任何地方都能用 5 替代 f(3)没问题就行。
k*i
27 楼
In haskell :)
ghci> :{
ghci| let fn' l1 l2 l3 =
ghci| map ( (x: y: z: _) -> x * y + z) .
ghci| Data.List.transpose $ [l1, l2, l3]
ghci| in fn' [1, 2, 3, 4] [2, 3, 4, 5] [4, 5, 6, 7]
ghci| ;}
[6,11,18,27]
【在 c******o 的大作中提到】
: 那么我想合并3个list,
: list(1,2,3,4)
: list(2,3,4,5)
: list(4,5,6,7)
: 用 x1*x2+x3
: 怎么做？
: 是monad 么？
ghci> :{
ghci| let fn' l1 l2 l3 =
ghci| map ( (x: y: z: _) -> x * y + z) .
ghci| Data.List.transpose $ [l1, l2, l3]
ghci| in fn' [1, 2, 3, 4] [2, 3, 4, 5] [4, 5, 6, 7]
ghci| ;}
[6,11,18,27]
【在 c******o 的大作中提到】
: 那么我想合并3个list,
: list(1,2,3,4)
: list(2,3,4,5)
: list(4,5,6,7)
: 用 x1*x2+x3
: 怎么做？
: 是monad 么？
相关阅读
C++程序运行内存消耗越来越大，怎么回事？find the subarray为什么我的visual C++ 找不到 "Stdafx.h" ?求救：哪儿有程序证明RNG产生的数据是uniformly distributed？专门剽窃代码的搜索引擎Question about Base Tag...UML and SDL请问Visual C＋＋里这个link的错误要怎么解决？quant lib有没有static return type和static as function arguement?using namespace std; 比 using std::vector; 效率低么？thxSTL里面#include的问题revision controltemplate metaprogramming 的问题thrust, about the initialization of POD一个VC++ .net里编译C程序的问题急问一个奇怪的sql server数据库问题一个类的非静态成员函数可以用作回调函吗?问个关于c++ access 的问题release Vs. debug???