miniblog.

What's the nicest way of doing clientside form validation without annoying the user? I keep finding forms that show red errors when I write 'wilfred@' for an email or '0' for a telephone number because I haven't finished inputting the value.

I've been iterating further on how Garden shows type errors. For types in the standard library, I'm now showing "a String" but "an Int". I'm also doing basic syntax highlighting of the code excerpt. What do you think?

What types should you infer when code is invalid? In Garden, + only applies to integers. What should the type of "x" + "y" be? (1) Int: This produces cascading errors. (2) String: We've already emitted an error anyway. (3) Bottom. Opinions?