Leonard Ritter on Nostr: think i got a pretty good sense now of what inferred/implicit typing and explicit ...
think i got a pretty good sense now of what inferred/implicit typing and explicit typing are for:
explicit typing is for outward facing components; i.e. if you expect other users to interface with them, they need to have a type signature / schema.
implicit typing is for interior components; you don't need to pin down the minutiae of their interactions, which are in constant flux anyway as the implementation adapts.
a language that does only one side of this well is incomplete:
explicit typing is for outward facing components; i.e. if you expect other users to interface with them, they need to have a type signature / schema.
implicit typing is for interior components; you don't need to pin down the minutiae of their interactions, which are in constant flux anyway as the implementation adapts.
a language that does only one side of this well is incomplete: