00:05
<sirisian>
bakkot: I never considered that f<a>() syntax issue. For some reason I thought there was a clever workaround. It can't use context, so a different syntax would need to be used entirely? Not sure if you follow TS stuff, did they talk about that a lot?
00:06
<sirisian>
I should have figured given Actionscript 3's design and the whole Vector.<T> syntax.
00:56
<bakkot>
any attempt to actually pull in TS syntax for types would need to choose a different syntax for generic invocation, yes
00:57
<bakkot>
I wasn't there when TS syntax was originally chosen but I imagine they didn't think it actually mattered given how they intended TS to be used, which was entirely reasonable of them
13:34
<Ashley Claymore>
The more recent conversations in types-as-comments have thought about using "turbo-fish" for passing a type parameter. `new Map::<number, number>()`