Gradual typing has emerged as a compelling approach to reconcile the strengths of static and dynamic type systems. By permitting programmers to incrementally annotate code, it enables early detection ...

From a more low-level programming perspective as inspired by C code and kin, the use of directly shared resources makes more sense, and can be argued to have performance benefits.