On Tue, 10 Jul 2012, o...@okmij.org wrote:
And yes to first order predicate calculus too!
Just two weeks ago Chung-chieh Shan and I were explaining at NASSLLI
the embedding in Haskell of the higher-order predicate logic with two
base types (so-called Ty2). The embedding supports type-safe
On Wed, 18 Jul 2012, Jay Sulzberger wrote:
On Tue, 10 Jul 2012, o...@okmij.org wrote:
And yes to first order predicate calculus too!
Just two weeks ago Chung-chieh Shan and I were explaining at NASSLLI
the embedding in Haskell of the higher-order predicate logic with two
base types
And yes to first order predicate calculus too!
Just two weeks ago Chung-chieh Shan and I were explaining at NASSLLI
the embedding in Haskell of the higher-order predicate logic with two
base types (so-called Ty2). The embedding supports type-safe
simplification of formulas (which was really
Yes, that would be very nice!
Type-checked queries really is a must, but I´ve found HaskellDB too
cumbersome to work with.
-Rune
On Sat, Jul 7, 2012 at 11:45 AM, Paul Visschers m...@paulvisschers.net wrote:
Hello,
I've been out of the Haskell game for a bit, but now I'm back. A couple of
Is this anything like the hssqlppp package?
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Hello,
I've been out of the Haskell game for a bit, but now I'm back. A couple of
years ago I made a small library that implements relational algebra with
types so that malformed queries and other operations are caught at compile
time. It is heavily based off of the internals of HaskellDB (see
Paul Visschers m...@paulvisschers.net wrote:
I've been out of the Haskell game for a bit, but now I'm back. A
couple of years ago I made a small library that implements relational
algebra with types so that malformed queries and other operations are
caught at compile time. It is heavily based
I'd be interested in at least playing with it.
On Saturday, July 7, 2012, Paul Visschers wrote:
Hello,
I've been out of the Haskell game for a bit, but now I'm back. A couple of
years ago I made a small library that implements relational algebra with
types so that malformed queries and
On Sat, 7 Jul 2012, Paul Visschers m...@paulvisschers.net wrote:
Hello,
I've been out of the Haskell game for a bit, but now I'm back. A couple of
years ago I made a small library that implements relational algebra with
types so that malformed queries and other operations are caught at