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 (over 8 years ago)
• Default Branch: typy
• Last Pushed: 2018-10-29T18:57:16.000Z (over 5 years ago)
• Last Synced: 2024-03-20T13:14:20.809Z (4 months ago)
• Topics: algebraic-data-types, functional-language, pattern-matching, programming-language, python
• Language: Python
• Homepage:
• Size: 609 KB
• Stars: 53
• Watchers: 6
• Forks: 1
• Open Issues: 12

Lists

• awesome-functional-python - Tydy - "Tydy is a statically typed, functional-first programming language in the ML tradition. tydy is an implementation of Tydy as a Python library." (Awesome Functional Python / Languages)