KerML 1.0b4 FTF Avatar
  1. OMG Issue

KERML_ — isSufficient, semantics, expressiveness

  • Key: KERML_-9
  • Status: closed  
  • Source: NIST ( Mr. Conrad Bock)
  • Summary:

    Sufficient types are (Type::isSufficient=true) are described as

    A type gives conditions for what things must be in or not in its extent (sufficient and necessary conditions, respectively).

    ... the type places additional sufficiency conditions on its instances corresponding to all the necessary conditions.

    but this semantics is not math/modeled and the syntax cannot specify that only some necessary conditions are to correspond to sufficient ones.

  • Reported: KerML 1.0a1 — Sun, 16 Apr 2023 16:43 GMT
  • Disposition: Deferred — KerML 1.0b4
  • Disposition Summary:

    Defer to RTF

    The FTF considers this issue to have merit, but, due to lack of time, is deferring it to a future RTF.

  • Updated: Sat, 19 Jul 2025 18:58 GMT