Portál AbcLinuxu, 30. dubna 2025 20:41
Co mě na konferenci ScalaDays 2014 zaujalo nejvíce.
Pracuje se na novém JVM Avian. Pro funkcionální jazyky je zajímavá podpora kontinuací a optimalizace tail-callů.
Je nešťastné, jak silnou pozici si vybudovala makra ve Scale. Řada přednášek se nějakým způsobem dotkla maker. Někteří přednášející dokonce svou celou přednášku zasvětili pouze jedinému makru.
Hlavní problém maker spočívá v jejich interakci.
Například Heather Miller ve své prezentaci
Spores: Towards Function-Passing Style in the Age of Concurrency
and Distribution ukázala makro
spore,
kterým lze omezit volné proměnné, jenž smějí být součástí uzávěru.
Problémy se mohou objevit ve chvíli, kdy
na kód z makra spore aplikujeme jiné makro –
jinému makru nic nebrání porušit omezení vynucená makrem
spore.
DOT kalkulus by se mohl stát základem typového systému Scaly a je to možná jeden z kroků k formální (mechanizované) specifikaci Scaly. Taková specifikace by slovy Roberta Harpera znamenala posun od Scala kompilátoru ke Scala jazyku.
K čemu je formální specifikace ve své přednášce o denotační sémantice naznačil i Erik Meijer:
def a: Int = try { 1 } finally { 2 }
def b: Int = try { 1 } finally { return 2 }
def c: Int = try { return 1 } finally { 2 }
def d: Int = try { return 1 } finally { return 2 }
Zkuste říci, co jednotlivé funkce vrací.
Tiskni
Sdílej:
Pracuje se na novém JVM Avian. Pro funkcionální jazyky je zajímavá podpora kontinuací a optimalizace tail-callů.Nejsou k tomu nejake slidy/paper? Zajimalo by me, jak to funguje vzhledem k tomu, ze tyto veci nemaji primou podporu v JBC.
Je nešťastné, jak silnou pozici si vybudovala makra ve Scale. Řada přednášek se nějakým způsobem dotkla maker. Někteří přednášející dokonce svou celou přednášku zasvětili pouze jedinému makru.Ano, je to nestastne. Diskutovat dlouhe hodiny o makrech bylo vzdy vysadou LISParu. ;-]
Zajimalo by me, jak to funguje vzhledem k tomu, ze tyto veci nemaji primou podporu v JBC.Každé volání, jenž je v bajtkódu v tail pozici, se optimalizuje, tudíž žádná speciální instrukce není třeba. Háček je v tom, že volání, která jsou ve zdrojovém kódu v tail pozici, nemusí být v bajtkódu v tail pozici. Kontinuace mají speciální podporu v runtimu, ta je přístupná přes třídu
avian.Continuations.
22.6.2014 01:40
Bedňa | skóre: 34
| blog: Žumpa
| Horňany
def a: Int = try { 1 } finally { 2 }
def b: Int = try { 1 } finally { return 2 }
def c: Int = try { return 1 } finally { 2 }
def d: Int = try { return 1 } finally { return 2 }
Zkuste říci, co jednotlivé funkce vrací.def a: Int = try { 1 } finally { 2 }
Sa do "a" pokúsi priradiť hodnotu z try {} a pokiaľ nieje niečo ako return vo finally {}, tak ostane 1.
Skalu vôbec nepoznám, je to čistá konšpirácia.
scala> def a: Int = try { 1 } finally { 2 }
<console>:7: warning: a pure expression does nothing in statement position; you may be omitting necessary parentheses
def a: Int = try { 1 } finally { 2 }
^
a: Int
scala> def b: Int = try { 1 } finally { return 2 }
b: Int
scala> def c: Int = try { return 1 } finally { 2 }
<console>:7: warning: a pure expression does nothing in statement position; you may be omitting necessary parentheses
def c: Int = try { return 1 } finally { 2 }
^
c: Int
scala> def d: Int = try { return 1 } finally { return 2 }
d: Int
scala> (a, b, c, d)
res1: (Int, Int, Int, Int) = (1,2,1,2)
Jinak jestli je tenhle celkem jasný příklad důvodem, proč formalizovat Scalu, tak to radši nedělat. Scala má mnohem závažnější mouchy.
Jinak jestli je tenhle celkem jasný příklad důvodem, proč formalizovat Scalu, tak to radši nedělat.Formální specifikace usnadní tvorbu nástrojů a alternativních implementací, pomůže při návrhu jazyka a umožní provést důkaz korektnosti typového systému.
ISSN 1214-1267, (c) 1999-2007 Stickfish s.r.o.