refinement typing

types constrained by a predicate

en-GB/ɹɪˈfaɪnmənt ˈtaɪpɪŋ/
en-US/ɹɪˈfaɪnmənt ˈtaɪpɪŋ/

Κατηγορίες:

type system