7章のつづき。 まずは配列。配列はサイズ固定でミュータブル。要するに、メモリ上にべたっと領域があるってことですね。 配列式。[| 1; 2; 3 |] Array.zeroで配列の確保と初期化が出来る。ゼロで初期化したければzeroCreateを使う 多次元配列はインデックス…

7章を読んでいこう。コレクションの話。 まずはリスト。関数型でリストといえば、(car, cdr)のリストだ。 'a list ::がcons。[]が空リスト carはList.head。cdrはList.tail。 パターンマッチ 空リストパターン コンスパターン(_::_みたいな感じ) リストパタ…

6章を読んでいこう。6章は純粋な関数型言語からはみ出す話である。 まず、モジュールの説明で、例のためにじゃんけんモジュールが例示されている。 type Jyanken = Gu | Ti | Pa [<CompilationRepresentation(CompilationRepresentationFlags.ModuleSuffix)>] module Jyanken = type Result = P1Win | TieGame | P2Win let random = Sy</compilationrepresentation(compilationrepresentationflags.modulesuffix)>…

今回は、この本の5.10から進める。 実践 F# 関数型プログラミング入門作者:荒井 省三: いげ太技術評論社Amazon 5.10はパターンマッチ。 パターンマッチはRustにもあるし、最近はRubyにも入ったけど、しっかり理解出来たとは言えない。 よく使うイディオムは…

5章を読んでいこう。 inline ここにinlineの説明があるのは唐突感があるなあ・・・ プリミティブ型 intは符号付き32bit(符号なし32bit整数はuint32。こっちは32がつく) 符号付きbyteはsbyte、符号なしがbyte。リテラルはyがつく floatは64bit。32bitはfloat3…

手を動かしながら読んでいる。 実践 F# 関数型プログラミング入門作者:荒井 省三: いげ太技術評論社Amazon 4章は 比較演算子と真偽値 論理演算 if式 else if はelifと書く ユニットとdo mutable タプル カリー化 ユーザー定義演算子 ビット演算子 パイプライ…

やっとコードを書く。まずは、この本の3章をざくざくやっていこう。 実践 F# 関数型プログラミング入門作者:荒井 省三: いげ太技術評論社Amazon ちなみに、この本はちょっと古い。2010年にF#がVisual Studioに乗っかったばっかりのころ P68あたりの変数束縛…

だいぶ長い間、インストールだけして放置してた。まあ、よくあること。 さて、まずはインタラクティブシェルの使い方。インタラクティブシェルはfsiという名前で、dotnetコマンドを使って起動する > dotnet fsi Microsoft (R) F# インタラクティブ バージョ…