Personal tools

Category:Type-level programming

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
 
(Really a nice Haskell Idiom...)
 
Line 1: Line 1:
 
Type-level programming involves calculations that are done during compilation time while type-inferring/type-checking.
 
Type-level programming involves calculations that are done during compilation time while type-inferring/type-checking.
  +
[[Category:Idioms]]

Latest revision as of 19:39, 6 July 2007

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