https://github.com/suica/write-you-a-typescript
https://github.com/suica/write-you-a-typescript
tutorial type-checker typescript
Last synced: 6 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/suica/write-you-a-typescript
- Owner: suica
- License: mit
- Created: 2021-10-26T17:01:04.000Z (over 4 years ago)
- Default Branch: main
- Last Pushed: 2023-12-08T01:34:13.000Z (about 2 years ago)
- Last Synced: 2024-11-07T14:42:35.535Z (over 1 year ago)
- Topics: tutorial, type-checker, typescript
- Language: TypeScript
- Homepage: https://suica.github.io/write-you-a-typescript/
- Size: 11.3 MB
- Stars: 85
- Watchers: 2
- Forks: 1
- Open Issues: 10
-
Metadata Files:
- Readme: README-en.md
- License: LICENSE
Awesome Lists containing this project
README
# Write You a Typescript-like Type Checker
[简体中文](https://github.com/suica/write-you-a-typescript/tree/main)
## Sorry, the tutorial is only available in Chinese now
[Help us to translate it to English!](https://github.com/suica/write-you-a-typescript/issues/4)
## Introduction
This project contains a toy implementation of TypeScript-like type checker for a subset of JavaScript, namely the TAT language.
Also, the project contains the slides of a course about the type theory and how to implement the TAT type checker.
## Doc
The original lecture slides will be revised and be carefully reorganized in the form of tutorial articles, in the doc website.
You can visit the [Github Pages](https://suica.github.io/write-you-a-typescript/) or the [Vercel app](https://write-you-a-typescript.vercel.app/) to see the tutorial articles.