`polytype`

A Hindley-Milner polymorphic typing system.

Ecosystem
crates.io

Latest Release
7.0.1
about 2 years ago

Versions
34

Downloads
71,217 total

Dependent Packages
1

Dependent Repos
7

programinduction 0.9.0

A library for program induction and learning representations.
37 versions - Latest release: about 2 years ago - 3 dependent repositories - 55 thousand downloads total - 31 stars on GitHub - 2 maintainers

Past Dependents

Include Past Dependents

Check this option to include packages that no longer depend on this package in their latest version but previously did.

Filter

Filter by Kind

All kinds normal 1

Links

Registry	crates.io
Source	Repository
Docs	Documentation
JSON API	View JSON
CodeMeta	codemeta.json

Package Details

PURL	`pkg:cargo/polytype` spec
License	MIT
First Release	about 8 years ago
Last Synced	23 days ago

Keywords
unification inference typing language type hindley-milner polymorphism type-inference types

Repository

Stars	59 on GitHub
Forks	8 on GitHub

repos.ecosyste.ms

Rankings on crates.io

Dependent repos Top 8.8%

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Packages