Language Workbenches

6 views
Skip to first unread message

Gábor Horváth

unread,
Nov 21, 2020, 8:36:59 AM11/21/20
to compiler-seminar-budapest
Sziasztok!

Nektek mi a velemenyetek a language workbenchekrol? Pl itt egy osszefoglalo a Spoofaxrol: https://www.youtube.com/watch?v=fwJDZ7ET7Gc

Mukodhet ez a megkozelites? Vagy mindig megmarad prototipus szinten, es ugyis mindenki maganak irja meg a parsert, type checkert stb mikor mar nem egy jatek nyelvrol van szo.

Udv,
Gabor

Csaba Hruska

unread,
Nov 21, 2020, 8:55:54 AM11/21/20
to Gábor Horváth, compiler-seminar-budapest
Mar volt korabban par kiserletem nyelvek meg tipusrendszerek implementaciojaval. A lexer, parser, syntax pretty printer az mindig trivialitas volt. Kevesebb mint egy napos munka. Ezzel nem hiszem hogy sokat lehet sporolni.
Amugy trafo komplexitasban a rekurzios semak elemzesnel meg a datalog sporolt a legtobbet. Mar kiprobaltam tobb ad-hoc meg standard megkozelitest is.

--
Azért kapta ezt az üzenetet, mert feliratkozott a Google Csoportok „compiler-seminar-budapest” csoportjára.
Az erről a csoportról és az ahhoz kapcsolódó e-mailekről való leiratkozáshoz küldjön egy e-amailt a(z) compiler-seminar-b...@googlegroups.com címre.
Ha szeretné megtekinteni ezt a beszélgetést az interneten, látogasson el ide: https://groups.google.com/d/msgid/compiler-seminar-budapest/CAPRL4a1z-4UnqOt-D20Y5aDN17cWUJ-92UY2_2UZsayqax7mwA%40mail.gmail.com.

Gábor Horváth

unread,
Nov 21, 2020, 9:00:28 AM11/21/20
to Csaba Hruska, compiler-seminar-budapest
Ha jol ertem, ez a workbench tobbet ad lexer, parser es pretty printingnel.

Kapsz autocompletiont, syntax highlightingot, tipusellenorzest ami a pipeline elejet illeti. De elvileg a szemantikat is leirhatod benne, es akkor kapsz interpretert es/vagy compilert is. Mondjuk az altalam linkelt eloadas a dinamikus reszrol nem szolt, csak megemlitette.

Csaba Hruska

unread,
Nov 21, 2020, 9:35:30 AM11/21/20
to Gábor Horváth, compiler-seminar-budapest
Ok, amugy az automatizacio ugy altalaban szimpatikus nekem. De lehet ez a tool csak egy nyelvcsaladra mukodik (OOP VM/nativ).
Nem hiszem hogy jo az Idris/Agda/ATS vonalon. Es valszeg azert mert a szerzo nem erintett ezen a teruleten.

Daniel Berenyi

unread,
Nov 21, 2020, 10:21:30 AM11/21/20
to Csaba Hruska, Gábor Horváth, compiler-seminar-budapest
Akinek a videó nincs ínyére, itt egy bevezető írás pdf-ben, ami egy korábbi verzióhoz készült:

Jó lehet kísérletezésre, azt nem tudom, hogy a kifejező ereje meddig ér, de oktatási célra, vagy egyszerűbb imperatív nyelvekre biztos jó, meg a weboldalukon van valami demo egy funkc nyelvhez is, de nem igazán sikerült kiigazodnom rajta mert rengeteg ici-pici fájlba van szétszórva a logika, amitől nekem a hajam égnek áll. Én a java dependency miatt egyébként sem használnám:)

Az alap ötletnek viszont van értelme, az biztos. Talán akkor éri meg, ha nagyon sokszor kell, nagyon sok viszonylag különböző nyelvet gyártanod. Ha keveset akarsz és specifikusabbat, akkor lehet h nem éri meg egy ilyen frameworköt megtanulni... A szokásos generalista vs specialista trade-off...

D.

Ha szeretné megtekinteni ezt a beszélgetést az interneten, látogasson el ide: https://groups.google.com/d/msgid/compiler-seminar-budapest/CANjChEpkFxDeiTq8jAN3rdWq155YV-wJf1%2BgU59-e4m%2B5XAjTw%40mail.gmail.com.

Gábor Horváth

unread,
Nov 21, 2020, 10:25:34 AM11/21/20
to Daniel Berenyi, Csaba Hruska, compiler-seminar-budapest
Jó kérdés tényleg mennyire jó kicsit kevésbé konvencionális nyelvekre. Viszont felmerül a kérdés, tényleg van olyan, amikor az embernek sok kicsit nyelvet kell terveznie? Mármint PL kutatás szempontjából persze. De iparban vagy más kutatási területen?

Daniel Berenyi

unread,
Nov 21, 2020, 11:51:24 AM11/21/20
to Gábor Horváth, Csaba Hruska, compiler-seminar-budapest
Valami multi-domain interdisciplinary vacaknál el tudom képzelni, hogy sok DSL-t kell csinálni, és integrálni.

D.
Reply all
Reply to author
Forward
0 new messages