☆ Yσɠƚԋσʂ ☆@lemmy.ml to Programmer Humor@lemmy.mlEnglish · 1 month agoTradeoffslemmy.mlimagemessage-square10fedilinkarrow-up1112arrow-down14cross-posted to: [email protected]
arrow-up1108arrow-down1imageTradeoffslemmy.ml☆ Yσɠƚԋσʂ ☆@lemmy.ml to Programmer Humor@lemmy.mlEnglish · 1 month agomessage-square10fedilinkcross-posted to: [email protected]
minus-square☆ Yσɠƚԋσʂ ☆@lemmy.mlOPlinkfedilinkarrow-up1·1 month agoI’m thinking something more along the lines of Haskell or Idris type definitions. You can use that to specify the function signature, and that becomes the contract that the function has to fulfill.
I’m thinking something more along the lines of Haskell or Idris type definitions. You can use that to specify the function signature, and that becomes the contract that the function has to fulfill.