Haskell界隈が「モナド」というときは「do構文」のことを指していると解釈しても大丈夫?
-
-
Replying to @ubnt_intrepid
.
@ubnt_intrepid Haskellでモナドというときはだいたいこれじゃないでしょうか。(ここに含まれないインスタンスもあると思いますが) https://hackage.haskell.org/package/base-4.9.1.0/docs/Control-Monad.html#t:Monad …1 reply 0 retweets 1 like -
Replying to @_shimada
要は「(モナドとして)統一したインタフェースが欲しい」という認識でいいんですね。確かにHaskell使いからすれば現状のRustのResult周りの仕様に不満を感じるのは何となくわかります。
1 reply 0 retweets 1 like -
Replying to @ubnt_intrepid
Haskellから来た人が「Rustにもモナド欲しい」と言うときの文脈の話だったんですね。たぶんそんな感じなんだと思いますが、型パラメータの扱いもHaskellに比べて煩雑になるみたいですね。
1 reply 0 retweets 1 like
Replying to @_shimada
その文脈で間違いないです(もともとtanakhさんの発言を眺めながらつぶやいたものなので)。両言語に対する知識があまり多くないので偉そうなことは言うべきではないのですが、Rust の向いている方向を考えるとモナド的な考えをすべて受け入れるのは難しい気がします
11:51 PM - 6 Feb 2017
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.