[Haskell-cafe] Re: Implementing fixed-sized vectors (using datatype algebra?)

[Alfonso Acosta]

On Feb 4, 2008 12:36 PM, Wolfgang Jeltsch <g9ks157k at acme.softbase.org> wrote:
> 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.