次世代言語18 V Julia 他

**デフォルトの名無しさん** · 2019/09/30(月) 23:11:51.54

スレタイ以外の言語もok

前スレ
次世代言語17 Go Rust Kotlin TypeScript Julia
https://mevius.5ch.net/test/read.cgi/tech/1567602619/

**デフォルトの名無しさん** · 2019/10/19(土) 08:58:11.03

flatmapがモナドとか言ってる奴何一つ型を分かってない
flatmapはモナドのbindを拡張した概念であって、bindそのものじゃない
要するにflatmapが使える時点でモナドじゃない、モナドのような何かだ
それをモナドと混同してる時点で論外
そいつの話を聞く必要はない

**デフォルトの名無しさん** · 2019/10/19(土) 09:36:17.45

＞要するにflatmapが使える時点でモナドじゃない、モナドのような何かだ
自分がなにもわかってないっていう自己紹介かな

「モナドとして振る舞える」ものはモナドだよ
モナドよりできることが多かったとしても

**デフォルトの名無しさん** · 2019/10/19(土) 10:16:08.33

モナド警察現るw
モナド = bindableでもいいけどbindって何？ってなるだろ
flatmapはmapの続きで理解できるからbindって言葉よりも理解しやすい

Optional<T>を例にすると
mapはOptional<T> -> ( T -> U ) -> Optional
Optional<T>とTをUに変換する関数を受け取ってOptionalを返す

flatmapはOptional<T> -> ( T -> Optional ) -> Optional
Optional<T>とTをOptionalに変換する関数を受け取ってOptionalを返す

mapの場合、受け取る関数が( T -> Optional )だと結果がOptional<Optional>になって二重に包まれる
flatmapはこういう二重に包まれた結果にならないようmapする機能とネストした型をflattenする機能が合体したもの

IOやStateには当てはまらないとかいう奴も居るけど
mapだとIO<IO<T>>になるところをflattenしてIO<T>にするのは同じ
flattenするルールが包みの種類によって違うだけ