Mtok-blog

if

シンプルな分岐制御、分岐条件に１つのBooleanをとる。キーワードthenは必須で分岐条件の終わりを示し、続いてtrueだった場合に実行されるコードが続く。

let x = 12
if x = 12 then
    System.Console.WriteLine("x is 12")

ほかの多くの言語にあるような暗黙の型変換は行われず、F#では0や非ゼロをBooleanのtrueやfalseとして扱ってはくれないので、プログラマは=演算子(等号)や<>演算子(非等号)をつかって明示的にBooleanを求める必要がある。

if else 式

let x =12
if x = 12 then
    System.Console.WriteLine("x is 12")
else
    System.Console.WriteLine("x is not 12")

if elif else 式

let x = 12
if x = 12 then
    System.Console.WriteLine(" x is 12")
elif x = 20
    System.Console.WriteLine("x is 20")
else
    System.Console.WriteLine("other")

また、関数言語では、ifも”statement”(文)ではなく”expression”(式)なので値を返す。

let x = 12
let msg = if x = 12 then
    "x is 12"
else
    "x is not 12"
System.Console.WriteLine(msg)

ただし、ifから戻る値の型は一つだけなので、if節else節から戻る値の型が異なると、コンパイルエラーになる。

let x = 12
let msg = if x = 12 then
    "x is 12"  //戻り値はint型
else
    System.Console.WriteLine("x is not 12") //戻り値がunit型になるのでコンパイルエラー　

ループ while/do

while ( System.DateTime.Now.Minute <> 0) do
    System.Console.WriteLine("0分ではありません")

while/doは”statement”(文)なので、戻り値はない。　なので関数言語ではあまりwhile/doは使われない。

ループ for

for i = 1 to System.DateTime.Now.Hour do
    System.Console.WriteLine("foobar")

toの代わりに、downtoというキーワードを用いれば、デクリメントになる。

for i = 10 downto 1 do
    System.Console.WriteLine("i = {0}", i)

単純なforの場合、式ではなく文なので何の値も返さない。

例外

F#での例外処理は、try..withとtyr…finallyという構文で例外を処理する。C#にあるtry…with…finallyという構文はサポートしない。

try…with

let result =
    try
        let req = System.Net.WebRequest.Create("Not a legitimate URL");
        let resp = req.GetResponse()
        let stream = resp.GetResponseStream()
        let reader = new System.IO.StreamReader(stream)
        let html = reader.ReadToEnd()
        html
    with
        | :? System.UriFormatException -> "You gave a bad URL"
        | :? System.Net.WebException as webEx -> "Some other exception: " + webEx.Message
        | ex -> "We got an exception: " + ex.Message
results

キーワードtryとwithの間がガードブロックで、with以降に例外をキャッチするブロックがそれぞれ続く。
ifの時と同様にtry..withも式なのでtryブロックからの戻り値とwithブロックの例外処理による戻り値の型に互換性がないとエラーになる。

例外をキャッチを行う節はそれぞれ”|”で区切られ、以下のような構文になる。例外は構文内のパターンによってフィルタリングされる。

 | パターン-> 式

例外のフィルターパターンにはいくつかの記述の仕方がある。
特定の.NET例外をキャッチしたい場合

| :? .NET例外の型　-> 式
例
 | :? System.UriFormatException -> "You gave a bad URL"

特定の.NET例外をキャッチして、さらに式ないで参照したい場合はasで識別子を付ける。.NET例外というのは.NET側で定義されている例外という意味。

| :? .NET例外の型 as 識別子　-> 式
例
| :? System.Net.WebException as webEx -> "Some other exception: " + webEx.Message

F#で定義されたF#例外をキャッチしたい場合

| 例外の名前(引数) -> 式 //引数にスローされた例外の引数の値がバインディングされる。

//例
//exception Error1 of string と例外 Error1を定義されているとする

| Error(str) -> Sytem.Console.WriteLine(str)

単純に任意の例外をキャッチする場合

単純に識別子を記述するだけ、例外はその識別子をつかって参照する。
| 識別子 -> 式
例
| ex -> ex.hoge

任意の例外にマッチし特定の条件が成立する場合

| 識別子 when 条件

例
 | ex when val = 0 -> System.Console.WriteLine("val is 1")

try…finally

try…finallyではtryブロック内で例外が起ろうが起こるまいが、finallyブロックを実行する

let result = try
    (12 / 0)
finally
    System.Console.WriteLine("In finally block")

tryブロック内で例外発生しなかったときは、tryブロック内の最終的な値が戻り値として返される。tryブロック内で例外が発生した時は戻り値はなく、finallyブロック内の結果は戻り値に影響しない。発生した例外は上位のスタックフレームに送られ、例外ハンドラを探すが、ハンドラが見つからない場合、プログラム終了することになる。

例外のスロー

例外はキーワードraiseによってスローする

try
    raise (new System.Exception("I don't wana!"))
finally
    System.Console.WriteLine("In finally block")

例外の定義

F#には2通りの例外の定義の方法があり、
１つは、C#やVisualBasicのように例外クラスを定義する方法
もう1つは、exceptionキーワードを使って例外を定義する方法がある。

//exception 例外タイプ　of 引数タイプ
exception MyException of string

コメント

複数行コメント

[f#](* これはF#の
複数行コメントです。 *)
[/f#]

行コメント
[f#]// これは一行コメント[/f#]

ドキュメンテーションコメント
///とスラッシュを三つ続ける、C#のようなドキュメンテーションコメントにも対応している
コメント内で推奨されているタグについてはこちらを参照
[f#]//例
///

/// Use it wisely[/f#]

識別子

F#の識別子は、C++やC#のようにキャラクタ＋数字＋アンダースコアを使用することができる。ユニコード対応なので日本語でもＯＫ。ただし、最初の一文字はキャラクタがアンダースコアである必要がある。

[f#]
let a = “foo” //OK
let _b = “bar” //OK
let 1c = “boo” // Error
[/f#]

以下のF#の予約語も識別子として使用できない
[f#]
abstract and as asr assert atomic base begin break checked class component
const constraint constructor continue default delegate do done downcast
downto eager elif else end event exception extern external false finally
fixed for fun function functor global if in include inherit inline
interface internal land lazy let lor lsl lsr lxor match member method mixin
mod module mutable namespace new null object of open or override parallel
private process protected public pure rec return sealed sig static struct
tailcall then to trait true try type upcast use val virtual void volatile
when while with yield
[/f#]

プリプロセッサディレクティブ・コンパイラディレクティブ

#if#elseや#lightなどのように#で始まるプリプロセッサディレクティブやコンパイラディレクティブを記述することで、条件コンパイルや、簡易構文の有効無効などの設定を行う事が出来る。

MSDN コンパイラディレクティブ

簡易構文

F#では、簡易構文といって、有効にするとin/begin/endなどのキーワードを省略してコードを記述することができる。
簡易構文では空白によるインテントで構成要素の先頭と末尾を示す。
#lightコンパイラディレクティブによって簡易構文の有効/無効を指定できる（デフォルトで有効）

msdn 詳細構文