[ご利用にあたって]このサイトで掲載されている情報は、「Go towards a Word-Progress」の作成者により運営されています。価格、販売可能情報は、変更される場合があります。購入時に楽天市場店舗（www.rakuten.co.jp）に表示されている価格が、その商品の販売に適用されます。

今回は、他の言語から来た人間が、F#に拒絶反応を示す原因となるかもしれない、F#のオブジェクト指向、命令型プログラミングを、例によってScalaから見ていく。
※私はF#をやると決めているので、まぁ、こんなものとF#の現実として受け止めている。

勉強させていただくのは、net-kさんのF#入門サイト

命令型プログラミング より、 「whileの例」

◇F#

let counter = ref 5

while !counter > 0 do
    printfn "counter=%d" !counter
    counter := !counter-1

◇Scala

var counter = 5
while (counter > 0) {
    println ("counter=%d".format(counter))
    counter -= 1
}

• F#では、mutableな変数を扱うためには、ref(参照）の理解が欠かせない　(!や:=が気になる人も多いだろう)。Immutableなプログラミングを推進すべく、mutableな記述に抵抗感を抱くよう、あえて導入された構文・・なのかな(いわば、「大リーグ養成ギブス」)??
• val => immutable, var => mutableというシンプルなルールのScalaでは、手続き型(命令型)のプログラムをJavaっぽく普通に書ける

—[Scalaでの実行結果]—
scala> var counter = 5
counter: Int = 5

scala> while (counter > 0) {
| println (“counter=%d”.format(counter))
| counter -= 1
| }
counter=5
counter=4
counter=3
counter=2
counter=1
—–

オブジェクト指向プログラミング より、 「クラス定義の例」

◇F#

#light

type Monster(level:int,hp:int) =
    class
        member x.Level = level;
        member x.Hp    = hp;
        member x.ShowStatus = printfn "level=%d, hp=%d" level hp
    end

let x = new Monster( 10, 200 )
x.ShowStatus

◇Scala

class Monster (val level:Int,val hp:Int)
{
    def ShowStatus =
        println ("level=%d, hp=%d".format(level,hp))
}
val x = new Monster( 10, 200 )
x.ShowStatus

• F#では、type～引数～classでクラス定義をするのか。これはこれで嫌いじゃないぞ。
• Scalaでは、何のへんてつもなく、単にclass(引数)でクラス定義を行う

—[Scalaでの実行結果]—

scala> class Monster (val level:Int,val hp:Int) {
| def ShowStatus = println (“level=%d, hp=%d”.format(level,hp))
| }
defined class Monster

scala> val x = new Monster( 10, 200 )
x: Monster = Monster@3b4f0e

scala> x.ShowStatus
level=10, hp=200

——

[追記] 子飼弾氏が言うように、Scalaは「えらい美少女」な言語なのだが、ただの美少女ではない。一癖あるぞ、ということで、上記MonsterクラスをListに入れて再帰的に扱う例をおまけに。

type of[m[_],t] = m[t]

def sumOfHitpoint (ListOfMonster : List of Monster)= {
    var total = 0
    def rec(LoM :List of Monster) : List of Monster =
        if (LoM.isEmpty) LoM else {
            total += LoM.head.hp
            rec(LoM.tail)
        }

    rec(ListOfMonster)
    total
}

val m1 = new Monster( 10, 200 )
val m2 = new Monster( 8, 140 )
val m3 = new Monster( 7, 100 )

println {
    "Total Hit Points : %d".format{
        sumOfHitpoint{
            List(m1,m2,m3)
        }
    }
}

そう,scalaのtypeキーワードは、「型」を操作するためにある。そのうえ、別名(alias)をつけることができるのだ。
静的言語でありつつ型推論の仕組みを持つScalaだが、再帰を記述する際などには「型」の記述を省略できない。その 場合でも、別名を使えるため、DSLを作る場合などに便利というわけ。

なので、ひとたび、
type of[m[_],t] = m[t]
とおまじないをとなえると、以下の2つは同じ意味となる。

• def a (x: List of Int) : List of (List of Int) = List(x.tail)
• def a (x: List[Int]) : List[List[Int]] = List(x.tail)

ScalaでDSL、ただいま、絶賛勉強中なのでそのうち何か書くかも。

突然次回予告 : 涼宮ハルヒScalaも驚愕!?
「F#スゲーな話」　非同期ワークフロー

◇F#の星になるならこれを着ろ!!

※F# -> MS流OCaml。
※OCaml使いの人からすると微妙なのだろうが、F#のlight構文はScala使いからするとそんなに悪くない感じ

今回は、Codezineでの星山氏のF#入門記事を勉強させてもらいながら、気になるところをランダムにscala化して比べてみる。
※F#の方の解説は全面的にCodezine記事にゆだねてます。

■Scalaの再帰関数の宣言

def facto(n:Int) : Int =
    if (n <=1 ) 1 else n * facto(n-1)

• F#で再帰関数[Codezine]
• メモ　F#では再帰関数をlet recで宣言

[実行結果]scala> print(facto(5))
120

■Scalaの高階操作

お題 : 1,2,3という要素からなるリストの各要素を2倍して、一つずつ表示する ※元の例が1行なのでこちらも1行で

   List(1,2,3).map(_*2).foreach(println(_))

• F#/C#でリスト[Codezine]
• 感想　F#よりC#の方が分かりやすいなぁ
• メモ　F#のパイプライン記号は、“|>”　　#JavaやScalaの”.”に相当（?）

■Scalaのカリー化

: Scalaのカリー化について詳しくは、A Life in 新宿さんの解説を参考にしてほしい

 def testadd (x:Int)(y:Int) = x + y

• F#では、let testadd x y = x + y (codezine)　　※Scalaでは括弧が省略できない場合が多いが、F#(OCaml)では多くの場合、省略可能。趣味もあるだろうが、F#の方を好ましく思う人もいることだろう。

(カリー化の使用例)
scala> def add1 = testadd(1) _
add1: (Int) => Int
scala> add1(2)
res12: Int = 3

■中置演算子・・・

・・・うっ、Scalaでの書き方が分からない。。
F#だと以下のように新たな感じで中置演算子@-@を定義できる。

　　> let ( @-@/ ) a b = a*b*3+125 ;;
　　> 10 @-@/ 4 ;;
　　val it : int = 245

• Scalaでこうした中置演算子をさくっと書ける方がいらっしゃったら、教えてもらえるとありがたいです(たぶん、implicit conversionですよね・・)。

#ちょっとだけ言い訳しておくと、「@-@」みたいな記号って、意味を検索したくなったときに困るから、普段、自分で定義しないようにしている(もちろん、便利と思うものは使っているんだけれど)。
#中置演算子というか、記号的な演算子については、即座に読み(別名?)を呼び出せる仕組みが言語に標準であるといいんだけれど、と個人的には思う。

最後はしりきれトンボになってしまったが、今回はここまで。F#、なれていないので正直かなり違和感あるんだけれど、嫌いではない。がりがり.NET(CLR)のコードを書く必要に迫られたら使うかも。