Follow
Wait... Typescript is a Microsoft product?
@lucifargundam no... I didn't know MS cared about JS
@worldsendless companies like MS who branch out horizontally as well as vertically- will reach for niche areas to test out the waters- and to avoid royalty fees.
So are things like dafny and z3
They are also one of the big 5. If the other 4 do not own something, MS probably does. You can look under Microsoft Research and find that many languages and tech infrastructures belong to them.
Type theory and logic computing research are especially big with them.
@worldsendless
You didn't know this?