This is the first attempt I’ve seen to implement Functional Relational Programming (cf. Out of the Tar Pit) that looks serious! https://www.cell-lang.net/index.html

From the FAQ:

But in many cases pure computation is only a (relatively small) part of what software does. Most applications are stateful: they sit there, idle or semi-idle, and wait for some sort of input from the external world. When that happens they change their state in response (and usually also perform some I/O). Think, for example, of desktop, web or mobile application, which respond to user input, or some types of server applications, which respond to requests issued by the client across the network.

A lovely summary of this. I feel like a TON of languages and development tools try to pretend that state isn’t a thing. That there isn’t a giant array of bytes sitting around waiting to be messed with in memory somewhere, and that The System(tm) will handle everything correctly. Very prevalent in my main domain, which has been iOS / Android development for… well, too long, heh. This seems interesting to me!

This seems very promising in the smart contracts space, where everything is data structures reacting to events. I just wonder whether the code generation can be made to explain itself.

I like to imagine that DNA is somehow self-generating, self-documenting code - if only we figured out how to compile the docs 😉