http://codedot.livejournal.com/ ([identity profile] codedot.livejournal.com) wrote in [personal profile] deniok 2012-02-20 10:58 am (UTC)

Пожалуйста, объясните, наконец, дураку, чем же так хороши были бы типы в λ-исчислении, если бы его можно было типизировать (известно, что нельзя) полностью. Какие от этого выгоды? (Чур сильную нормализуемость в пример не приводить, так как именно из-за нее-то и нельзя.)

Post a comment in response:

This account has disabled anonymous posting.
If you don't have an account you can create one now.
No Subject Icon Selected
More info about formatting