冒頭のrecursion schemeの説明も分かりやすい。DSLの例から相互再帰・recursion schemes for higher algebra導入までの考え方も自然で、色々応用できそうな気がする。続編のパーサとインタプリタも楽しみ!

lotz84lotz84 のブックマーク 2018/12/19 18:07

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

ASTのための高階代数を元にした recursion schemes - Qiita

    はじめに Recursion schemes(再帰スキーム)とは,再帰的なデータ構造に対する汎用コンビネータの総称のことである.ところで, recursion schemes から導出される再帰構造を捉えた Functor (代数) による再帰デー...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう