seqもデシュガー(といっていいのか？)後に汎用の最適化がかかる可能性はあるかもしれないですけど、専用の最適化とかはなかった気がします
queryも単なるコンピュテーション式なので同様
独自のAsyncBuilderを定義するのは普通に可能です
AsyncBiulderはここで定義されてます
標準のAsyncBuilderはSealedクラスで継承できないので、基本ラップする方針になりやすいですね
https://github.com/pocketberserker/ComputationExpressions/blob/452d77b7be97cbae2ed022c0273629e214223a62/src/ComputationExpressions/Async.fs#L8
https://github.com/pocketberserker/ComputationExpressions/blob/452d77b7be97cbae2ed022c0273629e214223a62/src/ComputationExpressions/Async.fs#L8
ここからの流れだ
発言にリンクできないのかな・・・
こうか？
あ、%Aの話です
かなーり大胆に変更されているなこれ
とりあえず、seq式は型無しのAST時点では
App(..., Ident seq, CompExpr(...))みたいな感じにパースされることが分かった
これは、asyncビルダーとかと同じパースのされ方なので、コンピュテーション式扱いっぽい
実際に走査しているのはここですかね
＜リストモナドに関して＞
度々すみません。お手すきのときにでも。。。以前、
x y zを足して７になるリストを求めたいとのことで書いたのですが、ブレイスさんの回答をみて、これはモナドでは？と思い、書いてみました！多分これでいいと思うのですが、合計で７になるのが取り出せません。なにか良いアイディアあればお願いします。またモナドの勉強を始めたばかりなので間違ってたらご指摘してもらえると嬉しいです(^_^)/module Test_ListMonad =
type ListBuilder () =
member this.Bind (m, f) = m |> List.collect f
member this.Return x = [x]
member this.ReturnFrom x = x
let lb = ListBuilder()
let lessThan n = [1..n]
let plusMinus a b c = [a, b, c]
let allPMs l m n = lb {
let! x = lessThan l
let! y = lessThan m
let! z = lessThan n
return! plusMinus x y z
}
allPMs 6 6 6 |> printfn "%A"
ただ、そうした場合、モナドよりも表現力の高いモナドプラスなどと呼ばれるものですね
あー、Combineも必要です
うーん、先ほどのコードに足すとできるのですが、、これではないですよね（汗）その２
member this.Bind (x, f) =
let tplsum (a, b, c) = a + b + c
let idx = ( x |> List.collect f) |> List.map ( fun tpl -> tplsum tpl )
( idx, ( x |> List.collect f) )
||> List.zip
|> List.filter ( fun tpl -> fst tpl = 7 )
|> List.map ( fun elm -> snd elm )
できました〜。
let plusMinus a b c = [a; b; c]にてリストにしたらシンプルになりました！delayとか使う方法はよくわからなかったです（汗）module Test_ListMonad =
type ListBuilder () =
member x.Bind (l, f) = l |> List.collect f
member x.ReturnFrom l =
match List.sum l with
| 7 -> [l] | _ -> []
let lb = new ListBuilder()
let lessThan n = [1..n]
let plusMinus a b c = [a; b; c] // <---ここが [a,b,c] tupleだったため扱いにくかった
let allPMs l m n = lb {
let! x = lessThan l
let! y = lessThan m
let! z = lessThan n
return! plusMinus x y z }
allPMs 6 6 6 |> printfn "%A"
今回の場合だと、7という数字をビルダー側に書くべきではないです。
なんどもすみません、、、。こんな感じでできました！
module Test_ListMonad =
type ListBuilder () =
member x.Yield v = [v]
member x.Bind (l, f) = l |> List.collect f
let lb = new ListBuilder()
let listAll =
lb { let! x = [1..6]
let! y = [1..6]
let! z = [1..6]
yield [x;y;z]
|> fun l -> match List.sum l with 7 -> l | _ -> []
}
|> List.filter ( fun l -> l <> [] ) // ここがちょっと泥臭い気が、、、
|> printfn "%A"
elseのないifを使うために、Zeroが必要です。また、その後ろに式を続ける場合はCombine(とDelayとRun)が必要です。
open FSharpPlus
let listAll =
monadPlus {
let! x = [1..6]
let! y = [1..(7 - x)]
let! z = [1..(7 - x - y)]
if x + y + z = 7 then
return (x, y, z)
}
[<EntryPoint>]
let main argv =
printfn "%A" listAll
0
FSharpPlusというライブラリを使うとこんな感じで書けます
VSデフォルトでC#からF#に飛べるなら使い勝手かなり上がりますね