@rae: Update on Dependent Haskell

Автор: Tweag by Modus Create

Загружено: 2021-02-01

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

Описание: I share a little on what's been going on in the broader journey toward dependent types in Haskell.

Beyond what's shared in the video, viewers may want to check out the principles behind the design of Dependent Haskell at https://gitlab.haskell.org/ghc/ghc/-/... and lots of relevant discussion at https://github.com/ghc-proposals/ghc-....

Find me at https://richarde.dev/ or on Twitter at @RaeHaskell.

Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...

@rae: Update on Dependent Haskell

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

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

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

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

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

@rae: Ideas for optimizing Haskell

@rae: Ideas for optimizing Haskell

@rae: The monomorphism restriction in Haskell causes order dependency. Ack!

@rae: The monomorphism restriction in Haskell causes order dependency. Ack!

@rae: What happens when a Haskell programmer writes Java

@rae: What happens when a Haskell programmer writes Java

Dune: Part Three | Official Teaser Trailer

Dune: Part Three | Official Teaser Trailer

Как власть следит за россиянами в интернете?

Как власть следит за россиянами в интернете?

Best of Deep House [2026] | Melodic House & Progressive Flow

Best of Deep House [2026] | Melodic House & Progressive Flow

ПОЛНЫЙ отказ от интернета в России. Госдума сошла с ума

ПОЛНЫЙ отказ от интернета в России. Госдума сошла с ума

«Готовьтесь умирать». Зачем в Сибири массово забивают скот? И что скрывают власти?

«Готовьтесь умирать». Зачем в Сибири массово забивают скот? И что скрывают власти?

Я сэкономил 1460 часов на обучении (NotebookLM + Gemini + Obsidian)

Я сэкономил 1460 часов на обучении (NotebookLM + Gemini + Obsidian)

John Leo: Dependent Types in GHC

John Leo: Dependent Types in GHC

@rae's Thoughts on Haskell

@rae's Thoughts on Haskell

The Nix Hour #71 [exploring nixpkgs lib]

The Nix Hour #71 [exploring nixpkgs lib]

КАК УСТРОЕН TCP/IP?

КАК УСТРОЕН TCP/IP?

Запуск нейросетей локально. Генерируем - ВСЁ

Запуск нейросетей локально. Генерируем - ВСЁ

1С: ИИ пишет весь код без человека: магия нейросетей

1С: ИИ пишет весь код без человека: магия нейросетей

Лучший Гайд по Kafka для Начинающих За 1 Час

Лучший Гайд по Kafka для Начинающих За 1 Час

Почему npm, GitHub и VS Code опасный прямо сейчас

Почему npm, GitHub и VS Code опасный прямо сейчас

The Nix Hour #67 [language tooling]

The Nix Hour #67 [language tooling]

【R&B Soul】Romantic R&B Soul Music – Relaxing Soulful Mix for Love & Chill Nights

【R&B Soul】Romantic R&B Soul Music – Relaxing Soulful Mix for Love & Chill Nights

Сегодня Сибирь, завтра везде. Как власть уничтожает коров

Сегодня Сибирь, завтра везде. Как власть уничтожает коров