F#とは？初心者プログラマのための解説

質問

• F#はMicrosoftが開発したプログラミング言語で、C#と相性が良く、並列処理やメニーコアでのプログラミングに向いています。
• F#は関数型言語であり、CやC++とは異なる特徴を持っています。関数の組み合わせによる処理やイミュータブルなデータ構造の使用などがあります。
• F#は.NET Frameworkの一部として提供されており、GUIアプリケーションなどの開発にも利用することができます。

回答No.4

バッハ ダニエル（@Ogacha） · ベストアンサー

Cross999さん向けの答え方をします。
.NetFramework、そしてその申し子言語であるC#は、プログラミング言語の中では結構後発なので、先輩言語、先輩基盤の成功や失敗を鑑みて設計されており、いろいろな部分で洗練されています。
F#は、C#よりさらに後発の.NetFramework上で動作する言語で、色々な指向を持たせた言語です。
C++のようなオブジェクト指向はもちろん、関数型言語の特徴も持っていて、文法定義もでき、非同期処理に強く、型もいちいち指定しなくても推測してくれるという、素晴らしい言語です。
コード量が少なく、簡潔で、しかもバグが出にくいです。

何ができて……という問いには、何でもできると答えておきます。ただ、.NetFramework主体の言語なので、C++のようなネイティブ処理ではなく、マネージコード（.NetFramework）前提で設計されていると思います。なので、範囲としては、C#と同じような範囲であって、ネイティブならば、C++や、C++/CLIとかがよいと思います。
何をするのに向いている……という問いならば、マルチ指向に設計されているのですから、用途は広いと思います。特に、非同期処理が得意なわけですから、Silverlight、WPF、WindowsForm などのGUIの処理にも向いています。

F# の F は、FunctionalのFで、他からの移植でなくて.NetFrameworkから生まれた言語の中では、初めて関数型言語の性質を持つという特徴を持っています。ただ、関数型だけではなくマルチ指向なので、ご注意ください。

さて、関数型言語について少しだけ書きます。これは、F#ではなく関数型についての特徴です。
CやC++が手続き型言語と言われて、手続きを示すのに対し、宣言型言語とも言われます。
つまり、手続き型言語のように「あれしてからこれをしてそれを返す」といった感じではなく、「○○という処理は、こういうものを返す」という約束を書くようなものです。
SQLは関数型ではありませんが、宣言型言語ではあります。あれしてこれしてという処理ではなくて、Select文やUpdate文で、「これこれこういうものをこうする」と一文で書きますね。
関数型言語は、なるべく状態を持たせない、なるべく変数を使わないものです。手続き型から移行するためには、一度頭を切り替えないとダメなので、一言ではなかなか説明は難しいため、関数型ではないSQLを引き合いに出してしまいましたが、そういう宣言が集まって定義されているものです。
関数を引数として受け取ったり、戻り値が関数だったりするのは、関数型では普通です。逆に、CやC++の戻り値voidに当たる処理はありません。すべての関数は、何らかの戻り値を必ず返します。
そして、数学のように=で結ばれた右辺と左辺は等しいです。Cのように、a = a + 1 みたいなのは、関数型にはありません。F#でいえば、aはあらかじめ変化できる特別なもの（変数）と定義しておいて（通常は一度決めたら変化させないので）、a <- a + 1 と書きます。イコールではないですね。

CodeZineには、いくつか割と解りやすい入門記事が載っています。参考URLに載せておきます。
また、MSDN Magazineにも解りやすい記事があるので、以下に載せておきます。
http://msdn.microsoft.com/ja-jp/magazine/ff714588.aspx

参考URL：

http://codezine.jp/article/detail/4254

お礼

Ogachaさん，回答ありがとうございます．
私はプログラムが強い人間では無いので，Ogachaさんが易しめに書いてくれたので助かりました．

>何ができて……という問いには、何でもできると答えておきます。
「何ができるのか？」という質問は愚問でした．
たしかに，プログラミングって，やろうと思えば，何でもできますよね，書き方が違うだけで．

>何をするのに向いている……という問いならば・・・
最近は，C#4.0で導入されたTPL等の勉強をしていますので，非同期処理は，大変興味があります．

>さて、関数型言語について少しだけ・・・・
な，なんとなくは，分かりました．

結局は，自分で触ってみないと分からないものですが，触ってみる気になりました．
ありがとうございました．