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
15 weeks 1 day ago
15 weeks 1 day ago
15 weeks 1 day ago
37 weeks 2 days ago
41 weeks 4 days ago
43 weeks 1 day ago
43 weeks 1 day ago
45 weeks 6 days ago
50 weeks 3 days ago
50 weeks 4 days ago