News from the Haxe universe

A small online conference HaxeIn 2020 took place on October 14 . One of the speakers was Alexander Kuzmenko , the developer of the Haxe compiler.

Alexander 's talk is an account of the work done since February 2020 (when HaxeUp Hamburg hosted by Inno Games took place). I bring to your attention a transcript of his speech.

What has been done in the intervening time?

benchs.haxe.org

, Haxe. , AlexHaxe.

https://benchs.haxe.org/, — github.

, . Haxe — , JVM - ( , ). , , .

Haxe 4.1

Haxe 4.1 ( Haxe 4.0). 4.1 :

• JVM ( JVM ). , .
• SSL Haxe (eval-)
• . , . .
• , , .

, Haxe 4.1 , , . ( ), Haxe 4.1 IDE.

dts2hx

2 Haxe 4.1 dts2hx — TypeScript Haxe-, JavaScript. , JavaScript-.

Haxe Foundation, dts2hx ( , ).

Haxe 4.1:

JVM-. — - ( pull request ), .. - — Java-. ( ), , , , , Haxe- JVM - Java. JVM- — Haxe, :

• Java, ,
• Haxe - JVM, JavaScript-
• . — jar-
• JVM — , Haxe. , , Java — ( ). , formatter ( formatter ) JVM- .

SSL eval- ( Haxe) https- .

API Mbed TLS SSL ( Haxe SSL).

haxe.Exception

.

(, , , ). Haxe 4.1 (.. ), haxe.Exception



( ) -.

, haxe.Exception



. , , haxe.Exception



(, ), "" , haxe.Exception



. , Dynamic



(.. ) Haxe 4.1.

: Haxe haxe.CallStack



, . (rethrow exception), . ( ).

, :

• . , - ( ), ,
• haxe.Exception
  
  
  
  . , Haxe
• . , Haxe jar jar Java, , Haxe-, Java- - .

catch



— , haxe.Exception



.

Tail recursion elimination

(tail recursion elimination) .

, , , ( ).

, , .

( -D analyzer_optimize



).

, (inline), (final) . , ( ).

-D no_tre



.

Haxe 4.1 :

• ,
• Null- (Null Safety) — StrictThreaded, , . Strict- , .
• , ( JavaScript Source Maps) — .
• Std.is
  
  
  
  (deprecated), Std.isOfType
  
  
  
  . is
  
  
  
  ( Haxe 4.2).

Haxe Evolution 2020

- Haxe Evolution, Haxe ( , , ).

. issue , .

— Void



" " (unit type). , : Void



, , , - . , Void



(Promise



), . Haxe .

, .. , , Void



, , Void



.

— . AST . .

, Haxe , — . . , : , @.haxe.meta.MetadataType



, . , .. , — , . , .

— . , , - , , . , .

( C# Java) . , Haxe . , .

- . : , ( ); , - , .

— , . Haxe — , , . , .

Haxe, . , this



( ). , . , : Haxe as



, , .

- (generic types) . , (, ) - (, String



). , typedef



, , , .

, , , , , , , ?

this



, , . , .. . , , .

(type parameter variance of enum).

, , enum



Int



, enum



Float



( ) — , . , , , . , .

, .. — enum



, (, ). , C#, in



out



-.

Haxe 4.2

, Haxe .

Haxe 4.2. , .. , ( , ).

:

(Module-level static fields), , - . , , . , .

, . "" Java:

• ,

Shape



, API — Shape



vertices()



, . Square



.

, - , .

sys.thread.Thread

Haxe 4.2 ( , ) — (event loops) ( NodeJS libuv):

• ,
• . , - (callback)
• , .. Haxe 4.2, , , . Haxe 4.2 , .

API sys.thread.Thread



— Thread.createWithEventLoop()



, , . , , , , :

, :

secondary.events.run(() -> {
    trace(‘This is printed from the secondary thread’);
});
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
    

, secondary



.

, , , secondary



, , :

mainThread.events.run(() -> {
    trace(‘This is printed from the main thread’);
});
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
    

( ).

, .. Haxe , secondary



, , , secondary



. Sys.sleep(2)



.

(, Thread.create()



, API ) , sys.thread.NoEventLoopException



.

: secondary



, , ( secondary



).

— "", , , .

: "" , , ( , ) . , , , , , Sys.sleep(2)



— .

( ):

• ( )
• (variance forwarding), "" (underlying type)
• (constructor forwarding). Haxe 4.1 (@:forward



@:forwardStatics
  
  
  
  ), Haxe 4.2 @:forward.new
  
  
  
  .

— 40 -.

:

, (transitive casting), @:transitive



. .

("" ). Haxe 4.1 (Array<Int>



) , Collection



. , Collection



Array<Int>



( Items



). Haxe 4.2 ( ) — @:transitive



Collection



, Items



, , Collection



Array<Int>



(.. Items



Array<Int>



):

var collection:Collection = [123];

, Array<Int>



Collection



:

var array:Array<Int> = collection;

(variance forwarding) . :

Haxe 4.1 Array<Int>



Array<Money>



, Money



— , Int



. , @:forward.variance



, "" , , Int



, Money



.

Any



, . Dynamic



, -. Any



.

, :

• Haxe 4.2 is
  
  
  
  . Haxe 4.1 — . is



Std.isOfType()
  
  
  
  ( ), .
• Python API — sys.thread.Thread
  
  
  
  .
• (object inlining). . , , , .
• . , , 2- Haxe ( 1 2). , , , , .

WIP

Haxe 4.2, :

API. API , API.

API C API , , API .

API , .

API Libuv, Haxe (eval-), API Libuv , .

OCaml- Luv.

, Libuv ( ).

:

• Haxe
• there will be cross-platform implementations of integer types such as 8 and 16-bit integers, signed and unsigned, etc.
• there will also be support for methods with a variable number of arguments (rest arguments). Work on them had already begun, however, it was postponed.

Thanks for attention! I hope you found this material interesting.