A novel, compiled programming language with a strong and static type system, parametric polymorphism and other features, developed as my master thesis.
-
Updated
Jul 7, 2021 - Python
A novel, compiled programming language with a strong and static type system, parametric polymorphism and other features, developed as my master thesis.
Materials of the talk "Typify This"
Python module to enforce strong typing at runtime
🦩 Object-oriented static-typing language
(Concept) Invisible static type checker for JavaScript
This project contains the front-end part of the R3play back-end for displaying the information about movies written with Angular
Runtime object parsing and validation with static TypeScript typing.
Data structures in TypeScript type system. A Map that maps types to types! Types are in the trees!
Supports enforcing type annotations on functions and coroutines. Complete support for types from typing module.
Simple and powerful programming language with type inference
Enforce annotations in your python code
Add a description, image, and links to the static-typing topic page so that developers can more easily learn about it.
To associate your repository with the static-typing topic, visit your repo's landing page and select "manage topics."