The thih package
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.
Properties
| Version | 1.0 |
|---|---|
| Dependencies | base, pretty |
| License | BSD3 |
| Author | Mark P Jones <mpj@cse.ogi.edu> |
| Stability | Stable |
| Category | Language |
| Home page | http://web.cecs.pdx.edu/~mpj/thih/ |
| Executables | thih |
| Upload date | Fri Apr 4 21:21:36 UTC 2008 |
| Uploaded by | GwernBranwen |
| Built on | ghc-6.10, ghc-6.12, ghc-6.8, ghc-7.0 |
Modules
- Assump
- Debug
- HaskellList
- HaskellMaybe
- HaskellMonad
- HaskellPrelude
- HaskellPrims
- HaskellTest
- HaskellThih
- Id
- Infer
- Kind
- Lit
- PPrint
- Pat
- Pred
- Scheme
- SourceList
- SourceMaybe
- SourceMonad
- SourcePrelude
- SourceTest
- SourceThih
- Static
- StaticList
- StaticMaybe
- StaticMonad
- StaticPrelude
- StaticTest
- StaticThih
- Subst
- TIMain
- TIMonad
- TIProg
- Testbed
- Type
- Unify
Downloads
- thih-1.0.tar.gz (Cabal source package)
- package description (included in the package)