「宇宙のラムダ計算」の続きです。宇宙のラムダ計算にはどんな構文がいいでしょうか？ 構文の決定には、心理的・感情的エルゴノミクスも考慮する必要があります。違和感がないか、気持ちよく書けるか？ といった問題です。可読性とタイピング量の節約も考慮…