2014-03-31 22:31:30 +00:00
|
|
|
SixtyPical
|
|
|
|
|
==========
|
|
|
|
|
|
2014-04-01 12:01:27 +00:00
|
|
|
SixtyPical is a very low-level programming language, similar to 6502 assembly,
|
2015-10-16 08:30:24 +00:00
|
|
|
with static analysis through abstract interpretation.
|
2014-04-01 12:01:27 +00:00
|
|
|
|
2015-10-16 08:30:24 +00:00
|
|
|
In practice, this means it catches things like
|
2014-04-01 12:01:27 +00:00
|
|
|
|
2015-10-16 08:30:24 +00:00
|
|
|
* you forgot to clear carry before adding something to the accumulator
|
|
|
|
|
* a subroutine that you call trashes a register you thought was preserved
|
2014-04-04 17:27:51 +00:00
|
|
|
|
2015-10-16 08:30:24 +00:00
|
|
|
and suchlike.
|
2014-04-11 21:50:03 +00:00
|
|
|
|
2015-10-16 08:30:24 +00:00
|
|
|
It is a **work in progress**, currently at the **proof-of-concept** stage.
|
2014-04-12 11:55:33 +00:00
|
|
|
|
2015-10-16 08:30:24 +00:00
|
|
|
The current version is 0.2-PRE. It is a complete reboot of SixtyPical 0.1.
|
|
|
|
|
The reference implementation is written in Python instead of Haskell.
|
|
|
|
|
The language is much simpler — we're going to try to get the analysis
|
|
|
|
|
completely right before adding more sophisticated and useful features.
|
2014-04-12 11:55:33 +00:00
|
|
|
|
2015-10-16 09:00:51 +00:00
|
|
|
Documentation
|
|
|
|
|
-------------
|
2014-04-01 13:33:57 +00:00
|
|
|
|
2015-10-16 09:00:51 +00:00
|
|
|
* Design Goals — coming soon.
|
2015-10-16 08:30:24 +00:00
|
|
|
* [doc/SixtyPical.md](SixtyPical.md) — the spec
|
|
|
|
|
* [tests/SixtyPical Execution.md](SixtyPical Execution.md) —
|
|
|
|
|
literate test suite for running SixtyPical programs
|
|
|
|
|
* [tests/SixtyPical Analysis.md](SixtyPical Analysis.md) —
|
|
|
|
|
literate test suite for statically analyzing SixtyPical programs
|
2015-10-16 09:00:51 +00:00
|
|
|
|
|
|
|
|
TODO
|
|
|
|
|
----
|
|
|
|
|
|
|
|
|
|
For 0.2:
|
|
|
|
|
|
|
|
|
|
* analyze `if` correctly.
|
|
|
|
|
|
|
|
|
|
For 0.3:
|
|
|
|
|
|
|
|
|
|
* explicitly-addressed memory locations.
|
|
|
|
|
* generate 6502 code (either Ophis assembler or machine code `PRG` files.)
|
|
|
|
|
* `while` loops.
|
|
|
|
|
* a little demo that actually compiles and runs on a C64 emulator.
|
|
|
|
|
|
|
|
|
|
For 0.4 and/or beyond:
|
|
|
|
|
|
|
|
|
|
* hexadecimal literals.
|
|
|
|
|
* `word` type.
|
|
|
|
|
* `table` type constructor and indirect addressing.
|
|
|
|
|
* `if not`.
|
|
|
|
|
* 6502-mnemonic aliases (`sec`, `clc`)
|
|
|
|
|
* other handy aliases (`eq` for `z`, etc.)
|
