Many users have experienced "my program is simple, but type system is so complex that I can't for the life of me get it to typecheck" which is .. a thing you want to reserve for only the gravest / most-pervasive problems if you want anyone to have the patience to use the thing.
I think I agree with this in the abstract, but I also think that a lot of syntax design is still unexplored, especially in the context of these restrictions
-
-
And I also think that the syntax has a very significant impact on the understandability of these systems.
-
I think the issues with syntax can't be addressed without first figuring out what semantics you want, which is still unclear in many cases.
-
Also I think you and I may mean different things by "syntax".
-
What's your definition?
-
What order the tokens go in and how they're spelled.
-
I am also including what the syntax attempts to express and how it is understood by human programmers.
-
Right, that was my expectation.
-
What do you call this extension?
- 7 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.