Скачать или смотреть Regular Expressions of Types – Oleg Grenrus

Regular Expressions of Types – Oleg Grenrus

clojure

Скачать Regular Expressions of Types – Oleg Grenrus бесплатно в качестве 4к (2к / 1080p)

У нас вы можете скачать бесплатно Regular Expressions of Types – Oleg Grenrus или посмотреть видео с ютуба в максимальном доступном качестве.

Для скачивания выберите вариант из формы ниже:

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

Cкачать музыку Regular Expressions of Types – Oleg Grenrus бесплатно в формате MP3:

Если иконки загрузки не отобразились, ПОЖАЛУЙСТА, НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если у вас возникли трудности с загрузкой, пожалуйста, свяжитесь с нами по контактам, указанным в нижней части страницы.
Спасибо за использование сервиса video2dn.com

Описание к видео Regular Expressions of Types – Oleg Grenrus

A neat feature of clojure.spec is regular expressions for describing shapes of (heterogenous, i.e. non-uniform) sequences. It can be used as an argument against static type systems. Type systems cannot have such things, can they?

In this talk, we'll see that, in fact, regular expressions are a nice theory, which can be fitted into type systems. We'll discuss some of the properties of regular expressions, which make them a suitable and convenient to use addition. To make that concrete, we'll build a prototype Haskell extension, and see it working!

Slides: http://oleg.fi/gists/posts/2018-09-13...

Комментарии

Информация по комментариям в разработке