Тёмный

Do more with your types: GADTs and LiquidHaskell 

Xebia Functional (formerly 47 Degrees)
Подписаться 4 тыс.
Просмотров 3,3 тыс.
50% 1
ВидеоПоделитьсяСкачатьДобавить в

Опубликовано:

 

29 сен 2024

Поделиться:

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии : 3   
@flash-gz1hu
@flash-gz1hu 4 года назад
Great talk
@flash-gz1hu
@flash-gz1hu 4 года назад
Alejandro explains concepts very clearly
@kurisu-makise
@kurisu-makise 3 года назад
Beautiful presentation. Thanks Alejandro!
Далее
Haskell Tips: FP Refactoring Recursion with Writer + State
11:58
Haskell Tips: FP Refactoring Recursion with Writer + State
Просмотров 2,2 тыс.
Being Competent With Coding Is More Fun
11:13
Being Competent With Coding Is More Fun
Просмотров 82 тыс.
Шоколадная девочка
00:23
Шоколадная девочка
Просмотров 129 тыс.
Сюжетная викторина 🥩 | WICSUR #shorts
00:53
Сюжетная викторина 🥩 | WICSUR #shorts
Просмотров 476 тыс.
Мега-Кидок на 1.000.000.000р, сотни пострадавших! Из Казахстана с любовью!
34:12
Мега-Кидок на 1.000.000.000р, сотни пострадавших! Из Казахстана с любовью!
Просмотров 257 тыс.
МАМА в ШОКЕ !!! Серёжа и Полина ПОТЕРЯЛИ СЕСТРУ !!!
12:45
МАМА в ШОКЕ !!! Серёжа и Полина ПОТЕРЯЛИ СЕСТРУ !!!
Просмотров 177 тыс.
Higher-order Type-level Programming in Haskell
21:28
Higher-order Type-level Programming in Haskell
Просмотров 3,6 тыс.
Andrew Kelley Practical Data Oriented Design (DoD)
46:40
Andrew Kelley Practical Data Oriented Design (DoD)
Просмотров 107 тыс.
LambdaConf 2015 - A Practical Introduction to Haskell GADTs Richard Eisenberg
1:20:21
LambdaConf 2015 - A Practical Introduction to Haskell GADTs Richard Eisenberg
Просмотров 19 тыс.
Linear Types - Constantine Ter-Matevosian
21:24
Linear Types - Constantine Ter-Matevosian
Просмотров 2,4 тыс.
Making sense of the Haskell type system by Ryan Lemmer at FnConf17
48:34
Making sense of the Haskell type system by Ryan Lemmer at FnConf17
Просмотров 16 тыс.
Adventures in Building Reliable Distributed Systems with Liquid Haskell (FLOPS 2022 keynote talk)
48:54
Adventures in Building Reliable Distributed Systems with Liquid Haskell (FLOPS 2022 keynote talk)
Просмотров 1,8 тыс.
Software Interview Question Patterns You Should Know
13:38
Software Interview Question Patterns You Should Know
Просмотров 460
@rae: An introduction to Haskell's kinds
17:04
@rae: An introduction to Haskell's kinds
Просмотров 4 тыс.
Nathan Holland- GADTs and You; Writing Safer Code Using GADTs- λC 2019
35:10
Nathan Holland- GADTs and You; Writing Safer Code Using GADTs- λC 2019
Просмотров 2 тыс.
A look inside KotlinConf
2:21
A look inside KotlinConf
Просмотров 81
Шоколадная девочка
00:23
Шоколадная девочка
Просмотров 129 тыс.