🚀 go-pugleaf

On Sun, 13 Nov 2005 21:52:15 +0100, "Jan Kowalski" <jan@kowalski.pl>
wrote:

>> Zaraz, przecież ten Oz jest raczej językiem implementacji.
>> Do modelowania służą notacje takie jak B, Z czy notacja
>> Vienna Development Method.
>
>Zależy jak spojrzeć na modelowanie. Ja miałem na mysli bardziej sytuacje, w
>ktorej moge sobie tworzyc szkielet aplikacji za pomocą czegoś w rodzaju
>pseudo-kodu, pozwalającego na łączenie róznych paradygmatów (obiektowowści,
>funkcyjności, progr. logicznego). Rozumiem że Oz ze środowiskiem Mozart
>tworzą PEŁNOWARTOSCIOWE środowisko programistyczne, z maszyną wirtualna,
>kompilacją do bajtkodu itp. Tyle że Oz wydaje się na tyle klarownym,
>modelowym językiem  - że myślalem o
>używaniu go jako języka do modelowania.

Modelowanie mowi "co" a nei mowi "jak". Programowanie wymaga
powiedenia "jak", przy czym jajeczko nie moze byc czesciowo
nieswieze - jak sie pisze w Mozarcie czy Prologu czy czymkolwiek, to
trzeba dosyc dokladnie napisac "jak", praktycznie rzecz biorac ze
wszystkimi szczegolami. Nie da sie w jezyku programowania zapisac
"pseudokodu". Te szczegoly dosyc dokladnie zaslaniaja aspekt "co".

A.L.