Мои примеры разработок на языке Haskell. Душкин объяснит
HTML-код
- Опубликовано: 18 сен 2024
- Давайте рассмотрим некоторые примеры разработок на языке Haskell, чтобы было понятно, какие приложения можно (и нужно) на нём писать.
Курс по функциональному программированию на Udemy: www.udemy.com/...
ТГ-канал Романа Душкина: t.me/drv_official
#ФП #Программирование #Функция #ФункциональноеПрограммирование #Haskell #Хаскель #Хаскелл #Разработка #Пример #Приложение #Видеошпаргалка #РоманДушкин #ДушкинОбъяснит
Спасибо за рассказ! По моему, любопытство - одно из главных ваших черт. Вы прям здорово заинтересовываете. Подходящие качества для преподавателя или организатора.
Да :) Я и тот, и другой :)
Очень интересно про квантовый компьютер и квантовые вычисления. Спасибо Вам. Сам рассматриваю это направление в магистратуру.
Хаскель особенно понятно и приятно изучать после некоторого изучения высшей математики, в частности, конструктивной математики и её идей.
Рад видеть подобные комментарии на своём канале. Удачи вам с магистратурой.
Забавно, но например inc x = x+1 это обычная функция в Haskell, которая берёт аргумент x и возвращает значение на 1 больше. И по сути значит то же самое, что в императивных языках, тем более в монадической do нотации можно замутить всё что душе угодно из императивного мира включая циклы (частный случай рекурсии).
Это так.
Круто рассказали! От нескольких людей которые пишут на Haskell слышал примерно то же самое. Как по вашему мнению, почему этот язык такой не популярный в коммерческой среде?
Менеджеры боятся.
@@dushkin_will_explain что не найдут разработчиков?
@@maxp1059, в том числе. Там комплекс страхов. Что нет инфраструктуры, нет библиотек, некому будет поддерживать, заказчик не поймёт и не примет и всякое такое.
Сообщества нет, вот и не популярна
Другие языки можно пояснить: там есть сложение, умножение... А тут менеджеру надо разъяснять, что такое моноиды, полугруппы, монады, функторы. Ни один менеджер этого не поймёт.
И на пайтоне и на JS можно писать в функциональном стиле (это мультипарадигменные языки). Да к сожалению, не все так делают. Хаскель (каков?) уважаем вне всяких сомнений.
Ну можно, да. И на ассемблере можно :)
Нужно было забивать 42.
Может ноут бы выдал формулировку самого главного вопроса))
42 = 2 × 3 × 7, и это не подходит под критерий входных данных алгоритма Шора.
@@dushkin_will_explain я ждал что после ночи выдаст число 42
@@dushkin_will_explain Здравствуйте, вопрос от blum возможно был из фильма "Автостопом по галактике" :)
@@ternarysystem7960, Кэп, ты?
@@lasthero67, но нет.
Я слышал, есть система комп.матеши с собственным языком - Singular. Он разрабатывался для символьных вычислений нужд алгебраической геометрии и работы с множествами полиномов, приведение полиномов и около. Потом в нём появились библиотеки для работы в высшей алгебре и не только: кольца, группы, поля, их расширения, модули, наверное есть и самый высокий уровень - гомологии, резольвенты.. И вот интерестно, сильней ли он хаскеля в этих же направлениях? Я рылся в документации его библиотек и видел слово "объект".. будет прикольно, если он окажеться ООП.
Не слышал про такой. Но прикольно.
@@dushkin_will_explain а он принёс медаль Филдса по теме упаковки шаров в 8 и 24 мерных пространствах. Вроде как доказательство сгенерировал именно он по программе авторов. Есть у меня сомнения, однако, автодоказательствами занимался и Вольфрам. На Хабре была статейка об этом: аксиомы логики и можно ли уменьшить их число. Ответ : Да, вплоть до одной формулы! С NAND в качестве умножения, вот: ((pq)r)(p((pr)p))=r (p,q,r - лог.выражения)
Видимо, у компилятора Хаскеля настоящий Святой Код...
Да :)
быстрее си в 5 раз =)
Все видео по функциональному программированию в одном плейлисте: ruclips.net/video/bPCBb1U56yw/видео.html
И вы всегда можете обратиться к нам за консультациями.