Our great sponsors
-
berry
A ultra-lightweight embedded scripting language optimized for microcontrollers. (by berry-lang)
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
If like me you like to look at examples of code to get a feel for the language, take a look at https://github.com/berry-lang/berry/tree/master/examples
I've been thinking along these lines but more 'strongly validated' than statically typed in the sense that you'd be better off being able to load the entire config and then produce a list of problems (and should be able to offer good editor support if done correctly).
Though https://dhall-lang.org/ demonstrates that you can statically type quite a lot of configuration to great advantage, which appears to be programmatically embeddable in multiple languages per https://docs.dhall-lang.org/howtos/How-to-integrate-Dhall.ht...
https://github.com/civboot/civlua/tree/main/metaty
microcontroller options are interesting, also Forths (https://github.com/tabemann/zeptoforth)
It's not a tutorial by any means, but the openwrt project has been working on ucode[0].
Tiny JavaScript-like interpreter. It's pretty small. You might be able to glean insight.
Presumably the source for this project would be insightful as well. It appears like there is more code for berry script compared to ucode though.
[0]: https://github.com/jow-/ucode