Re:Apple to Start Publishing AI Research
by pjmlp on Wednesday December 07, 2016 @04:37AM
(#13121451)
Really?
MSR was one of the first companies bringing FP into mainstream developers tools with LINQ and F#.
Investing into dependent type programming via F*.
Making JavaScript scale via TypeScript (adopted by Google teams instead of Dart).
Sponsors Haskell and OCaml research.
Researches OS design that aren't yet another UNIX clone, namely memory safe OSes with Singularity, Midori, Drawbrige, theorem provers for device driver validation, P language, micro-kernels.
MSR was one of the first companies bringing FP into mainstream developers tools with LINQ and F#.
Investing into dependent type programming via F*.
Making JavaScript scale via TypeScript (adopted by Google teams instead of Dart).
Sponsors Haskell and OCaml research.
Researches OS design that aren't yet another UNIX clone, namely memory safe OSes with Singularity, Midori, Drawbrige, theorem provers for device driver validation, P language, micro-kernels.