Interesting talk. The “parametric linking” is just how parameterized modules (“functors”) work in OCaml. I like it.

I watched it. It gave me CORBA 3.0 moments. My conclusion: such opinionated things cannot survive for too long.

Ah, that is gRPC....

Or is it WinRT?

Maybe Apple's XPC.

Or could it be Android Binder, or Fucshia IDL?

The problem is that we cannot agree on a component model. All existing variants are too opinionated for one reason or another.