eGospodarka.pl
eGospodarka.pl poleca

eGospodarka.plGrupypl.comp.programmingMakra w jezyku SchemeRe: Makra w jezyku Scheme
  • Data: 2014-11-11 01:48:51
    Temat: Re: Makra w jezyku Scheme
    Od: g...@g...com szukaj wiadomości tego autora
    [ pokaż wszystkie nagłówki ]

    W dniu poniedziałek, 10 listopada 2014 12:30:08 UTC+1 użytkownik firr napisał:

    > c nie jest zbyt jednorodny, ale z tego co powyzej to owo scheme tez nie wyglada mi
    wcale na cos malego i jednorodnego; z tym liczeniem slow kluczowych to przesada w c
    wiekszosc tych slow to nazwy typow (ktore tak naprawde mozna by uznac za typy
    blibioteczne choc wbudowane),
    > reszta to glownie chyba 3 slowa if for i return

    no, jest jeszcze break, continue, goto, while, do, switch, case, default.
    ale zgoda, to nie jest najwazniejsze.
    scheme nie dostarcza takich rzeczy, jak for, while, do, switch czy return,
    ale dostarcza srodkow, w oparciu o ktore mozna sobie zdefiniowac takie
    wyrazenia, a takze wiele innych

    zgoda, ze nie jest to calkowicie minimalistyczne. calkowicie minimalistyczny
    jest rachunek lambda, ale dla wielu zastosowan jest niepratyczny, dlatego
    warto go rozszerzyc przynajmniej o arytmetyke, ifa i wartosci boolowskie.

    ostatnio przerabiam ksiazke "Handbook of Practical Logic and
    Automated Reasoning" Johna Harrisona, ktory wprowadza w niej przyklady
    w jakims wariancie MLa (chyba Caml, ale moge sie mylic). Piszac implementacje
    roznych rachunkow logicznych, musi naprawde sporo miejsca poswiecic zagadnieniu
    parsowania, natomiast jezeli przyjmie sie konwencje stosowania "w pelni
    onawiasowanej notacji polskiej", sprawa staje sie trywialna (zas zysk
    wynikajacy ze wprowadzenia wlasnej smiesznej notacji jest zaden)
    [inna sprawa, ze ML ma naprawde fajny system typow, ktorego troche
    w Schemie brakuje]

    > - ilosc sluw kluczowych nie bardzo sie ma do architektury ducha jezyka ktora w
    przypadku c jest mz bardzo skomplikowana - 'architektura ducha' scheme mi wyglada z
    grubsza ani na wyraznie mniej skomplikowana ani na wyraznie bardziej, moge powiedziec
    ze te niektore nieco bardziej skomplikowane wyrazenia te np gdzie wchodzi juz ta
    lambda define i dalej nie wygladaja mi wcale za naturalnie

    Scheme jest duzo bardziej abstrakcyjny od C. Intencja stojaca za
    jezykiem C jest taka, zeby miec duza kontrole nad tym, co robi
    komputer. Intencja stojaca za Schemem jest zupelnie odwrotna
    -- przede wszystkim interesuje nas to, jak najlepiej opisac
    dany problem.

    > - nie wiem czy chce w to wszystko wnikac, mam ciagle problem z czasem i energią. to
    zo mnie teraz glownie interesuje to piksele (zwane przezemnie programistycznym
    piachem)

    a udalo Ci sie w ostatnim czasie opracowac jakies nowe ciekawe rzeczy?

Podziel się

Poleć ten post znajomemu poleć

Wydrukuj ten post drukuj


Następne wpisy z tego wątku

Najnowsze wątki z tej grupy


Najnowsze wątki

Szukaj w grupach

Eksperci egospodarka.pl

1 1 1

Wpisz nazwę miasta, dla którego chcesz znaleźć jednostkę ZUS.

Wzory dokumentów

Bezpłatne wzory dokumentów i formularzy.
Wyszukaj i pobierz za darmo: