abclinuxu.cz AbcLinuxu.cz itbiz.cz ITBiz.cz HDmag.cz HDmag.cz abcprace.cz AbcPráce.cz
AbcLinuxu hledá autory!
Inzerujte na AbcPráce.cz od 950 Kč
Rozšířené hledání
×
    dnes 17:33 | Nová verze

    Byla vydána nová stabilní verze 7.6 webového prohlížeče Vivaldi (Wikipedie). Postavena je na Chromiu 140. Přehled novinek i s náhledy v příspěvku na blogu.

    Ladislav Hagara | Komentářů: 0
    dnes 16:22 | Nová verze

    Byla vydána verze 1.90.0 programovacího jazyka Rust (Wikipedie). Podrobnosti v poznámkách k vydání. Vyzkoušet Rust lze například na stránce Rust by Example.

    Ladislav Hagara | Komentářů: 0
    dnes 16:11 | Nová verze

    GNUnet (Wikipedie) byl vydán v nové major verzi 0.25.0. Jedná se o framework pro decentralizované peer-to-peer síťování, na kterém je postavena řada aplikací.

    Ladislav Hagara | Komentářů: 0
    dnes 12:11 | Nová verze

    Byla vydána nová major verze 7.0 živé linuxové distribuce Tails (The Amnesic Incognito Live System), jež klade důraz na ochranu soukromí uživatelů a anonymitu. Nově je postavena je na Debianu 13 (Trixie) a GNOME 48 (Bengaluru). Další novinky v příslušném seznamu.

    Ladislav Hagara | Komentářů: 0
    dnes 04:44 | IT novinky

    Společnost Meta na dvoudenní konferenci Meta Connect 2025 představuje své novinky. První den byly představeny nové AI brýle: Ray-Ban Meta (Gen 2), sportovní Oakley Meta Vanguard a především Meta Ray-Ban Display s integrovaným displejem a EMG náramkem pro ovládání.

    Ladislav Hagara | Komentářů: 0
    dnes 01:11 | Nová verze

    Po půl roce vývoje od vydání verze 48 bylo vydáno GNOME 49 s kódovým názvem Brescia (Mastodon). S přehrávačem videí Showtime místo Totemu a prohlížečem dokumentů Papers místo Evince. Podrobný přehled novinek i s náhledy v poznámkách k vydání a v novinkách pro vývojáře.

    Ladislav Hagara | Komentářů: 11
    včera 16:22 | Nová verze

    Open source softwarový stack ROCm (Wikipedie) pro vývoj AI a HPC na GPU od AMD byl vydán ve verzi 7.0.0. Přidána byla podpora AMD Instinct MI355X a MI350X.

    Ladislav Hagara | Komentářů: 0
    včera 15:22 | Nová verze

    Byla vydána nová verze 258 správce systému a služeb systemd (GitHub).

    Ladislav Hagara | Komentářů: 6
    včera 15:11 | Nová verze

    Byla vydána Java 25 / JDK 25. Nových vlastností (JEP - JDK Enhancement Proposal) je 18. Jedná se o LTS verzi.

    Ladislav Hagara | Komentářů: 0
    včera 14:44 | Humor

    Věra Pohlová před 26 lety: „Tyhle aféry každého jenom otravují. Já bych všechny ty internety a počítače zakázala“. Jde o odpověď na anketní otázku deníku Metro vydaného 17. září 1999 na téma zneužití údajů o sporožirových účtech klientů České spořitelny.

    Ladislav Hagara | Komentářů: 9
    Jaké řešení používáte k vývoji / práci?
     (39%)
     (55%)
     (6%)
     (9%)
     (12%)
     (9%)
     (12%)
     (9%)
     (15%)
    Celkem 33 hlasů
     Komentářů: 5, poslední dnes 22:30
    Rozcestník

    Scheme snadno a rychle - 2. Gramatiky a tak...

    11.3.2007 14:35 | Přečteno: 1575× | Programování | poslední úprava: 12.3.2007 10:41

    v beznem clanku o programovacich jazycich je minimalne jedna kapitola venovana gramatikam a podobnym vecem. abych pravdu rekl, neni to tema ktere by me nejak extra rajcovalo a teoreticky by se bez nej i interpretr mohl obejit. ale budiz. muj posledni prispevek budiz ukazkou toho, jak nektere nastroje mam rad. premyslel, jsem jestli parser udelat v ruce nebo generovat. ale jelikoz mam v nadpisu "snadno a rychle" a ne "slozitejc a poradne", tak jsem se rozhodl nakonec pouzit generatory.

    gramatika scheme neni zavratne slozita ajak jsem rikal, bez problemu se da udelat v ruce, teda bez pouziti generatoru jako flex a bison, ale radsi jej pouzijeme. r5rs mluvi dokonce o tom, ze diky kvazikvotovani, se nejedna o bezkontextovou gramatiku a tudiz bison by na to mel byt kratky, ale kdyz se kvazikvotovani presune do standardni knihovny, uz tento problem odpada.

    2.1. Flex

    flex je generator lexikalnich analyzatoru, coz jsou funkce, ktere dokazi vzit jako vstup nejaky retezec a ten rozdelit na kousky (tokeny) a vracet jejich hodnoty. neni potreba nic svetoborneho, v zakladni verzi by stacily tokeny pro zavorky, tecku a symboly. v praxi se pak pouzivaji jeste zkratky pro kvotovani, tj. "'", "`", ",", ",@", ktere se prepisuji na (quote x), (quasiquote x), (unquote x) a (unquote-splicing x)

    definice muze vypadat nejak takhle

    :
    scheme.l:
    
    %{
    #include <string.h>
    #include "scheme.tab.h"
    %}
    
    INITIAL_CHAR    [[:alnum:]]|\+|\*|\-|\\|=|#|\?|\!|<|>|_|\/|~|:|%
    INNER_CHAR      [[:alnum:]]|\+|\*|\-|\\|=|#|\?|\!|<|>|_|\/|~|:|%|'|,|@|`|\.
    LEFT_PAREN      "("
    RIGHT_PAREN     ")"
    WHITE_SPACE     [[:space:]]
    QUOTE           "'"
    UNQUOTE         ","
    UNQUOTE_SPLICING "@"
    QUASIQUOTE      "`"
    DOT             "."
    SEMICOL         ";"
    
    %%
    
    {INITIAL_CHAR}{INNER_CHAR}* {
            yylval.symbol = GC_MALLOC(strlen(yytext) + 1);
            strcpy(yylval.symbol, yytext);
            return T_SYMBOL;
    }
    
    {LEFT_PAREN}    { return T_LEFT_PAREN; }
    {RIGHT_PAREN}   { return T_RIGHT_PAREN; }
    {SEMICOL}.*$    /* ignores comments */
    {WHITE_SPACE}+  /* ignores white space*/
    {QUOTE}         { return T_QUOTE; }
    {UNQUOTE}       { return T_UNQUOTE; }
    {QUASIQUOTE}    { return T_QUASIQUOTE; }
    {UNQUOTE}{UNQUOTE_SPLICING}     { return T_UNQUOTE_SPLICING; }
    {DOT}           { return T_DOT; }
    %%
    

    za pozornost maximalne stoji, ze cisla tokenu jsou brany z vystupu bisonu a pak dalsi definice, ktere se staraji o ignorovani komentaru. fakt bych nerad sel s touto tematikou nejak do hloubky, protoze o techto vecech byl uz napsan nejeden kilobyte textu.

    2.2. Bison

    pravidla pro sestaveni samotneho compileru jsou zase vcelku trivialni. a zase se nebudu zatezovat nejakou slozitou teorii a prenecham to povolanejsim.
    scheme.y:
    
    %{
    #include <stdlib.h>
    #include "types.h"
    #include "scheme.tab.h"
    
    #define YYERROR_VERBOSE
    
    scm_value * result = NULL;
    
    %}
    
    %union {
            char * symbol;
            scm_value * parsed;
    }
    
    %token <symbol> T_SYMBOL
    %token T_LEFT_PAREN
    %token T_RIGHT_PAREN
    %token T_QUOTE
    %token T_UNQUOTE
    %token T_UNQUOTE_SPLICING
    %token T_QUASIQUOTE
    %token T_DOT
    
    %type <parsed> expressions symbol symbols list quote quasiquote unquote unquote_splicing
    
    %start expressions
    
    %%
    
    expressions:    symbols { result = $1; }
    ;
    
    symbol: T_SYMBOL { $$ = scm_value_new_symbol($1); }
    | list
    | quote
    | quasiquote
    | unquote
    | unquote_splicing
    
    ;
    
    symbols: symbol { $$ = scm_value_new_pair($1, SCM_CONST_NIL); }
    | symbol T_DOT symbol { $$ = scm_value_new_pair($1, $3); }
    | symbol symbols { $$ = scm_value_new_pair($1, $2); }
    
    ;
    
    list:   T_LEFT_PAREN T_RIGHT_PAREN { $$ = SCM_CONST_NIL; }
    | T_LEFT_PAREN symbols T_RIGHT_PAREN { $$ = $2; }
    ;
    
    
    /* Quotation symbols */
    quote:  T_QUOTE symbol  { $$ = scm_value_new_pair(
                            scm_value_new_symbol("quote"),
                            scm_value_new_pair($2, SCM_CONST_NIL)); }
    ;
    
    quasiquote: T_QUASIQUOTE symbol { $$ = scm_value_new_pair(
                                scm_value_new_symbol("quasiquote"),
                                scm_value_new_pair($2, SCM_CONST_NIL)); }
    ;
    
    unquote: T_UNQUOTE symbol { $$ = scm_value_new_pair(
                             scm_value_new_symbol("unquote"),
                             scm_value_new_pair($2, SCM_CONST_NIL)); }
    ;
    %%
    

    vsimnete si, ze si zatim vystacime s pouzitim, jenom datovych typu -- PAIR, SYMBOL, NIL. zadna cisla, zadne booleovske hodnoty. to vsechno je az soucasti semanticke analyzy, ktere se budu venovat priste.

    uznavam, ze tato kapitola je hodne zalostna, ale o gramatikach a takovych tech vecech bylo napsano dost, obzvlast od fundovanejsich osob. dopriste se doufam polepsim.

           

    Hodnocení: 100 %

            špatnédobré        

    Tiskni Sdílej: Linkuj Jaggni to Vybrali.sme.sk Google Del.icio.us Facebook

    Komentáře

    Vložit další komentář

    12.3.2007 10:20 Michal Vyskočil | skóre: 60 | blog: miblog | Praha
    Rozbalit Rozbalit vše Re: Scheme snadno a rychle - 2. Gramatiky a tak...
    OT: odkaz na bison je špatně ;-)
    When your hammer is C++, everything begins to look like a thumb.
    12.3.2007 10:41 deda.jabko | skóre: 23 | blog: blog co se jmenuje "každý den jinak" | za new york city dvakrát doleva a pak už se doptáte
    Rozbalit Rozbalit vše Re: Scheme snadno a rychle - 2. Gramatiky a tak...
    diky, opraveno
    Asi před rokem se dostali hackeři na servry Debianu a ukradli jim zdrojové kódy.
    12.3.2007 20:49 User682 | skóre: 38 | blog: aqarium | Praha
    Rozbalit Rozbalit vše Re: Scheme snadno a rychle - 2. Gramatiky a tak...
    Kdyz uz jste nacli toto tema, tak by me zajimala jedna vec mimo.

    Nenasel nekdo nastroj, co umi vygenerovat "call tree" v jave do graphviz formatu ? Pripadne, aby ta vec umela generovat nejake vetveni podminek s volanim method ve stromu taktez v graphvizu.

    At to nepisu zbytecne. AST Stromy jsem jiz nejak poskladal, ale nejvice boli, jak z toho dostat nejakou rozumnou strukturu a nejak rozumne orezat zobrazovani prvku.

    thx bye gf
    10.6.2018 09:36 Thanos
    Rozbalit Rozbalit vše online
    Here the error code for the all use full to save the internet connection setting in windows so get this code hurry here 0x80072ee7 and save the all update online to thanks for the visit here.
    24.10.2019 10:53 Zaida Vargas
    Rozbalit Rozbalit vše Re: Scheme snadno a rychle - 2. Gramatiky a tak...

    Thaksgiving is coming visit https://onsumo.com/thanksgiving-quotes/ for thanksgiving quotes

    21.1.2020 20:34 Wessel Jacobs
    Rozbalit Rozbalit vše Re: Scheme snadno a rychle - 2. Gramatiky a tak...

    8 Ball Pool Cheats will let you buy all items for free. Below you will see all the cheats needed to hack 8 Ball Pool These Cheats for 8 Ball Pool work on all iOS and Android devices. You will also not need a jailbreak or rooted phone. Using our website you no longer need to download a hack tool, so it is safer. If you don't know how to use the hack for 8 Ball Pool hack tool then click here.

    8.4.2020 14:28 Sara Parker
    Rozbalit Rozbalit vše Re: Scheme snadno a rychle - 2. Gramatiky a tak...
    Somehow, the programming language is the typical thing that may some need of experts. As a students we are not aware about the circumstances and challenges in programming and these can be reduce with programming coursework help online free that can be a suitable solution to the problems.
    13.6.2023 12:04 rogger202
    Rozbalit Rozbalit vše Re: Scheme snadno a rychle - 2. Gramatiky a tak...
    Legal transcription services offer accurate and efficient conversion of audio or video recordings into written legal documents. Expert transcriptionists ensure precise documentation of legal proceedings, interviews, depositions, and more, maintaining confidentiality and adherence to legal terminology and standards."
    16.7.2024 10:44 Lauren
    Rozbalit Rozbalit vše Re: Scheme snadno a rychle - 2. Gramatiky a tak...
    Great insights into Scheme! For anyone looking to enhance their CV or resume, professional services like CV Folks can really make a difference. Thanks for sharing your expertise on this fascinating topic!

    Založit nové vláknoNahoru

    ISSN 1214-1267   www.czech-server.cz
    © 1999-2015 Nitemedia s. r. o. Všechna práva vyhrazena.