write, compile, check, read, repeat