ゆきくらげଳ @yukikurage@fedibird.com

なんかずっと立ちくらみしてるみたいな体調

昨日一生分歩いた

結局テンプレートエンジンなのでは？みたいな思考になってきたな

type Moore e a = Cofree (Function e) a

type Runtime e a = a -> Aff e

Aff も抽象化するか？

type Runtime e m a = a -> m e

う～ん

適当に抽象化できれば、例えば React ランタイム、 Vue ランタイムとかも差し替えられそう

実際にブラウザで動かす用のランタイム、テスト用ランタイム、ログ用……　などなどがありますが、それをモノイドによって合成できそうといった話

Elm Architecture 、いいんだけどランタイムが完全に Elm 任せなのがアレだな、要は Moore マシンの "実行係" が必要だけど、それもいじれててほしい

で、この "実行係" 全体って Monoid を構成すると思うんですけど（直感）　どうなんでしょうね

副作用なし and 参照透過 <=> 純粋
？

ここらへんの用語の定義結局きちんとわかってないし、文献によっても違うんだろうな……

「全然眠い」とかの用法、「全然眠」までで通常は「全然眠くない」と続くはずなのに突然「い」で終了して眠いんかい！になる "ユーモア" が存在している
僕は無意識に（一般的に言われる）誤用をしているのではなく、割と意識的にこういう用法で「全然」を使う（面白いので）

ので信仰をしています

僕は様々なプログラミングパラダイムが実用に耐え得り、時と場合によって使い分けるべきだとは理解していますが、それとは別に全部関数型でやるぜｵﾗｧという信仰を持ったほうが関数型の発展に寄与する事ができると感じている

腹しか減ってない

隣の一年彼女連れ込んでてワロタ

はらいて

人間関係のめんどいの部分

　掃除ができない男から掃除ができる男に進化した

掃除　完

起きましたが

労働が……

したくないッ！

飲み物のネタバレでもある