@rae: An introduction to Haskell's kinds

Автор: Tweag by Modus Create

Загружено: 2021-07-20

Просмотров: 4558

Описание:

This more introductory video walks through Haskell's kind system, giving a little motivation for why Haskell has kinds at all, and how we can add kind signatures to type declarations.

Find me at https://richarde.dev/ or on Twitter at @RaeHaskell.
Index of all videos at https://richarde.dev/videos.html

@rae: An introduction to Haskell's kinds

Доступные форматы для скачивания:

Скачать видео mp4

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

Скачать аудио mp3

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

@rae: Unboxed types in GHC

@rae: Unboxed types in GHC

@rae: Getting a little fancy with Haskell's kinds

@rae: Getting a little fancy with Haskell's kinds

Laziness in Haskell — Part 1: Prologue

Laziness in Haskell — Part 1: Prologue

Do more with your types: GADTs and LiquidHaskell

Do more with your types: GADTs and LiquidHaskell

"Dependent Types in Haskell" by Stephanie Weirich

Domain Modelling with Haskell: Data Structures

Domain Modelling with Haskell: Data Structures

[Часть 2] Игра «Крестики-нолики» на языке Haskell — процедурная и функциональная

[Часть 2] Игра «Крестики-нолики» на языке Haskell — процедурная и функциональная

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

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

Nathan Holland- GADTs and You; Writing Safer Code Using GADTs- λC 2019

Nathan Holland- GADTs and You; Writing Safer Code Using GADTs- λC 2019

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

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

@rae: Use closed type families for beautiful type inference

@rae: Use closed type families for beautiful type inference

A Brief Introduction to Haskell

A Brief Introduction to Haskell

Learning Closed Type Families Together!

Learning Closed Type Families Together!

Secret Haskell Composition Technique

Secret Haskell Composition Technique

@rae: What happens when a Haskell programmer writes Java

@rae: What happens when a Haskell programmer writes Java

LambdaConf 2015 - A Practical Introduction to Haskell GADTs Richard Eisenberg

LambdaConf 2015 - A Practical Introduction to Haskell GADTs Richard Eisenberg

Fun never stops. Introduction to Haskell Programming language by Paul Szulc

Fun never stops. Introduction to Haskell Programming language by Paul Szulc

Правда о клонировании SIM-карт

Правда о клонировании SIM-карт

Haskell Lenses From Scratch

Haskell Lenses From Scratch

George Wilson - The Extended Functor Family

George Wilson - The Extended Functor Family