User loginNavigation |
archivesElm cross-platform functional-reactiveAs seen on the haXe list, Elm:
Comes with an interactive visual editor. Designing a languge — what theory is a must?Let's suppose I am designing a simple programming language (imperative, statically typed, C-inspired), trying to integrate into it various ideas I like and hoping to be able to combine them into something nice. I think I can implement the language (e.g. write the compiler), but I want my language to have at least some theoretical backing — I want to know that the semantics are sound, according to some definition of soundness. I do not want to dig too hard into formal PL theory — I merely want to be able to convince myself that the design is sane.
Sorry if these questions are a bit too broad — without dedicated PL design education it is unclear for me where should I start. I will appreciate greatly if someone can try to answer these in simple terms, if possible. |
Browse archivesActive forum topics |
Recent comments
1 week 1 day ago
1 week 1 day ago
1 week 1 day ago
23 weeks 3 days ago
27 weeks 5 days ago
29 weeks 2 days ago
29 weeks 2 days ago
32 weeks 1 hour ago
36 weeks 4 days ago
36 weeks 4 days ago