🚀 go-pugleaf

Stanislaw: [pl.comp.lang.c: Thu, 23 Oct 1997 08:14:14 +0100]
: Robert Maron wrote:
: > z punktu widzenia inzynierii oprogramowania C++ jest tragiczny -
: Mozna prosic o rozwiniecie???
ponizej

: > bardzo
: > latwo sie w nim robi bledy, jest trudny do specyfikowania ze wzgledu
: Jakie? Jakich da sie uniknac?

* dealokacja pamieci
* proste syntaktyczne, ktore trudno zlapac

brak porzadnego systemu typow (szczegolnie dla obiektow, ten co jest to
parodia - wymaga przetypowywania), brak porzadnych struktur danych

: > na
: > mnogosc konstrukcji, ...

: Specyfikuje sie w jezyku wyzszego poziomu niz C++ (zaleznie od zalozen:
: jezyk modelu obiektowego - OMT, UML; jezyk aksjomatyczny, algebraiczny 
: - ale nie w samym jezyku programowania).

ale to jest nad algebra jezyka

: (Moze to pytanie na inny watek, ale co tam ;-)
: Czy ktos uzywa jezykow funkcyjnych w firmach produkujacych
: oprogramowanie?
: Jak wyglada efektywnosc (czasowa/pamieciowa) oprogramowania
: wygenerowanego
: z jezyka funkcyjnego?

sorry za offtopic, ew. kontynuacja to juz moze na priv...

obejrzyj najnowszy ocaml - porzadny generator kodu maszynowego na wiekszosc
znanych maszyn (daje kod predkosci C) + jesli wolisz przenosny pkod;
interesujace zarzadzanie pamiecia ma tez niejaki ml-kit with regions - w
skrocie: gc w realtime

: Zdaje sie, ze zastosowanie tych jezykow ogranicza sie niestety tylko
: do akademikow. :-(

a to mozliwe, bo one sa trudne do nauczenia;
ale widzialem jakies projekty komercyjne w tym, stosuja to tam, gdzie wazne
jest, zeby program _byl_ poprawny :-))

pozdrawiam,
robert
-- 
rob...@mimuw.edu.pl                  http://zls.mimuw.edu.pl/~robmar/