3 ms·
One question about a thing I'm not really sure about w.r.t. Lamdu, from quickly skimming the page and the thread: is it possible to draft something syntacticall
by akavel 11y ago
One question about a thing I'm not really sure about w.r.t. Lamdu, from quickly skimming the page and the thread: is it possible to draft something syntactically and semantically incorrect first, and only start making it correct later?
- Peaker 11y agoOf 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).