#63 Hack: Typing PHP at Facebook Scale - Julien Verlaguet - Type Theory Forall

Om avsnittet

Julien is one of the creators of Hack, a language developed by Facebook to introduce types into PHP. In this episode he talks in depth about the semantics of PHP, and all the ways that it is inhenrently broken, process of development of Hack, the design decisions, the kind of guarantees that could be enforced to PHP and that developers should care about.

This episode was brought to you by SkipLabs: Julien’s company to make reactive programming robust and seamless!

#63 Hack: Typing PHP at Facebook Scale - Julien Verlaguet

Om avsnittet

Links

Fler avsnitt

#64 PL Education in the Age of AI - Shriram Krishnamurthi

#62 Dependent Haskell - Vladislav Zavialov

#61 Zurihac Behind the Scenes - Farhad Mehta

#60 Conversations on Life, AI, and the PL Job Market - Pedro and Dan

#59 Category Theory and Inclusivity - Valeria de Paiva

#58 Constructivism and Computational Content - Andrej Bauer

#57 Compilers for Privacy-Preserving Computation, Category Theory, and Keeping a Good Rythm in your PhD - Raghav Malik

#56 Property Based Testing and PL Grad School Applications - Francille Zhuang

#55 The Death of OO, The Beauty of Scheme, BobKonf, and FunArch - Mike Sperber

#54 The Goal of Science is to Communicate Ideas! - Philip Wadler