Функциональный апартеид

[metaclass]

http://udpn.livejournal.com/78084.html?style=mine
Обычно говорят, что нормальный порядок редукции нужен для того, чтобы bottom в аргументе не превращался в bottom в результате всегда, когда это возможно. Само по себе это никому не нужно. Дело именно в отложенном вычислении аргументов. Чтобы определить управляющие конструкции в языке с аппл. порядком редукции, нужно это делать явно, и их можно ввести только конечное число на этапе разработки языка. С нормальным порядком мы имеем возможность определять новые конструкции в любом количестве.

Всех, кто ничего не понял - отправить в индию и бангладеш, купаться в ганге и поклонятся коровам.

Comments

[m e (from livejournal.com)]

хорошо, а куда отправлять тех, кто высказывание понял, но не понял, что оно неверно?

в скале например можно создать неограниченное количество управляющих конструкций, несмотря на аппликативынй порядок редукции

[nivanych.livejournal.com]

А это уже логика второго порядка, это нечестно!

[m e (from livejournal.com)]

это я к тому, что получается уже не апартеид, а кастовая система:

1. кто не понял высказывание

2. кто понял высказывание, но не понял, что оно неверное

3. кто понял высказывание, и понял, что оно неверное

как вариант, можно ни апартеид, ни кастовую систему не вводить, и оставить всех на своих местах :-)

[nivanych.livejournal.com]

Я лично не против ;-)