Hlavní navigace

Názor ke článku Scheme vs. Prolog od Rejpal - [8]: Pokud je mi známo, sami pánové Sussman...

  • 6. 2. 2008 17:52

    Rejpal (neregistrovaný)

    [8]: Pokud je mi známo, sami pánové Sussman a Steele, pokud je mi známo, o funkcích nemluví, ani se ten pojem nevyskytuje nikde v RxRS. Používá se zásadně pojem "procedura". Čestnou výjimku v RxRS tvoří ty procedury, které jsou skutečně funkce (např. "These procedures are part of every implementation that supports general real numbers; they compute the usual transcendental functions."). Taky tu teď leží přede mnou Structure and Interpretation of Computer Programs, a v kapitole 1.1.7 na straně 22 Sussman přiznává, že deklarativní zápis v současnosti dokážeme zpracovat jen ve vymezených třídách úloh, takže ta deklarativnost na úrovni základního jazyka skutečně není. :-) Deklarativní charakter mají syntax-rules, a také mohou mít deklarativní charakter rozhraní konkrétních knihoven, ale základní jazyk opravdu ne. Netuším, jak jste na to přišel.

    Zadruhé, takhle prasácky psát závorky! Fuj! ;-) Ukončovací závorka patří hned za poslední prvek, cpát to na samostatný řádek se považuje asi za tak vkusné (a "čitelné"), jako neodsazovat v Cčku nebo míchat taby a mezery v Pythonu. ;-)