functional-programming - 実際のラムダ計算

Question

ラムダ項 (λx.y)((λx.xxx)(λx.xxx)) を実際に計算する言語の選択方法 つまり、通常の順序削減と弱い型システムに言語が必要です。

Answer 1

これまでに何を検索し、何を見つけましたか?

ほとんどの言語では、型付けされていない用語だけでなく、常にさまざまな型があるため、この要件を満たす標準言語はないと思います。おそらく、純粋なラムダ計算インタープリターが必要です (実装することは良い練習になります)。