SixtyPical

SixtyPical is a very low-level programming language, similar to 6502 assembly, with static analysis through abstract interpretation.

In practice, this means it catches things like

• you forgot to clear carry before adding something to the accumulator
• a subroutine that you call trashes a register you thought was preserved

and suchlike.

It is a work in progress, currently at the proof-of-concept stage.

The current released version of SixtyPical is 0.4. The current development version of SixtyPical, unreleased as of this writing, is 0.5-PRE.

Documentation

• Design Goals — coming soon.
• SixtyPical specification
• SixtyPical history
• Literate test suite for SixtyPical syntax
• Literate test suite for SixtyPical execution
• Literate test suite for SixtyPical analysis
• Literate test suite for SixtyPical compilation
• 6502 Opcodes used/not used in SixtyPical

TODO

For 0.5:

• table type constructor and indirect addressing.

For 0.6:

• hexadecimal literals.
• source code comments.

For 0.7:

• word type.

For 0.8:

• vector type.

For 0.9:

• add line number (or at least routine name) to error messages.
• 6502-mnemonic aliases (sec, clc)
• other handy aliases (eq for z, etc.)