Очень интересно про квантовый компьютер и квантовые вычисления. Спасибо Вам. Сам рассматриваю это направление в магистратуру. Хаскель особенно понятно и приятно изучать после некоторого изучения высшей математики, в частности, конструктивной математики и её идей.
Круто рассказали! От нескольких людей которые пишут на Haskell слышал примерно то же самое. Как по вашему мнению, почему этот язык такой не популярный в коммерческой среде?
@@maxp1059, в том числе. Там комплекс страхов. Что нет инфраструктуры, нет библиотек, некому будет поддерживать, заказчик не поймёт и не примет и всякое такое.
Другие языки можно пояснить: там есть сложение, умножение... А тут менеджеру надо разъяснять, что такое моноиды, полугруппы, монады, функторы. Ни один менеджер этого не поймёт.
Все видео по функциональному программированию в одном плейлисте: ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-bPCBb1U56yw.html И вы всегда можете обратиться к нам за консультациями.
Спасибо за рассказ! По моему, любопытство - одно из главных ваших черт. Вы прям здорово заинтересовываете. Подходящие качества для преподавателя или организатора.
И на пайтоне и на JS можно писать в функциональном стиле (это мультипарадигменные языки). Да к сожалению, не все так делают. Хаскель (каков?) уважаем вне всяких сомнений.
Забавно, но например inc x = x+1 это обычная функция в Haskell, которая берёт аргумент x и возвращает значение на 1 больше. И по сути значит то же самое, что в императивных языках, тем более в монадической do нотации можно замутить всё что душе угодно из императивного мира включая циклы (частный случай рекурсии).
Я слышал, есть система комп.матеши с собственным языком - Singular. Он разрабатывался для символьных вычислений нужд алгебраической геометрии и работы с множествами полиномов, приведение полиномов и около. Потом в нём появились библиотеки для работы в высшей алгебре и не только: кольца, группы, поля, их расширения, модули, наверное есть и самый высокий уровень - гомологии, резольвенты.. И вот интерестно, сильней ли он хаскеля в этих же направлениях? Я рылся в документации его библиотек и видел слово "объект".. будет прикольно, если он окажеться ООП.
@@dushkin_will_explain а он принёс медаль Филдса по теме упаковки шаров в 8 и 24 мерных пространствах. Вроде как доказательство сгенерировал именно он по программе авторов. Есть у меня сомнения, однако, автодоказательствами занимался и Вольфрам. На Хабре была статейка об этом: аксиомы логики и можно ли уменьшить их число. Ответ : Да, вплоть до одной формулы! С NAND в качестве умножения, вот: ((pq)r)(p((pr)p))=r (p,q,r - лог.выражения)