akneni / typethon

Python library that adds a type system onto python

Typethon

Typethon is a simple library that adds type checking into native python

Usage

from typethon import *
x = Int | 23
y = List[Int] | [1, 2, 3, 4]