Dependently Typed Haskell in Industry (Experience Report)
Комментарии отсутствуют
Информация о видео
Другие видео канала
Haskell for Imperative Programmers #31 - Weak Head Normal Form
f(by) 2020: Dependent types, Vitaly Bragilevsky
A Role for Dependent Types in Haskell
@rae: Why Haskell can't get rid of Proxy (yet)
Higher-order Type-level Programming in Haskell
Next-Generation Programming: Rust & Elm • Richard Feldman • GOTO 2020
I ❤ APL and Haskell
Brave New World: Tales of PureScript and Haskell in Production
John Hughes - Don't Write Tests
How to Fix Broken Haskell Packages in Nix
What is Blockchain
Lambda Jam 2014 - Gershom Bazerman - Homotopy Type Theory: What's the Big Idea #YOWLambdaJam
Functional Programming & Haskell - Computerphile
haskell.nix - an alternative infrastructure for building haskell packages (NixCon 2019)
Microservices • Martin Fowler • GOTO 2014
BOB 2021 Chris Penner - Higher Kinded Data Types By Example
Thomas Dietert-Types as Program Specifications: A Intro to Type-Level Programming in Haskell λC 2019
"The Mess We're In" by Joe Armstrong
Predicting the Future of the Web Development (2020 and 2025)
5 Years of Haskell in Production