On Feb 4, 2008 12:36 PM, Wolfgang Jeltsch
Am Samstag, 2. Februar 2008 14:54 schrieben Sie:
Again, if someone complains about the TH dependency, the aliases could be generated by TH but saved statically in a module for each release.
Hmm, this could be a compromise although I'm not sure whether it is sensible to have a module with thousands of declarations.
As long as the module is automatically generated I don't see why it would be a problem. Bear in mind that using TH would, in practice, be equivalent to code such a module by hand anyway.
Another solution would be to put the Template Haskell convenience stuff into a separate package. The core package would probably be usable with Hugs too, while the convenience package would be usable only with GHC.
I'm not sure if it worths it to create a separate package and add another dependency for those who would like to use it. I don't still know how many people would be interested in using the type-level library so, again, I think it won't hurt to include the TH-generated aliases and then change it if some non-GHC user rants about it.
So type-level + parametrized-data is my vote. But don't let's spend too much time discussing the name. ;-)
Fair enough. type-level + parameterized-data it is then (unless someone else has a better suggestion). I'm going to begin coding now. I'll host the project in community.haskell.org, do you have an account there? PS: BTW, I asked Oleg for permission and, as expected, agreed to create the library under a BS-D license.