Personal tools

User:ConradParker/InstantInsanity

From HaskellWiki

< User:ConradParker(Difference between revisions)
Jump to: navigation, search
(update links to point to TMR)
(add BibTex entry)
 
(2 intermediate revisions by one user not shown)
Line 1: Line 1:
  +
[[Category:Tutorials]]
  +
[[Category:Type-level_programming]]
  +
 
'''Type-Level Instant Insanity'''
 
'''Type-Level Instant Insanity'''
   
Line 11: Line 14:
 
build familiarity with something than to hack it to bits?
 
build familiarity with something than to hack it to bits?
   
* This tutorial was published in [[Media:TMR-Issue8.pdf|The Monad.Reader Issue 8]] (PDF)
+
* This tutorial was published in [[Media:TMR-Issue8.pdf#page=21|The Monad.Reader Issue 8]] (PDF)
   
 
* [http://sneezy.cs.nott.ac.uk/darcs/TMR/Issue8/instant-insanity.lhs Literate Haskell source]
 
* [http://sneezy.cs.nott.ac.uk/darcs/TMR/Issue8/instant-insanity.lhs Literate Haskell source]
   
 
* [[User_talk:ConradParker/InstantInsanity|Wiki talk page for discussion]]
 
* [[User_talk:ConradParker/InstantInsanity|Wiki talk page for discussion]]
  +
  +
=== BibTex Entry ===
  +
  +
<pre>
  +
@article{parker:tlii,
  +
Author = {Conrad Parker},
  +
Journal = {The Monad.Reader},
  +
Month = {September},
  +
Title = {{Type-Level Instant Insanity}},
  +
Volume = {Issue Eight},
  +
Year = {2007}
  +
}
  +
</pre>

Latest revision as of 10:26, 7 November 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?

[edit] BibTex Entry

@article{parker:tlii,
	Author = {Conrad Parker},
	Journal = {The Monad.Reader},
	Month = {September},
	Title = {{Type-Level Instant Insanity}},
	Volume = {Issue Eight},
	Year = {2007}
}