[–]▶ 4bddf5 (1) No.1045>>1070 >>1073 >>1802 [Watch Thread][Show All Posts]
Does anyone know the name of a programming language with constraints/contracts that are fulfilled imperatively?
▶ 8fbf10 (2) No.1048>>1050
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.
▶ fbca64 (1) 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
▶ 8fbf10 (2) 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.
▶ b99131 (1) No.1055>>1816
▶ ea90e9 (1) No.1070
>>1045 (OP)>fulfilled imperativelyWhat does that even mean?
▶ 9c6bcf (1) No.1073
>>1045 (OP)I 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.
▶ 7ce2a9 (1) No.1802
>>1045 (OP)Ada, Eiffel, D, Cobra, I believe.
No idea what you mean with fullfilled.
▶ e7c637 (1) No.1816
>>1055this.
IIRC they expanded the contract system in the 2012 version of the language.
▶ e9ea39 (1) 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.