3 ms·
Hi Kragen, for a long time, I have been pondenring about a high-level 'programming' languages about structured data. It is by far finished, but I am attempting
by fjfaase 5y ago
Hi Kragen,
for a long time, I have been pondenring about a high-level 'programming' languages about structured data. It is by far finished, but I am attempting to deal with the problem of different memory models from the other end: starting with an ideal model trying to abstract from implementations.
I have not address the problem of transactions and cooperation yet. Often the problem with implementation of data models start becoming 'interesting' when several actors at the same time are querying and changing it, especially when the dimension of distribution is added.
https://github.com/FransFaase/DataLang https://github.com/FransFaase/DataLang
- kragen 5y agoThis is fascinating! It looks like it's inspired by linear (or affine?) typing, but isn't quite the same thing? It's definitely true that concurrency is a common source of such complications. Serialization is another one.