query: Why do 3 and x (which was assigned 3) have different inferred types in Haskell?
positive_passages.docid: 22837
positive_passages.text: What is the monomorphism restriction?
negative_passages.docid: 106025
negative_passages.text: Why does `type which` say that `which is hashed`?
negative_passages.docid: 151789
negative_passages.text: A Haskell function of type: IO String-> String
negative_passages.docid: 3571
negative_passages.text: Equivalent implicit operators: why are they legal?
negative_passages.docid: 143757
negative_passages.text: Why is ushort + ushort equal to int?
negative_passages.docid: 32479
negative_passages.text: What's the difference between => , ()=>, and Unit=>
negative_passages.docid: 37050
negative_passages.text: What is the difference between (type)value and type(value)?
negative_passages.docid: 129319
negative_passages.text: Weird "hidden answer" in $2\tan(2x)=3\text{cot}(x)$
negative_passages.docid: 81788
negative_passages.text: Haskell - Maybe Either
negative_passages.docid: 137605
negative_passages.text: Why can't the compiler deduce the template type from default arguments?
negative_passages.docid: 126862
negative_passages.text: Confused about $x \notin x$ example in Axiom of Specification
negative_passages.docid: 108372
negative_passages.text: Milne Algebraic Geometry - Remark 3.14 confusion
negative_passages.docid: 129694
negative_passages.text: Is initializing with "var{args}" a new feature of C++0x, or merely syntactic sugar?
negative_passages.docid: 69973
negative_passages.text: INT(5) vs SMALLINT(5): numbers in parenthesis after the numeric type
negative_passages.docid: 109410
negative_passages.text: Scalar vs. primitive data type - are they the same thing?
negative_passages.docid: 36954
negative_passages.text: What does the construct f[x_] := f[x] = ... mean?
negative_passages.docid: 147513
negative_passages.text: GHC complains about non-exhaustive patterns that are enforced by the type checker