RE: faking universal quantification in constraints

2012-04-17 Thread Dimitrios Vytiniotis
on the whiteboard ... Hope this helps! d- -Original Message- From: glasgow-haskell-users-boun...@haskell.org [mailto:glasgow-haskell- users-boun...@haskell.org] On Behalf Of Nicolas Frisby Sent: Monday, April 16, 2012 11:58 PM To: glasgow-haskell-users Subject: faking universal

Re: faking universal quantification in constraints

2012-04-17 Thread Nicolas Frisby
Sent: Monday, April 16, 2012 11:58 PM To: glasgow-haskell-users Subject: faking universal quantification in constraints I'm simulating skolem variables in order to fake universal quantification in constraints via unsafeCoerce.   http://hpaste.org/67121 I'm not familiar with various

Re: faking universal quantification in constraints

2012-04-17 Thread Nicolas Frisby
Subject: faking universal quantification in constraints I'm simulating skolem variables in order to fake universal quantification in constraints via unsafeCoerce.   http://hpaste.org/67121 I'm not familiar with various categories of types from the run-time's perspective, but I'd be surprised

Re: faking universal quantification in constraints

2012-04-17 Thread Edward Kmett
On Mon, Apr 16, 2012 at 6:57 PM, Nicolas Frisby nicolas.fri...@gmail.comwrote: I'm simulating skolem variables in order to fake universal quantification in constraints via unsafeCoerce. http://hpaste.org/67121 I'm not familiar with various categories of types from the run-time's

Re: faking universal quantification in constraints

2012-04-17 Thread Nicolas Frisby
Great! I'll take a whack at it ;) On Tue, Apr 17, 2012 at 4:07 PM, Edward Kmett ekm...@gmail.com wrote: On Mon, Apr 16, 2012 at 6:57 PM, Nicolas Frisby nicolas.fri...@gmail.com wrote: I'm simulating skolem variables in order to fake universal quantification in constraints via unsafeCoerce.

Re: faking universal quantification in constraints

2012-04-17 Thread Nicolas Frisby
I built a (really ugly) dictionary for (Int ~ Char) using Data.Constraints.Forall. I'm fairly confident it could be generalized to a polymorphic coercion (a ~ b). http://hpaste.org/67180 I cheated with overlapping instances, but you left me no choice ;). Anyone who pulls this kind of stunt is

Re: faking universal quantification in constraints

2012-04-17 Thread Edward Kmett
On Tue, Apr 17, 2012 at 6:40 PM, Nicolas Frisby nicolas.fri...@gmail.comwrote: I built a (really ugly) dictionary for (Int ~ Char) using Data.Constraints.Forall. I'm fairly confident it could be generalized to a polymorphic coercion (a ~ b). http://hpaste.org/67180 I cheated with

faking universal quantification in constraints

2012-04-16 Thread Nicolas Frisby
I'm simulating skolem variables in order to fake universal quantification in constraints via unsafeCoerce. http://hpaste.org/67121 I'm not familiar with various categories of types from the run-time's perspective, but I'd be surprised if there were NOT a way to use this code to create run-time