Design by contract
Në shqip: Projektimi me kontratë
ShpjegimiSQ
Çdo funksion ka një „kontratë“: parakushtet (çfarë duhet të jetë e vërtetë kur thirret), paskushtet (çfarë garanton në fund) dhe invariantet (çfarë mbetet gjithmonë e vërtetë). Assert-et dhe tipet i bëjnë të qarta.
EnglishEN
Every function has a “contract”: preconditions (what must be true when called), postconditions (what it guarantees at the end) and invariants (what always stays true). Asserts and types make them explicit.
Si ta mendosh
Si një kontratë pune: çfarë jep secila palë dhe çfarë merr.
Lexoje në anglisht
Like a job contract: what each side gives and gets.