[Haskell-cafe] Passing types as arguments

[Simon Peyton-Jones]

We pass values as proxies for types extensively in the "Scrap your
boilerplate" scheme.  The paper is on my home page.   The 'typeOf'
function is a good example.  

Part II coming up shortly.

Simon

| -----Original Message-----
| From: haskell-cafe-bounces at haskell.org
[mailto:haskell-cafe-bounces at haskell.org] On Behalf Of
| ajb at spamcop.net
| Sent: 12 March 2004 03:50
| To: haskell-cafe at haskell.org
| Subject: [Haskell-cafe] Passing types as arguments
| 
| G'day everyone.
| 
| Some time ago a suggestion came up about passing types as arguments
| to functions:
| 
|     http://www.haskell.org/pipermail/haskell/2003-June/012184.html
| 
| As a matter of curiosity, the topic has come up again on the wiki:
| 
|
http://haskell.org/hawiki/StudyGroup/GraphExamplesInHaskell/WhySum3
| 
| For this example, we don't just want to pass types, we also want to
| pattern match on them.
| 
| I'm curious if anyone else has put any thought to this idea.  Is it
just
| a syntax issue, or are there bad interactions with other parts of the
| type system?
| 
| Cheers,
| Andrew Bromage
| _______________________________________________
| Haskell-Cafe mailing list
| Haskell-Cafe at haskell.org
| http://www.haskell.org/mailman/listinfo/haskell-cafe