из Вашингтона спрашивают

[juan_gandhi]

"В своё время Питер Нортон сказал, что в СССР была очень сильная математика, поэтому нас ждут очень хорошие успехи в области программирования.

Но если оглядеться, то российских программных продуктов на мировом рынке очень немного. А те, которые вынужденно становятся массовыми (как 1с), восторга не вызывают.

Так в чем здесь проблема? Уровень математики всё же оказался недостаточно высоким?" 

Т.к. я не знаю ответа, могу только языком почесать, то приглашаю желающих. Особенно Дениса, конечно.

Comments

[snowps]

Это объяснение того, почему бессмысленно апеллировать при оценкие глобальных трендов к мнению локальной ангажированной аудитории, которая неспособна репрезентативно их представлять. Есть общая статистика по использованию и проникновению языков программирования в разные области программного обеспечения, есть статистика применяемых платформ, а что думает отдельный программистский анклав по поводу программирования за пределами этого анклава совершенно не играет роли. Я сейчас выполняю потешную роль неверующего человека, который пришёл в христианский храм и заявил, что религия - штука опциональная, можно прекрасно обходиться без неё, а можно и другую религию проповедовать, на что предсказуемо на меня начинают шикать и говорят, что надо идти читать библию и веровать, а кто не верует - тот аморален и невежественнен. Вот мне и интересно - возобладает здравомыслие и придёт понимание, что попытки затаскивания программистов в HoTT и прочую опциональную для среднестатистического программирования кухню являются прозелитизмом, или нет. Меня исключительно этот вопрос беспокоит, но мои оппоненты на него отвечать не хотят, поскольку любой конкретный ответ на этот вопрос приведёт либо к выводу, что это действительно вера и попытки прозелитизма, либо придётся признавать разнообразие концепций программирования и отсутствие приоритета математики над прочими инструментами. Именно поэтому наш диалог и ходит по кругу, - никаких других причин этого нет.

[sassa_nf]

"попытки затаскивания программистов...Меня исключительно этот вопрос беспокоит"

Who's dragging you, I'd like to know?


"любой конкретный ответ на этот вопрос"

I have sounded several times that no one is arguing about each approach having its applicability, but you have failed to explain how you conclude some approach is *not* applicable.


"приоритета математики над прочими инструментами"

Who claimed that?


"никаких других причин"

That's a universal quantifier, you know? It requires a bit of maths to understand what's wrong with that. In layman's terms - I have demonstrated an existence of an instance that falsifies your claim. But you've ignored it - "Именно поэтому наш диалог и ходит по кругу" as a result.

[snowps]

Я в настоящее время не зарабатываю программированием, поэтому меня куда-либо тянуть бессмысленно, - речь о племе молодом и неопытном.

Моя изначальная претензия к Владу была в том, что он регулярно связывает невежественность с отсуствием желания использовать ФЯ. Это неверный тезис и я много раз объяснял почему.

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

Влад.

Нет, Вы не привели статистики, которая утверждала бы, что: 1) ФЯ имеют более высокую производительность, 2) ФЯ имеют больший охват применений, 3) ФЯ могут быть использованы для написания эффективных системных приложений и драйверов, 4) знание HoTT необходимо для того, чтобы писать качественны код и т.п. Возможно вы демонстрировали что-либо кому-то другому или просто увлеклись абстракциями в процессе приведения аргументов?

[sassa_nf]

"знание HoTT необходимо"

who says that?

[juan_gandhi]

"Моя изначальная претензия к Владу была в том, что он регулярно связывает невежественность с отсуствием желания использовать ФЯ"

Что за чушь. ФЯ приходят и уходят. Просто по нынешним временам особо альтернатив приличных нету. К невежественности это желание никак не относится. Может быть, это нежелание - отмазка в связи с невежеством; но у кого как.

Вы разве знакомы с теорией категорий?

[snowps]

А что понимается под приличностью альтернатив?

Знаком крайне поверхностно, ибо мне в моих программистских задачах всегда хватало классического императивного программирования, как и большинству прочих программистов. Это не значит, что она неприменима в программировании - это всего лишь говорит, что класс задач, эффективно решаемых с применением её инструментария, является нишевым.