Have you considered generic reifiable types to make parametric polymorphism implemented as generics as a first-class feature in TypeScript instead of generic type erasure? (i.e. type system is not erased during compilation)
From one of his Abstracts:
What will the Impact of the new Language (M#?) of Joe Duffy be on the .NET Framework?
is there going to have a minecraft app on windows 10?
1) C#-style async-await-keywords are easy to learn but have a lot of traps in real-world use. Both the reactive extension way (pure LINQ), and F# -way to do async operations are bit harder to learn, but avoid these traps. Why did you still choose the C#-style async-await for TypeScript?
2) How will Microsoft return the credibility of Azure, Office365 and TFS-Online to not leak the data to NSA (and possibly from NSA to US competitors)? From the point of view of non-US customers? Can customers control the data movement to not cross the borders to US?
Your session was amazing. You seem a humble person first and foremost.
In recent years Microsoft is claiming that companies which use linux and other open source projects are infringing on its 'families' of patents, and as a result Microsoft is collecting licensing fees from these companies. What's your opinion on that?.
will hololends have minecraft multiplayer feature?
is microsoft going to expert windows phone for other nokia android devices like nokia x and nokia xl???????please answer
My favorite part:
Q: C# started as an object-oriented, imparitive programming language, and has gained more functional programming concepts. Will this continue and where would you draw the line?
A: "We're proving over the time that there isn't a line. No functional programming language is purely immutable because you have to produce output at some point. It's a question of how immutable you are. Functional languages tend to favor immutability heavily, whereas object-oriented languages tend to favor statefull and imperitive. We're all exploring the intersection between those."
"The projects I've worked on recently, Roslyn and TypeScript, a lot of the techniques we used inside the compiler, for example, are functional programming techniques and a lot of immutable data structures."
"Just because in this world of cmoputing that you have now you have mutable state, and you have multi-threading. You can have one or the other, but never do both. That would be a recipe for pain. If you want mutability, you have to be really careful with having threads modify your state. But if you're immutable, you can share with zero cost. You can had off a reference that's never changing. So you can have many threads *reading* the same data. That's always safe and is a liberating way to think about the problem. That's why I find immutability to be very attractive as programming tool."
I am sure Andres thought about this. It would love to know why this is not being done.