Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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



This 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.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: