> On Feb 7, 2019, at 7:32 PM, Neil Van Dyke <n...@neilvandyke.org> wrote:
>
> but it might just be easier to just get a professorship instead (also
> nontrivial). :)
Absolutely.
* How many academic PL experts do you know that design languages?
* How many of their languages reach an audience of more than 7?
* How often do they repeat this?
While there’re clearly some academic PL researchers who do all of this, the de
facto careerization of the research job has pushed people to where the glory
is:
- papers
- more papers
- yet more papers
— and as many citations as possible.
So to become a professor with a high citation count, you must follow the herd
and toe the consensus line. And what is the consensus line at the moment:
- verification via proof assistants
— verification via model checking
— verification of static properties
— synthesis, and
— the desperate need to apply ML-AI to PL (and I don’t mean OCAML here)
In short, there really aren’t many experts. Most of these experts probably
focus on general-purpose language design not DSL design.
And all of this despite the fact you can easily identify 2,500 publications on
DSLs [see the annotated bibliography of va Deursen et al. from 2000 and the
survey of Mernik et al. from 2005].
;; - - -
Now having said that, I would also provide some food for thought since y’all
live in the Racket universe:
— match is a DSL, most of its patterns aren’t meaningful outside of match
— syntax pattern variables is a DSL, an extremely small one
— syntax-case patterns is a DSL that interacts with the DSL on syntax pattern
variables
— syntax-case templates is a DSL different from the patterns that interacts
with the DSL of syntax pattern variables
— syntax-parse is a different DSL
— . . . and up the scale
— #lang info is a DSL
— #lang datalog is yet a different kind of DSL
While a course on compilers may help — parsing, static checking, code
generation, and optimization are useful ideas — how well do they apply above.
OK. Back to work — Matthias
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
