cufp
1:07:28CUFP 2011 Keynote: Pragmatic Haskell (Lennart Augustsson Standard Chartered Bank)
7K views • 14 years ago
anilmvs
Lennart Augustsson's CUFP 2011 keynote covers using Haskell commercially at Standard Chartered Bank. He discusses non-standard Haskell implementations, including a strict dialect, and weighs strict against lazy evaluation.
25:37CUFP 2013: Julien Verlaguet, Facebook: Analyzing PHP statically
5K views • 13 years ago
CUFP 2013
Julien Verlaguet of Facebook describes applying static analysis and type inference to a very large PHP codebase, using OCaml. The work led to the Hack language.