On Tue, Apr 17, 2012 at 6:40 PM, Nicolas Frisby wrote:
> 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
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 d
Great! I'll take a whack at it ;)
On Tue, Apr 17, 2012 at 4:07 PM, Edward Kmett wrote:
>
>
> On Mon, Apr 16, 2012 at 6:57 PM, Nicolas Frisby
> wrote:
>>
>> I'm simulating skolem variables in order to fake universal
>> quantification in constraints via unsafeCoerce.
>>
>> http://hpaste.org/67121
On Mon, Apr 16, 2012 at 6:57 PM, Nicolas Frisby wrote:
> 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 sur
iteboard ...
>>
>> Hope this helps!
>>
>> d-
>>
>>
>>
>>
>>> -Original Message-
>>> From: [email protected] [mailto:glasgow-haskell-
>>> [email protected]] On Behalf Of Nicolas Frisby
;
>
>> -Original Message-
>> From: [email protected] [mailto:glasgow-haskell-
>> [email protected]] On Behalf Of Nicolas Frisby
>> Sent: Monday, April 16, 2012 11:58 PM
>> To: glasgow-haskell-users
>> Subject: faking univer
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 categories of
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
