Re: [Haskelldb-users] Integrating haskelldb-th with DBDirect

[Artyom S. <art...@gm...>]

2009/5/28 Justin Bailey <jgb...@gm...>:
>> I wanted to create a database table exclusively through HaskellDB; don't
>> tell me I'm mad, please. :)
>>
>
> Another good idea but I think something that falls outside haskellDB.

Is the scope of the project outlined anywhere? It would be helpful to define it,
I suppose.

> You can create your own type-level info that represents what you want,
> though. You could use that along with a HaskellDB table definition to
> create the table w/ additional constraints.

I'll see what I can do.

> This paper on CoddFish, "Strong Types for Relational Databases
> (Functional Pearl)" by Alexandra Silva and Joost Visser,  has a great
> tutorial on type-level programming in the first two sections, worth
> reading if you want to go that route:
>
>  http://www.di.uminho.pt/~joostvisser/publications/StrongTypesForRDBs.pdf

Thanks for the link!

Cheers,
Artyom Shalkhakov.