型 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(線形ラムダ計算)について、イマイチ理解が進まなかった…