hvrosen
12/31/2021, 9:19 PMIvan Reese
Ivan Reese
wtaysom
01/02/2022, 4:21 AMhvrosen
01/02/2022, 11:39 AMKonrad Hinsen
01/02/2022, 5:46 PMKonrad Hinsen
01/03/2022, 8:13 AMNick Smith
01/03/2022, 9:58 AMdnmfarrell
01/03/2022, 3:41 PMhvrosen
01/04/2022, 2:28 PMstatecharts can be generalized into a form that is much more friendly to language design, doing away with the notion of ‘host language’ entirelyI want to be able to explore how the design turns out in practical usage. Can it get close to zero overhead composability? Can it help people like me who feel an urge to program but cannot handle complexity well? etc. Success criteria: I can • do real webpage/app construction using it. • observe its dx properties • concretize the underlying explicit state model
hvrosen
01/04/2022, 4:30 PMBoth Val and Nat are situated in an under-explored area of language design that is to the right of traditional PLT, assuming a spectrum (C→HL) from compilers/computers (C) to the left, and human language (HL) to the right.While I’m not going to argue the case here, Val and Nat are based on a hunch of mine that HL’s are much more regular and mathematically beautiful than they are typically given credit for**; that under the surface there are lots of regularities/principles/features potentially useful in language design; the point being that those features have the empowering property of built-in support in the human language capacity (HLC). That’s a pretty intriguing property. Val is situated a bit to the right of traditional programming languages, in the middle of the C→HL scale and Nat further to the right. Both build on the ideas of deep syntax (a system of term structures with regularities that maps to a perceiver model). • Val exposes deep syntax as its syntactic top-level, much as Prolog uses it’s terms and LISP its s-expressions; • Nat maps deep syntax into tokenized structures reminiscent of word classes in human languages. Besides being located in an immensely fun and non-boring area of exploration; • the Val language might enable a beginning exploration of the impacts of deep syntax on dx of programming languages. • Nat might offer the language designer a hands-on way to peek under the hood of human languages, maybe finding features that can be borrowed etc. • Doing design work on Val and Nat might give opportunity to try out and extract principles for mapping out features of the HLC. --- ** Actually, under their irregular surface, I propose that HL’s are much more regular and mathematically clean than most current programming languages, if coverage is taken into account. Furthermore, I propose that language designers needs/perspective is well suited for appreciating/uncovering/exploiting such regularities.
Konrad Hinsen
01/05/2022, 1:31 PM