Snip
|
Many languages have an underlying virtual machin... more portable and convenient substrate for com... interpretation. For language research it’s use... to generate custom VMs and other language tools ...
|
---|
Categories |
|
---|
For Snip |
loading snip actions ... |
---|---|
For Page |
loading url actions ... |
Many languages have an underlying virtual machine (VM) to provide a more portable and convenient substrate for compilation or interpretation. For language research it’s useful to be able to generate custom VMs and other language tools for different languages. Which raises the question: what’s the appropriate language for writing experimental languages?
What I have in mind is slightly more than just VMs, and more a platform for experimenting with language design for novel environments such as sensor-driven systems. As well as a runtime, this requires the ability to parse, to represent and evaluate type and semantic rules, and to provide a general framework for computation that can then be exposed into a target language as constructs, types and so forth. What’s the right language in which to do all this?
HTML |
<p>Many lan­guages have an under­ly­ing vir­tual machine (<span class="caps">VM</span>) to provide a more port­able and con­veni­ent sub­strate for com­pil­a­tion or inter­pret­a­tion. For lan­guage research it’s use­ful to be able to gen­er­ate cus­tom VMs and other lan­guage tools for dif­fer­ent lan­guages. Which raises the ques­tion: what’s the appro­pri­ate lan­guage for writ­ing exper­i­mental languages?</p> <p><span id="more-448"></span></p> <p>What I have in mind is slightly more than just VMs, and more a plat­form for exper­i­ment­ing with lan­guage design for novel envir­on­ments such as sensor-driven sys­tems. As well as a runtime, this requires the abil­ity to parse, to rep­res­ent and eval­u­ate type and semantic rules, and to provide a gen­eral frame­work for com­pu­ta­tion that can then be exposed into a tar­get lan­guage as con­structs, types and so forth. What’s the right lan­guage in which to do all this?</p> |
---|