الرجوع
الصوت
المظهر
تسجيل الدخول
أنت تتصفح نسخة مؤرشفة من الموقع
اضغط للانتقال إلى الموقع الجديد بكامل المزايا
علامة (يتطلب تسجيل الدخول)
تم الحل (يتطلب تسجيل الدخول)
Question 123/156
How is a function application evaluated in normal order in λ calculus?
The argument expression is not evaluated before being passed to the function.
Both expressions are evaluated in parallel.
The argument expression is evaluated before the function expression.
The function expression is evaluated as the last step.
Previous
Next