Вы погуглите для начала :) Область специфическая, сложная. На курсах ускоренной подготовки как-бы "программистов" не преподается. Порог вхождения, как и у всякой настоящей математики, весьма высокий. Использовать не просто. Для стандартного кодинга типовых задач - не нужна. Денег не приносит.
Не заморачиаайтесь: вам оно не нужно. Живите спокойно, без всех этих доказательств теорем.
Это - математика, детка. Теория логического вывода, алгоритмы унификации, автоматическое доказательство теорем и т.д. Для перекладывания JSON-ов и крудошлепства PROLOG, действительно, не нужен )
В качестве бреда: осознав, что удовлетворить в полном (и даже частичном) объеме требования об уплате штрафа невозможно, совет директоров Гугл принял решение приступить к процедуре банкротства компании )))
Любая архитектура ограничена во-первых, законами физики, а во-вторых, технологическими возможностями эпохи. Законы физики, что тогда (60 лет назад), что сегодня одни и те же. А вот технологические возможности - несопоставимы (взять хотя бы память: сегодня это микросхемы на гигабайты, а тогда - ферритовые кольца на килобайты). Инженеры DEC создали пусть и не идеальные, но действительно изящные архитектуры. Обидно то, что развитие технологии никак не коррелировало с архитектурой. Технологии развивались, а архитектура - деградировала
Неплохо, но Вы ничегошеньки не сказали о настоящих шедеврах: архитектуре и ассемблерах от DEC (ярчайшие звезды PDP-8 и PDP-11). Все, что было после них - убожество в смысле простоты, логичности, изящества. Если что - никого обидеть не хочу
Ну, и, конечно, Б.Милевски "Теория категорий для программистов". Осторожно - примеры на Haskell (шутка). На хабре были переводы отдельных разделов, но можно найти и полный текст. Официально, к сожалению, у нас не переводилась и не издавалась.
Почти всегда небольшой проект постепенно становится средним, а потом и большим. Конечно, если это нужный и востребованный проект. Если в нем не был сразу предусмотрен Gateway, то его впиливание в существующую кодовую базу - боль, жесть и каторга. Лучше смотреть на перспективу и делать его сразу. На начальном этапе затраты на его разработку не велики. Зато потом - все плюшки, упомянутые в статье достаются весьма просто и элегантно
Да ну? Аккуратнее с эмоциями, дружище. Если вам предложат в 3+ раз больше, чем сейчас, то будете ли столь же верны своим принципам? Скажете, что столько и не предложат? Отвечу - всякое бывает. Проверено
От тюрьмы и от сумы, как говорится... Припрет - и не так придется вертеться :)
В те годы, что описывает автор, практически нигде кроме как на государство работать было негде. Тем более, в области космоса и авиации. Да, собственно, и сейчас ничего не изменилось.
Автор честно хотел работать по специальности. И я его понимаю. Тут и годы напряженной учебы, и увлеченность выбранной профессией, и, вероятно, какая-то доля наивности и романтизма. У меня тоже инженерное образование (в области гидродинамики). И тоже напряженно учился и хотел стать инженером с большой буевы. Правда, я, судя по всему, лет на 5-6 моложе автора, поэтому не успел окунуться как он в те гадюшники, что он описывал. Ушел в айти.
Автор четко сказал - для чего он написал сервер: получение технических навыков в языке. Цель переплюнуть nginx не ставилась. Плюсую
В СССР тоже была крутая программистка: Ющенко Екатерина Лонгвиновна. Написала один из первых учебников по программированию
Немножко галопом по Европам, но в общем годно )
Вы погуглите для начала :) Область специфическая, сложная. На курсах ускоренной подготовки как-бы "программистов" не преподается. Порог вхождения, как и у всякой настоящей математики, весьма высокий. Использовать не просто. Для стандартного кодинга типовых задач - не нужна. Денег не приносит.
Не заморачиаайтесь: вам оно не нужно. Живите спокойно, без всех этих доказательств теорем.
Борландовский Turbo Prolog?
Это - математика, детка. Теория логического вывода, алгоритмы унификации, автоматическое доказательство теорем и т.д. Для перекладывания JSON-ов и крудошлепства PROLOG, действительно, не нужен )
В качестве бреда: осознав, что удовлетворить в полном (и даже частичном) объеме требования об уплате штрафа невозможно, совет директоров Гугл принял решение приступить к процедуре банкротства компании )))
О, хорошее слово Вы нашли: "вдохновлялись" :) PDP, действительно, вдохновляла
Любая архитектура ограничена во-первых, законами физики, а во-вторых, технологическими возможностями эпохи. Законы физики, что тогда (60 лет назад), что сегодня одни и те же. А вот технологические возможности - несопоставимы (взять хотя бы память: сегодня это микросхемы на гигабайты, а тогда - ферритовые кольца на килобайты). Инженеры DEC создали пусть и не идеальные, но действительно изящные архитектуры. Обидно то, что развитие технологии никак не коррелировало с архитектурой. Технологии развивались, а архитектура - деградировала
Неплохо, но Вы ничегошеньки не сказали о настоящих шедеврах: архитектуре и ассемблерах от DEC (ярчайшие звезды PDP-8 и PDP-11). Все, что было после них - убожество в смысле простоты, логичности, изящества. Если что - никого обидеть не хочу
Так что выбрать-то? Букв много, но где обзор, сравнение, рекомендации или хотя бы толковые ссылки?
Коль скоро затронули тему категорий, то позвольте посоветовать совсем недавно переведенную книгу "Восторг абстрактной математики" (https://dmkpress.com/catalog/estestvennye-nauki/978-5-93700-313-3/). Интересное введение в теорию категорий.
Ну, и, конечно, Б.Милевски "Теория категорий для программистов". Осторожно - примеры на Haskell (шутка). На хабре были переводы отдельных разделов, но можно найти и полный текст. Официально, к сожалению, у нас не переводилась и не издавалась.
Вы знаете, находятся :) Мне через месяц 62 и вполне себе работаю (телеком, кровавый энтерпрайс в основном)
Или "актор" (https://ru.wikipedia.org/wiki/Модель_акторов) ?
Когда-то был популярный конкурс "Programmer of the month" (https://potm.tripod.com/problems.html). Там есть очень нетривиальные задачи
Почти всегда небольшой проект постепенно становится средним, а потом и большим. Конечно, если это нужный и востребованный проект. Если в нем не был сразу предусмотрен Gateway, то его впиливание в существующую кодовую базу - боль, жесть и каторга. Лучше смотреть на перспективу и делать его сразу. На начальном этапе затраты на его разработку не велики. Зато потом - все плюшки, упомянутые в статье достаются весьма просто и элегантно
Да ну? Аккуратнее с эмоциями, дружище. Если вам предложат в 3+ раз больше, чем сейчас, то будете ли столь же верны своим принципам? Скажете, что столько и не предложат? Отвечу - всякое бывает. Проверено
Как-то стремно теперь подключать МТС. Мысль была, но теперь... Впрочем, а что мешает другим операторам провести такую же комбинацию
Ну, за них можно порадоваться: им хватает своего - естественного интеллекта :)
От тюрьмы и от сумы, как говорится... Припрет - и не так придется вертеться :)
В те годы, что описывает автор, практически нигде кроме как на государство работать было негде. Тем более, в области космоса и авиации. Да, собственно, и сейчас ничего не изменилось.
Автор честно хотел работать по специальности. И я его понимаю. Тут и годы напряженной учебы, и увлеченность выбранной профессией, и, вероятно, какая-то доля наивности и романтизма. У меня тоже инженерное образование (в области гидродинамики). И тоже напряженно учился и хотел стать инженером с большой буевы. Правда, я, судя по всему, лет на 5-6 моложе автора, поэтому не успел окунуться как он в те гадюшники, что он описывал. Ушел в айти.