type-systems-My Code Helper

What is an existential type?...

language-agnostic types type-systems existential-type

Generic function output for co...

scala type-erasure type-systems

Why did the Scala compiler get...

scala types self type-systems

Scala Type of Extended Generic...

scala type-systems cats-effect

Is Haskell a strongly typed pr...

haskell type-systems

Is Haskell's type system C...

haskell type-systems type-theory

Understanding “Finding the Dyn...

swift generics types protocols type-systems

Merging interfaces, without me...

java c++type-systems

What is the basic type that un...

swift types compiler-construction standard-library type-systems

In Scala 3 (dotty) or Scala 2,...

scala dependent-type type-systems scala-3 dotty

Get name of abstract type...

scala traits type-systems

How can I have a negation type...

scala type-systems

What's the role of unifica...

coq dependent-type type-systems theorem-proving unification

Understanding the limits of Sc...

scala type-systems gadt scala-compiler

Why the `Let-in` construct can...

coq dependent-type type-systems

Swift: Is there still a use ca...

swift generics protocols type-systems

Ocaml Int and negative values...

ocaml type-systems

What does "w.r.t. " ...

kotlin type-systems

Can assert a variable to be an...

typescript testing tdd deno type-systems

Why can std::rc::Rc call its o...

rust type-systems

TS check if Type contains &#39...

typescript type-systems

What is the Haskell equivalenc...

haskell generics type-systems

How to model several types wit...

javascript class oop dsl type-systems

Difference between `data` and ...

haskell types type-systems newtype

What's the theoretical bas...

haskell types type-systems existential-type quantifiers

function types with generics a...

typescript typescript-generics type-systems

Modelling the composition of u...

haskell types type-systems

F# error: "Either make th...

haskell functional-programming f#type-systems

Why can the Monad interface no...

java generics monads type-systems higher-order-types

How to learn agda...

type-systems theorem-proving agda