An Existential Crisis Resolved: Type Inference for First-Class Existential Types

preview_player
Показать описание
An Existential Crisis Resolved: Type Inference for First-Class Existential Types
Paper DOI: 10.1145/3473569
Presented at None, part of ICFP 2021
By Richard A. Eisenberg, Guillaume Duboc, Stephanie Weirich, Daniel Lee
  1. ACM SIGPLAN
  2. Haskell
  3. existential types
  4. type inference
Рекомендации по теме
An Existential Crisis 0:13:54

An Existential Crisis Resolved: Type Inference for First-Class Existential Types

What is an 0:05:05

What is an Existential Crisis?

so you're having 0:14:14

so you're having an existential crisis

💩EXISTENTIAL CRISIS?🤪 Listen 0:00:23

💩EXISTENTIAL CRISIS?🤪 Listen carefully to THIS pop starlet's nihilistic wisdom! 😩🤪😂...

How To Overcome 0:09:15

How To Overcome an Existential Crisis (Fear of Death + No Purpose to Life)

How to deal 0:01:01

How to deal with existential thoughts during Depersonalization #shorts

'any' Keyword and 0:04:59

'any' Keyword and Existential types in Swift

my 6yr old 0:01:01

my 6yr old asked me a question that gave me an existential crisis #shorts

Jordan Peterson: How 0:11:24

Jordan Peterson: How to Deal with Existential Despair

Having an existential 0:00:09

Having an existential life crisis

Existential Crises Among 0:00:47

Existential Crises Among Children | Jordan Peterson

8 Signs You’re 0:06:42

8 Signs You’re Having an Existential Crisis

First existential crisis 0:00:11

First existential crisis at 7 #funny #memes

The Reason for 0:02:35

The Reason for Almost All Mental Illnesses - Prof. Jordan Peterson

5 different layers 0:00:12

5 different layers of existential crises

Steven Hawcking on 0:01:01

Steven Hawcking on God

The 4 Stages 0:18:13

The 4 Stages of Existential Crisis. PART 2

The Existential Crisis 0:56:25

The Existential Crisis Iceberg Explained

another day in 0:00:30

another day in the INFJ existential crisis

A really depressing 0:00:49

A really depressing new song that will give you an existential crisis … #shorts #music #unreleased

The Guide to 0:09:29

The Guide to Surviving an Existential Crisis in 4 Steps// How to Get Out of a Funk

Existential Crisis #shorts 0:00:52

Existential Crisis #shorts

How Can You 0:02:26

How Can You Deal With An Existential Crisis?

Atheist lore vs 0:00:24

Atheist lore vs Christian lore (shitty poorly made meme)

Комментарии
Автор

Very nice video, thanks for uploading

officebatman
Автор

Thanks for the very clear explanations, I learned a lot. One question: It seems like existential types are just syntactic sugar for dependent pairs. Is there more to them than that?

tookerjerbs