metaclass: (Default)
metaclass ([personal profile] metaclass) wrote2012-07-02 01:18 pm

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

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

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

[identity profile] nivanych.livejournal.com 2012-07-02 01:39 pm (UTC)(link)
Ну, операционная семантика будет различаться, конечно.
Но тут, обычно, больше интерен аспект ресурсов.

[identity profile] udpn.livejournal.com 2012-07-02 09:31 pm (UTC)(link)
"Абстрактная семантика"?

[identity profile] nivanych.livejournal.com 2012-07-03 08:39 am (UTC)(link)
Ви так говорите, как будто, в этом есть что-то плохое!

[identity profile] udpn.livejournal.com 2012-07-03 09:30 am (UTC)(link)
Да я пытаюсь понять, как это называется на самом деле, и всего-то.

[identity profile] nivanych.livejournal.com 2012-07-03 05:40 pm (UTC)(link)
Да вроде бы, описания потребления ресурсов (CPU-memory-traffic) программой в разные моменты времени всегда обзывалось ресурсной семантикой...