3 ms·
> It would be much more interesting to see a language which experiments with what is fundamentally representable You might checkout my project, Confetti [1]. I
by hgs3 1y ago
> It would be much more interesting to see a language which experiments with what is fundamentally representable
You might checkout my project, Confetti [1]. I conceived of it as Unix configuration files with the flexibility of S-expressions. I think the examples page on the website shows interesting use cases. It doesn't have a formal execution model, however, for that you might checkout Tcl or Lua.
[1] https://confetti.hgs3.me/ https://confetti.hgs3.me/
- cdaringe 1y agoWhy is typeless a positive trait? Just due to the simplicity of the matter? What are the sharp edges?
- hgs3 1y agoIn practice, there are still types, they are just validated by your application. I didn’t want Confetti itself to make assumptions. I wanted to give you the freedom to define your own custom types and keywords, like “on” and “off”, or even tri-states like “yes”, “no”, “maybe”. The problem with mandatory keywords, like “true” and “false”, is they box you into the English language. And which data types should be intrinsic is arbitrary, for example, TOML has data types for date and time, but JSON does not [1]. Where do you draw the line? Confetti let’s you decide. You might enjoy reading this take on the subject [2]. [1] https://toml.io/en/v1.0.0#offset-date-time https://toml.io/en/v1.0.0#offset-date-time [2] https://github.com/madmurphy/libconfini/wiki/An-INI-critique-of-TOML https://github.com/madmurphy/libconfini/wiki/An-INI-critique...