Pymich

Build Tezos smart contracts using the programming language with the largest developer community.

The goal of this project is to build a compiler for a Tezos smart contract language that is a subset of the Python language such that when the smart contract is interpreted in CPython, it outputs the same results as when its compiled-Michelson is interpreted in the Michelson VM.

That is, all Python code is not valid Python, but all Pymich code is valid Python and guarantees the same behavior. This allows to leverage the MyPy typechecker and IDE integration, autocomplete, Python test tooling (test runner, code coverage…), go to definition and everything that makes up a good Python development environment.

Contents:

• Installation
  • Pip
  • Docker
  • Git
• Getting Started
  • Contract Structure
  • Compiling the contract
  • Appendix
• Supported Python subset
  • Immutable data structures
  • Closures
  • Closures
  • Inter contract calls
  • Exceptions
  • Python unsupported by Pymich
• Pymich types
  • Base types
  • Generic types
  • Grammar
  • API
• Pymich CLI
  • Compiling
• Testing
• Tooling
• Examples
  • FA1.2
  • FA2 multi-asset
  • Auction
  • Decentralized Exchange
  • Election
  • Escrow
  • Lottery
  • Notarization
  • Upgradable contract
  • Visitor
• Compiler architecture
  • High level architecture
  • Pymich Intermediate-Representation
  • Frontend
  • Middlend
  • Backend
  • Error Handling