Jazyky a překladače - 5 (syntaxe 3) (diskuse)

[jan.xxx]

Kdysi jsem přemýšlel, že bych tím projel jeden textový formát souborů a naparsoval bych to do nějakych tříd. Ale přijde mi to nějak složité. Asi ze mě programátor nikdy nebude

[Ladislav Thon]

Implementace syntaktického analyzátoru není příliš snadná záležitost

Implementace parseru (v ruce) je při použití rekurzivního sestupu velmi snadná záležitost. IMHO neexistuje důvod, proč navrhovat programovací jazyky jinak než jako LL(1), takže rekurzivní sestup je úplně v klidu. Z důvodu, který mi není známý, bohužel někdo s oblibou navrhuje LR prasárny typu C, které navíc obsahují příšerné množství konfliktů...

yacc -d cselect.y
lex cselect.l

Já myslel, že používáme bison a flex

ANTLR ... program skutečně generuje LL(n)

ANTLR používá predikátové LL(k) gramatiky, takže má dokonce větší vyjadřovací schopnosti než LALR. A to se vyplatí

[Vašek Lorenc]

Implementace syntaktického analyzátoru není příliš snadná záležitost

Implementace parseru (v ruce) je při použití rekurzivního sestupu velmi snadná záležitost.

Ještě snazší je implementace parseru např. v Haskellu za pomoci monadických parserů. Nebo pomocí generátoru parserů Happy, nicméně to první řešení je mnohem elegantnější.

[Ladislav Thon]

Ještě snazší je implementace parseru např. v Haskellu za pomoci monadických parserů.

To jsem neznal. A neznám. A věřím tomu, že při vysokoúrovňových funkcionálních orgiích mohou vzniknout nádherné parsery Nicméně z toho, co jsem tak za pár minut stihl najít, to vypadá, že v principu jde též o rekurzivní sestup. Wirthův přístup má ještě své zastánce!

[Kyosuke]

http://codepoetics.com/code/parser.py

http://chneukirchen.org/blog/archive/2005/10/the-rightyear-parsing-library.html

Dobré zboží se prodává samo…

[Tom.š Ze.le.in]

yacc -d cselect.y
lex cselect.l

Já myslel, že používáme bison a flex

A proč by se binárka bisona neměla jmenovat yacc? :)

[Ladislav Thon]

A proč by se binárka bisona neměla jmenovat yacc? :)

Uff, jestli se binárka bisona jmenuje yacc, tak jsem silně konsternován. Ještě že to nepoužívám, musel bych si začít klást otázky, proč se binárka Linuxového kernelu nejmenuje minix

[Michal Vyskočil]

# cd /usr/bin
# ln bison yacc
# rm bison

Kontrolní otázka, jakže se teď jmenuje binárka bisonu

[Michal Kubeček]

Jmenovat se tak může, stejně prakticky ve všech linuxových distribucích jsou lex a yacc jen linky na flex a bison (stejně jako třeba sh na bash a vi na vim). Pokud ji ale spouštíte jménem lex resp. yacc, neměl byste použít nic z rozšíření, která mají flex resp. bison navíc.

[Michal Vyskočil]

No, v Linuxových distrech se stejně používá bison a flex. Ale tohle mi jelo i na prastaré Sunovské mašince

ANTLR používá predikátové LL(k) gramatiky, takže má dokonce větší vyjadřovací schopnosti než LALR. A to se vyplatí

Predikátové, to slovo mě vypadlo. Díky za upozornění.

[hypiz]

jen drobna korekce, LL(k) a LALR(1) jsou neporovnatelne, .. nebo snad ne?

[Pavel Kysilka]

skvele, to jsem presne shanel. o bisonu vim, ale pro javu to je horsi.

mnohokrate diky.

gf

[ehmmm]

Co se tyka konfliktu s if/else, tak v Python jde neco, co asi jde i v C.

a if b else c if d else e

Ma to byt?: a if b else (c if d else e)

Nebo?: (a if b else c) if d else e

Intuitivne si myslim, ze se to bude chovat jako ta prvni varianta.

Ale uznavam, ze to nema na ceckovske if (a) if (b) {c;} else {d;}