Excelのチューリング完全性を検証するためにPietインタプリタを実装しようとして挫折するまでの軌跡 - hak7a3が書き残す何か

はじめに 最近，Excelがチューリング完全になったという公式のお達しがあった． Excel formulas, the world’s most popular programming language, is now Turing-complete. Go check it out! https://t.co/qkw3Bmt1gp— Satya Nadella (@satyanadella) 2021年2月9日 チューリング完全になったということは，レイトレーシングや科学技術計算，言語処理系まで実装できるはずである．本記事では，Excelのチューリング完全性を悪用利用してそこそこ大きめのコード，具体的にはPiet処理系を実装しようとして挫折した流れを記録しようと思う． Excelのチューリング完全性を支えるLAMBDAについて 詳しくは公式の説明を参照してほしい．簡単に言うと， LAM