サクサク読めて、アプリ限定の機能も多数!
あーなるほど、型レベルの関数に停止性を仮定できるから非左線形の書き換え規則が安全なのか。停止性は型の正規形を求めるために必要で、合流性は orthogonality により保たれていると。
kirakking のブックマーク 2022/04/04 14:46
型レベル関数と型族、型演算子|Haskellでの型レベルプログラミング[programming][haskell][research]あーなるほど、型レベルの関数に停止性を仮定できるから非左線形の書き換え規則が安全なのか。停止性は型の正規形を求めるために必要で、合流性は orthogonality により保たれていると。2022/04/04 14:46
このブックマークにはスターがありません。 最初のスターをつけてみよう!
zenn.dev/mod_poppo2022/04/04
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
あーなるほど、型レベルの関数に停止性を仮定できるから非左線形の書き換え規則が安全なのか。停止性は型の正規形を求めるために必要で、合流性は orthogonality により保たれていると。
このブックマークにはスターがありません。
最初のスターをつけてみよう!
型レベル関数と型族、型演算子|Haskellでの型レベルプログラミング
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /