2019-01-01から1年間の記事一覧
5章読んだ。 正直もうきつい。 評価戦略苦手…なんとなく正規順序が括弧の外からで適用順序が中から、としか認識してない…値がラムダ抽象値なのが混乱の元っぽい。 完全ベータ簡約は任意の順序でベータ簡約。簡約基は簡約(できる)基なのね。ベータ簡約って…
3章読んだ。 1章の日本語が過剰にごつかったけど今のところそれ以降は普通だな。 ふんわりと雰囲気を書くと逆にごつくなるのか。 前まではてな記法だったけどMarkdownにしてみる。 3.2.4で、簡約したものを考えると思ったけど、この時点ではなにも規則を定め…
安かったのでつい買ってしまった。 実装するタイプの本らしいので何を使おうか、しばらくF#と悩んでいたが、せっかくH本読んだのでHaskellにした。練習もかねてGitHubにちまちま上げていくつもり。ついでにH本のやつも上げてしまおう。まだ3章の初めを適当…
最終回!長かった…感想 ・Zipperすごい好き。 ・冒頭に出てきた木、タイプ数が多すぎて絶対自分で書きたくない…と思って、7章に出てきたリストから木を作る関数を使おうとしたけど、木の構造を表すのにリストじゃ足りないか。7章でうまくいってたのは二分探…
ついに2018年の間には終わらず…年末に一気にやろうとしたので大盛り。 節タイトルの「中の人なんていません!」「それはあなたです!」ってどういう意味なんでしょうか。感想 ・errorの型が[Char] -> aだったのでundefinedはメッセージが特殊なerrorなのかな…
唐突に仮想環境を始めたくなったのでとりあえずインストールまでした。以下メモ本当に何も知らないのでVMwareとDocker?みたいな気持ちで比較してるサイトを巡回してみた。仮想環境には ・ホストOS型:VMware、VirtualBox、… ・ハイパーバイザ型:Hyper-V、v…