https://github.com/kennknowles/python-typelanguage
This module provides a type language for communicating about Python programs and values. Humans communicating to other humans, humans communicating to the computer, and even the computer communicating to humans (via type inference and run-time contract checking).
There are many projects that check contracts or types for Python in some way or another, but they all focus on checking, not communicating. As such, they miss what I like best about types.
- RPython / PyPy
- pySonar
- typechecker
- contracts
- pyDBC
Copyright 2012- Kenneth Knowles
Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the License at
http://www.apache.org/licenses/LICENSE-2.0
Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License.