Andrew Coppin wrote,
I've seen quite a few people do crazy things to abuse the Haskell type
system in order to perform arithmetic in types. Stuff the type system
was never ever intended to do.
Well I was just wondering... did anybody ever sit down and come up with
a type system that *is*
On 10/6/07, Andrew Coppin [EMAIL PROTECTED] wrote:
I've seen quite a few people do crazy things to abuse the Haskell type
system in order to perform arithmetic in types.
How did you know precisely what I was doing at this moment in time?
Stuff the type system
was never ever intended to do.
Yes, that web page is a terrible introduction to dependent types. :)
On 10/6/07, Andrew Coppin [EMAIL PROTECTED] wrote:
Dan Piponi wrote:
On 10/6/07, Andrew Coppin [EMAIL PROTECTED] wrote:
I've seen quite a few people do crazy things to abuse the Haskell type
system in order to perform
On 10/6/07, Dan Piponi [EMAIL PROTECTED] wrote:
I'm guessing you're talking about a language that
makes it easier to fake your own dependent types without properly
implementing dependent types. If you find one, I could use it right
now - the details of embedding the gaussian integers in
