let式愛好会

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

型システム

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

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