Ход раком

[metaclass]

Чтобы ИТ-индустрия окончательно встала раком, Гуглу сейчас нужно сделать ход конем - разработать ТРЕТИЙ вариант кроссплатформенного языка-платформы с собственной виртуальной машиной, JIT, итд, итп, в дополнение к жабе и дотнету. И сманить девелоперов на него какими-нибудь заманухами страшными.
Тем более что дотнет семимильными шагами двигается в ту же over-engineered сраку, что и жаба, а альтернативы реальной тому и другому и нету.

Comments

[thesz.livejournal.com]

>В случае когда мы начинаем описывать предметную область математикой мы приходим к математическому аппарату, а это гарантировано порождает полное описание области, даже в тех аспектах которые системой никогда использоваться не будут.

Нет.

Математика строится на сценариях использования, как и любое другое описание.

По крайней мере, так работают профессиональные математики.

[norguhtar.livejournal.com]

Хорошо допустим у вас есть сценарии использования. Дальше что? У вас не будет математических выкладок и доказательств?

[thesz.livejournal.com]

Их будет не больше, чем требуют сценарии использования.

"По сценариям выходит, что мы должны протянуть этот файл по всем состояниям. Как бы нам выразить это в нашем ЯП?"

Теперь подойдём с другой стороны.

Будьте добры, докажите, что в вашем подходе не используется математика и что вы не строите полную и непротиворечивую (с точностью до набора сценариев использования) модель предметной области. И чтобы там даже духу конструктивной математики не было.

[norguhtar.livejournal.com]

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

У меня нет никаких математических выкладок по доказательству не противоречивости модели. Только логические выкладки и использование реляционной логики для отражения предметной области в СУБД и построение графов в случае необходимости.


и что вы не строите полную и непротиворечивую (с точностью до набора сценариев использования) модель предметной области.

Строю. Но я не использую при этом математических методов и терминов.

[thesz.livejournal.com]

Да-да.

Главное, не называть белую обезьяну белой обезьяной. Тогда получится не думать о белой обезьяне.

Принятие математической основы программирования не изменит вашу программистскую жизнь сразу и радикально.

[norguhtar.livejournal.com]

Мне и так неплохо живется :] А добавлять математические выкладки там где и без них все хорошо у меня нет никакого желания. Если начну разрабатывать компилятор вот тогда и возьмусь за математику :]