@rae: Why Haskell can't get rid of Proxy (yet)

Автор: Tweag by Modus Create

Загружено: 2020-10-14

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

Описание: Richard Eisenberg explores why we need the Proxy type, why we almost can get rid of it (cue -XTypeApplications), but ultimately why we can't.

Type-application-in-lambda proposal: https://github.com/ghc-proposals/ghc-...

(Apologies for the rough sound quality.)

Richard's coordinates:
Email: [email protected]
Twitter: @RaeHaskell
Website: https://richarde.dev

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

@rae: Why Haskell can't get rid of Proxy (yet)

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

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

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

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

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

@rae: Debugging an assertion failure in GHC

@rae: Debugging an assertion failure in GHC

@rae: What happens when a Haskell programmer writes Java

@rae: What happens when a Haskell programmer writes Java

@rae's Thoughts on Haskell

@rae's Thoughts on Haskell

Chill Mood Music 🎧 – French Relaxing Playlist

Chill Mood Music 🎧 – French Relaxing Playlist

Идеальная замена Телеграм найдена! Как работает безопасный мессенджер Element

Идеальная замена Телеграм найдена! Как работает безопасный мессенджер Element

Полный гайд Claude Code: С Нуля до SaaS | MCP, Sub-Агенты, Custom Commands

Полный гайд Claude Code: С Нуля до SaaS | MCP, Sub-Агенты, Custom Commands

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

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

Архитектура интернета и веба | Теоретический курс 2026

Архитектура интернета и веба | Теоретический курс 2026

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

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

@rae: Немного поэкспериментируем с типами данных в Haskell.

@rae: Немного поэкспериментируем с типами данных в Haskell.

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

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

Linear Types – Constantine Ter-Matevosian

Linear Types – Constantine Ter-Matevosian

Алгоритмы на Python 3. Лекция №1

Алгоритмы на Python 3. Лекция №1

Янис Варуфакис: Война с Ираном рушит неолиберальную экономику США

Янис Варуфакис: Война с Ираном рушит неолиберальную экономику США

Двигатель Стирлинга: обогнать паровой век и покорить космос

Двигатель Стирлинга: обогнать паровой век и покорить космос

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

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

The Nix Hour #67 [language tooling]

The Nix Hour #67 [language tooling]

OSINT для новичков: найдите всё о юзернейме и фото с Sherlock и Google Dorks!

OSINT для новичков: найдите всё о юзернейме и фото с Sherlock и Google Dorks!

Как работает ГАЛЬВАНИЧЕСКАЯ РАЗВЯЗКА? Оптрон, трансформатор. Понятное объяснение!

Как работает ГАЛЬВАНИЧЕСКАЯ РАЗВЯЗКА? Оптрон, трансформатор. Понятное объяснение!

🛑 Middleware это антипаттерн для Node.js в 2026 — Backend: сервер на 🐢 Express, NestJS и Fastify 🚀

🛑 Middleware это антипаттерн для Node.js в 2026 — Backend: сервер на 🐢 Express, NestJS и Fastify 🚀