621e5b No.1045
Does anyone know the name of a programming language with constraints/contracts that are fulfilled imperatively?
f5bb6e No.1048
i don't even know what that means.
had a look at the wikipedia page for DbC and it set off my bullshit alarm so I closed it.
478e2f No.1050
>>1048If you're not going to add anything constructive, don't post. We don't care about what you don't know.
Polite sage
f5bb6e No.1052
>1050
If you're not going to add anything constructive, don't post. We don't care about your sage.
polite bump because thread is at the top anyway, dumbass.
d864bf No.1055
96a440 No.1070
>>1045>fulfilled imperativelyWhat does that even mean?
d0c2cf No.1073
>>1045I remember there was a language on a 'new/obscure programming languages' thread that did something like that. I think the name was vaguely pirate themed but the only thing google gives me when I search 'pirate programming language' is R and a bunch of tpb links.
366c20 No.1802
>>1045Ada, Eiffel, D, Cobra, I believe.
No idea what you mean with fullfilled.
fca65c No.1816
>>1055this.
IIRC they expanded the contract system in the 2012 version of the language.
241746 No.3215
Eiffel
There's entire MOOCs for it that are based on programming by contracts
http://se.inf.ethz.ch/courses/2012b_fall/eprog/english_index.html
https://www.edx.org/course/computing-art-magic-science-ethx-cams-2x#!
Airbus uses Eiffel, some other airlines and military do too. Personally OOP is pure shit to me but if you like it then Eiffel is the way to go.