Haxe

Haxe

Paradigm	Multi-paradigm
Developer	Haxe Foundation
First appeared	2005
Stable release	3.3.0-rc1 / May 25, 2016 (2016-05-25)
Typing discipline	Static
Implementation language	OCaml
Platform	IA-32, x86-64
OS	Windows, OS X, Linux
License	GPL v2, library: MIT
Filename extensions	.hx .hxml
Website	haxe.org
Influenced by
ActionScript, OCaml, Java

Haxe is an open source, high-level, cross-platform, multi-paradigm programming language and compiler that can produce applications and source code for many different platforms from a single code-base.^[1][2][3][4]

Haxe includes a set of common functionality that is supported across all platforms, such as numeric data types, text, arrays, binary and some common file formats.^[2][5] Haxe also includes platform-specific API for Adobe Flash, C++, PHP and other languages.^[2][6]

Code written in the Haxe language can be source-to-source compiled into ActionScript 3, JavaScript, Java, C#, C++, Python, PHP, Lua^[7] and Node.js.^[2][5][8][9] Haxe can also produce SWF and Neko bytecode.

Major users of Haxe include TiVo, Prezi, Nickelodeon, Disney, Mattel, Hasbro, Coca Cola, Toyota and BBC.^[10][11] OpenFL and Flambe are popular Haxe frameworks that enable the creation of multi-platform content from a single codebase.^[11]

Architecture

Unified language

The most unique aspect of the Haxe architecture was the decision to support Flash, JavaScript and server-side scripting with a single unified language.^[12][13] In typical web development projects, developers must use many different languages to build an integrated web application:^[12][13]

• PHP or another server-side language to generate HTML
• JavaScript to manipulate HTML on the client-side
• ActionScript for graphical sections built in Flash

Haxe originated with the idea of supporting all such aspects in a single language, and simplifying the communication logic between them.^[12][13][14] This means that the application logic does not have to deal with the implementation of the communication, which usually involves working with XML files.

The original goals of Haxe were:^[12]

• Build a language more powerful than ActionScript 2 or ActionScript 3
• Be able to easily port an ActionScript application to Haxe
• Be able to use this language for Flash 6, 7, 8 and 9
• Be able to use this language for JavaScript-Ajax
• Be able to use this language for server-side programming, instead of PHP or Java

Compiler

The Haxe compiler is separated into one frontend and multiple backends. The frontend creates an abstract syntax tree (AST) from the source code, and performs type checking, macro expansion and optimization on the AST. The various backends translate the processed AST into source code or generate bytecode, depending on their target.

The compiler is written in OCaml. It can be run in server-mode to provide code completion for IDEs and maintain a cache, to speed up compilation even more.^[15]

Targets

In Haxe, supported platforms are known as "targets", which are Haxe modules that provide access to core-APIs (language and bytecode targets), for the compiler-backends that are responsible for generating the respective code, and for runtimes with specific APIs that go beyond the core language support (platform-targets).

• Bytecode Targets produce executable byte code (Neko, SWF, SWF8), that can be executed directly by the runtime (Neko VM, Adobe Flash Player, Adobe AIR). Haxe API and platform-specific API is available.
• Language Targets produce source code (AS3, C++, C#, Java). Most source code must be compiled by a third-party compiler to produce an executable file (Flex SDK, GCC, Microsoft Visual C++, Microsoft .NET, Java compiler). JavaScript and PHP code can be run directly, since the runtime uses just-in-time compilation. Inline code written in the target language can be inserted at any point in the application, thereby supporting the entire platform API; even features missing from the Haxe wrapper API.
• External Modules are type definitions (extern class in Haxe) that describe the types of native APIs or libraries, so the Haxe compiler can use static type-checking.

Performance

The Haxe compiler is an optimizing compiler, and uses function inlining, constant folding and dead code elimination (DCE) to optimize the run-time performance of compiled programs.

The run-time performance of Haxe programs varies depending on the target platform:

• ActionScript 3: Programs produced using the Haxe compiler usually run faster than programs produced using the Apache Flex SDK ActionScript Compiler.^[16] However, using ActionScript Compiler 2 (ASC2) with manual optimization^[17] many have reported comparable performance.
• JavaScript: Programs produced using the Haxe compiler run at a comparable speed to handwritten JavaScript programs.^[18] OpenFL is a common Haxe-powered framework that can run in HTML5-JavaScript, but content built with OpenFL currently suffers performance issues on mobile devices.^[18]
• C++: Programs produced using the Haxe compiler rival handwritten C++ programs, but C++ applications built with OpenFL suffer major performance issues.^[19]

Development

Development of Haxe was started in October 2005^[20] and the first beta version was released in February 2006. Haxe 1.0 was released in April 2006, with support for Adobe Flash, JavaScript, and Neko programs.

Haxe was developed by Nicolas Cannasse and other contributors, and was originally named haXe because it was short, simple, and "has an X inside", which the author humorously asserts is necessary to make any new technology a success.^[21]

Haxe is the successor to the open-source ActionScript 2 compiler MTASC, also built by Nicolas Cannasse,^[12][22] and is released under the GNU General Public License version 2 or later.^[23]

Haxe has much in common with ActionScript 3. The Haxe compiler is developed in the OCaml language. No knowledge of OCaml is necessary to develop applications using Haxe.

Advantages to using Haxe include:

• Cross platform abilities
• A fully developed high-level language
• Ability to target modern platforms such as C#.NET and Adobe AIR
• Ability to target devices that only support C++^[24]

Source code

The recommended IDE for Haxe development is FlashDevelop,^[12] which supports ActionScript 2, 3 and Haxe as first-class languages with syntax highlighting, code completion, and other features.^[12][25] Code folding, code refactoring and interactive debugging is also supported within the IDE.^[26]

To help leverage existing code, the open-source community has created source code converters for:

• ActionScript 3 to Haxe^[27]
• C# to Haxe^[28]

To help build applications in various platforms, or to help convert Haxe code into other languages, the Haxe compiler can compile:

• Haxe to ActionScript 3^[29]
• Haxe to PHP^[30]
• Haxe to C++^[31]
• Haxe to Java^[32]
• Haxe to C#^[33]
• Haxe to Python^[34]

Platform support

The Haxe language can compile into bytecode for different virtual machines such as the Adobe Flash Player and Neko, and can generate source code in ActionScript 3, JavaScript, Lua, and includes experimental support for C++ and C#.

This strategy of "compiling" to multiple source code languages is inspired by the write once, run anywhere paradigm. It also allows the programmer to choose the best platform for the job.

The following table documents platform/language support in Haxe. Most Haxe programs will function without changes in any given language, although Haxe programs that use platform-specific API will function only in the given platform.

Language

Haxe is a general-purpose language supporting object-oriented programming, generic programming, and various functional programming constructs. Features such as iterations, exceptions, and code reflection are also built-in functionality of the language and libraries.^[37] Unusual among programming languages, Haxe contains a type system which is both strong and dynamic. The compiler will check types implicitly and give compile-time errors, but it also enables the programmer to bypass type-checking and rely on the target platform's dynamic type-handling.

Haxe is similar to ECMAScript, although almost no ECMAScript code will run on Haxe without modifications. Unlike ECMAScript, Haxe is a compiled language. Haxe is inspired by ActionScript, Java, and OCaml.^[13]

Since Haxe had its origins in ActionScript 3, all of the existing Flash API can be used, although Haxe requires better-formed code and programming standards than Adobe compilers (for example, with regard to scoping and data typing).

Type system

Haxe has a sophisticated and flexible type system. The type kinds it offers are classes, interfaces, function/method types, anonymous types, algebraic data types (ADTs, called enum in Haxe), and abstract types. Parametric polymorphism is possible with classes, ADTs and function types, giving the language support for generic programming based on type erasure. This includes support for variance in polymorphic functions, although not in type constructors.

The type system is static unless annotations for dynamic typing are present, for use with targets that support them. Type checking follows nominal typing with the exception of anonymous types where structural typing is used instead. Finally, type inference is supported, allowing for variable declarations without type annotations.

Classes

Classes (keyword "class") in Haxe are similar to those in Java or ActionScript 3. Their fields can be either methods, variables or properties, each static or per instance respectively. Haxe supports the accessors "public" and "private", as well as more advanced methods for access control (ACL, link) that are denoted using annotations. Methods and static constant variables can be inlined using the "inline" keyword.

Interfaces in Haxe are very similar to those in, for example, Java.

interface ICreature {
    public var birth:Date;
    public var name:String;

    public function age():Int;
}

class Fly implements ICreature {
    public var birth:Date;
    public var name:String;
	
    public function age():Int return Date.now().getFullYear() - birth.getFullYear();
}

Enumerated types

Enumerated types are an important feature of the language; they can have type parameters and be recursive.^[38] They provide basic support for algebraic data types, allowing the inclusion of product types, in a fashion similar to Haskell and ML. A switch expression can apply pattern matching to an enum value, allowing for elegant solutions to complex programming problems:

enum Color {
    red;
    green;
    blue;
    rgb( r : Int, g : Int, b : Int );
}

class Colors {
    static function toInt ( c : Color ) : Int {
        return switch ( c ) {
            case red: 0xFF0000;
            case green: 0x00FF00;
            case blue: 0x0000FF;
            case rgb(r, g, b): (r << 16) | (g << 8) | b;
        }
    }
    static function validCalls() {
        var redint = toInt(Color.red);
        var rgbint = toInt(Color.rgb(100, 100, 100));
    }
}

Examples of parametric enum types are the Haxe standard library types Option^[39] and Either:^[40]

enum Option<T> {
    Some(v:T);
    None;
}

enum Either<L, R> {
    Left(v:L);
    Right(v:R);
}

Haxe also supports generalized algebraic data types (GADTs).^[41][42]

Anonymous types

Anonymous types are defined by denoting their structure explicitly, using a syntax that follows the mathematical record-based representation of a type. They can be used to implement structural typing for function arguments (see below), and can be given an alias with the keyword typedef:

typedef AliasForAnon = { a:Int, b:String, c:Float->Void };

Function types

Functions are first-class values in Haxe. Their type is denoted by using arrows between argument types, and between the argument type(s) and return type, as common in many functional languages. However, unlike in prominent examples like Haskell or the ML language family, not all functions are unary functions (functions with one argument only), and in Haxe, functions can't be partially applied per default. Therefore, the following type signatures have different semantics than in the aforementioned languages. The type F is a function that takes an Int and a String as arguments, and returns a value of type Float.

The same notation in a language with unary functions only, would refer to a function that takes an Int as argument, and returns a function of type String->Float.

Types F2 and F3 denote the same type. Both are binary functions that return a binary function of type F. For F3 the syntax to declare a function type within a function type is used.

typedef F = Int->String->Float;

typedef F2 = Int->String->F;
typedef F3 = Int->String->(Int->String->Float);

Abstract types

A concept called abstract types is the latest addition to the Haxe type system. The term "abstract type" as it is used in Haxe refer to something different from a conventional abstract type. They are used to make conversions between types implicit, allowing to reuse existing types for specific purposes, like implementing types for units of measurement. This greatly reduces the risk of mixing up values of the same underlying type, but with different meanings (e.g. miles vs. km).

The following example assumes that the metric system is the default, while a conversion to miles is necessary for legacy data. Haxe is able to automatically convert miles to kilometers, but not in the opposite direction.

abstract Kilometer(Float) {
    public function new(v:Float) this = v;
}
 
abstract Mile(Float) {
    public function new(v:Float) this = v;
    @:to public inline function toKilometer():Kilometer return (new Kilometer(this / 0.62137));
}
 
class Test {
  static var km:Kilometer;
  static function main(){
    var one100Miles = new Mile(100);
    km = one100Miles;
 
    trace(km); // 160.935
  }
}

As the example shows, no explicit conversion is required for the assignment "km = one100Miles;" to do the right thing.

Structural typing

Structural typing plays a major role in many functional programming languages. Haxe employs structural typing in the presence of anonymous types, using the nominative typing of object-oriented programming when only named types are involved. Anonymous types in Haxe are analogous to the implicit interfaces of Go in terms of typing. In contrast with Go interfaces, it is possible to construct a value using an anonymous type.

class FooBar {

   public var foo:Int;
   public var bar:String;

   public function new(){ foo=1; bar="2";}

   function anyFooBar(v:{foo:Int,bar:String}) trace(v.foo);

   static function test(){
        var fb = new FooBar();
        fb.anyFooBar(fb);
        fb.anyFooBar({foo:123,bar:"456"});
   }
}

See also

Also on the Haxe platform:

• Neko (programming language)
• OpenFL
• Comparison of IDE choices for Haxe programmers

Other languages that compile to JavaScript:

• Dart
• Opa
• Clojure
• CoffeeScript
• TypeScript
• Scala^[43]

Other multi-platform languages:

• Monkey
• Vala
• Emscripten

References

External links

• Official website
• Official Haxe book
• Haxe Learning - Comprehensive Haxe tutorial wiki
• Getting Started with Haxe in FDT 5.0
• haxe.us - an introductory tutorial

Adobe Flash
File formats	ActionScript (AS) Action Message Format (AMF) Flash Video (FLV) Flash XML Graphics (FXG) Local shared objects (LSOs) MXML Flash Movie (SWF) Flash Code Library (SWC)
Software (list)	Viewers Adobe Flash Player Adobe Flash Lite Adobe AIR Scaleform GFx Gnash Lightspark Shumway Swfdec Gameswf Animation tools Adobe Animate Adobe Flash Catalyst Anime Studio Ajax Animator Express Animator Stencyl SWiSH Max Swift 3D GoAnimate Toon Boom Toufee Xara IDEs Adobe Animate Adobe Flash Builder FlashDevelop Powerflasher FDT OpenLaszlo Compilers Adobe Animate Apache Flex CrossBridge Haxe MTASC OpenFL SWFTools swfmill Debuggers Adobe Scout FlashFirebug Converters Adobe Flash Media Live Encoder SWFTools swfmill SWF2EXE software Google Swiffy Adobe Wallaby Libraries ActionScript Virtual Machine Ming SWFAddress SWFObject Papervision3D Stage3D Away3D Flare3D Starling List of Flex frameworks PureMVC Server-side Adobe Flash Media Server Adobe Flash Cast
Related topics	Comparison of HTML5 and Flash Apple and Adobe Flash controversy Flash animation films television Protected Streaming Real-Time Messaging Protocol Real-Time Media Flow Protocol
Developers	FutureWave Software Macromedia Adobe Systems