История изменений

P.S. Также в тред приглашаются свидетели движения «математика программисту не нужна»

давайте разберёмся подробнее.

Итак, для начала: что такое математика? - это язык для краткого формулирования научных знаний и выводов.

Теперь переходим к программированию. Что такое программирование? Это другой язык для формулирования научных знаний и выводов.

Оба языка имеют значительные пересечения, например, программировать можно и математические знания/выводы/теоремы.

Однако есть и места, где пересечений нет или они очень слабы. Например в математике практически отсутствует теория мутабельных алгоритмов, а в программировании, напротив, в большинстве случаев используются именно мутабельные алгоритмы.

Почему так сложилось? А потому, что мир мутабельный! Второй закон термодинамики это явно утверждает. А раз мир мутабельный, то наилучшим способом его моделирования будет именно мутабельный язык.

Но я отвлёкся.

Чувствуя, что «появился конкурент» в виде нового раздела науки, математики считают, что стул под ними шатается. Ещё бы: вот искусственный интеллект, к которому математика имеет весьма-весьма посредственное отношение, вот автоматизация всего и вся (те самые перекладывания json’ов), вот, вот, вот…

И вот это ощущение «шатающегося стула» рождает новую секту - «свидетелей от математики».

Повсюду появляются типы, которые ходят и везде рассказывают о том, что программирование - раздел математики, что без математики программирование невозможно. Что нужно всё бросать и программировать строго в иммутабельной функциональной среде, да ещё в придачу обмазывать всё типами. Почему? Потому что математический раздел на эту тему существует, а про мутабельность в математике почти ничего нет. Дескать нельзя доказывать точность мутабельных программ и точка.

И вот ходят эти свидетели монад, заклинаний вроде «теория типов!» и требуют «сжигать еретиков!».

Почему церковь жгла на кострах представителей науки? Потому что чувствовала, что стул под ней качается, и качают его именно учёные. Почему математики ненавидят программистов? Потому что считают, что те отнимают у них их «законный хлеб».

Была б их воля - жгли бы на кострах, да время не то. К счастью, время не то.

P.S. Также в тред приглашаются свидетели движения «математика программисту не нужна»

давайте разберёмся подробнее.

Итак, для начала: что такое математика? - это язык для краткого формулирования научных знаний и выводов.

Теперь переходим к программированию. Что такое программирование? Это другой язык для формулирования научных знаний и выводов.

Оба языка имеют значительные пересечения, например, программировать можно и математические знания/выводы/теоремы.

Однако есть и места, где пересечений нет или они очень слабы. Например в математике практически отсутствует теория мутабельных алгоритмов, а в программировании, напротив, в большинстве случаев используются именно мутабельные алгоритмы.

Почему так сложилось? А потому, что мир мутабельный! Второй закон термодинамики это явно утверждает. А раз мир мутабельный, то наилучшим способом его моделирования будет именно мутабельный язык.

Но я отвлёкся.

Чувствуя, что «появился конкурент» в виде нового раздела науки, математики считают, что стул под ними шатается. Ещё бы: вот искусственный интеллект, к которому математика имеет весьма-весьма посредственное отношение, вот автоматизация всего и вся (те самые перекладывания json’ов, вот, вот, вот…).

И вот это ощущение «шатающегося стула» рождает новую секту - «свидетелей от математики».

Повсюду появляются типы, которые ходят и везде рассказывают о том, что программирование - раздел математики, что без математики программирование невозможно. Что нужно всё бросать и программировать в иммутабельной функциональной среде. Почему? Потому что математический раздел на эту тему существует, а про мутабельность в математике почти ничего нет. Дескать нельзя доказывать точность мутабельных программ и точка.

И вот ходят эти свидетели монад, заклинаний вроде «теория типов!» и требуют «сжигать еретиков!».

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

Была б их воля - жгли бы на кострах, да время не то. К счастью, время не то.