Anonymous user
Category:Rascal: Difference between revisions
no edit summary
No edit summary |
No edit summary |
||
| (2 intermediate revisions by the same user not shown) | |||
Line 11:
Rascal is a [http://www.rascal-mpl.org/Rascal/RascalDomain domain specific] language for source code analysis and manipulation a.k.a. meta-programming. It is currently being developed and tested at [http://www.cwi.nl/ CWI]. No formal release has been made yet, but alpha quality "previews" are available on the [http://www.rascal-mpl.org/Rascal/Download Download] page.<ref name="The Rascal Project Website">http://www.rascal-mpl.org/</ref>
[[Image:RascalLogo.png|200px|thumb|right|The Rascal logo]]
==Why Rascal?==
Rascal is a new language for ''meta-programming'', this is the activity of writing meta-programs<ref name="The Rascal Project Motivation">http://tutor.rascal-mpl.org/Courses/Rascal/Rascal.html#/Courses/Rascal/Motivation/Motivation.html</ref>. Using Rascal you create programs that read, analyse, transform, generate and/or visualize other programs.
Meta-programs are programs that analyze, transform or generate other programs. Ordinary programs work on data; meta-programs work on programs.
The ''range of programs'' to which meta-programming can be applied is large: from programs in standard languages like C and Java to domain-specific languages for describing high-level system models or applications in specialized areas like gaming or finance. In some cases, even test results or performance data are used as input for meta-programs.
The ''range of kinds of meta programs'' that can be applied is also large. There are simple meta programs that generate boilerplate code from a list of items. There are complex meta programs that reverse engineer and statically analyse a big software system before visualizing the results. The point of Rascal is that in all these kinds of meta programs one needs similar operations and similar data-types.
The ''point of Rascal'' is to provide a reusable set of primitives to build and manipulate program representations. The point is not to be or provide a unified representation of programs to let generic algorithms operate on. In meta programming the devil is often in the details. Rascal makes sure to not a priori abstract from the important details programming language syntax and semantics.
Rascal is a ''domain specific programming language''. We emphasize programming here because Rascal is intended as an engineering tool for programmers that need to construct meta programs. Rascal programs allow running, inspecting, debugging, tracing, profiling, etc. just as normal programs do. The skills of any good programmer are enough to easily write good Rascal programs.
===Examples===
Typical applications of Rascal are:
#Refactoring of Java source code.
#Analyzing PHP code.
#Searching for buffer overflows in C code.
#Analyzing the version history of a large software project.
#Implementing a domain-specific language (DSL) for describing games or business processes.
All these cases involve a form of meta-programming: software programs (in a wide sense) are the objects-of-interest that are being analyzed, transformed or generated. The Rascal language is designed for meta-programming following the [http://tutor.rascal-mpl.org/Courses/EASY/EASY.html EASY] paradigm. It can be applied in domains ranging from compiler construction and implementing domain-specific languages to constraint solving and software renovation.
Since representation of information is central to the approach, Rascal provides a rich set of built-in data types. To support extraction and analysis, parsing and advanced pattern matching are provided. High-level control structures make analysis and synthesis of complex datastructures simple.
===Benefits===
#'''Familiar syntax''' in a what-you-see is-what-you-get style is used even for sophisticated concepts and this makes the language easy to learn and easy to use.
#'''Sophisticated built-in data types''' provide standard solutions for many meta-programming problems.
#'''Safety''' is achieved by finding most errors before the program is executed and by making common errors like missing initializations or invalid pointers impossible.
#'''Local type inference''' makes local variable declarations redundant.
#'''Pattern matching''' can be used to analyze all complex datastructures.
#'''Syntax definitions''' make it possible to define new and existing languages and to write tools for them.
#'''Visiting''' makes it easy to traverse datastructures and to extract information from them or to synthesize results.
#'''Templates''' enable easy code generation.
#'''Functions as values''' permit programming styles with high re-use.
#'''Generic types''' allow writing functions that are applicable for many different types.
#'''Eclipse integration''' makes Rascal programming a breeze. All familiar tools are at your fingertips.
===Pitfalls===
#Rascal programs are not yet highly optimized so execution maybe slow for some programs.
#At the time of writing, this checking is done during execution, but we are working on this.
==Facts==
| |||