Haskell для начинающих - #1 урок. Установка и настройка среды
Ссылка на плейлист со всеми уроками "Функциональное программирование на языке Haskell" - https://windows-ten.ru/functional-haskell...
All For All
Лекция 1 | Компилятор GHC языка Haskell | Виталий Брагилевский | Лекториум
Лекция 1 | Курс: Компилятор GHC языка Haskell: теория языков программирования в работе | Лектор: Виталий Брагилевс...
Лекториум
Язык программирования Haskell: вводная лекция
Vitaly Bragilevsky
Haskell для начинающих - #3 урок. Установка и настройка среды
Ссылка на плейлист со всеми уроками "Функциональное программирование на языке Haskell" - https://windows-ten.ru/functional-haskell...
All For All
Haskell для начинающих - #2 урок. Установка и настройка среды
Ссылка на плейлист со всеми уроками "Функциональное программирование на языке Haskell" - https://windows-ten.ru/functional-haskell...
All For All
Функциональное программирование на языке Haskell
Вступительное видео к курсу "Функциональное программирование на языке Haskell" от Академического университет...
Stepik
Функциональное программирование.
Поговорим о функциональном программировании, зачем оно нужно, как начать использовать. Участники: Старини...
IT за Edu
Функциональный TypeScript: паттерн тайпкласса
Поговорим о реализации паттерна тайпкласса в функциональном TypeScript и рассмотрим некоторые полезные тайпкл...
Юрий Богомолов
Haskell для начинающих - #12 урок. Операторы
Ссылка на плейлист со всеми уроками "Функциональное программирование на языке Haskell" - https://windows-ten.ru/functional-haskell...
All For All
C++ lectures at MIPT (in Russian). Lecture 9a. Monads
Лекции в магистратуре МФТИ по C++ на русском языке. Это маленькое дополнение к лекции 8, которое очень важно...
Konstantin Vladimirov
Haskell для начинающих - #36 урок. Оператор композиции функций
Ссылка на плейлист со всеми уроками "Функциональное программирование на языке Haskell" - https://windows-ten.ru/functional-haskell...
All For All
Введение в функциональное программирование
Распродажа программ с гарантией трудоустройства. Получи доступ к самым мощным программам с огромной скидк...
Skillbox - Программирование
Фронтенд без боли, ошибок и Javascript. Все про Elm. Функциональное программирование
Интервью с Виктором Русаковичем про опыт продажи функционального языка Elm и работы с ним. 0:40 Путь программи...
Senior Software Vlogger
Моноид в категории эндофункторов? Денис Шевченко
Определение монады давно стало мемом в сообществе. В самом деле, это всего лишь моноид в категории эндофунк...
FPURE
[Мини-курс]: Программирование. Idris. Лекция 1
Мини-курс В.Н. Брагилевского: «Функциональное программирование с зависимыми типами на языке Idris» Язык прог...
ФКН ВШЭ
Расширение языка Haskell зависимыми типами (1): на пути к GHC Core
Vitaly Bragilevsky
Виталий Брагилевский — JavaScript на службе у теоретической информатики
Ближайшая конференция — HolyJS 2020 Piter 22-25 июня, Online Подробности и билеты: https://bit.ly/hollyJS2020 . При изучении теорет...
HolyJS
Математика для разработчиков. Лекция. Дмитрий Балаш
В четверг 13 июня сотрудникам Vizor выпала уникальная возможность окунуться в увлекательный мир математики....
Vizor Games
Математика и алгоритмы для программиста
Месяц хостинга в подарок от Beget: https://bit.ly/2zABjpG Школа LoftSchool: https://bit.ly/3e7ZyKT Промокод: loftfriend_133 Сегодня в гостях...
loftblog
Red Hot Chili Apples: Brave new Swift. Functor, Monad
Александр Залуцкий из Яндекс.Денег выступил с последним докладом митапа о базовых принципах функционально...
Яндекс.Деньги
Функциональное программирование: практичный подход без хардкора — Владислав Чесноков
Доклад Владислава Чеснокова, руководителя отдела систем управления знаниями Компании ИНФОРИОН, на конфере...
ИНФОРИОН
F(by) 2017. Nikolay Ryzhikov - Full Stack in «One» Language, or Rich Hickey's Isomorphism
SPACE
Монады
https://compscicenter.ru/ Монады. Класс типов Monad. Пример: монада Identity. Законы класса типов Monad. do-нотация. Монада Maybe:...
Computer Science Center
Классификация языков программирования Туранов А.К
Назарбаев Интеллектуальная школа физико-математического направления г.Шымкент
Ответы на вопросы. #1 Функциональное программирование. Functional programming
Ответы на вопросы с собеседования Сергея Губарева (Sergey Gubarev), которое он проходил. Спасибо за присланный...
keeper-18
Спор о первом языке программирования: окончательное решение / Виталий Брагилевский (JetBrains)
При поддержке AvitoTech мы впервые публикуем все видео с Saint AppsConf 2019 в открытый доступ. Учитесь, вдохновляйтесь...
Mobile Channel
Леонид Шифрин | Эффективность и универсальность языка программирования Mathematica
Русскоязычная поддержка: http://www.wolframmathematica.ru/ Выступление Леонида Шифрина, в котором подробно рассказываетс...
Wolfram Mathematica RU
Лекция 1 | Вывод типов от Хиндли-Милнера до GHC 8.8 | Виталий Брагилевский | Лекториум
Лекция 1 | Лектор: Виталий Брагилевский | Курс: Вывод типов от Хиндли-Милнера до GHC 8.8. | Организатор: CSClub Смотр...
Лекториум
3. Типы в ?-исчислении и соответствие Карри—Ховарда
Третья лекция курса «Соответствие Карри–Ховарда: от математической логики к программированию» https://www.mccme.r...
Vitaly Bragilevsky
Multicore: прекрасный OCaml будущего. Павел Аргентов
Многолетняя мечта поколений разработчиков и многолетний челлендж других разработчиков, Multicore OCaml манит...
FPURE
Саймон Пейтон Джонс об алгоритмической сложности
Майлс Берри взял интервью у Саймона Пейтона Джонса — председателя Computing At School, главного иследователя Microsoft...
edyo.ru
[Мини-курс]: Программирование. Idris. Лекция 7
Мини-курс В.Н. Брагилевского: «Функциональное программирование с зависимыми типами на языке Idris» Язык прог...
ФКН ВШЭ
Бесконечность в каждый дом [Хекслет]
Андрей Иванов, разработчик из компании Health Samurai, расскажет о бесконечных структурах данных из коробки и...
Хекслет
Николай Паламарчук "Functional Programming basics for PHP developers"
Конференция PHP fwdays'17 прошла 11 июня 2017 года в Киеве, Украина. Презентация доклада: https://fwdays.com/en/event/php-fwdays-17/review/f...
fwdays
Lisp, что надо показать: s-выражения, базовые операции.
Что такое s-выражения, как выглядит команда Лиспа, основные операции. Демонстрация показывает процесс работ...
Dmitry Romanov
Лекция 1 | Введение в язык формальной верификации Coq | Антон Трунов | Лекториум
Лекция 1 | Автор: Антон Трунов | Курс: Введение в язык формальной верификации Coq | Организаторы: Математическа...
Лекториум
Argumentarium: Разрыв между Computer Science и Software Engineering
Есть ли разрыв между наукой и прикладным программированием? Computer Science и Software Engineering — партнеры, конкуренты...
CSSSR
Евгений Тюменцев - Программирование глазами математика
Ссылка: http://www.slideshare.net/HappyDev-lite/04-happydevlite2015-autumn Как определить абстракцию и инкапуляцию языком математики?...
HappyDev lite
Дмитрий Кашицын | Вывод типов в динамических и не очень языках | Часть II
Ближайшая конференция — C++ Russia 2020 Moscow 29 июня - 2 июля, Online Подробности и билеты: https://bit.ly/cpprussiamoscow .
C++ User Group
TechTalk #10, Python (17-Jul-2014) - I. Kolodyazhny - OOP and Functional Programming in Python
Python — это мультипарадигменный язык программирования, который позволяет писать код так, как вы хотите. Хоро...
DevPro
Языки программирования
В данном видеоуроке мы поговорим об истории и развитии вычислительных машин и программирования; приведём...
Видеоуроки в Интернет
Введение в программирование на Erlang. Урок 2.
Урок 2. Первые функции.
Psyfactor Photon