[ghc-steering-committee] Type-level type applications (#80): Recommend accept

[Iavor Diatchki]

Agreed, if there are not technical issues, I would expect this to work, so
I am +1



On Fri, Feb 23, 2018 at 12:32 PM Richard Eisenberg <rae at cs.brynmawr.edu>
wrote:

> This proposal (https://github.com/ghc-proposals/ghc-proposals/pull/80)
> introduces type-level type applications, extending the existing
> TypeApplications syntax to work in types.
>
> - With -XTypeApplications, you will be able to instantiate kind variables
> in types. For example, you could talk about `Proxy @(Type -> Type) Maybe`
> and `Category @(TYPE IntRep) (->)` or even `(->) @(TYPE LiftedRep) @(TYPE
> DoubleRep)`.
>
> And that's it! GHC *already* has the required/specified/inferred
> distinction in terms, which is unchanged in types.
>
> I believe strongly we should accept. There was no substantive dissenting
> commentary, just clarifying questions.
>
> Thanks,
> Richard
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20180223/d2b0ae58/attachment-0001.html>