# linking-together

Greg Bylenok

09/18/2023, 1:39 PM
This podcast may be of interest to this group: "The Future of Programming" by Bruce Eckel and James Ward. What does the future of programming look like? In their opinion: • static typing over dynamic typing • IDE support is a must • the happy path is the resource efficient path • transparent concurrency • transparently distributed systems • embedded DSLs


09/18/2023, 4:51 PM
Strikes me as a better present: as in what we do now but less sucky, though to really get transparent concurrency and distribution — that certainly feels like future tech. I'm going to have to listen.
They didn't really get into the details, but I heard monads and other lifting constructs as a common theme. For example, ZIO Test 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."