A fragmentary bidirectional type system as a Python library
typy is a fragmentary bidirectionally typed language embedded into Python.
The fragment system was significantly revamped just prior to the GPCE paper, so many previously running examples do not currently work. Working on it!
Subscribe to typy-announce to get occasional updates on the status of typy and the standard library:
Contact Cyrus if you're interested in contributing.
Cyrus Omar (@cyrus-)
Copyright 2016 Cyrus Omar.
typy is released under the permissive MIT License, requiring only attribution in derivative works. See LICENSE for full terms.
[1] Cyrus Omar and Jonathan Aldrich. Programmable Semantic Fragments. GPCE 2016. https://github.com/cyrus-/papers/raw/master/typy-2016/typy-2016.pdf