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

New posts in higher-rank-types

Encoding ExistentialQuantification with RankNTypes

haskell existential-type higher-rank-types

List of existentially quantified values in Haskell

haskell types type-systems higher-rank-types

How does instantiation of higher-rank types and subsumption interact during unification?

haskell functional-programming polymorphism unification higher-rank-types

RankNTypes for instance declarations?

haskell types type-systems higher-rank-types

Using a monadic rank-2 type

haskell higher-rank-types

How to construct values of a higher-rank Coyoneda type in CPS?

haskell unification higher-rank-types

RankNTypes and Church numerals

haskell types type-theory higher-rank-types

Existential type wrappers necessity

haskell polymorphism existential-type higher-rank-types

Polymorphic (Generic) Functions as Arguments in C++

c++ generics variadic-templates higher-kinded-types higher-rank-types

Transducers in Haskell and the monomorphism restriction

haskell higher-rank-types transducer monomorphism-restriction

How to non-impredicatively return `Maybe` a lens?

haskell lenses higher-rank-types impredicativetypes

How to infer the type of the Scott encoded List constructor?

haskell functional-programming algebraic-data-types higher-rank-types scott-encoding

Flipping with rank-N types

haskell higher-order-functions higher-rank-types

RankNTypes: apply the same function to pairs of different types

haskell ghc higher-rank-types

Encode rank-2 polymorphism equivalent in SML

haskell sml ml higher-rank-types hindley-milner

How exactly do type synonyms work?

haskell types type-systems higher-rank-types

newtype around ST causes type error

haskell polymorphism higher-rank-types

How does let interact with higher rank types in Haskell?

haskell let higher-rank-types impredicativetypes

Constraint subset higher-order constraint

haskell ghc type-constraints existential-type higher-rank-types

Heterogeneous map

haskell polymorphism existential-type higher-rank-types
Older Entries »