[Haskell-cafe] Re: dependent types

2010-04-12 Thread Maciej Piechotka
On Mon, 2010-04-12 at 12:44 -0400, Anthony Cowley wrote: On Sun, Apr 11, 2010 at 5:54 PM, Jason Dagit da...@codersbase.com wrote: On Sun, Apr 11, 2010 at 1:59 AM, Andrew U. Frank fr...@geoinfo.tuwien.ac.at wrote: in modeling real application we have often the case that the type of some

[Haskell-cafe] Re: dependent types

2010-04-11 Thread Maciej Piechotka
On Sun, 2010-04-11 at 10:59 +0200, Andrew U. Frank wrote: in modeling real application we have often the case that the type of some object depends on a value. e.g. small_boat is a vessel with size less than a constant. big_boat is a vessel with a larger size. for example, many legal