Julia 프로그래밍 언어 1.8 릴리스

고성능, 동적 타이핑 지원 및 병렬 프로그래밍을 위한 내장 도구와 같은 품질을 결합한 Julia 1.8 프로그래밍 언어가 출시되었습니다. Julia의 구문은 MATLAB과 유사하며 Ruby 및 Lisp의 일부 요소를 차용했습니다. 문자열 조작 방법은 Perl을 연상시킵니다. 프로젝트 코드는 MIT 라이선스에 따라 배포됩니다.

언어의 주요 특징:

• 고성능: 프로젝트의 주요 목표 중 하나는 C 프로그램에 가까운 성능을 달성하는 것입니다. Julia 컴파일러는 LLVM 프로젝트를 기반으로 하며 많은 대상 플랫폼에 대해 효율적인 기본 기계어 코드를 생성합니다.
• 객체 지향 및 함수형 프로그래밍 요소를 포함한 다양한 프로그래밍 패러다임을 지원합니다. 표준 라이브러리는 무엇보다도 비동기 I/O, 프로세스 관리, 로깅, 프로파일링 및 패키지 관리를 위한 기능을 제공합니다.
• 동적 타이핑: 스크립팅 프로그래밍 언어와 마찬가지로 이 언어에서는 변수 유형에 대한 명시적인 정의가 필요하지 않습니다. 대화형 모드를 지원합니다.
• 유형을 명시적으로 지정하는 선택적 기능.
• 수치 계산, 과학 계산, 기계 학습 시스템 및 데이터 시각화에 탁월한 구문입니다. 계산 병렬화를 위한 다양한 숫자 데이터 유형 및 도구를 지원합니다.
• 추가 레이어 없이 C 라이브러리에서 함수를 직접 호출하는 기능.

Julia 1.8의 주요 변경 사항:

• 새로운 언어 기능
  • 이제 변경 가능한 구조체의 필드에 상수로 주석을 달아 변경을 방지하고 최적화할 수 있습니다.
  • 유형 주석을 전역 변수에 추가할 수 있습니다.
  • 빈 n차원 배열은 대괄호 안에 여러 세미콜론을 사용하여 만들 수 있습니다. 예를 들어 "[;;]"는 0x0x0 배열을 만듭니다.
  • Try 블록은 이제 선택적으로 else 블록을 가질 수 있습니다. 이 블록은 오류가 발생하지 않은 경우 본문 바로 다음에 실행됩니다.
  • @inline 및 @noinline을 함수 본문 내에 배치하여 익명 함수에 주석을 달 수 있습니다.
  • 이제 @inline 및 @noinline을 호출 사이트 또는 블록의 함수에 적용하여 해당 함수 호출을 강제로 포함(또는 포함하지 않음)할 수 있습니다.
  • ∀, ∃ 및 ∄는 식별자 문자로 허용됩니다.
  • 유니코드 14.0.0 사양에 대한 지원이 추가되었습니다.
  • Module(:name, false, false) 메서드를 사용하면 이름이 없고, Base 또는 Core를 가져오지 않으며, 자체 참조도 없는 모듈을 만들 수 있습니다.
• 언어 변경
  • 새로 생성된 Task 개체(@spawn, @async 등)는 이제 생성 시 상위 Task의 메서드에 대한 world_age를 가지므로 최적화된 실행이 가능합니다. 이전 활성화 옵션은 Base.invokelatest 메서드를 사용하여 사용할 수 있습니다.
  • 삽입을 피하기 위해 유니코드 불균형 양방향 형식 지정 지시문은 이제 문자열과 주석에서 금지됩니다.
  • Base.ifelse는 이제 내장 함수가 아닌 일반 함수로 정의되어 패키지에서 해당 정의를 확장할 수 있습니다.
  • 이제 전역 변수에 대한 모든 할당은 전역 변수가 T 유형으로 선언된 경우 먼저 변환(Any, x) 또는 변환(T, x) 호출을 거칩니다. 전역 변수를 사용하기 전에 불변 변환(Any , x) === x는 항상 true입니다. 그렇지 않으면 예기치 않은 동작이 발생할 수 있습니다.
  • 내장 함수는 이제 일반 함수와 유사하며 메서드를 사용하여 프로그래밍 방식으로 열거할 수 있습니다.
• 컴파일러/런타임 개선
  • 부팅 시간이 약 25% 단축되었습니다.
  • LLVM 기반 컴파일러는 런타임 라이브러리에서 새로운 라이브러리인 libjulia-codegen으로 분리되었습니다. 기본적으로 로드되므로 일반적인 사용 중에는 변경이 없어야 합니다. 컴파일러가 필요하지 않은 배포(예: 필요한 모든 코드가 사전 컴파일된 시스템 이미지)에서는 이 라이브러리(및 해당 LLVM 종속성)를 간단히 생략할 수 있습니다.
  • 이제 메서드에 인수를 전달하여 조건부 형식 유추가 가능합니다. 예를 들어 Base.ifelse(isa(x, Int), x, 0)의 경우 x 유형을 알 수 없는 경우에도 ::Int를 반환합니다.
  • SROA(Scalar replacement of Aggregates)가 개선되었습니다. 영구 전역 필드가 있는 getfield 호출을 제거하고, 초기화되지 않은 필드가 있는 변경 가능한 구조를 제거하고, 중첩된 getfield 호출의 성능 및 처리를 개선합니다.
  • 유형 추론은 부작용과 비드롭 등 다양한 효과를 추적합니다. 지속적인 전파가 고려되어 컴파일 시간 성능이 크게 향상됩니다. 예를 들어, 인라인될 수 없지만 결과에 영향을 주지 않는 함수에 대한 호출은 런타임 시 삭제되는 경우도 있습니다. 효과 규칙은 Base.@assume_효과 매크로를 사용하여 수동으로 덮어쓸 수 있습니다.
  • 이제 사전 컴파일(명시적인 사전 컴파일 지시문 또는 지정된 작업 부하 포함)을 통해 더 많은 유형 정의 코드가 저장되므로 최초 실행이 더 빨라집니다. 해당 메소드가 정의된 위치에 관계없이 패키지에 필요한 모든 새로운 메소드/유형 조합은 이제 패키지에 속한 메소드에 의해 호출되는 경우 사전 컴파일 파일에 캐시될 수 있습니다.
• 명령줄 매개변수 변경
  • @inbounds 선언을 모니터링하기 위한 기본 동작은 이제 "--check-bounds=yes|no|auto"의 자동 옵션입니다.
  • 시스템 이미지를 생성할 때 독스트링, 소스 위치 정보 및 로컬 변수 이름을 제거하는 새로운 "--strip-metadata" 옵션이 추가되었습니다.
  • 시스템 이미지를 빌드할 때 컴파일러가 중간 소스 코드 표현을 제거할 수 있도록 하는 새로운 옵션 "--strip-ir". 결과 이미지는 "--compile=all"이 사용되거나 필요한 모든 코드가 사전 컴파일된 경우에만 작동합니다.
  • 파일 이름 대신 "-" 문자가 지정되면 표준 입력 스트림에서 실행 코드를 읽습니다.
• 멀티스레딩 지원 변경 사항
  • Threads.@threads는 기본적으로 새로운 예약 옵션인 :dynamic을 사용합니다. 이는 반복이 각 스레드에 할당되지 않고 사용 가능한 작업자 스레드 전체에서 동적으로 예약된다는 점에서 이전 모드와 다릅니다. 이 모드를 사용하면 @spawn 및 @threads를 사용하여 중첩 루프를 더 효과적으로 배포할 수 있습니다.
• 새로운 라이브러리 기능
  • 각각의 분할(str)은 분할(str)을 여러 번 실행합니다.
  • allequal(itr)은 반복자의 모든 요소가 동일한지 테스트합니다.
  • hardlink(src, dst)를 사용하여 하드 링크를 만들 수 있습니다.
  • setcpuaffinity(cmd, cpus)는 프로세서 코어의 선호도를 시작된 프로세스로 설정합니다.
  • diskstat(path=pwd())를 사용하여 디스크 통계를 가져옵니다.
  • 평가 중인 라인과 @time 보고서를 모두 표시하는 새로운 @showtime 매크로입니다.
  • 오류 경로에서 오류 메시지의 지연 구성을 지원하기 위해 LazyString 및lazy"str" ​​​​매크로가 추가되었습니다.
  • Dict 및 기타 파생 개체(예: 키(::Dict), 값(::Dict) 및 Set)의 동시성 문제를 해결했습니다. 이제 사전이나 세트를 수정하는 호출이 없는 한 사전이나 세트에서 반복 메서드를 호출할 수 있습니다.
  • @time 및 @timev에는 이제 선택적 설명이 있어 예를 들어 시간 보고서 소스에 주석을 달 수 있습니다. @time "foo 평가 중" foo().
  • range는 유일한 키워드 인수로 stop 또는 length를 사용합니다.
  • Precision 및 setprecision은 이제 base를 키워드로 허용합니다.
  • 이제 TCP 소켓 개체는 closewrite 메서드를 제공하고 반 개방 모드 사용을 지원합니다.
  • extrema는 이제 init 인수를 허용합니다.
  • Iterators.countfrom은 이제 + 메소드를 정의하는 모든 유형을 허용합니다.
  • @time은 이제 변경된 유형으로 메소드를 재컴파일하는 데 소요된 시간(%)을 할당합니다.
• 표준 라이브러리 변경 사항
  • 값이 Nothing인 키는 이제 addenv의 환경에서 제거됩니다.
  • Iterators.reverse(따라서 마지막)는 각 줄을 지원합니다.
  • 특정 유형의 범위에 대한 길이 함수는 더 이상 정수 오버플로를 확인하지 않습니다. 새로운 기능인 check_length를 사용할 수 있으며 여기에는 비트 전송 제어 논리가 포함되어 있습니다. 필요한 경우 SaferIntegers.jl을 사용하여 범위 유형을 구성합니다.
  • Iterators.Reverse 반복자는 가능한 경우 각 인덱스 반전을 구현합니다.
• 패키지 관리자
  • 새 버전을 사용할 수 있는 "pkg>" 상태의 패키지 옆에 새로운 ⌃ 및 ⌅ 표시기가 있습니다. ⌅는 새 버전을 설치할 수 없음을 나타냅니다.
  • 이전 버전의 패키지에 대한 정보를 표시하는 Pkg.status(REPL 모드의 --outdated 또는 -o)에 대한 새로운 outdated::Bool 인수입니다.
  • Project.toml의 모든 [compat] 항목을 표시하기 위한 Pkg.status(REPL 모드의 --compat 또는 -c)에 대한 새로운 compat::Bool 인수입니다.
  • 프로젝트 호환성 항목 설정을 위한 새로운 "pkg>compat"(및 Pkg.compat) 모드. 탭 완성을 통해 현재 레코드를 로드할 수 있는 "pkg>compat"를 통한 대화형 편집기 또는 "pkg>Foo 0.4,0.5"를 통한 직접 레코드 제어를 제공합니다. 즉, "pkg> compat Fo"는 자동으로 "pkg> Foo 0.4,0.5"로 업데이트되어 기존 항목을 편집할 수 있습니다.
  • 이제 Pkg는 서버가 패키지가 포함된 레지스트리를 모니터링하는 경우에만 패키지 서버에서 패키지 다운로드를 시도합니다.
  • Pkg.instantiate는 이제 Project.toml이 Manifest.toml과 동기화되지 않은 경우 경고를 표시합니다. 매니페스트를 확인할 때 프로젝트의 deps 및 compat 레코드(다른 필드는 무시됨)의 해시를 기반으로 이 작업을 수행하므로 Project.toml deps 또는 compat 레코드에 대한 변경 사항을 다시 확인하지 않고도 감지할 수 있습니다.
  • "pkg>add"가 해당 이름의 패키지를 찾을 수 없으면 이제 추가할 수 있는 비슷한 이름의 패키지를 제안합니다.
  • 매니페스트에 저장된 Julia 버전에는 더 이상 빌드 번호가 포함되지 않습니다. 즉, 이제 마스터가 1.9.0-DEV로 기록됩니다.
  • 이제 테스트 중단 "pkg>"가 더 일관되게 감지되고 REPL에 올바르게 반환됩니다.
• InteractiveUtils
  • 패키지 및 해당 종속성을 가져오는 데 소요된 시간을 보고하고 컴파일 및 재컴파일 시간을 가져오기 비율로 강조 표시하는 새로운 @time_imports 매크로입니다.
• 선형대수학
  • BLAS 하위 모듈은 이제 레벨 2 BLAS spr! 기능을 지원합니다.
  • LinearAlgebra.jl 표준 라이브러리는 이제 소스 코드와 단위 테스트 관점 모두에서 SparseArrays.jl과 완전히 독립적입니다. 결과적으로 희소 배열은 Base 또는 LinearAlgebra 객체에 적용된 LinearAlgebra의 메서드에 의해 더 이상 (암시적으로) 반환되지 않습니다. 특히 이로 인해 다음과 같은 주요 변경 사항이 발생합니다.
    • 특수한 "희소" 행렬(예: 대각선)을 사용하여 연결하면 이제 조밀한 행렬이 반환됩니다. 결과적으로 getproperty 호출로 생성된 SVD 객체의 D1 및 D2 필드는 이제 조밀한 행렬이 됩니다.
    • 유사한(::SpecialSparseMatrix, ::Type, ::Dims) 메서드는 조밀한 널 행렬을 반환합니다. 결과적으로 2, 3 및 대칭 삼중대각 행렬의 곱은 조밀한 행렬의 생성으로 이어집니다. 또한 (비정적) 행렬의 특수 "희소" 행렬에서 세 개의 인수를 사용하여 유사한 행렬을 구성하는 것이 이제 "zero(::Type{Matrix{T}})"로 인해 실패합니다.
• 인쇄
  • %s 및 %c는 이제 textwidth 인수를 사용하여 너비 형식을 지정합니다.
• 프로필
  • CPU 로드 프로파일링은 이제 스레드 및 작업을 포함한 메타데이터를 기록합니다. Profile.print()에는 스레드, 작업 또는 하위 스레드/작업, 작업/스레드, 스레드 및 작업 인수를 그룹화하여 필터링을 제공할 수 있는 새로운 groupby 인수가 있습니다. 또한 이제 각 샘플에서 스레드가 유휴 상태인지 여부에 따라 사용률이 전체 또는 스레드별로 보고됩니다. Profile.fetch()에는 기본적으로 새 메타데이터가 포함됩니다. 프로파일링 데이터의 외부 소비자와의 하위 호환성을 위해 include_meta=false를 전달하여 제외할 수 있습니다.
  • 새로운 Profile.Allocs 모듈을 사용하면 메모리 할당을 프로파일링할 수 있습니다. 각 메모리 할당의 유형과 크기에 대한 스택 추적이 기록되며, Sample_rate 인수를 사용하면 구성 가능한 할당 수를 건너뛰어 성능 오버헤드를 줄일 수 있습니다.
  • 이제 프로필을 먼저 로드하지 않고도 작업이 실행되는 동안 사용자가 고정 기간 CPU 프로파일링을 실행할 수 있으며 실행 중에 보고서가 표시됩니다. MacOS 및 FreeBSD에서는 ctrl-t를 누르거나 SIGINFO를 호출하세요. 다른 플랫폼의 경우 SIGUSR1을 활성화합니다. % kill -USR1 $julia_pid. Windows에서는 사용할 수 없습니다.
• 교체
  • RadioMenu는 이제 옵션을 직접 선택할 수 있는 추가 키보드 단축키를 지원합니다.
  • "?(x, y" 다음에 Tab 키를 누르면 인수 x, y, ....와 함께 호출할 수 있는 모든 메서드가 표시됩니다. (앞에 공백이 있으면 도움말 모드로 들어갈 수 없습니다.) "MyModule.?(x, y "는 검색을 "MyModule"로 제한합니다. TAB을 누르려면 하나 이상의 인수가 Any보다 더 구체적인 유형이어야 합니다. 또는 TAB 대신 SHIFT-TAB을 사용하여 호환 가능한 방법을 허용합니다.
  • 새로운 전역 변수 err을 사용하면 마지막 응답에 대한 ans의 동작과 유사하게 최신 예외를 얻을 수 있습니다. err을 입력하면 예외 정보가 다시 인쇄됩니다.
• 스파스배열
  • SparseArrays 코드를 Julia 저장소에서 외부 SparseArrays.jl 저장소로 이동했습니다.
  • 새로운 연결 함수 sparse_hcat, sparse_vcat 및 sparse_hvcat는 입력 인수의 유형에 관계없이 SparseMatrixCSC 유형을 반환합니다. 이는 LinearAlgebra.jl 및 SparseArrays.jl 코드를 분리한 후 행렬 결합 메커니즘을 통합하는 데 필요했습니다.
• 로깅
  • 표준 로깅 수준 BelowMinLevel, Debug, Info, Warn, Error 및 AboveMaxLevel이 이제 표준 로깅 라이브러리에서 내보내집니다.
• 유니 코드
  • 정규화된 문자열을 명시적으로 구성하지 않고 유니코드 동등성을 확인하는 isequal_normalized 함수를 추가했습니다.
  • 이제 Unicode.normalize 함수는 사용자 정의 문자 매핑을 제공하는 데 사용할 수 있는 Charttransform 키워드를 허용하며, Julia 파서가 식별자를 정규화할 때 사용되는 매핑을 재현하기 위해 Unicode.julia_chartransform 함수도 제공됩니다.
• Test
  • 이제 '@test_throws "some message" Triggers_error()'를 사용하여 특정 예외 유형에 관계없이 표시된 오류 텍스트에 "some message" 오류가 포함되어 있는지 테스트할 수 있습니다. 정규식, 문자열 목록 및 일치 함수도 지원됩니다.
  • 이제 @testset foo()를 사용하여 주어진 함수에서 테스트 세트를 생성할 수 있습니다. 테스트 케이스 이름은 호출되는 함수의 이름입니다. 호출된 함수에는 모든 중간 테스트 결과를 기록하는 동안 다른 함수에 대한 호출을 포함하여 @test 및 기타 @testset 정의가 포함될 수 있습니다.
  • TestLogger 및 LogRecord는 이제 표준 테스트 라이브러리에서 내보내집니다.
• 분산
  • 이제 SSHManager는 addprocs() 메서드와 shell=:csh 매개변수를 통해 csh/tcsh 래퍼가 있는 작업자 스레드를 지원합니다.
• 기타 변경 사항
  • GC.enable_logging(true)을 사용하면 수집된 메모리 양 및 시간과 함께 각 가비지 수집 작업을 기록할 수 있습니다.

출처 : opennet.ru