thih: Typing Haskell In Haskell
Haskell benefits from a sophisticated type system, but implementors, programmers, and researchers suffer because it has no formal description. To remedy this shortcoming, we present a Haskell program that implements a Haskell typechecker, thus providing a mathematically rigorous specification in a notation that is familiar to Haskell users. We expect this program to fill a serious gap in current descriptions of Haskell, both as a starting point for discussions about existing features of the type system, and as a platform from which to explore new proposals.
This package is derived from the Haskell '98 + Multiparameter Type Classes package of THIH.
[Skip to Readme]
|Dependencies||base, pretty [details]|
|Author||Mark P Jones <email@example.com>|
|Uploaded||by GwernBranwen at Fri Apr 4 21:21:36 UTC 2008|
|Downloads||612 total (16 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
|Status||Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI
For package maintainers and hackage trustees