https://github.com/cyrus-/typy
A fragmentary bidirectional type system as a Python library
https://github.com/cyrus-/typy
algebraic-data-types functional-language pattern-matching programming-language python
Last synced: 4 months ago
JSON representation
A fragmentary bidirectional type system as a Python library
- Host: GitHub
- URL: https://github.com/cyrus-/typy
- Owner: cyrus-
- License: mit
- Created: 2016-03-23T05:12:25.000Z (almost 10 years ago)
- Default Branch: typy
- Last Pushed: 2018-10-29T18:57:16.000Z (about 7 years ago)
- Last Synced: 2025-09-11T11:24:24.024Z (5 months ago)
- Topics: algebraic-data-types, functional-language, pattern-matching, programming-language, python
- Language: Python
- Homepage:
- Size: 609 KB
- Stars: 52
- Watchers: 5
- Forks: 1
- Open Issues: 12
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
typy
====
typy is a fragmentary bidirectionally typed language embedded into Python.
Information
===========
* The typy.std library implements a number of useful semantic fragments.
* See tests directory for examples.
* See Omar and Aldrich, GPCE 2016 [1] for a description of how typy is implemented.
Project Status and Contributions
================================
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:
https://groups.google.com/d/forum/typy-announce
* Contact Cyrus if you're interested in contributing.
Contributors
============
Cyrus Omar (@cyrus-)
License
=======
Copyright 2016 Cyrus Omar.
typy is released under the permissive MIT License, requiring only attribution in derivative works. See LICENSE for full terms.
References
==========
[1] Cyrus Omar and Jonathan Aldrich. Programmable Semantic Fragments. GPCE 2016. https://github.com/cyrus-/papers/raw/master/typy-2016/typy-2016.pdf