2026/7/11-
Flixを使ってFP in Scalaの内容を爆速でやっていくやつ
non-empty chain
Lazy[] 遅延評価
par-yieldで並行処理
aumy.icon これあるのすごいな〜〜
爆速すぎませんか
total fp / strong fp
プログラムが必ず停止する
Nat型の項を書けば評価が必ず止まる
Nat -> Bool はいかなるNatに対してもBoolが得られる
自己呼び出しと再帰って違うんだaumy.icon
fix: (a -> a) -> a は書けません
ifってboolのfoldで実装できますやんか〜
自然数って関数のn回適用じゃないすか〜〜
これでいける
Nat -> Bool の表しているものは有限か？
関数ってグラフで表せるじゃんか
図形であって座標の集まりなので（入力・出力）のタプルやんけ
なんで無限なんじゃね
aumy.icon ここむずい
unfoldList
iteratorのcollect
unfoldとfoldはtotalな世界で両立しない
unfold結果をlistと認めない
colistはfoldできない
Listのconsとnilはconstruct関数1つにできる
constructとdestruct
construct/destructの同型を導入するんがデータかたで、foldとunfoldを選ぶのが〜〜
dataを使ってfoldでかけるのが再帰
progressive出会ってほしい
codataを使ってunfoldでかけるのが余再帰
productiveエアってほしい
変形してfoldにできるみたいな自己呼び出しをcorecと呼ぶ
これやば
ボケてって終了とかあるんだ