(Translated by https://www.hiragana.jp/)
GitHub - thunderseethe/type-inference-example: Full Example Type Inference Implementation for thunderseethe.github.io

thunderseethe / type-inference-example Public

Notifications You must be signed in to change notification settings
Fork 2
Star 23

Full Example Type Inference Implementation for thunderseethe.github.io

GPL-3.0 license

23 stars 2 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 21 Commits
base		base
items		items
rows		rows
src		src
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
LICENSE		LICENSE
README.md		README.md
rustfmt.toml		rustfmt.toml

Repository files navigation

Type Inference Example

Implementation of Type Inference discussed in: https://thunderseethe.dev/series/making-a-language/.

This crate is divided up into a crate for each "stage" of the type checker. The stages in the typechecker are:

base - The initial base type checker.
rows - Extends base with support for datatypes via row types.
items - Extends rows with support for checking top level functions.

About

Full Example Type Inference Implementation for thunderseethe.github.io

GPL-3.0 license

Report repository

Releases 1

Packages

No packages published

Languages

Rust 100.0%