type-systems Examples and Free Source Code

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

c++type-conversion type-traits type-systems

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

types rust type-systems

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

rust type-inference type-systems hindley-milner

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

typescript return-type type-systems

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

scala types type-systems generic-type-argument abstract-type

How to implement equals for generic pairs?...

java generics equals type-systems

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

scala implicit type-systems

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

typescript types type-systems

types and type variable in Haskell...

haskell types type-systems

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

haskell types type-systems refinement-type liquid-haskell

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

haskell typeclass functor type-systems

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

haskell type-systems type-level-computation clash

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

scala go flowtype type-systems

Polymorphic return type by using TypeTag in Scala...

scala types compiler-errors type-systems

Typescript: define types without a field...

typescript type-systems domain-modelling

Required vs inferred generic types in TypeScript...

typescript generics type-systems

Binding name in type signature using DataKind...

haskell syntax type-systems

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

haskell idris type-systems liquid-haskell

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

c++reference type-systems qualifiers subtyping

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

haskell types error-handling type-systems option-type

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

haskell logic ocaml type-systems

Is it possible to reference function parameters in Python's function annotation?...

python annotations type-systems pep

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

haskell types infinite typechecking type-systems

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

haskell lambda polymorphism typeclass type-systems

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

javascript typescript type-systems duck-typing

In Common Lisp (ClozureCL), what expression yields a value of type `(SIMPLE-ARRAY ARRAY (5 3 *))`?...

arrays common-lisp type-systems clozure-cl

Can logical `and` be replaced by an if-statement and still have the same big-step semantics?...

semantics type-systems

String initializer for optional primitive types: Int? Double? Float? etc...

ios swift string initialization type-systems

Groovy: How to get statically inferred return type from AST...

java groovy type-systems static-compilation

Existential types for inline record constructors with constraints...

polymorphism ocaml type-systems gadt existential-type