¿Cuál es el orden de las fases del compilador de scala?
Quiero afinar mi imagen de las fases de la compilación de scala. Sé que ciertas cosas tienen que suceder en el compilador, pero realmente no sé el orden en el que suceden y cómo el orden debe afectar mi programación.
¿Tengo razón al decir que las siguientes cosas son la lista completa de lo que hace el compilador?
- analizar el programa
- tipos comprobados
- do erasure
- conversión implícita
- código de bytes generado
- optimizar
Si es así, ¿cuál es el orden en que hace estas fases? ¿Cómo afecta este orden al programador, especialmente al programador de nivel de tipo?
4 answers
Puedes ver las fases, su orden y explicación usando scalac -Xshow-phases
.
En la versión 2.11, use -Xshow-phases -Ydebug
para mostrar las fases habilitadas y deshabilitadas.
Así es como es para 2.10.0:
» scalac -Xshow-phases
phase name id description
---------- -- -----------
parser 1 parse source into ASTs, perform simple desugaring
namer 2 resolve names, attach symbols to named trees
packageobjects 3 load package objects
typer 4 the meat and potatoes: type the trees
patmat 5 translate match expressions
superaccessors 6 add super accessors in traits and nested classes
extmethods 7 add extension methods for inline classes
pickler 8 serialize symbol tables
refchecks 9 reference/override checking, translate nested objects
selectiveanf 10
selectivecps 11
uncurry 12 uncurry, translate function values to anonymous classes
tailcalls 13 replace tail calls by jumps
specialize 14 @specialized-driven class and method specialization
explicitouter 15 this refs to outer pointers, translate patterns
erasure 16 erase types, add interfaces for traits
posterasure 17 clean up erased inline classes
lazyvals 18 allocate bitmaps, translate lazy vals into lazified defs
lambdalift 19 move nested functions to top level
constructors 20 move field definitions into constructors
flatten 21 eliminate inner classes
mixin 22 mixin composition
cleanup 23 platform-specific cleanups, generate reflective calls
icode 24 generate portable intermediate code
inliner 25 optimization: do inlining
inlineExceptionHandlers 26 optimization: inline exception handlers
closelim 27 optimization: eliminate uncalled closures
dce 28 optimization: eliminate dead code
jvm 29 generate JVM bytecode
terminal 30 The last phase in the compiler chain
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/ajaxhispano.com/template/agent.layouts/content.php on line 61
2013-09-25 04:40:47
Has mirado aquí? Esa página apunta a http://www.scala-lang.org/sites/default/files/sids/nielsen/Thu,%202009-05-28,%2008:13/compiler-phases-sid.pdf (PDF), que describe las fases del compilador para Scala 2.8.
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/ajaxhispano.com/template/agent.layouts/content.php on line 61
2010-12-24 19:07:06
Realmente no debería preocuparse por el orden de las fases del compilador a menos que esté escribiendo un complemento de compilador. Incluso para la programación a nivel de tipo, debe centrarse en la semántica del lenguaje en su lugar.
En lo que respecta al borrado, por ejemplo, es importante entender los tipos estáticos vs.dinámicos y el modelo de compilación separada. Del mismo modo, es importante entender las condiciones bajo las cuales el compilador aplicará una conversión implícita. Donde éstos ocurren en el el ciclo de compilación es solo un detalle de implementación.
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/ajaxhispano.com/template/agent.layouts/content.php on line 61
2010-12-25 16:09:28
Scala.js 0.6.23
phase name id description
---------- -- -----------
parser 1 parse source into ASTs, perform simple desugaring
jspretyper 2 capture pre-typer only tree info (for Scala.js)
namer 3 resolve names, attach symbols to named trees
packageobjects 4 load package objects
typer 5 the meat and potatoes: type the trees
jsinterop 6 prepare ASTs for JavaScript interop
patmat 7 translate match expressions
superaccessors 8 add super accessors in traits and nested classes
extmethods 9 add extension methods for inline classes
pickler 10 serialize symbol tables
xsbt-api 11
xsbt-dependency 12
refchecks 13 reference/override checking, translate nested objects
uncurry 14 uncurry, translate function values to anonymous classes
tailcalls 15 replace tail calls by jumps
specialize 16 @specialized-driven class and method specialization
explicitouter 17 this refs to outer pointers
erasure 18 erase types, add interfaces for traits
posterasure 19 clean up erased inline classes
lazyvals 20 allocate bitmaps, translate lazy vals into lazified defs
lambdalift 21 move nested functions to top level
constructors 22 move field definitions into constructors
flatten 23 eliminate inner classes
mixin 24 mixin composition
jscode 25 generate JavaScript code from ASTs
cleanup 26 platform-specific cleanups, generate reflective calls
delambdafy 27 remove lambdas
icode 28 generate portable intermediate code
inliner xx optimization: do inlining
inlinehandlers xx optimization: inline exception handlers
closelim xx optimization: eliminate uncalled closures
constopt xx optimization: optimize null and other constants
dce xx optimization: eliminate dead code
jvm 29 generate JVM bytecode
xsbt-analyzer 30
terminal 31 the last phase during a compilation run
Nativo de Scala 0.3.7
phase name id description
---------- -- -----------
parser 1 parse source into ASTs, perform simple desugaring
namer 2 resolve names, attach symbols to named trees
packageobjects 3 load package objects
typer 4 the meat and potatoes: type the trees
nativeinterop 5 prepare ASTs for Native interop
patmat 6 translate match expressions
superaccessors 7 add super accessors in traits and nested classes
extmethods 8 add extension methods for inline classes
pickler 9 serialize symbol tables
xsbt-api 10
xsbt-dependency 11
refchecks 12 reference/override checking, translate nested objects
uncurry 13 uncurry, translate function values to anonymous classes
tailcalls 14 replace tail calls by jumps
specialize 15 @specialized-driven class and method specialization
explicitouter 16 this refs to outer pointers
erasure 17 erase types, add interfaces for traits
posterasure 18 clean up erased inline classes
lazyvals 19 allocate bitmaps, translate lazy vals into lazified defs
lambdalift 20 move nested functions to top level
constructors 21 move field definitions into constructors
flatten 22 eliminate inner classes
mixin 23 mixin composition
nir 24
cleanup 25 platform-specific cleanups, generate reflective calls
delambdafy 26 remove lambdas
icode 27 generate portable intermediate code
inliner xx optimization: do inlining
inlinehandlers xx optimization: inline exception handlers
closelim xx optimization: eliminate uncalled closures
constopt xx optimization: optimize null and other constants
dce xx optimization: eliminate dead code
jvm 28 generate JVM bytecode
xsbt-analyzer 29
terminal 30 the last phase during a compilation run
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/ajaxhispano.com/template/agent.layouts/content.php on line 61
2018-06-23 14:56:32