IIUC:
val myPage = 'html()(
'head(),'div()("I wrote this page.")
)
It will be compiled correctly.
It is not problem for json, it is not big problem for html(Html has a very flexible structure).
But for many dsl which have a lot of context dependent grammar.(sql,xml[with xsd],etc)
Static type checking can highly improve usability.
:))))
Sorry, I will not prove you that
- static type cheking
- auto code completion
is a very good
:))
If you are in the camp of dynamic schemes you just do not have such problems 