[Haskell-cafe] Passing types as arguments

[Johan Jeuring]

> 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.

Passing types as arguments to functions is the main idea behind generic 
programming, intentional programming, polytypic programming, etc. 
Information can be found in papers of Simon Peyton Jones, Ralf Hinze, 
Andres Loh, myself, Patrik Jansson, and many other people. I have links 
to many of these people on my homepage:

http://www.cs.uu.nl/~johanj/

-- Johan

> | -----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
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>