📌 Fun Programming with Dependent Types - DevConf.IN 2025 - скачать видео с ютуба бесплатно по ссылке

Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...

Скачать видео с ютуб по ссылке или смотреть без блокировок на сайте: Fun Programming with Dependent Types - DevConf.IN 2025 в качестве 4k

У нас вы можете посмотреть бесплатно Fun Programming with Dependent Types - DevConf.IN 2025 или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:

Информация по загрузке:

Скачать mp3 с ютуба отдельным файлом. Бесплатный рингтон Fun Programming with Dependent Types - DevConf.IN 2025 в формате MP3:

Если кнопки скачивания не загрузились НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу страницы.
Спасибо за использование сервиса ClipSaver.ru

Fun Programming with Dependent Types - DevConf.IN 2025

Speaker Name: Jens Petersen -- A gentle introduction to functional programming with dependent types. Dependent types enhance precision and safety of programs, allowing programmers to design software with higher assurance guarantees. Various interesting examples will be presented to illustrate the use of Dependent Type Theory, using the Lean4 programming language and theorem prover. Lean4 has some nice features like interactive evaluation, compilation to native code, and while so far mostly being used to formalize mathematics it is also a formidable modern elegant programming language. -- Slides and resources: https://pretalx.devconf.info/devconf-...

Comments