前回は全くコーディングしませんでしたので，今回は少し遊んでみたいと思います。

F# Interactive

F# は対話モードで遊べる機能があります。今回はこれを利用します。

$ dotnet fsi

入力の終了はセミコロン２つ (;;) で指定します。通常のコードでも ; が登場するので，混ざるのを避けるためだと思われます。MySQL でストアドプロシージャを記述するときに一時的にデリミタを変更するのと同じ動機ですね。

最後に評価した結果は it という変数にバインド（束縛）されます。
（これに限らず対話モードだと普通に再バインドできるみたいです）

対話モードを抜ける場合は #q を指定します。
（Q# みたいで紛らわしいｗ）

参考：
https://docs.microsoft.com/ja-jp/dotnet/fsharp/tutorials/fsharp-interactive/

関数

let で変数・関数を定義します。

> let f x y = x + y ;;
val f : x:int -> y:int -> int

> f 2 3 ;;
val it : int = 5

う～ん。シンプルに記述でき過ぎて，逆に戸惑うｗ

なんて遊んでいると，職場のＫ先生から「こんなのあるよ」と見せてもらったのがコチラ。

let f = (+)

「ん？何が起こるんですか？これ？？」

教えて頂きました。x + y と (+) x y が等価ということらしいです。プラスを括弧で囲むと引数を二つとって合計を返す関数になり，それを f にバインドしたってことみたいですね。

> let f = (+) ;;
val f : (int -> int -> int)

> f 2 3 ;;
val it : int = 5

(int -> int -> int) となるのは，カリー化と部分適用の話のようです。
順番にやるとこうなります。

> f 2 ;;
val it : (int -> int) = <fun:Invoke@2684>

> it 3 ;;
val it : int = 5

まず f 2 を評価すると，引数を１つ受け取ると 2 を足して返す関数が返ってきます。さらに，これに 3 を渡すと合計した結果 5 が返ってくるというわけです。
括弧付きだとこうですね。

> f (2) (3) ;;
val it : int = 5

なるほど。
JavaScript だとこんな感じですね。

> const f = x => y => x + y;
> f (2) (3);
5

タプル

引数２つ取って反転させて返す関数のつもりだけど・・・

> let swap x y = y x ;;
val swap : x:'a -> y:('a -> 'b) -> 'b

> swap 2 3 ;; // error

あれ、、なんか y が関数と推論されてるな。

> swap 2 (fun x -> x + 3) ;;
val it : int = 5

あぁ～複数の値を返したいときはタプルにするんですね。

> let swap x y = y, x ;;
val swap : x:'a -> y:'b -> 'b * 'a

タプルの中身を直接バインドできます。
さらに as を使うとタプルと中身どっちもバインドできます。

> let a, b as t = swap "a" "b" ;;
val t : string * string = ("b", "a")
val b : string = "a"
val a : string = "b"

うん。ややこしいｗ

> let sum arr =                   
-   let rec sumR acc arr =        
-     match arr with              
-     | [] -> acc                 
-     | h::t -> sumR (acc + h) t  
-   sumR 0 arr                    
- ;;                              
val sum : arr:int list -> int

> sum [1 .. 10] ;;
val it : int = 55

良さげですね😉
再帰するには関数に rec を付ける必要があるみたいです。

参考：
https://docs.microsoft.com/ja-jp/dotnet/fsharp/language-reference/lists

パターンマッチ

試しに Codewars の初級問題を解いてみます。

▽ Calculate BMI
https://www.codewars.com/kata/57a429e253ba3381850000fb

体重と高さを渡したら BMI に対応したメッセージを返す関数をつくる問題です。

先ほどの再帰でも使いましたが，パターンマッチを使います。when で対象の変数に対する条件を追加することができます。手元で試したときに int か float かを指定しないとエラーになってしまったので，引数の型を明示的に指定しています。

> let bmi (w:float) (h:float) =
-   match (w / (h * h)) with
-   | x when x <= 18.5 -> "Underweight"
-   | x when x <= 25.0 -> "Normal"
-   | x when x <= 30.0 -> "Overweight"
-   | _ -> "Obese"
- ;;
val bmi : w:float -> h:float -> string

> bmi 60.0 1.75 ;;
val it : string = "Normal"

つづく

ということで，おなかいっぱいになってきたので，今回はこのへんで✋

つづき
https://qiita.com/dsudo/items/39867b9d0df896fb2701

F# Interactive

関数

タプル

リスト

生成

変換

集計

ソート

再帰

普通の再帰

末尾再帰最適化

パターンマッチ

つづく