프로그래밍 언어 Haxe 4.0 출시

사용 가능 툴킷 릴리스 핵스 4.0에는 강력한 타이핑 기능을 갖춘 동일한 이름의 다중 패러다임 고급 프로그래밍 언어, 크로스 컴파일러 및 표준 함수 라이브러리가 포함되어 있습니다. 이 프로젝트는 각 대상 플랫폼의 기본 기능에 액세스하여 C++, HashLink/C, JavaScript, C#, Java, PHP, Python 및 Lua로의 변환은 물론 JVM, HashLink/JIT, Flash 및 Neko 바이트코드로의 컴파일도 지원합니다. 컴파일러 코드 배포자 GPLv2 라이센스에 따라 표준 라이브러리와 Haxe용으로 개발된 가상 머신 네코 MIT 라이센스에 따라.

언어는 표현 지향적 강한 타이핑으로. 객체 지향, 일반 및 기능적 프로그래밍 개념이 지원됩니다.
Haxe 구문은 ECMAScript에 가깝고 팽창하다 정적 유형 지정, 자동 유형 추론, 패턴 일치, 제네릭, 반복자 기반 for 루프, AST 매크로, GADT(일반 대수 데이터 유형), 추상 유형, 익명 구조, 단순화된 배열 정의, 조건부 컴파일 표현식, 필드에 메타데이터 연결과 같은 기능 , 클래스 및 표현식, 문자열 보간('My name is $name'), 유형 매개변수("new Main<String>('foo')") 및 훨씬 더.

클래스 테스트 {
정적 함수 메인() {
var 사람들 = [
"엘리자베스" => "프로그래밍",
"조엘" => "디자인"
];

for (people.keys()의 이름) {
var 직업 = 사람[이름];
Trace('$name은 $일을 해서 생계를 유지하고 있습니다!');
}
}
}

주요 혁신 버전 4.0:

• "String->Int->Bool" 대신 함수 유형 "(name:String, age:Int)->Bool" 또는 "(String, Int)->Bool"을 지정하기 위한 새로운 구문입니다.
• 화살표 함수 구문은 "function(a, b) return a + b" 대신 "(a, b) -> a + b"입니다.
• Null 값 사용과 관련된 문제로부터 보호합니다(실험적 기능, 특정 필드, 클래스 또는 패키지에 대해 선택적으로 활성화됨).
• "final" 키워드는 변경할 수 없는 클래스 필드와 지역 변수를 위한 것입니다. "final"은 상속에 의해 재정의되는 것을 방지하고 상속될 수 없는 클래스/인터페이스에 대해 함수를 정의하는 데에도 사용할 수 있습니다.
• 지원 Neko를 제외한 모든 컴파일 대상의 기본 유형 "String"에 대한 유니코드 표준입니다.
• 처음부터 다시 작성된 내장 통역사(이제 이름이 붙음) 평가. 새로운 인터프리터 덕분에 스크립트와 매크로가 훨씬 빠르게 실행됩니다. 대화형 디버깅 모드가 지원됩니다.
• 컴파일을 위한 새로운 타겟 시스템(target) 해시링크 - JIT 또는 C용 바이트코드 컴파일을 지원하는 Haxe용으로 특별히 설계된 고성능 런타임은 C와의 통합이 용이하고 하위 수준 숫자 유형 및 포인터에 대한 액세스도 제공합니다.
• 새로운 JVM 대상 - Java에서 대상을 지정할 때 "-D jvm" 플래그를 추가하여 Java 코드의 컴파일 단계를 건너뛰고 jvm 바이트코드를 생성할 수 있습니다.
• 함수나 생성자를 호출하는 시점에서 선언되지 않은 경우에도 인라인 배포할 수 있는 기능입니다.
• 포함 가능성 정적 확장 "@:using(path.ToExtension)"을 사용하여 유형(예: "enum")을 선언할 때.
• 이제 추상 유형은 "obj.foo = bar" 표현식을 다시 로드하기 위해 "@:op(ab)" 연산자의 "set" 버전을 지원합니다.
• "for" 루프 구문은 이제 키-값 반복을 지원합니다: "for (key => value in collection) {}".
• 표현식에서 XML과 유사한 마크업 사용 지원: "var a = ``hi/>;" 현재 이 기능은 매크로를 사용한 구문 분석에만 사용할 수 있으며 설계 단계에 있습니다.
• 익명 구조 유형의 "전체" 표기법에서 선택적 필드의 구문은 다음과 같습니다. "{ var ?f:Int; }"(짧은 "{ ?f:Int }"의 대안).
• 열거형 값은 이제 함수 인수의 기본값이 될 수 있습니다: "function foo<T>(option:Option<T> = None)".
• "enum abstract Name(BasicType) {}" 구문에는 더 이상 "enum"에 "@:" 접두사가 필요하지 않습니다.
• 추상 열거에 대한 자동 번호 매기기:

  열거형 추상 Foo(Int) {
  변수 A; // 0
  변수 B; // 1
  }
  열거형 추상 Bar(String) {
  변수 A; // "ㅏ"
  변수 B; // "비"
  }

• "extern" 키워드에는 더 이상 "@:" 접두사를 사용할 필요가 없습니다.
• "옵션을 제거했습니다.구현하다 동적"을 사용하여 문자열을 통해 클래스 필드에 액세스합니다. 외부 클래스 또는 추상 유형 구현을 통해 사용할 수 있습니다.
• 현재 익명 구조 및 유형 매개변수 제약 조건에만 적용되는 유형 교차에 대한 "A & B" 구문을 추가했습니다. 이전 제약 조건 구문이 제거되었습니다.
• 빈 "Map" 인스턴스 생성은 "var map:Map<Int, String> = [];" 구문을 통해 가능합니다. 배열과 비슷합니다.
• 데이터 구조 "haxe.ds.ReadOnlyArray"를 추가했습니다.
• 이제 메타데이터는 네임스페이스("@:prefix.name function() {...}")를 가질 수 있습니다. 마찬가지로 정의: "#if (some.flag ... #end").
• IDE에 사용되는 새로운 서비스 프로토콜 VSCode용 플러그인.
• Web API에 대한 외부 정의(extern)를 업데이트하고 누락된 정의를 추가했습니다.

출처 : opennet.ru