You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
@milessabin said:
I would like to be able to have type arguments with unspecified kind, ie. given Foo, Bar[], Baz[, _] etc. I would like to able to write a type macro which could be applied to all of them, ie. TypeMacro[Foo], TypeMacro[Bar], TypeMacro[Baz] given the above definitions. For applications see kind polymorphism in GHC.
Something along these lines could also provide smoother mechanism for type constructor partial application.
@xeno-by said:
Please let me know whether this is a blocker for you. Otherwise I'd tend to other things, which have materialized in great numbers during the last couple of weeks.
@milessabin said:
It's not a blocker, but I can see it being generally useful. The kind polymorphism angle might also give you some purchase on type tags for type constructors of arbitrary arity ...
E.g. one can't use untyped macros to implement vararg type parameters.
The text was updated successfully, but these errors were encountered: