An error with Haskell classes I fall all the time and can't understand...

Can this functionality be implemented with Haskell's type system?...

how to make a collection of type objects in Scala...

What type systems can prevent goal suspension in logical languages?...

Explain "C fundamentally has a corrupt type system"...

Scala compiler fails to infer type parameters...

For Scala are there any advantages to type erasure?...

Why does one select Scala type members with a hash instead of a dot?...

Why is enum casting allowed even when there is no valid value defined in the enumeration...

Erlang type system...

Numeric type signature...

Functional Dependency in Haskell...

Haskell type vs. newtype with respect to type safety...

How exactly do type synonyms work?...

Weird error when using scoped type variables and the y combinator in haskell...

Can good type systems distinguish between matrices in different bases?...

Fundeps and GADTs: When is type checking decidable?...

RankNTypes for instance declarations?...

Does D have 'newtype'?...

Do all programming languages have a clear concept of NIL, null, or undefined?...

Contrasting C# generics with Haskell parameterized types...

List of existentially quantified values in Haskell...

How is the type of `([] ==) []` inferred haskell?...

What are the primary theoretical difficulties with adding ML-style modules to Haskell?...

What is Haskell's style of polymorphism?...

Lifting class instance in Haskell...

Typechecking inside quasi-quotes in Template Haskell...

Custom type system in relational database...

Path-dependent types vs. "underlying types", which ones are checked?...

Compile-time and runtime casting c#...