https://github.com/davidfstr/plint

A Python type checker and linter that just works.
https://github.com/davidfstr/plint

python type-checker type-system

Last synced: about 1 month ago
JSON representation

A Python type checker and linter that just works.

• Host: GitHub
• URL: https://github.com/davidfstr/plint
• Owner: davidfstr
• Created: 2015-08-03T04:08:23.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2017-12-16T21:41:10.000Z (about 7 years ago)
• Last Synced: 2024-04-16T02:16:31.898Z (8 months ago)
• Topics: python, type-checker, type-system
• Language: OCaml
• Size: 48.8 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Plint

A Python type checker and linter that just works.

Plint's main objective is to find any misspelled function, module, method, or class names in your Python program *without* requiring you to make any up-front changes to it, such as adding type annotations.

## Status

Development on Plint has been **suspended**. Consider using the [mypy] type checker instead.

For those interested in the design of the type system used by Plint, please see the [wiki].

[mypy]: http://mypy-lang.org/

[wiki]: https://github.com/davidfstr/plint/wiki

## Requirements

* Python 3.4.x

    * Download from [python.org](https://www.python.org/downloads/).

* OPAM

    * On OS X, run `brew install opam` to get OPAM.

* Make

    * On OS X, installed by default.

With OPAM, install the remaining dependencies:

```

opam switch 4.02.1     # OCaml 4.02.1

eval `opam config env`

opam install ocamlfind # ocamlfind 1.5.5

opam install ounit     # OUnit 2.0.0

opam install batteries # Batteries 2.3.1

opam install yojson    # yojson 1.2.1

opam install core      # core 112.35.01

```

## Running the unit tests

```

make test

```

## License

Copyright (c) 2015 David Foster