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

[Simon Peyton Jones]

I support this one.

Simon

From: ghc-steering-committee [mailto:ghc-steering-committee-bounces at haskell.org] On Behalf Of Richard Eisenberg
Sent: 23 February 2018 20:32
To: ghc-steering-committee at haskell.org
Subject: [ghc-steering-committee] Type-level type applications (#80): Recommend accept

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20180226/40b801a8/attachment.html>