Why can't I use the as keyword for a struct?...

a good-design approach for making a geometry library (regarding using union or not)?...

Abstraction hindering use of custom types, what are the rules to follow in an implementation?...

The type system in Scala is Turing complete. Proof? Example? Benefits?...

Can a type be a reference type and a value type at the same time?...

How does custom F# types map to CLR types?...

C#: using type of "self" as generic parameter?...

Extending the .NET type system so the compiler enforces semantic meaning of primitive values in cert...

Returning the same type the function was passed...

F# return type coercion...

Can one create Sized Types in Scala?...

Are there any languages that are dynamically typed but do not allow weak typing?...

Accessing type members outside the class in Scala...

Java generics + static factory methods = [panic]...

Is my understanding of type systems correct?...

Bitflag enums in C++...

Explicit type recursion in F#...

What are the limits of type inference?...