They didn't really get into the details, but I heard monads and other lifting constructs as a common theme. For example, ZIO Test https://zio.dev/reference/test/assertions/smart-assertions does something to rewrite assertions "smartly" so that you don't have to use a bunch of "assert*" variants. The also mention the Verse programming language, which seems to be playing with very flexible concurrency and non-determinacy constructs. For example, instead of carefully deciding whether to enable/disable buttons in a UI as state changes, you could say, "disable a button if pressing it would fail for any reason."