なのログ

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

F#

型システム入門を読んでいます(第12回)

半年以上ぶり、TaPLのコーナーです(驚愕) 今回の内容は、7章「ラムダ計算のML実装」であります。Fsharpも超絶久しぶりに書きました。

型システム入門を読んでいます(第8回)

またお久しぶりになってしまいました。型システム入門です。 今確認したら1ヶ月以上空いてますね。うわあ。これは罪では。 今回でやっと5章2節「ラムダ計算でのプログラミング」を抜けます。

型システム入門を読んでいます(第4回)

ちょいネタです。 前回の最後に「こんなんできたらいいなあ」という話をしていたのを置きに来ました。

型システム入門を読んでいます(第3回)

読んでいます。 第4章 算術式のML実装 やっていきます。 前回→第2回 今回 ↓

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

「残念ながら・・・お子さんは・・・」 非ッ常に情けねえことになってしまいましたが、 例のテトリスのお話、一旦畳もう・・・というおはなしです。 時間ばかりが過ぎていってしまう。足りないものが多すぎる。 やろうとしたことは色々あるわけですけど、 そ…

ぐだぐだクソコード vol.1 はじめてのテトリス by F#

こんにちはこんばんは。 皆様お待たせ致しました。ぐだぐだクソコードの時間です。 (※元ネタです: http://www.hareruyamtg.com/article/category/detail/218 ) 諸般の事情によりテトリスを作ることとなり、 あろうことかF#で挑んできました、という回です…