this post was submitted on 26 Feb 2025
101 points (96.3% liked)

Programmer Humor

34449 readers
217 users here now

Post funny things about programming here! (Or just rant about your favourite programming language.)

Rules:

founded 5 years ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[โ€“] barubary@infosec.exchange 1 points 2 weeks ago (1 children)

Isn't this COBOL or 4GL or something?

[โ€“] yogthos@lemmy.ml 1 points 2 weeks ago

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.