У нас вы можете посмотреть бесплатно @rae: Why Haskell can't get rid of Proxy (yet) или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса ClipSaver.ru
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: rae@richarde.dev Twitter: @RaeHaskell Website: https://richarde.dev