Journal entry for

I just hopped in on the Unison office hours (by accident) and Paul & Rebecca were very helpful! I asked about laziness, GUI libraries, and identity-over-versions of smaller sub-expressions. The latter is something I think sorely needed for composition of components which cross many concerns but I don’t have a coherent write-up of why.

Rebecca linked me to a few GUI libraries that I can try out, @dfreeman/tv looks especially interesting:

This little chat motivated me to continue working on my distributed FRP paper, and to try out Unison. Their page at https://www.unison.cloud/our-approach/ also looks like an interesting read.