🚀 go-pugleaf

Sebastian Kaliszewski <Sebastian.Kaliszewski@bez.spamu.softax.pl.usun.to> wrote:
> Adam Przybyla wrote:
>> Sebastian Kaliszewski <Sebastian.Kaliszewski@bez.spamu.softax.pl.usun.to>
>> wrote:
>>> Stanislaw Sidor wrote:
>>>> Przeciez za pare dekad soft napisza maszyny podlug specyfikacji
>>>> funkcjonalnej jakos tam sformalizowanej.
>>>> 
>>> 
>>> Tak jest dzisiaj. Program to w końcu specyfikacja funkcjonalna "jakoś
>>> tam" sformalizowana.
>>> 
>>> A jak już weźmiesz języki funkcyjne to w ogóle, ho ho!
>> ... taa, juz to widze:) Nawet MIT odstepuej w nauczaniu ze
>> Scheme w strone Pythona;-))) Bo w zalozeniach ...
> 
> Scheme jest podobnie funkcyjny jak Python.
	... hmm, moze ja czegos nie rozumiem, ale az tak bardzo bym tego nie laczyl.
czemu uwazasz, ze scheme nie jest funkcyjne? Bo ma elementy elementy jezyka
iteracyjnego? Kwestie efektow ubocznych ? BTW, zeby nie bylo zbyt oftopicznie
gdzies jest fajna stronka o Lispie w NASA, polecam, fajny kawalek historii.
Co prawda zniknal symulator sondy DeepSpace-4 napisany w CommonLisp ale 
reszta jest na miejscu.

> 
> Tu trzebaby przejś do rzeczy takich jak jakieś warianty ML (ML -- czyli Meta
> Language -- wziął się właśnie stąd, że zauważono że wystarczająco dokładna
> specyfikacja jest programem)
	... co nie znaczy, ze wygenerowanie z tego szybkiego programu jest 
mozliwe;-) I dlatego wiekszosc dalej dlubie w pradawnym C;-))) 
Poza specyficznymi tematami, ktore sa dobrze opanowane, jak np. analiza
leksykalna, gdzie taki kod moze byc bardzo szybki, o wiele lepszy
niz recznie robiony analizator. Z powazaniem
								Adam Przybyla