newsfilter.io

Richard Eisenberg

Showing 11 of 1 transcripts.

  1. Jane Street1h 0m

    The Future of Programming with Richard Eisenberg

    Richard Eisenberg, Ron Minsky

    Richard Eisenberg joined Jane Street's tools and compilers team to lead the development of "unbox types" for OCaml, a feature designed to eliminate runtime pointer indirections while retaining garbage collection. Previously an eight-year Haskell ecosystem contributor who chaired the Haskell Foundation, Eisenberg brings extensive experience in type theory and compiler design to address OCaml's memory representation challenges. His work involves a careful trade-off between parametric polymorphism and performance optimization, tested internally before seeking community consensus for upstream integration.