それを認めると将来Rustがクソではなかったと証明される余地があるってことで、
それは事実ではないから違うな

今評価されてるのはあくまでラムダ計算であってLispではない、と言えば分かるか？