2023-03-30から1日間の記事一覧
はじめに Desk言語ではBidirectional Typechecking のテクニックを使っているという話を聞いてよくわからないので調べてみて最も基本的な単相の双方向型検査器をPrologで書いてみました: % Implementation of Bidirectional Typing Rules: A Tutorial % http…
はじめに Desk言語ではBidirectional Typechecking のテクニックを使っているという話を聞いてよくわからないので調べてみて最も基本的な単相の双方向型検査器をPrologで書いてみました: % Implementation of Bidirectional Typing Rules: A Tutorial % http…