Tree @8ccabdf (Download .tar.gz)
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 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.
Documentation
- Design Goals — coming soon.
- SixtyPical specification
- Literate test suite for SixtyPical execution
- Literate test suite for SixtyPical analysis
TODO
For 0.2:
- write a few more tests and clean up spec a bit.
For 0.3:
- explicitly-addressed memory locations.
- generate 6502 code (either Ophis assembler or machine code
PRG
files.) while
loops.repeat
loops.- a little demo that actually compiles and runs on a C64 emulator.
- add line number (or at least routine name) to error messages.
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
forz
, etc.)
Commit History
@8ccabdf202231da35dc11f69f080670b2012c21a
git clone https://git.catseye.tc/SixtyPical/
- Work on the spec a bit. Chris Pressey 8 years ago
- Write sufficient tests (I think) for analysis of `if`s. Chris Pressey 8 years ago
- Allow `if` analysis to pass (needs more tests.) Better styling. Chris Pressey 8 years ago
- Fix links in README. Implement Context.clone(). Chris Pressey 8 years ago
- Refactor to replace some sketchy code with code actually in use. Chris Pressey 8 years ago
- Add TODO to README, update license information. Chris Pressey 8 years ago
- Add specific error for uninit outputs. Sketch `if` analysis. Chris Pressey 8 years ago
- REBOOT the entire language & implementation as version 0.2-PRE. Chris Pressey 8 years ago
- Fix a few small typo's. Chris Pressey 8 years ago
- Added tag 0.1-2014.1230 for changeset 6490aea10e20 Chris Pressey 9 years ago