type-constructor tutorials

Is there are way to create a generic class with a trait or mixin that is a subtype of the type parameter

Dec 08, 2025

Elm: How to Json decode a Union Type with a single TypeConstructor?

Dec 07, 2025

json decode elm type-constructor union-types

What is the type constructor for list of tuples?

Sep 14, 2025

haskell tuples type-constructor

F# assign (custom) type to a function

Dec 21, 2022

function types f# type-constructor

Julia: Making empty/initialized multidimensional arrays of self defined types

Oct 30, 2020

multidimensional-array initialization julia composite-types type-constructor

How to use a type alias to define a type constructor

Jun 20, 2022

scala type-alias type-constructor

Why Rust can't coerce mutable reference to immutable reference in a type constructor?

Oct 14, 2022

rust immutability coercion type-constructor

Is it possible to provide a custom pattern decomposition in Haskell?

Jun 25, 2022

scala haskell pattern-matching type-constructor

Understanding Type Projection

Oct 31, 2022

scala partial-application type-constructor kind-projector

What is a "kind" in the context of Type Systems?

Nov 20, 2022

scala types higher-kinded-types type-constructor

Type Deconstruction

Aug 26, 2022

haskell types type-constructor

Underscores in type bounds on type constructors

Mar 17, 2022

scala types type-bounds type-constructor

Functor Instance for Type Constructor with Two Parameters in Scala

May 19, 2022

scala typeclass scalaz type-constructor kind-projector

Why does foo[F[_], A](ff: F[A]) accept foo(1)?

Apr 08, 2021

scala type-constructor

Scala recursive type and type constructor implementation

Sep 19, 2019

scala higher-kinded-types type-constructor recursive-type

Type Constructor as Return Type

Feb 19, 2022

scala haskell return-type algebraic-data-types type-constructor

What does '((->) a)' mean?

Sep 24, 2022

haskell types type-constructor

How does the Haskell compiler "know" that IO cannot be unwrapped?

Nov 17, 2022

haskell pattern-matching type-constructor

Mere presence of implicit conversion makes the program compile despite never being applied

May 17, 2021

scala type-inference implicit-conversion type-parameter type-constructor

New posts in type-constructor