Rationalize binder semantics (cast vs test vs refine)

BosqueLanguage / BosqueCore

Other

144 stars 5 forks source link

Closed marron-at-work closed 1 month ago

marron-at-work commented 1 month ago

Binders and @? operator semantics cleanup

Allow none/some/nothing/ok/err to do strong type refinement and unpack in the case of something/ok/err
operations cast to specified type so depending on needs there is a good option