On Apr 3, 2008, at 10:41 AM, Luke Palmer wrote:
On Thu, Apr 3, 2008 at 9:58 AM, Ben Lippmeier <[EMAIL PROTECTED]
> wrote:
Questions:
1) Could I perhaps wave my arms around and say something about the
Int in
the type of isEven being in a contra-variant position? Is this
what is
actually ha
On Thu, Apr 3, 2008 at 9:58 AM, Ben Lippmeier <[EMAIL PROTECTED]> wrote:
> Hi all,
> I have some quick questions for the type theory people:
>
> If I write an expression:
> (if .. then 23 else "Erk")
>
> In Haskell this would be an error, but perhaps I can assign it the type
> 'Top' (or 'Any')
Hi all,
I have some quick questions for the type theory people:
If I write an expression:
(if .. then 23 else "Erk")
In Haskell this would be an error, but perhaps I can assign it the type
'Top' (or 'Any') and then use reflection ala Data.Dynamic to inspect the
type of this object at runtime
