|
Jun
5 |
|
awarded | Nice Answer |
|
Jun
4 |
|
answered | Compiler overriding type definitions (generics) in F# |
|
Jun
2 |
|
comment |
Why do governments borrow money instead of printing it? No more than borrowing horses creates new horses. |
|
May
28 |
|
awarded | Supporter |
|
Apr
28 |
|
awarded | Yearling |
|
Apr
25 |
|
comment |
Haskell - Maybe arithmetic What error do you get? Does that give you any clues as to the problem? You might want to think about whether your "otherwise" case returns something of the right type. |
|
Apr
20 |
|
reviewed | Close Java: Using variables in the same package across different classes |
|
Apr
20 |
|
reviewed | Leave Open How should you test if a variable is a value type in C#? |
|
Apr
20 |
|
awarded | Custodian |
|
Apr
20 |
|
reviewed | Close Beginning to script window placement in GNOME |
|
Apr
11 |
|
awarded | Supporter |
|
Apr
10 |
|
awarded | Enlightened |
|
Apr
10 |
|
comment |
Why no Reference Counting + Garbage Collection in C#? -1 for the unsupported statement "Thus GC is more efficient than reference count." |
|
Apr
5 |
|
awarded | Enlightened |
|
Apr
5 |
|
awarded | Nice Answer |
|
Apr
4 |
|
comment |
Do performers pay taxes on comped meals and hotels? I can't give a answer specifically based on US law, but generally speaking I would expect those costs to be tax-deductible anyway, because they are costs of actually doing the work (the performances). So I don't think you do need to pay tax, but you may need to declare them so that the tax authorities have enough information to check that they really are deductible. |
|
Apr
1 |
|
awarded | Yearling |
|
Apr
1 |
|
awarded | Yearling |
|
Mar
30 |
|
revised |
Transform a GADT without constraints to another GADT with constraints when such constraints hold fix example |
|
Mar
30 |
|
comment |
Transform a GADT without constraints to another GADT with constraints when such constraints hold For the new feature in GHC 7.8, it's important that although every concrete type would be Typeable, you wouldn't be able to assume Typeable for a /polymorphic/ variable - so for example the only total function of type (a -> a) would still have to be the identity function. Otherwise we'd lose parametricity. It does make my specific counter-argument invalid, though. |
