2019-07-09 effect system 勉強会で Cycle.js の話をしてきた Cycle.js 勉強会 JavaScript effect system この記事は以下のページに移転しました. blog.ryota-ka.me 続きを読む
2019-05-13 cycle-ink-driver をリリースした Cycle.js React Ink JavaScript TypeScript リリース Cycle React この記事は以下のページに移転しました. blog.ryota-ka.me 続きを読む
2018-12-15 Nix Expression Language で遅延リストを作ってみる Nix Nix Expression Language 遅延リスト 遅延評価 この記事は以下のページに移転しました. blog.ryota-ka.me 続きを読む
2018-10-13 Russell のパラドクスと λx.xx (または自己言及がもたらす豊かさと危うさについて) ラムダ計算 Russell のパラドクス Curry のパラドクス Ludwig Wittgenstein Gottlob Frege Bertrand Russell 包括原理 型理論 論理学 この記事は以下のページに移転しました. blog.ryota-ka.me 続きを読む