# Blog articles/Types

### From HaskellWiki

< Blog articles(Difference between revisions)

DonStewart (Talk | contribs) (→Type classes) |
DonStewart (Talk | contribs) (→Types) |
||

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] |

## Latest revision as of 23:40, 7 July 2007

## [edit] 1 Types

- A type-based solution to the 'strings problem'
- Deducing code from types: filterM
- Generalised Algebraic Data Types, Phantom Types, and Dependent Types
- Functions, Types, Function Types, and Type Inference
- Building Datatypes in Haskell (part 1)
- Rank-2 polymorphism is a strange thing
- Scientific.Dimension: Type Arithmetic and Physical Units in Haskell