Difference between revisions of "User:ConradParker/InstantInsanity"
Jump to navigation
Jump to search
ConradParker (talk | contribs) (update abstract) |
ConradParker (talk | contribs) (update abstract) |
||
Line 4: | Line 4: | ||
We illuminate some of the techniques used to perform computations in the Haskell |
We illuminate some of the techniques used to perform computations in the Haskell |
||
Type System by presenting a complete type-level program. Programming at this |
Type System by presenting a complete type-level program. Programming at this |
||
− | level is often considered an obscure art with little practical value, but it need not be so. |
+ | level is often considered an obscure art with little practical value, but it need not be so. We tame this magic for the purpose of practical Haskell programming. |
</blockquote> |
</blockquote> |
||
Revision as of 15:44, 5 September 2007
Type-Level Instant Insanity
We illuminate some of the techniques used to perform computations in the Haskell Type System by presenting a complete type-level program. Programming at this level is often considered an obscure art with little practical value, but it need not be so. We tame this magic for the purpose of practical Haskell programming.
Familiarity with the syntax of the Haskell Type System is a prerequisite for understanding the details of general Haskell programming. What better way to build familiarity with something than to hack it to bits?
- darcs get http://seq.kfish.org/instant-insanity/