Vlákno názorů k článku Softwarová sklizeň (25. 3. 2009) od benzin - JVM nema podporu pro dynamicke jazyky? Ja sem...
-
Michal Vyskocil (neregistrovaný)No a i presto JVM (mluvime o verzich 6 a nizsich) takovou podporu nema, takze se dynamicke typovani, pridavani a odebirani clenskych prvku za behu a spol, resi v kazde implementaci na urovni zdrojoveho kodu implementace jazyka a nikoli bytecodu. Skutecna podpora pro dynamicke jazyky [1] [2], ktera by byla odpovedi na DLR [3], se chysta az do JDK 7.
[1] http://www.artima.com/lejava/articles/dynamic_languages.html
[2] http://jcp.org/en/jsr/detail?id=292
[3] http://en.wikipedia.org/wiki/Dynamic_Language_Runtime -
anonymníNení tomu tak, minimálně JRuby a Groovy se zcela určitě do bajtkódu kompilují, u Groovy ani žádný jiný režim fungování neexistuje (JRuby mělo interpret, nevím jak je to teď).
Scala je mimochodem samozřejmě taky kompilovaná do bajtkódu, ale není dynamicky typovaná, jak tvrdil benzin, takže je tady celkem nepodstatná.
Klíčové na tom je, že programy ve všech těch jazycích potřebují k běhu ještě speciální knihovnu, která implementuje ty různé fíčurky jako dynamický dispatch metod a podobně. Ta vskutku obvykle bývá napsaná v Javě :-) -
Perl 6 požaduje více funkcí VM než např. Python. Navíc v době vzniku Parrotu se s JVM a .NET pro dynamické jazyky nepočítalo. JVM navíc nebyl Open Source a .NET nepodporuje dostatečný počet hw/sw ani dnes.
.NET resp. CLR a JVM jsou primárně pro statické jazyky. Moc o nich nevím, ale řekl bych, že budou mít problémy s dynamic method dispatch, first class functions, first-class continuations, parametry (poziční, pojmenované, nepovinné), ... Parrot je pro dynamické jazyky. Výsledkem je, že nemusíte nic dodělávat, ale máte rychlou nativní podporu přímo ve VM. Kromě toho VM není vše. Potřebujete mít spoustu dalších nástrojů, knihoven, mod_parrot pro Apache, atd. Nízkoúrovňový bytekód je málo, tím vývojáře kompilátorů nepřilákáte.
Samozřejmě dnes již je nebo možná brzy bude možné být dynamický i v JVM a .NET, viz. Da Vinci Machine Project (JSR 292) a DLR.
Další výhodou, která je teoreticky možná v Parrotu je spolupráce jazyků na opravdu nízké úrovni. JVM a DLR to dělají dost odlišně než Parrot. Časem uvidíme. Já si hodně slibuju i od toho že Parrot není stack based, ale register based. Tam kde není možné použít JIT je to slušná výhoda, ale těch případů už je málo. Měla by to být výhoda i pro JIT, ale raději si počkám než vařit z vody.
