Date: 2012-02-20 12:02 pm (UTC)
Что-то пока нет в примерах ничего, что качественно отличает типизированные варианты от бестипового λ-исчисления. А ограничений вместо этого сразу накладывается целая куча. Чтобы делать анализ программ, совсем не обязательно использовать типы при их написании. Ну, а логика разве не остановилась на конструктивной линейной, из которой, собственно, и получен теоретический предел эффективности вычислений в виде оптимальной редукции?
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

Profile

deniok: (Default)
deniok

February 2022

S M T W T F S
  12345
6789101112
13141516171819
20212223 242526
2728     

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 4th, 2025 04:03 pm
Powered by Dreamwidth Studios