Simon Peyton Jones, one of the creators of Haskell, has been on that point for awhile too (https://www.slideshare.net/kfrdbs/peyton-jones). I think it's his main area of research working at Microsoft actually.