A Deep Specification for Dropbox - Benjamin Pierce

Поделиться
HTML-код
  • Опубликовано: 17 ноя 2024

Комментарии • 3

  • @tomdahulk
    @tomdahulk 9 лет назад +9

    Wonderful talk, I have his "Type and Programming Languages" sitting right next to me.

    • @slowpnir
      @slowpnir 9 лет назад +1

      +Swingtheory same thing, bro.

  • @JaredForsyth
    @JaredForsyth 9 лет назад +6

    cool talk. also, *subtle* is the favorite word of the talk

Следующие
Автовоспроизведение
John Hughes - Testing the Hard Stuff and Staying Sane47:17John Hughes - Testing the Hard Stuff and Staying Sane
John Hughes - Testing the Hard Stuff and Staying SaneClojureTV
Просмотров 37 тыс.
Condition Systems in an Exceptional Language - Chris Houser33:32Condition Systems in an Exceptional Language - Chris Houser
Condition Systems in an Exceptional Language - Chris HouserClojureTV
Просмотров 15 тыс.
Ask Me Anything with Simon Peyton Jones, hosted by Benjamin Pierce52:29Ask Me Anything with Simon Peyton Jones, hosted by Benjamin Pierce
Ask Me Anything with Simon Peyton Jones, hosted by Benjamin PierceACM SIGPLAN
Просмотров 2,7 тыс.
Tate McRae - 2 hands (Official Video)03:18Tate McRae - 2 hands (Official Video)
Tate McRae - 2 hands (Official Video)TateMcRaeVEVO
Просмотров 3,5 млн
HIGHLIGHTS | ENGLAND V AUSTRALIA | AUTUMN NATIONS SERIES 202405:13HIGHLIGHTS | ENGLAND V AUSTRALIA | AUTUMN NATIONS SERIES 2024
HIGHLIGHTS | ENGLAND V AUSTRALIA | AUTUMN NATIONS SERIES 2024Autumn Nations Series
Просмотров 962 тыс.
Ranking Every YouTuber Food47:31Ranking Every YouTuber Food
Ranking Every YouTuber FoodLudwig
Просмотров 2,3 млн
WATCH: Top 5 Announcement | Miss Universe 202402:46WATCH: Top 5 Announcement | Miss Universe 2024
WATCH: Top 5 Announcement | Miss Universe 2024ABS-CBN Entertainment
Просмотров 739 тыс.
ClojureScript for Skeptics - Derek Slager41:09ClojureScript for Skeptics - Derek Slager
ClojureScript for Skeptics - Derek SlagerClojureTV
Просмотров 70 тыс.
Debugging with the Scientific Method - Stuart Halloway49:09Debugging with the Scientific Method - Stuart Halloway
Debugging with the Scientific Method - Stuart HallowayClojureTV
Просмотров 23 тыс.
Tim Ewald - Clojure: Programming with Hand Tools58:39Tim Ewald - Clojure: Programming with Hand Tools
Tim Ewald - Clojure: Programming with Hand ToolsClojureTV
Просмотров 46 тыс.
"The Mess We're In" by Joe Armstrong45:50"The Mess We're In" by Joe Armstrong
"The Mess We're In" by Joe ArmstrongStrange Loop Conference
Просмотров 382 тыс.
"Transactions: myths, surprises and opportunities" by Martin Kleppmann41:08"Transactions: myths, surprises and opportunities" by Martin Kleppmann
"Transactions: myths, surprises and opportunities" by Martin KleppmannStrange Loop Conference
Просмотров 74 тыс.
What Is This OpenTelemetry Thing? • Martin Thwaites • GOTO 202446:34What Is This OpenTelemetry Thing? • Martin Thwaites • GOTO 2024
What Is This OpenTelemetry Thing? • Martin Thwaites • GOTO 2024GOTO Conferences
Просмотров 131 тыс.
"Propositions as Types" by Philip Wadler42:43"Propositions as Types" by Philip Wadler
"Propositions as Types" by Philip WadlerStrange Loop Conference
Просмотров 130 тыс.
"RDF and the future of LLMs" by Luke VanderHart41:54"RDF and the future of LLMs" by Luke VanderHart
"RDF and the future of LLMs" by Luke VanderHartClojureTV
Просмотров 3,6 тыс.
Teaching Clojure at IBM - Steve Shogren36:35Teaching Clojure at IBM - Steve Shogren
Teaching Clojure at IBM - Steve ShogrenClojureTV
Просмотров 4,4 тыс.
Incredibox Sprunki vs Inside Out 2 - Which team rescues the mermaid AnythingAlexia? #shorts00:44Incredibox Sprunki vs Inside Out 2 - Which team rescues the mermaid AnythingAlexia? #shorts
Incredibox Sprunki vs Inside Out 2 - Which team rescues the mermaid AnythingAlexia? #shortsAnythingAlexia
Просмотров 3,5 млн
Сегодня, 16 ноября, ушла Светлана Светличная37:19Сегодня, 16 ноября, ушла Светлана Светличная
Сегодня, 16 ноября, ушла Светлана СветличнаяЗвезды и интриги
Просмотров 552 тыс.
ВИРУСНВЕ ВИДЕО / Кот ставит мировой рекорд 😅00:32ВИРУСНВЕ ВИДЕО / Кот ставит мировой рекорд 😅
ВИРУСНВЕ ВИДЕО / Кот ставит мировой рекорд 😅Светлый Voice
Просмотров 369 тыс.
ПЕРВЫЙ ЧАС ПОСЛЕ ЗАРПЛАТЫ #стиль #бизнес #красота #продюсер #спб00:22ПЕРВЫЙ ЧАС ПОСЛЕ ЗАРПЛАТЫ #стиль #бизнес #красота #продюсер #спб
ПЕРВЫЙ ЧАС ПОСЛЕ ЗАРПЛАТЫ #стиль #бизнес #красота #продюсер #спбKURUCHBRO
Просмотров 469 тыс.
🔥МІЛОВ: Центробанк готує ЗАМОРОЗКУ ВСІХ ВКЛАДІВ росіян, щоб врятувати економіку! Це призведе до...23:16🔥МІЛОВ: Центробанк готує ЗАМОРОЗКУ ВСІХ ВКЛАДІВ росіян, щоб врятувати економіку! Це призведе до...
🔥МІЛОВ: Центробанк готує ЗАМОРОЗКУ ВСІХ ВКЛАДІВ росіян, щоб врятувати економіку! Це призведе до...Телеканал Прямий
Просмотров 355 тыс.
Побег из Тюрьмы : Тетрис помог Nuggets Gegagedigedagedago сбежать от Nikocado Avocado !00:18Побег из Тюрьмы : Тетрис помог Nuggets Gegagedigedagedago сбежать от Nikocado Avocado !
Побег из Тюрьмы : Тетрис помог Nuggets Gegagedigedagedago сбежать от Nikocado Avocado !Фани Хани
Просмотров 844 тыс.
Jake Paul vs. Mike Tyson FIGHT HIGHLIGHTS 🥊 | ESPN Ringside02:35Jake Paul vs. Mike Tyson FIGHT HIGHLIGHTS 🥊 | ESPN Ringside
Jake Paul vs. Mike Tyson FIGHT HIGHLIGHTS 🥊 | ESPN RingsideESPN
Просмотров 30 млн
Xamdam Sobirov - Nazira Xolbo`tayeva (VideoClip)04:54Xamdam Sobirov - Nazira Xolbo`tayeva (VideoClip)
Xamdam Sobirov - Nazira Xolbo`tayeva (VideoClip)Xamdam Sobirov
Просмотров 634 тыс.