If a lambda abstraction is applied to "too few arguments", then evaluating the application just means substituting arguments for some of the lambda abstraction's variables, which always halts with the result a now unapplied lambda abstraction.
Какой именно unapplied? (\True y -> ()) False = (\True -> \y -> ()) False или (\y -> (\True y -> ()) False y)?
no subject
If a lambda abstraction is applied to "too few arguments", then evaluating the application just means substituting arguments for some of the lambda abstraction's variables, which always halts with the result a now unapplied lambda abstraction.
Какой именно unapplied?
(\True y -> ()) False = (\True -> \y -> ()) False или (\y -> (\True y -> ()) False y)?
Судя по запуску в GHCi второе. Как-то мутно всё.