программа не должна менять своего поведения при оптимизации
В общем уже тут можно остановиться и дальше не читать ))
Я как-то смотрел на скриншоты его детища. Был в ужасе. Зачем для написания таких примитивных программ столько мышиной возни.
"Мета-программирование - оно для больших проектов и сложных задач. Не алгоритмически сложных, а сложных для понимания (охвата) человеком."
Если программа написана плохо и сложна для понимания, то метапрограммирование -- отличный способ угробить прогу окончательно. Да и вообще, что он понимает под метапрограммированием. Как обычно, абстрактное "уровнем выше, чем остальной язык", "написал говнокод, ниче в нем не понимаю, кто поможет -- голова? нет -- метапрограммирование" )
Ну про ассемблер да )) На чем интересно по его мнению пишут базовый софт.
Теорема останова -- это типа не существует алгоритма, проверяющего на останов?
А зачем в MASM в helloworld директив столько же, сколько строчек кода? Просто в моде почему-то бюрократия. Да ещё повсеместное обучение яве эту моду поддерживает.
Теорема - да, та самая. Я, действительно, о её существовании узнал относительно недавно. :)
А вот моё мнение такое: Epigram диалоговый - от недостатка выразительности. Потому что игрушка. Была бы промышленная вещь - существовал бы одномерный краткий синтаксис, монологовый. Примерно как TeX (HTML, какие ещё форматы, набираемые руками, бывают) и WYSIWYG.
NatInd : all P : Nat -> * => P zero -> (all n : Nat => P n -> P (suc n)) -> all n : Nat => P n NatInd P mz ms zero => mz NatInd P mz ms (suc n) => ms n (NatInd P mz ms n)
Извиняюсь. Не смог сходу отыскать 1-мерный синтаксис для его данных. Ну, он записывается в 1-мерном виде, но ненаглядно. ( ! ( ! ( n : Nat !data !---------! where !----------! ; !-----------! ! Nat : * ) !zero : Nat) !suc n : Nat)
Reply
http://rsdn.ru/forum/message/3300829.all.aspx
Да вообще: http://rsdn.ru/Users/66608.aspx
Уж ему и так объясняют, и сяк объясняют, а как похожая тема поднимается снова, воз и ныне там.
Reply
Reply
В общем уже тут можно остановиться и дальше не читать ))
Я как-то смотрел на скриншоты его детища. Был в ужасе. Зачем для написания таких примитивных программ столько мышиной возни.
"Мета-программирование - оно для больших проектов и сложных задач. Не алгоритмически сложных, а сложных для понимания (охвата) человеком."
Если программа написана плохо и сложна для понимания, то метапрограммирование -- отличный способ угробить прогу окончательно. Да и вообще, что он понимает под метапрограммированием. Как обычно, абстрактное "уровнем выше, чем остальной язык", "написал говнокод, ниче в нем не понимаю, кто поможет -- голова? нет -- метапрограммирование" )
Ну про ассемблер да )) На чем интересно по его мнению пишут базовый софт.
Теорема останова -- это типа не существует алгоритма, проверяющего на останов?
Reply
Теорема - да, та самая. Я, действительно, о её существовании узнал относительно недавно. :)
Reply
Reply
Reply
Reply
Reply
Reply
Reply
(all n : Nat => P n -> P (suc n)) ->
all n : Nat => P n
NatInd P mz ms zero => mz
NatInd P mz ms (suc n) => ms n (NatInd P mz ms n)
Reply
Не смог сходу отыскать 1-мерный синтаксис для его данных.
Ну, он записывается в 1-мерном виде, но ненаглядно.
( ! ( ! ( n : Nat !data !---------! where !----------! ; !-----------! ! Nat : * ) !zero : Nat) !suc n : Nat)
Где-то ж я видел нормальную 1-мерную запись...
Reply
де-монстрировать крутые принципы, играя :-)
Reply
Reply
Грешен, каюсь. ;)
Reply
Leave a comment