Is using Proxy for providing Show instance to a type modeling a physical quantity with multiple unit...

Why is decltype(ConstInt{}) not const?...

What is an existential type?...

Scoped type variables require explicit foralls. Why?...

What is the correct syntax for writing a conversion function (Base.convert) in Julia for a user defi...

variance annotation, keeping track "positive" and "negative" positions by Scala ...

Go: Assignment of type aliases for generics...

Generic function output for covariance type is wrong, is it a type system bug or expected?...

Why did the Scala compiler get more strict regarding self types in 2.10?...

Scala Type of Extended Generic Type is not resolved by the Compiler...

Is Haskell a strongly typed programming language?...

Is Haskell's type system Curry-style or Church-style?...

Understanding “Finding the Dynamic Type in a Generic Context”...

Merging interfaces, without merging...

What is the basic type that underlies all other Swift types?...

In Scala 3 (dotty) or Scala 2, how to make dependent types transitive?...

Get name of abstract type...

How can I have a negation type in Scala?...

What's the role of unification in Coq's core type system?...

Understanding the limits of Scala GADT support...

Why the `Let-in` construct cannot be defined as a derived form in a dependently-typed language?...

Swift: Is there still a use case for type erasure since the introduction of primary associated types...

Ocaml Int and negative values...

What does "w.r.t. " mean in Kotlin?...

Can assert a variable to be an instance of a String in Deno...

Why can std::rc::Rc call its own value's methods?...

TS check if Type contains 'null' Type...

What is the Haskell equivalence of Rust's associated types?...

How to model several types with parent-child relationships and chaining methods which all extend the...

Difference between `data` and `newtype` in Haskell...