Здесь приведён список основных возможностей haXe. Пусть Вас не пугает то, что их слишком много, Вам не нужно изучать все, чтобы начать использовать haXe.

Поддерживаемые платформы

• Может компилироваться в Javascript - генерируется файл .js
• Может компилироваться в Flash 6-8 - генерируется файл .swf
• Может компилироваться в Flash 9-10 / Tamarin - генерируется файл .swf
  • при генерации оптимизирована арифметика целых чисел
  • автоматический кастинг (приведение типов) при чтении типизированных массивов

• Может компилироваться для NekoVM - создаётся файл .n с байткодом
  • может запускаться из командной строки
  • может быть запущен на веб-сервере Apache (с mod_neko)
• Может компилироваться в исходный код AS3
• Может компилироваться в PHP
• Может компилироваться в исходный код C++ (который, в свою очередь - в бинарный машинный)

Возможности компилятора

• Специальный режим компилятора для дебага (включает стек вызовов для JS и Flash 6-8)
• Поддержка trace и положения файла
• Inline методы и переменные
• Информация о типах во время выполнения
• Оптимизированы параметризованные типы (Generics) (для Flash9)
• Ресурсы из внешних файлов
• Условная компиляция
• Генерация документации и типов в формат XML

Библиотеки и Инструменты

• Встроенная поддержка Firebug
• Кросс-платформенная поддержка XML
• Кросс-платформенная сериализация в формат совместимый с передачей по сети
• Кросс-платформенные коммуникации с помощью haXe Remoting
• Создание Flash Десктоп Приложений с помощью ScreenweaverHX

Возможности языка

• Строго Типизированный Язык
• Замыкания (closures)
• Регулярные Выражения
• Система типов высокого уровня включает :
  • классы и интерфейсы
  • перечислимые типы (enum)
  • типы-функции
  • анонимные типы (структуры)
  • динамические типы
• Перечисления (enum)
  • наобязательные параметры конструкторов
  • параметры типа (полиморфизм)
• Полное выявление типов : вам не нужно указывать тип локальных переменных
• Параметризируемые типы (Generics) с необязательными ограничениями
• Модульная система: пакеты + приватные определения
• Структурная система типов (duck typing) с использованием выявления типов и анонимных типов
• Полиморфные методы