なんか、私の知ってるHaskellのTagless-Finalと違って聞こえるんですが、どうつながってるんだろう。目的はだいたい同じなんで同じ概念を指してはいるんだろうけど

igrepigrep のブックマーク 2019/09/18 12:33

その他

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

From Tagless-Final to Typed-Final: Program Transformations in the Final Style

    From Tagless-Final to Typed-Final: Program Transformations in the Final Style

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

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