Leaf Petersen

The comparison to class inheritance is a bit of a red herring I think - there is no subtyping between generic classes in Dart, only generic class _instantiations_. This isn't...

I avoided going into this in the proposal, but perhaps I should add some discussion. Here's where my thinking was when I was working through this. First, some background (sorry...

Agreed that the terminology is unclear - put another way, the phrase "generic function type" can be parsed as "generic (function type)" (that is, functions types which are generic, the...

Interesting point. The spec mentions reflection and mirrors in passing, but doesn't actually include it in the specification of the language as far as I can tell, so I'm actually...

> Should this be a valid method definition? > > ```dart > void foo([Uint8List _]) {} > ``` > > You can't change `_` to `x` without providing a default...

> Not really, but I didn't mention all the constrains. I think my proposal handles dynamic calls fine (you have all of the same selectors as before with all of...

I'm really not sure what you're asking for here. Are you suggesting that given an example like: ```dart class BlocBuilder {} ``` in the case that `TState` is not an...

Ok, leaving aside the question of implicitly defining type *parameters* which I think is problematic, the question of inferring missing type *arguments* seems more reasonable. I think you're proposing that...

> I am not sure having to explicitly state a place holder for inferred types is necessary, It is necessary if you want to allow arguments other than the trailing...

Thinking about this some more, I wonder if this isn't actually more of a request for patterns rather than inference. That is, something more like (inventing some syntax): ```dart class...