なのログ

だから見てて下さい・・・俺の・・・変身

型システム入門を読んでいます（第２回）

型システム入門 読書 オベンキョ

お久しぶりです（？）。読んでいます。
他の本が挟み込まれたり例のC#の事があったりと色々読めていなかったんですが、
これもおろそかにはできんなということで、記事を起こしに来ました。

第３章 型無し算術式
　５節 評価

です。

続きを読む

ぐだぐだクソコード vol.1-2 残念ながら中断です

F# プログラミング

「残念ながら・・・お子さんは・・・」

非ッ常に情けねえことになってしまいましたが、
例のテトリスのお話、一旦畳もう・・・というおはなしです。
時間ばかりが過ぎていってしまう。足りないものが多すぎる。

やろうとしたことは色々あるわけですけど、
それぞれを細かく学び直してからリベンジしていこうな・・・となりました。

  • 型拡張のtype クラスのtype
  • 非同期処理
  • コンピュテーション式(とりあえずOptionをモナドで)
  • そもそもF#(関数型)のイディオムとかお作法
    後方参照の中でうまく書く方法とかね
    immutableな世界でのやりかたとかね
  • あとそもそももうちょいプログラムを書け

とかとかそんなんです。
C#のお勉強に戻ろうと思います。

型システム入門とか、本の話はまた別でつづいていきます。
ではまたまた。

続きんとこに、書きかけコードでものせておきますね。
（ビルドもしていない状態な模様）

続きを読む