☆ Yσɠƚԋσʂ ☆@lemmy.ml to Programmer Humor@lemmy.mlEnglish · 2 years agoTradeoffslemmy.mlexternal-linkmessage-square9linkfedilinkarrow-up1113arrow-down14cross-posted to: [email protected]
arrow-up1109arrow-down1external-linkTradeoffslemmy.ml☆ Yσɠƚԋσʂ ☆@lemmy.ml to Programmer Humor@lemmy.mlEnglish · 2 years agomessage-square9linkfedilinkcross-posted to: [email protected]
minus-squareOriel Jutty :hhHHHAAAH:@infosec.exchangelinkfedilinkarrow-up1·2 years agoIsn’t this COBOL or 4GL or something?
minus-square☆ Yσɠƚԋσʂ ☆@lemmy.mlOPlinkfedilinkarrow-up1·2 years 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.
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.