https://github.com/remulang/proud
The programming language I'm proud of: queryable type system, first class polymorphisms(type hole), type classes/traits, module as records, row polymorphisms, derived from ML's concise syntax
https://github.com/remulang/proud
first-class-polymorphisms interactively-static-checking programming-language row-polymorphism traits type-inference
Last synced: 9 days ago
JSON representation
The programming language I'm proud of: queryable type system, first class polymorphisms(type hole), type classes/traits, module as records, row polymorphisms, derived from ML's concise syntax
- Host: GitHub
- URL: https://github.com/remulang/proud
- Owner: RemuLang
- License: mit
- Created: 2020-01-13T11:41:56.000Z (about 6 years ago)
- Default Branch: master
- Last Pushed: 2020-01-18T15:35:15.000Z (about 6 years ago)
- Last Synced: 2024-01-29T10:32:49.477Z (about 2 years ago)
- Topics: first-class-polymorphisms, interactively-static-checking, programming-language, row-polymorphism, traits, type-inference
- Language: Python
- Homepage:
- Size: 224 KB
- Stars: 14
- Watchers: 4
- Forks: 0
- Open Issues: 4
-
Metadata Files:
- Readme: README.md
- License: LICENSE