@rae: Update on Dependent Haskell

Автор: Tweag by Modus Create

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

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

Описание:

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.

@rae: Update on Dependent Haskell

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

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

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

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

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

@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!

Chillout Lounge - Calm & Relaxing Background Music | Study, Work, Sleep, Meditation, Chill

Chillout Lounge - Calm & Relaxing Background Music | Study, Work, Sleep, Meditation, Chill

Feelings Good Mix • 24/7 Live Radio | Style OMER BALIK, Emma Peters, YA NINA, Edmofo, Zubi, Roudeep

Feelings Good Mix • 24/7 Live Radio | Style OMER BALIK, Emma Peters, YA NINA, Edmofo, Zubi, Roudeep

System Design Concepts Course and Interview Prep

System Design Concepts Course and Interview Prep

@rae: What happens when a Haskell programmer writes Java

@rae: What happens when a Haskell programmer writes Java

Рабочая музыка для глубокой концентрации и сверхэффективности

Рабочая музыка для глубокой концентрации и сверхэффективности

Музыка лечит сердце и сосуды🌸 Успокаивающая музыка восстанавливает нервную систему,расслабляющая

Музыка лечит сердце и сосуды🌸 Успокаивающая музыка восстанавливает нервную систему,расслабляющая

Но что такое нейронная сеть? | Глава 1. Глубокое обучение

Но что такое нейронная сеть? | Глава 1. Глубокое обучение

Positive Mood Jazz ☕ Cozy Winter Coffee Jazz Music and Sweet Bossa Nova Piano for Energy the day

Positive Mood Jazz ☕ Cozy Winter Coffee Jazz Music and Sweet Bossa Nova Piano for Energy the day

Opencode – Самый Удобный ИИ-агент для кодинга и автоматизаций

Opencode – Самый Удобный ИИ-агент для кодинга и автоматизаций

The Nix Hour #71 [exploring nixpkgs lib]

The Nix Hour #71 [exploring nixpkgs lib]

РЕЗКИЙ ПОВОРОТ: ПУТИН ГОТОВ ЗАКАНЧИВАТЬ ВОЙНУ! ПАСКОВ: ЭКСТРЕННАЯ ВСТЕЧА В ДАВОСЕ! ЗЕЛЕНСКИЙ И ТРАМП

РЕЗКИЙ ПОВОРОТ: ПУТИН ГОТОВ ЗАКАНЧИВАТЬ ВОЙНУ! ПАСКОВ: ЭКСТРЕННАЯ ВСТЕЧА В ДАВОСЕ! ЗЕЛЕНСКИЙ И ТРАМП

The Nix Hour #69 [lookup path syntax, e.g ＜nixpkgs＞]

The Nix Hour #69 [lookup path syntax, e.g ＜nixpkgs＞]

John Leo: Dependent Types in GHC

John Leo: Dependent Types in GHC

КАК СТАРТОВАТЬ в AI-разработке 2026: Claude Code для начинающих | 2 часа до результата

КАК СТАРТОВАТЬ в AI-разработке 2026: Claude Code для начинающих | 2 часа до результата

Компания Salesforce признала свою ошибку.

Компания Salesforce признала свою ошибку.

The Nix Hour #66 [incremental builds, part 2]

The Nix Hour #66 [incremental builds, part 2]

Градиентный спуск, как обучаются нейросети | Глава 2, Глубинное обучение

Градиентный спуск, как обучаются нейросети | Глава 2, Глубинное обучение

The Nix Hour #81 [tricky package overrides]

The Nix Hour #81 [tricky package overrides]