もう1ヶ月ちょっと前の話になるが，effect system勉強会でCycle.jsの話をしてきた．

発表資料はこちら．

当日のTwitterの様子をまとめたmomentはこちら．

cycle-ink-driverというライブラリをリリースした．このライブラリを用いると，Cycle.jsとInkを用いてインタラクティヴなコマンドライン・アプリケーションを作ることができる．

この記事はCAMPHOR- Advent Calendar 2018 15日目の記事です．14日目の記事は@Rtm6Lgoのとある研究室の運営のエモいお話でした．

Nix Expression Languageを用いて遅延リストを作る．普段は「ジェネレータを作ったり、遅延評価してみる」だが，Nix Expression Languageは基本的に純粋なので，mutableなstateをもつイテレータや，それを生成するジェネレータという概念はなじまない．

Dhall v3.0.0がリリースされた．メイジャーヴァージョンの更新ということで，いくつかの破壊的変更を含む．

お盆に数日の休みがあったので，Ludwig Wittgensteinの『論理哲学論考（Tractatus Logico-Philosophicus）』を読み始めた．Wittgensteinの著作を読んでいると，彼が理論を継承し，また批判する対象となったGottlob FregeやBertrand Russellの思想にも同時に触れることになる．

『論考』の命題3.3以下に，Russellのパラドクスに対する解決策を提示し，Russellの主張を反駁する場面が見られるが，この記事ではむしろ，Russell自身の回答である階型理論（theory of types）による解決策に目を向けたい．我々が普段プログラムを記述する際に触れる型の概念が如何にして生まれ，発展してきたのかを見ていくこととしよう．