Implicit interfaces about kcl

[Peefy]

I see. But I think inheritance can be used

import crypto

schema Obj:
   id: str

schema MySchema1(Obj):
    id = crypto.uuid()
    name: str

schema MySchema2(Obj):
    displayName: str

collectIDs = lambda objs: [Obj] {
    ret = [v.id for v in objs]
}

res1 = collectIDs([MySchema1 {name = ""}])
res2 = collectIDs([MySchema2 {id = "id", displayName = ""}])

I understand duck types like Go and Typescript, which can be assigned values as long as they have a partial order relationship rather than an explicit declaration. KCL considered this feature at the beginning of its design, but still adopts strict type inheritance and checking for types defined using the schema keyword, because in the schema, besides attributes, other logic can be defined. In addition, KCL also has the protocol keyword, which is a more stringent type of schema that only allows attributes to be defined within it. Perhaps this semantics can be extended.

schema ASchema:
    id: str
    name: str

protocol ASchemaProtocol:
    id: str

a: ASchemaProtocol = ASchema {....}

[steeling]

oh nice, yes this works great, thanks!