Views

Category:Type-level programming

From HaskellWiki

Jump to: navigation, search

Type-level programming involves calculations that are done during compilation time while type-inferring/type-checking.

Pages in category "Type-level programming"

There are 11 pages in this category.

C

Closed world instances

D

Dependent type

G

GHC/Type families

M

Monadic regions

P

Physical units/Dimensionalized numbers

R

Research papers/Type systems

T

Type SK

T cont.

U

User:ConradParker/InstantInsanity

Retrieved from "http://www.haskell.org/haskellwiki/Category:Type-level_programming"

Category: Idioms

Toolbox