ReactはUI = f(State)であるか？

ここで useProps はReactの実在APIではない. 以降では，通常はComponentの関数引数として受け取るpropsも，ハンドラから現在のpropsを読む概念的なHook操作として一般化して扱う. ユーザーが書くComponentはエフェクトフルな計算(effectful computation)として，React Fiberはそのハンドラ（解釈器）として見なせる. ただし，これはReactのすべてをAlgebraic Effectsだけで説明できる，という主張ではない. 特にRules of Hooksが要求する「Hook呼び出し列の静的な形」は，通常のMonadやAlgebraic Effectsの語彙だけでは捉えにくい. ここでは，まずRules of Hooksという規約があり，それがComponent bodyの形に制約をかける. その結果として，Hook呼び出し列

[Xibalba]

奥深すぎる

[hurafula]

“数学における 純粋関数 (pure function)とは，参照透過性(referential transparency)を持つ写像のことだ. 圏論の言葉で言えば，集合の圏Setにおける射(morphism)に対応する”

[nguyen-oi]

圏論とか代数的エフェクトで語りたがるのエンジニア好きすぎだろ

[kakkun61]

既存用語を異義で使うと混乱を生じる

[mkusaka]

Reactの「UI = f(State)」を純粋・冪等の数学的定義と食い違う点から解剖し、Kleisli射/代数的エフェクトで再モデル化する。