https://futureofcoding.org/ logo
#linking-together
Title
# linking-together
g

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 https://podcasts.apple.com/us/podcast/82-the-future-of-programming/id1531666706?i=1000619939421
w

wtaysom

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