☆ Yσɠƚԋσʂ ☆@lemmy.ml to Programmer Humor@lemmy.mlEnglish · 10 个月前Tradeoffslemmy.mlimagemessage-square9fedilinkarrow-up1110arrow-down14
arrow-up1106arrow-down1imageTradeoffslemmy.ml☆ Yσɠƚԋσʂ ☆@lemmy.ml to Programmer Humor@lemmy.mlEnglish · 10 个月前message-square9fedilink
minus-squareOriel Jutty :hhHHHAAAH:@infosec.exchangelinkfedilinkarrow-up1·10 个月前Isn’t this COBOL or 4GL or something?
minus-square☆ Yσɠƚԋσʂ ☆@lemmy.mlOPlinkfedilinkarrow-up1·10 个月前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.
Isn’t this COBOL or 4GL or something?
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.