Personal tools

Blog articles/Types

From HaskellWiki

< Blog articles(Difference between revisions)
Jump to: navigation, search
 
(Types)
 
(One intermediate revision by one user not shown)
Line 2: Line 2:
   
 
* [http://blog.moertel.com/articles/2006/10/18/a-type-based-solution-to-the-strings-problem A type-based solution to the 'strings problem']
 
* [http://blog.moertel.com/articles/2006/10/18/a-type-based-solution-to-the-strings-problem A type-based solution to the 'strings problem']
  +
* [http://byorgey.wordpress.com/2007/06/26/deducing-code-from-types-filterm/ Deducing code from types: filterM]
 
* [http://babel.ls.fi.upm.es/~pablo/Papers/Notes/GADTs.html Generalised Algebraic Data Types, Phantom Types, and Dependent Types]
 
* [http://babel.ls.fi.upm.es/~pablo/Papers/Notes/GADTs.html Generalised Algebraic Data Types, Phantom Types, and Dependent Types]
 
* [http://scienceblogs.com/goodmath/2006/12/functions_types_function_types_1.php Functions, Types, Function Types, and Type Inference]
 
* [http://scienceblogs.com/goodmath/2006/12/functions_types_function_types_1.php Functions, Types, Function Types, and Type Inference]
Line 12: Line 13:
 
* [http://babel.ls.fi.upm.es/~pablo/Papers/Notes/typeClassOvld.html Type Classes: Not Quite Overloading"]
 
* [http://babel.ls.fi.upm.es/~pablo/Papers/Notes/typeClassOvld.html Type Classes: Not Quite Overloading"]
 
* [http://scienceblogs.com/goodmath/2007/01/haskell_the_basics_of_type_cla_1.php Haskell: the Basics of Type Classes]
 
* [http://scienceblogs.com/goodmath/2007/01/haskell_the_basics_of_type_cla_1.php Haskell: the Basics of Type Classes]
  +
  +
=== Further reading ===
  +
  +
* [http://www.haskell.org/ghc/docs/latest/html/users_guide/gadt.html GADTs in the GHC User's guide]

Latest revision as of 23:40, 7 July 2007

[edit] 1 Types

[edit] 1.1 Type classes

[edit] 1.2 Further reading