Vala (programming language)
{{Short description|Programming language}}
{{Use dmy dates|date=August 2015}}
{{Infobox programming language
| name = Vala
| logo = Vala Logo New.svg
| paradigm = Multi-paradigm: imperative, structured, object-oriented
| developer = Jürg Billeter, Raffaele Sandrini, Rico Tzschichholz
| latest release version = {{wikidata|property|edit|P548=Q2804309|P348}}
| latest release date = {{start date and age|{{wikidata|qualifier|single|P548=Q2804309|P348|P577}}}}
| typing = Static, strong, inferred, structural
| influenced by = C, C++, C#, D, Java, Boo
| operating system = Cross-platform all supported by GLib, but distributed as source code only.
| license = LGPLv2.1+
| website = {{URL|https://vala.dev}}
| year = {{Start date and age|df=yes|2006}}
| file ext = .vala, .vapi
}}
Vala is an object-oriented programming language with a self-hosting compiler that generates C code and uses the GObject system.
Vala is syntactically similar to C# and includes notable features such as anonymous functions, signals, properties, generics, assisted memory management, exception handling, type inference, and foreach statements.{{cite web|url=https://arstechnica.com/information-technology/2007/09/vala-high-level-programming-with-less-fat/|title=Vala: high-level programming with less fat|date=2 September 2007|publisher=Ars Technica|access-date=13 December 2011}} Its developers, Jürg Billeter and Raffaele Sandrini, wanted to bring these features to the plain C runtime with little overhead and no special runtime support by targeting the GObject object system. Rather than compiling directly to machine code or assembly language, it compiles to a lower-level intermediate language. It source-to-source compiles to C, which is then compiled with a C compiler for a given platform, such as GCC or Clang.{{cite web|url=https://lwn.net/Articles/335966/|title=A look at two new languages: Vala and Clojure}}
Using functionality from native code libraries requires writing vapi files, defining the library interfaces. Writing these interface definitions is well-documented for C libraries. Bindings are already available for a large number of libraries, including libraries that are not based on GObject such as the multimedia library SDL and OpenGL.
Description
Vala is a programming language that combines the high-level build-time performance of scripting languages with the run-time performance of low-level programming languages. It aims to bring modern programming language features to GNOME developers without imposing any additional runtime requirements and without using a different ABI, compared to applications and libraries written in C. The syntax of Vala is similar to C#, modified to better fit the GObject type system.{{cite web|url=https://gitlab.gnome.org/GNOME/vala/|title=Vala· GitLab|publisher=GNOME|access-date=16 March 2021}}
History
Vala was conceived by Jürg Billeter and was implemented by him and Raffaele Sandrini, who wished for a higher-level alternative for developing GNOME applications instead of C. They liked the syntax and semantics of C# but did not want to use Mono, so they finished a compiler in May 2006. Initially, it was bootstrapped using C, and one year later (with release of version 0.1.0 in July 2007), the Vala compiler became self-hosted. In 2008, the Genie language was created to expose a Python-like syntax to the Vala compiler.{{cite conference |last1=Jančár |first1=M. |last2=Chodarev |first2=S. |title=A generative framework for development of CRUD-based Linux desktop applications |book-title=2015 IEEE 13th International Scientific Conference on Informatics |date=2015 |location=Poprad, Slovakia |pages=133–138 |doi=10.1109/Informatics.2015.7377821|quote=The Vala compiler also supports the Genie language, which is almost equal to Vala except the syntax. That is useful especially for defining models because of simple, “Python-like” syntax of Genie.}} As of 2021, the current stable release branch with long-term support is 0.48, and the language is under active development with the goal of releasing a stable version 1.0.{{cite book|author=Michael Lauer|url=https://link.springer.com/book/10.1007/978-1-4842-5380-9|title=Introducing Vala Programming|year=2019|doi=10.1007/978-1-4842-5380-9|isbn=978-1-4842-5379-3|s2cid=207911698|access-date=16 March 2021}}
class="wikitable" |
Version
! Remarks |
---|
style="text-align: center;"
| {{Version | o | 0.0.1}} | 2006-07-15 | |
style="text-align: center;"
| {{Version | o | 0.1.0}} | 2007-07-09 | |
style="text-align: center;"
| {{Version | o | 0.10.0}} | 2010-09-18 | |
style="text-align: center;"
| {{Version | o | 0.20.0}} | 2013-05-27 | |
style="text-align: center;"
| {{Version | o | 0.30.0}} | 2015-09-18 | |
style="text-align: center;"
| {{Version | o | 0.40.0}} | 2018-05-12 | Stable Long-term Support |
style="text-align: center;"
| {{Version | o | 0.42.0}} | 2018-09-01 | |
style="text-align: center;"
| {{Version | o | 0.44.0}} | 2019-05-09 | |
style="text-align: center;"
| {{Version | o | 0.46.0}} | 2019-09-05 | |
style="text-align: center;"
| {{Version | o | 0.48.0}} | 2020-03-03 | Stable Long-term Support |
style="text-align: center;"
| {{Version | o | 0.50.0}} | 2020-09-10 | |
style="text-align: center;"
| {{Version | o | 0.52.0}} | 2021-05-17 | |
style="text-align: center;"
| {{Version | o | 0.54.0}} | 2021-09-16 | |
style="text-align: center;"
| {{Version | co | 0.40.25}} | 2021-01-11 | Stable Long-term Support |
style="text-align: center;"
| {{Version | o | 0.56.0}} | 2022-03-17 | Stable Long-term Support |
style="text-align: center;"
| {{Version | co | 0.48.25}} | 2022-09-16 | Stable Long-term Support |
style="text-align: center;"
| {{Version | c | 0.56.17}} | 2024-04-19 | Stable Long-term Support |
colspan="100%" | {{Version | l | show=111100}} |
colspan="40%" | For old versions, only first point releases are listed |
Language design
=Features=
Vala uses GLib and its submodules (GObject, GModule, GThread, GIO) as the core library, which is available for most operating systems and offers things like platform independent threading, input/output, file management, network sockets, plugins, regular expressions, etc. The syntax of Vala currently supports modern language features as follows:
- Interfaces
- Properties
- Signals
- Foreach
- Lambda expressions
- Type inference for local variables
- Generics
- Non-null types
- Assisted memory management
- Exception handling
Graphical user interfaces can be developed with the GTK GUI toolkit and the Glade GUI builder.
=Memory management=
For memory management, the GType or GObject system provides reference counting. In C, a programmer must manually manage adding and removing references, but in Vala, managing such reference counts is automated if a programmer uses the language's built-in reference types rather than plain pointers. The only detail one needs to worry about is to avoid generating reference cycles, because in that case this memory management system will not work correctly.{{cite web|url=https://wiki.gnome.org/Projects/Vala/ReferenceHandling|title=Vala's Memory Management Explained}}
Vala also allows manual memory management with pointers as an option.
=Bindings=
Vala is intended to provide runtime access to existing C libraries, especially GObject-based libraries, without the need for runtime bindings. To use a library with Vala, all that needed is an API file (.vapi) containing the class and method declarations in Vala syntax. However, C++ libraries are not supported. At present, vapi files for a large part of the GNU project and GNOME platform are included with each release of Vala, including GTK. There is also a library called Gee, written in Vala, that provides GObject-based interfaces and classes for commonly used data structures.{{cite web|url=https://gitlab.gnome.org/GNOME/libgee/|title=Libgee on Gitlab}}
It should also be easily possible to write a bindings generator for access to Vala libraries from applications written in other languages, e.g., C#, as the Vala parser is written as a library, so that all compile-time information is available when generating a binding.
Tools
=Editors=
Tooling for Vala development has seen significant improvement over the recent years. The following is a list of some popular IDEs and text editors with plug-ins that add support for programming in Vala:
- GNOME Builder
- Visual Studio Code, with Vala plugin{{cite web |url=https://wiki.gnome.org/Projects/Vala/Tools/VisualStudioCode |title=Coding in Vala with Visual Studio Code |access-date=2021-03-17}}
- Vim, with {{Not a typo|arrufat/vala.vim}} plugin{{cite web |url=https://wiki.gnome.org/Projects/Vala/Tools/Vim |title=Coding in Vala with the Vim Text Editor |access-date=2021-03-17}}
- Emacs, with vala-mode{{cite web |url=https://wiki.gnome.org/Projects/Vala/Emacs |title=Enable Vala syntax highlighting and code browser support in GNU Emacs |access-date=2021-03-17}}
- Atom
- Geany
=Code intelligence=
Currently, there are two actively developing language servers which offer code intelligence for Vala as follows:
- {{Not a typo|vala-lang/vala-language-server}}, designed for any editor that supports LSP, including VSCode, vim, and GNOME Builder{{cite web |url=https://github.com/vala-lang/vala-language-server|title=vala-lang/vala-language-server on Github |website=GitHub |access-date=2021-03-17}}
- {{Not a typo|esodan/gvls}}, currently the default language server for Vala in GNOME Builder and provides support to any editor with support for LSP{{cite web |url=https://gitlab.gnome.org/esodan/gvls |title=esodan/gvls on GitLab |access-date=2021-03-17}}
=Build systems=
Currently, there are a number of build systems supporting Vala, including Automake, CMake, Meson, and others.{{cite web |url=https://wiki.gnome.org/Projects/Vala/Tools |title=Vala Tools |access-date=2021-03-29}}
=Debugging=
Debugging for Vala programs can be done with either GDB or LLDB. For debugging in IDEs,
- GNOME Builder has built-in debugging support for Vala with GDB.
- Visual Studio Code has extensions for GDB and LLDB, such as cpptools and CodeLLDB.
Examples
=Hello world=
simple "Hello, World!" program in Vala:
void main () {
print ("Hello World\n");
}
As can be noted, unlike C or C++, there are no header files in Vala. The linking to libraries is done by specifying --pkg
parameters during compiling. Moreover, the GLib library is always linked and its namespace can be omitted (print
is in fact GLib.print
).
=Object-oriented programming=
Below is a more complex version which defines a subclass HelloWorld
inheriting from the base class GLib.Object
, aka the GObject class. It shows some of Vala's object-oriented features:
class HelloWorld: Object {
private uint year = 0;
public HelloWorld () {
}
public HelloWorld.with_year (int year) {
if (year>0)
this.year = year;
}
public void greeting () {
if (year == 0)
print ("Hello World\n");
else
/* Strings prefixed with '@' are string templates. */
print (@"Hello World, $(this.year)\n");
}
}
void main (string[] args) {
var helloworld = new HelloWorld.with_year (2021);
helloworld.greeting ();
}
As in the case of GObject library, Vala does not support multiple inheritance, but a class in Vala can implement any number of interfaces, which may contain default implementations for their methods. Here is a piece of sample code to demonstrate a Vala interface with default implementation (sometimes referred to as a mixin)
using GLib;
interface Printable {
public abstract string print ();
public virtual string pretty_print () {
return "Please " + print ();
}
}
class NormalPrint: Object, Printable {
string print () {
return "don't forget about me";
}
}
class OverridePrint: Object, Printable {
string print () {
return "Mind the gap";
}
public override string pretty_print () {
return "Override";
}
}
void main (string[] args) {
var normal = new NormalPrint ();
var overridden = new OverridePrint ();
print (normal.pretty_print ());
print (overridden.pretty_print ());
}
=Signals and callbacks=
Below is a basic example to show how to define a signal in a class that is not compact, which has a signal system built in by Vala through GLib. Then callback functions are registered to the signal of an instance of the class. The instance can emit the signal and each callback function (also referred to as handler) connected to the signal for the instance will get invoked in the order they were connected in:
class Foo {
public signal void some_event (); // definition of the signal
public void method () {
some_event (); // emitting the signal (callbacks get invoked)
}
}
void callback_a () {
stdout.printf ("Callback A\n");
}
void callback_b () {
stdout.printf ("Callback B\n");
}
void main () {
var foo = new Foo ();
foo.some_event.connect (callback_a); // connecting the callback functions
foo.some_event.connect (callback_b);
foo.method ();
}
=Threading=
A new thread in Vala is a portion of code such as a function that is requested to be executed concurrently at runtime. The creation and synchronization of new threads are done by using the Thread
class in GLib, which takes the function as a parameter when creating new threads, as shown in the following (very simplified) example:
int question(){
// Some print operations
for (var i = 0; i < 3; i++){
print (".");
Thread.usleep (800000);
stdout.flush ();
}
return 42;
}
void main () {
if (!Thread.supported ()) {
stderr.printf ("Cannot run without thread support.\n");
return;
}
print ("The Ultimate Question of Life, the Universe, and Everything");
// Generic parameter is the type of return value
var thread = new Thread
print(@" $(thread.join ())\n");
}
=Graphical user interface=
Below is an example using GTK to create a GUI "Hello, World!" program (see also GTK hello world) in Vala:
using Gtk;
int main (string[] args) {
Gtk.init (ref args);
var window = new Window ();
window.title = "Hello, World!";
window.border_width = 10;
window.window_position = WindowPosition.CENTER;
window.set_default_size (350, 70);
window.destroy.connect (Gtk.main_quit);
var label = new Label ("Hello, World!");
window.add (label);
window.show_all ();
Gtk.main ();
return 0;
}
The statement Gtk.main ()
creates and starts a main loop listening for events, which are passed along via signals to the callback functions. As this example uses the GTK package, it needs an extra --pkg
parameter (which invokes pkg-config in the C backend) to compile:
valac --pkg gtk+-3.0 hellogtk.vala
See also
{{Portal|Free and open-source software}}
- Shotwell, an image organiser written in Vala.
- Geary, an email client written in Vala.
- elementary OS, a Linux distribution with a desktop environment programmed mostly in Vala.
- Budgie, a Linux desktop environment programmed mostly in Vala.
References
{{Reflist|30em}}
External links
{{Wikibooks|Vala Programming}}
{{commons category|Vala (programming language)}}
- {{Official website|https://vala.dev}}
- [https://wiki.gnome.org/Projects/Vala GNOME Wiki Page]
- [http://valadoc.org API Documentation]
- [https://gitlab.gnome.org/GNOME/vala Vala] repository on GNOME · GitLab
- [https://wiki.gnome.org/Projects/Libgee LibGee], a utility library for Vala.
- [http://bazaar.launchpad.net/~sepisoad/vala-totrials/ValaTutorials/files Vala sample code for beginners]
- [https://wiki.gnome.org/Projects/Vala/Documentation#Projects_Developed_in_Vala List of Vala programs]
- [https://www.rastersoft.com/programas/autovala.html Autovala, a program that automatizes and simplifies creating CMake and Meson files for Vala/C projects]
- [https://github.com/vala-lang/ The Vala community on GitHub]
- [https://github.com/akiraux/Akira Akira] - Linux native designer tool
- [https://www.datatable.online Kangaroo] - Cross-platform database client tool for popular databases
;Comparison with other languages
- [https://wiki.gnome.org/Projects/Vala/ValaForJavaProgrammers Vala and Java]
- [https://wiki.gnome.org/Projects/Vala/ValaForCSharpProgrammers Vala and C#]
- [https://github.com/kostya/benchmarks Benchmarks of different languages, including Vala]
{{GNOME}}
{{CProLang}}
Category:Programming languages
Category:Object-oriented programming languages
Category:Software using the GNU Lesser General Public License
Category:Source-to-source compilers
Category:Statically typed programming languages