[ghc-steering-committee] Discussion on #155 Type Variable in Lambdas

[Joachim Breitner]

Hi,

Am Dienstag, den 19.02.2019, 10:28 -0800 schrieb Iavor Diatchki:
> I am a bit concerned with the notation though:  in other places where
> we use `@a`, (e.g., #126 type application in patterns, and
> TypeApplications) the `a` is a type, while in this use it must be a
> variable.   I wonder if this punning might be confusing.   I don't
> really have an alternative suggestion though.

on the term level, lambda parameters are variables and function
arguments are terms, without a different syntax here. So I think that
is fine.

Ok, there is a bit of syntactic sugar to allow patterns in lambdas. So
maybe a future proposal can extend this to allow type patterns in
lambdas…

But I think I am fine doing small steps here.

Cheers,
Joachim

-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20190219/b93d1e86/attachment.sig>