Of course you can write something incorrect first. But it cannot be syntactically incorrect, because all manipulations are valid ast transformations. You can l

Of course you can write something incorrect first. But it cannot be syntactically incorrect, because all manipulations are valid ast transformations. You can leave a "hole" in the structure where you're not finished yet. You can have type errors but they are nicely localized (despite having global type inference).