Dependent Haskell with Vladislav Zavialov

Update: 2021-08-23

Description

Curious about dependent types? Special guest Vladislav Zavialov from Serokell breaks it down for us. We discuss comparisons to refinement types, sigma and pi types, interactions with linear types, and much more!

https://serokell.io/blog/developing-ghc-for-a-living

https://twitter.com/int_index

Comments

In Channel

2021 Survey Results

2021-12-0634:57

Monad Architecture

2021-11-1523:35

GHC 9.2.1

2021-11-0827:32

Loop Breaker

2021-10-0421:11

Hash Flooding Aeson

2021-09-2726:13

Evoking Instances

2021-09-1336:19

Dependent Haskell with Vladislav Zavialov

2021-08-2356:15

Our Tech Stack

2021-08-1639:03

Cast Values with Witch

2021-08-0933:37

The Voids of Haskell

2021-06-0830:12

Simple Haskell Handbook with Marco Sampellegrini

2021-06-0142:27

Module Organization Guidelines

2021-05-2426:13

Avoiding Nested Errors

2021-05-1018:55

Haskell Foundation with Andrew Boardman

2021-05-0453:45

Default Exception Handlers

2021-04-1913:35

Async Exceptions

2021-03-2929:15

Unified Vector

2021-03-2224:36

Chat Wisely

2021-03-1746:39

Haskell Wingman with Sandy Maguire

2021-03-0847:01

GHC 9.0.1

2021-02-2227:18

00:00

1.0x

Dependent Haskell with Vladislav Zavialov

#box-pro-ellipsis-176435457146929{-webkit-line-clamp:2;}Dependent Haskell with Vladislav Zavialov

Dependent Haskell with Vladislav Zavialov

Taylor Fausak

Dependent Haskell with Vladislav Zavialov