2 ms·
Idioms of Dynamic Languages (2018)
- 082349872349872 3y agoThis suggests that an alternative to gradual typing might be stratified typing: executable programs would consist of an untyped "control plane/soft layer" orchestrating a "data plane/hard layer" of typed components.