PHP posiada narzędzia do stworzenia fundamentów pod programowanie kontraktowe. Wystarczy tylko użyć klas proxy, a można było by pisać:

/**
* Returns comments amount
*
* @assert-in($articleId) is_integer($articleId)
* @assert-out($result) $result > 0
*/
public function getCommentsAmount( $articleId )
{
return rand(0,1000);
}

A jest to tylko podejście z wykorzystaniem metod magicznych. Możemy przecież jawnie deklarować warunki. Można? Można.

Mając sposobność implementacji w PHP programowania kontraktowego wydaje się wręcz żartem to co próbuje nam wepchnąć Zend z nową wersją frameworka. Cieszę się, że starają dobrze poskładać swoje oprogramowanie, ale niech nie udają, że to ma coś wspólnego z programowaniem kontraktowym. Mogą sobie to nazwać jakimś super skrótem DNA (Dobrze Napisana Aplikacja) jeśli mają potrzebę, by sobie szpanować wśród społeczności. Określenie DbC jest nawet znakiem towarym, wiąże się bezpośrednio z Eiffel, wystarczy sprawdzić jak jego twórca określił jego definicję. Nie można sobie dowolnie interpretować wzorców projektowych czy architektur oprogramowania, są jakieś granice. To programowanie nie poezja.

Dzięki za ciekawy wpis. Widzę, że poruszasz interesujące tematy, będę zaglądał częściej. Pozdrawiam!