My interests include typed functional programming, local reasoning, concurrency, distributed systems, DSLs, meta-programming, ...
I would like the comfort and safety of static type-checking to extend beyond just the application code—to config, deployment, communication, protocol evolution, storage, ...
These are currently very disconnected from application programming. The disconnects present ample opportunity for breakage, make things poorly discoverable, and, ultimately, make programming less fun.
We should work to eliminate the disconnects—make things more continuous.