The document outlines the features of the Haxe programming language, particularly highlighting its capabilities as a cross-compiler for multiple targets and its free, open-source nature. Key features include static typing, inlining, conditional compiling, type inference, and metadata support, which enhance code optimization and maintainability. The document emphasizes the Haxe community's active engagement and resources available for developers.

1. ROME 24-25 MARCH 2017
haxe language
my ten favorite
features
francis bourre

2. haxe
❤ story ?

3. why we chose haxe?
● Cross compiler for 10 targets (C++, JS, PHP, Java, Python, Lua…)

4. why we chose haxe?
● cross compiler for 10 targets (C++, JS, PHP, Java, Python, Lua…)
● free and open source toolkit

5. why we chose haxe?
● cross compiler for 10 targets (C++, JS, PHP, Java, Python, Lua…)
● free and open source toolkit
● statically typed programming language

6. And we discovered it was a
● cross compiler for 10 targets (C++, JS, PHP, Java, Python, Lua…)
● free and open source toolkit
● statically typed programming language

7. language features
So, what should I expect from a
GOOD programming language?

8. language features
● Great syntax/semantics
● Code readable and easily maintainable
● Compile time optimizations
● … And fun/intuitive to use :)

9. But, let’s start with...

10. Let’s start with
hello world
http://try.haxe.org/#8737E

12. conditional compiling
works in pair with compiler arguments

13. conditional compiling
works in pair with compiler arguments

14. inlining
Allows code blocks
to be directly inserted
instead of calling them

15. inlining
dry
http://try.haxe.org/#30082

16. inlining
constructor inlining
http://try.haxe.org/#B150C

17. ● unused variables
● unreachable code
● and more...
http://try.haxe.org/#05485
dce and static analyser
code optimization

18. dce and static analyser

19. dce and static analyser
code optimization

20. type inference
strict typing without verbosity
automatic deduction of the data type
of an expression

21. type inference

22. type inference
http://try.haxe.org/#42127

23. type inference
how does it work?

24. type inference
works with composite types

25. static extension
augmenting types

26. static extension
augmenting types

27. static extension
augmenting types

28. array comprehension
initialize arrays with ease

29. abstract
modify/augment concrete type behaviors

30. abstract
example

31. abstract
Operators overloading

32. abstract
implicit casting

33. abstract
implicit casting
http://try.haxe.org/#859e3

34. metadata
@nnotations at runtime and compile-time

35. metadata
annotations @runtime and @compile-time
● class declaration
● any class field
● enum declaration and constructors

36. metadata
allowed values
● constants
● array declarations
● object declarations

37. metadata
example on class fields

38. metadata
example on method arguments

39. metadata
constant identifier

40. pattern matching

41. pattern matching
switch expression
Process of branching depending
on a value matching

42. pattern matching
match against values

43. pattern matching
match against fields

44. pattern matching
| operator

45. pattern matching
with guards

46. pattern matching
with extractors
Allows to check if transformations
match values

47. pattern matching
with extractors

48. pattern matching
with extractors

49. macros

50. macros
black magic @compile-time

51. macros
black magic @compile-time
● Initialization macro

52. macros
black magic @compile-time
● Initialization macro
● Build macro

53. macros
black magic @compile-time
● Initialization macro
● Build macro
● Expression macro

54. macros
expression example

55. macros
build example

56. macros
simple build example

57. macros
annotation/reflection parser example
hexMachina reflection builder

58. real macro use case
DSL compilation

59. DSL PARSING/ASSEMBLING FLOW
Xml Parser
parses

60. DSL PARSING/ASSEMBLING FLOW
Xml Parser Assembler
parses translates

61. DSL PARSING/ASSEMBLING FLOW
Xml Parser Assembler
Context
Factory
parses translates
Runtime @pplication
builds

62. DSL PARSING/COMPILING FLOW
Xml Parser Assembler
CompileTime
Factory
parses translates
Generated Code
generates

63. After compilation
JavaScript is generated

64. DSL CHECKING @compile time
type not found

65. and to conclude...

66. best feature ever
guess what

67. best feature ever
❤

68. haxe community
● haxelang - google group
● twitter - #haxe
● stack overflow
● HaxeFoundation - github
● haxe.io

69. questions ?