visualize-type-inference: Simulate simple constraint-based type inference
Constraint-based inference for simple types is traced step-by-step, both for the original algorithm J that eagerly applies substitutions gained from unification, and a more modern conception that separates constraint generation from constraint solving.
Downloads
- visualize-type-inference-0.0.1.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
| Versions [RSS] | 0.0.1.0 |
|---|---|
| Dependencies | ansi-terminal, array, base (>=4.15 && <5), containers, mtl, optparse-applicative, prettyprinter, prettyprinter-ansi-terminal, string-qq [details] |
| Tested with | ghc ==9.12.2, ghc ==9.10.3, ghc ==9.8.4, ghc ==9.6.7, ghc ==9.4.8, ghc ==9.2.8 |
| License | BSD-3-Clause |
| Copyright | Andreas Abel, 2024 |
| Author | Andreas Abel |
| Maintainer | Andreas Abel |
| Category | Teaching |
| Home page | https://github.com/teach-plt/visualize-type-inference#readme |
| Bug tracker | https://github.com/teach-plt/visualize-type-inference/issues |
| Source repo | head: git clone https://github.com/teach-plt/visualize-type-inference |
| Uploaded | by AndreasAbel at 2025-12-09T18:51:44Z |
| Distributions | |
| Executables | visualize-type-inference |
| Downloads | 2 total (2 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs not available [build log] Last success reported on 2025-12-09 [all 1 reports] |