@rae: Введение в типы Haskell

Похожие видео

@rae: Unboxed types in GHC

@rae: Немного поэкспериментируем с типами данных в Haskell.

@rae: Use closed type families for beautiful type inference

@rae: How emacs makes merging ridiculously easy

Laziness in Haskell — Part 1: Prologue

@rae: What happens when a Haskell programmer writes Java

Introduction to Haskell execution and garbage collection internals – Maxim Koltsov

Билл Гейтс В ПАНИКЕ: Утечки Windows 12 ПОТРЯСЛИ Мир Технологий!

@lexi_lambda: How to make a Haskell program 5x faster with 16 lines of code

США бьют тревогу, Израиль на нервах: что происходит вокруг Ирана

Do more with your types: GADTs and LiquidHaskell

Идеальная замена Телеграм найдена! Как работает безопасный мессенджер Element

Simon Peyton-Jones: Escape from the ivory tower: the Haskell journey

@rae: Connecting linearity and relevance in Dependent Haskell

Повторно используемый код — связь между аппликацией и моноидом.

ИИ-ПУЗЫРЬ скоро лопнет? Реальные факты про нейросети от специалиста по кибербезопасности.

"A Little Taste of Dependent Types" by David Christiansen

@rae: IO is just the state monad passing the real world

Kinds vs. Types in the Haskell Type System

Adventure with Types in Haskell - Simon Peyton Jones (Lecture 1)