Structural type inference for python (proof of concept)
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.svn
output/logs
paper
src
README.md
demo.py
infer.py
test.sh

README.md

Python Type Inference

General Usage

  • $ jython infer.py <source_code.py>
  • eg: $ jython main.py tests/src/functions.py
  • The output will go in logs/pytown.log

The program's actual content is under /src/.

If you're interested in structural type inference (type inference of duck typing), please contact me at jayrbolton@gmail.com