let式愛好会

こんぴゅ〜た〜さいえんす

型クラスを用いて部分構造型を表現する

型 Advent Calendar 2019 - Qiita 18日目の記事です。 前回の記事はuhyoさんの TypeScriptはgradual typingシステムか - Qiita でした。 本文はこちら(PDFです) drive.google.com 誤りなどありましたらご指摘ください。

線形ラムダ計算の型システムを実装してみた

はじめに 最近Advanced Topics in Types and Programming Language(ATTaPL)という本を読んでいるのですが、この本のはじめのSubstructural Type Systemの章で解説されているLinear Lambda Calculus(線形ラムダ計算)について、イマイチ理解が進まなかった…