Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in type-constructor

F# assign (custom) type to a function

function types f# type-constructor

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

multidimensional-array initialization julia composite-types type-constructor

How to use a type alias to define a type constructor

scala type-alias type-constructor

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

rust immutability coercion type-constructor

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

scala haskell pattern-matching type-constructor

Understanding Type Projection

scala partial-application type-constructor kind-projector

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

scala types higher-kinded-types type-constructor

Type Deconstruction

haskell types type-constructor

Underscores in type bounds on type constructors

scala types type-bounds type-constructor

Functor Instance for Type Constructor with Two Parameters in Scala

scala typeclass scalaz type-constructor kind-projector

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

scala type-constructor

Scala recursive type and type constructor implementation

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

Type Constructor as Return Type

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

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

haskell types type-constructor

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

haskell pattern-matching type-constructor

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

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

What is the difference between Either a and Either Int? What is Either a ? A polymorphic type constructor? What is its purpose?

haskell polymorphism functor type-constructor

Why is there a value constructor in addition to the type constructor in Haskell?

haskell type-constructor

How does one statisfy a class constraint in an instance of a class that requires a type constructor rather than a concrete type?

haskell type-constructor

Is there a way to "remove" the parts of a functor that do not store its argument?

haskell types functional-programming functor type-constructor
Older Entries »