[Haskell-cafe] Re: A thought about liberating Haskell's syntax

[Simon Peyton-Jones]

sorry – 6.12

From: haskell-cafe-bounces at haskell.org [mailto:haskell-cafe-bounces at haskell.org] On Behalf Of Rafael Gustavo da Cunha Pereira Pinto
Sent: 29 September 2009 13:59
To: Simon Peyton-Jones
Cc: Haskell Café
Subject: Re: [Haskell-cafe] Re: A thought about liberating Haskell's syntax

Hmm... Simon, was it a typo? Is it 6.10.x or 6.12?

Regards,

Rafael
2009/9/29 Simon Peyton-Jones <simonpj at microsoft.com<mailto:simonpj at microsoft.com>>
Type splices are implemented in the upcoming GHC 6.10.

Simon

| -----Original Message-----
| From: haskell-cafe-bounces at haskell.org<mailto:haskell-cafe-bounces at haskell.org> [mailto:haskell-cafe-bounces at haskell.org<mailto:haskell-cafe-bounces at haskell.org>] On
| Behalf Of George Pollard
| Sent: 16 September 2009 13:45
| To: Haskell Café
| Subject: [Haskell-cafe] Re: A thought about liberating Haskell's syntax
|
| Also (sorry for the triple-post!) I noticed that in the TH
| documentation, it says:
|
|     Type splices are not implemented, and neither are pattern splices
|
| This means, while we could write a preprocessor that would give us, e.g.:
|
|     x :: Set Int
|     x = {1,2,3,4}
|
| We cannot splice in the right places to allow:
|
|     x :: {Int}
|     x = {1,2,3,4}
|
|     isSetEmpty :: {a} → Bool
|     isSetEmpty {} = True
|     isSetEmpty _ = False
| _______________________________________________
| Haskell-Cafe mailing list
| Haskell-Cafe at haskell.org<mailto:Haskell-Cafe at haskell.org>
| http://www.haskell.org/mailman/listinfo/haskell-cafe


_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe at haskell.org<mailto:Haskell-Cafe at haskell.org>
http://www.haskell.org/mailman/listinfo/haskell-cafe



--
Rafael Gustavo da Cunha Pereira Pinto
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090929/7fa72bbd/attachment.html