> There are no parse or type errors to report to the user, since the UI constrains edits to those that are well-typed.
It may sound counter-intuitive, but if your editor makes it impossible to type incorrect statements, it'll be really hard to learn/use/hack. Play is an important (essential) part of learning.
That said, I think there needs to be more experimentation in this area, so I hope you're successful.
It may sound counter-intuitive, but if your editor makes it impossible to type incorrect statements, it'll be really hard to learn/use/hack. Play is an important (essential) part of learning.
That said, I think there needs to be more experimentation in this area, so I hope you're successful.