This page cannot be shown here. You can still read it on the original site — the toolbar below keeps your place in the directory.
Most people think only in terms of the dichotomy between Nominal-Manifest-Static-Strong and Structural-Inferred-Dynamic-Weak in any given discussion of programming language type system design. And it is exhausting. (from what does strong and weak typing mean to you ) Most individual distinction are a scale, not a strict yes/no checkbox. ( inspiration ) Typed ⟷ Untyped (Typing Modality/Presence) A…
Comments
Nothing yet. Say the first thing.
Sign in to join the conversation.