第二回 Fun Fan Fsharp 発表資料

1. コンピュテーション式
ハンズオン
【第二回】 Fun Fan Fsharp 発表資料

2. 自己紹介
京德 優希 （きょうとく ゆうき）
１９９４年１２月２０日生まれ（現在２６歳）
Twitter : ゆきあん@snowapricot47
2018年、神奈川県立産業技術短期大学校を卒業
卒業研究で関数型プログラミング（F#）を知る
好きなプログラミング言語：F#/Elm
趣味：ボードゲーム

3. コンピュテーション式とは？
F#の言語機能のひとつ
F#の構文をメソッド呼び出しに置き換えるマクロのよ
うなもの
特定の出来事を解決するための構文を表現すること
に利用されている（DSL）
例：SeqBuilder QueryBuilder AsyncBuilder
// コンピュテーション式
builder {
let! x = 3
let! y = 5
return x + y
}
// 置き換え後
builder.Run(
builder.Delay(fun () ->
builder.Bind(3, fun x ->
builder.Bind(5, fun y ->
builder.Return(x + y)
)
)
)
)

4. 今回のスコープ
1. コンピュテーション式の基本
2. Return 変換
3. Zero 変換
4. Bind 変換

5. コンピュテーション式の基本
中括弧（「{」と「}」のこと）で囲われた「式」の部分について、「オブジェクト」のメソッド
呼び出しに置き換える
特に決まりはないが、「～Builder」という名前のクラスを作るのが一般的
※以降の説明では、「オブジェクト」を「builder」という変数で表記します
オブジェクト {
式
}
type HogeBuilder() =
...
let builder = HogeBuilder()

6. Return 変換
「return」キーワードを変換する場合に現れる
「return」の後の値を引数として、Returnメソッ
ドを呼び出される
複数の「return」を並べるのはまた別のお話
// コンピュテーション式
builder { return 1 }
// 置き換え後
builder.Return(1)

7. Zero 変換
末尾に「return」が存在しない場合に現れる
unitを引数としてZeroメソッドが呼び出される
いくつ並べても、Zeroメソッドが呼ばれるのは
一回だけ
// コンピュテーション式
builder { printfn "Hello" }
// 置き換え後
printfn "Hello"; builder.Zero()
// コンピュテーション式
builder {
printfn "Hello"
printfn "World"
}
// 置き換え後
printfn "Hello"
printfn "World"
builder.Zero()

8. Bind 変換
「let!」キーワードを変換する場合に現れる
第一引数に束縛する値、第二引数に式全体
を関数にしたもの（右の図ではラムダ式で表
現）を引数としてBindメソッドが呼び出される
比較のために「let」キーワードを変換する場
合も記載 // コンピュテーション式
builder { let! value = 5 in 式 }
// 置き換え後
builder.Bind( 5,
fun value -> builder { 式 }
)
// コンピュテーション式
builder { let value = 3 in 式 }
// 置き換え後
let value = 3 in builder { 式 }

9. まずはハンズオン！
同じ実行環境を使いたいので、以下のサイトで一緒にやってみましょう
https://tryfsharp.fsbolero.io/
または
「tryfsharp」で検索
WebAssembly F# Compiler

10. 参考になるページ
FSharpSpec-4.1-latest.pdf (67ページ～)
https://fsharp.org/specs/language-spec/4.1/FSharpSpec-4.1-latest.pdf
コンピュテーション式 - F# | Microsoft Docs
https://docs.microsoft.com/ja-jp/dotnet/fsharp/language-
reference/computation-expressions
詳説コンピュテーション式 - ぐるぐる～ (hatenablog.com)
https://bleis-tift.hatenablog.com/entry/computation-expression
Computation expressions: Introduction | F# for fun and profit
(fsharpforfunandprofit.com)
https://fsharpforfunandprofit.com/posts/computation-expressions-intro/

11. ご清聴ありがとうございました