Hacker News new | ask | show | jobs
by gjsman-1000 916 days ago
I just had another thought. What if you could have a bank of assertions? Like this pseudocode:

```

assertion acceptableBlastNumber (int x) { x < 25; x > 5; }

assertion acceptableBlastRadius (int x) { x > 500; x < 1000; ! (x > 750 && x < 800) }

assertion acceptableBlastAddedNumber (int x) { x < 1025; x > 505; }

public acceptableBlastAddedNumber int addBlastNumbers (acceptableBlastNumber int x, acceptableBlastRadius int y) { return x + y; }

addBlastNumbers (10, 720) => 730

addBlastNumbers (26, 750) => Exception

```

Though I suppose that this is getting really close to just... classes. It would just be a little more... inline? Less complicated because it would never hold state? Though I suppose, this would also mean your class can just focus on being an objec, and not on having all the definitions for the things inside it, because you can have an <assertion> <object> rather than just <object>.