Compatible types and ignoring top-level qualifiers in the C type system...

Free theorems in C++: are templates inherently ignorant and neutral with their objects of unknown ty...

The limit set of types with new data like `Tree a`...

Type restriction in type declaration...

Multiple cv-decompositions of a type...

Which programming languages support functions that take themselves as arguments?...

Why is type convertibility in C++ not transitive?...

Why doesn't Vec<T> implement the Display trait?...

Why does calling a method on a variable prevent Rust from inferring the type of the variable?...

refer to the return type of a function as a type in Typescript...

What does 'do not conform to trait Builder's type parameter bounds' mean in scala?...

How to implement equals for generic pairs?...

Does Scala guarantee coherence in the presence of implicits?...

Typescript: how to explain this interaction between extends and function type...

types and type variable in Haskell...

Can I define parametric data type where parameters are not equals between in Haskell?...

Why is (a, a) not a functor?...

Creating a fold that allows the type to change after each repeated function call, in order to call a...

How do I declare the signature of a function that must return one of its arguments? (in any language...

Polymorphic return type by using TypeTag in Scala...

Typescript: define types without a field...

Required vs inferred generic types in TypeScript...

Binding name in type signature using DataKind...

Runtime "type terms" in LiquidHaskell vs. Idris...

In C++, do ref-qualifiers express a form of subtyping?...

Can't match type Maybe vs not Maybe on Network.URI...

Why are there flexible and rigid bounds in MLF?...

How does Haskell type-check infinite recursive values?...

I want to write a function which is similar to `flip` in Haskell to get rid of lambda expressions. B...

why typescript disallow call concat in string | string[] type?...