Julia v1.9 Release Notes
New language features
- It is now possible to assign to bindings in another module using
setproperty!(::Module, ::Symbol, x)(#44137) (#44231). - Slurping in assignments is now also allowed in non-final position. This is handled via
Base.split_rest(#42902). - Character literals now support the same syntax allowed in string literals; i.e. the syntax can represent invalid UTF-8 sequences as allowed by the
Chartype (#44989). - Support for Unicode 15 (#47392).
- Nested combinations of tuples and named tuples of symbols are now allowed as type parameters (#46300).
- New builtins
getglobal(::Module, ::Symbol[, order])andsetglobal!(::Module, ::Symbol, x[, order])for reading from and writing to globals.getglobalshould now be preferred for accessing globals overgetfield(#44137) (#44231).
Language changes
- The
@invokemacro introduced in 1.7 is now exported. Additionally, it now usesCore.Typeof(x)rather thanAnywhen a type annotation is omitted for an argumentxso that types passed as arguments are handled correctly (#45807). - The
invokelatestfunction and@invokelatestmacro introduced in 1.7 are now exported (#45831).
Compiler/Runtime improvements
- Time to first execution (TTFX, sometimes called time to first plot) is greatly reduced. Package precompilation now saves native code into a "pkgimage", meaning that code generated during the precompilation process will not require compilation after package load. Use of pkgimages can be disabled via
--pkgimages=no(#44527) (#47184). - The known quadratic behavior of type inference is now fixed and inference uses less memory in general. Certain edge cases with auto-generated long functions (e.g. ModelingToolkit.jl with partial differential equations and large causal models) should see significant compile-time improvements (#45276, #45404).
- Non-concrete call sites can now be union-split to be inlined or statically resolved even if there are multiple dispatch candidates. This may improve runtime performance in certain situations where object types are not fully known statically, by statically resolving
@nospecialize-d call sites and avoiding excessive compilation (#44512). - All uses of the
@puremacro inBasehave been replaced with the now-preferredBase.@assume_effects(#44776). invoke(f, invokesig, args...)calls to a less-specific method than would normally be chosen forf(args...)are no longer spuriously invalidated when loading package precompile files (#46010).
Command-line option changes
- In Linux and Windows,
--threads=autonow tries to infer the usable number of CPUs from the process affinity which is set typically in HPC and cloud environments (#42340). --math-mode=fastis now a no-op (#41638). Users are encouraged to use the @fastmath macro instead, which has more well-defined semantics.- The
--threadscommand-line option now acceptsauto|N[,auto|M]whereMspecifies the number of interactive threads to create (autocurrently means 1) (#42302). - New option
--heap-size-hint=<size>suggests a size limit to invoke garbage collection more eagerly. The size may be specified in bytes, kilobytes (1000k), megabytes (300M), or gigabytes (1.5G) (#45369).
Multi-threading changes
Threads.@spawnnow accepts an optional first argument::defaultor:interactive. An interactive task desires low latency and implicitly agrees to be short duration or to yield frequently. Interactive tasks will run on interactive threads, if any are specified when Julia is started (#42302).- Threads started outside the Julia runtime (e.g. from C or Java) can now become able to call into Julia code by calling
jl_adopt_thread. This is done automatically when entering Julia code viacfunctionor a@ccallableentry point. As a consequence, the number of threads can now change during execution (#46609).
Build system changes
New library functions
- New function
Iterators.flatmap(#44792). - New
pkgversion(m::Module)function to get the version of the package that loaded a given module, similar topkgdir(m::Module)(#45607). - New function
stack(x)which generalisesreduce(hcat, x::Vector{<:Vector})to any dimensionality, and allows any iterator of iterators. Methodstack(f, x)generalisesmapreduce(f, hcat, x)and is more efficient (#43334). - New macro
@allocationswhich is similar to@allocatedexcept reporting the total number of allocations rather than the total size of memory allocated (#47367).
New library features
RoundFromZeronow works for non-BigFloattypes (#41246).Dictcan be now shrunk manually bysizehint!(#45004).@timenow separates out % time spent recompiling invalidated methods (#45015).
Standard library changes
- A known concurrency issue in
iteratemethods onDictand other derived objects such askeys(::Dict),values(::Dict), andSetis fixed. These methods ofiteratecan now be called on a dictionary or set shared by arbitrary tasks provided that there are no tasks mutating the dictionary or set (#44534). - Predicate function negation
!fnow returns a composed function(!) ∘ finstead of an anonymous function (#44752). eachslicenow works over multiple dimensions;eachslice,eachrowandeachcolreturn aSlicesobject, which allows dispatching to provide more efficient methods (#32310).@kwdefis now exported and added to the public API (#46273).- An issue with order of operations in
fld1is now fixed (#28973). - Sorting is now always stable by default, as
QuickSortwas stabilized (#45222). Base.splatis now exported. The return value is now aBase.Splatinstead of an anonymous function, which allows for pretty printing (#42717).
Package Manager
- "Package Extensions": support for loading a piece of code based on other packages being loaded in the Julia session. This has similar applications as the Requires.jl package but also supports precompilation and setting compatibility.
LinearAlgebra
- The methods
a / bandb \ awithaa scalar andba vector, which were equivalent toa * pinv(b), have been removed due to the risk of confusion with elementwise division (#44358). - We are now wholly reliant on libblastrampoline (LBT) for calling BLAS and LAPACK. OpenBLAS is shipped by default, but building the system image with other BLAS/LAPACK libraries is not supported. Instead, it is recommended that the LBT mechanism be used for swapping BLAS/LAPACK with vendor provided ones (#44360).
lusupports a new pivoting strategyRowNonZero()that chooses the first non-zero pivot element, for use with new arithmetic types and for pedagogy (#44571).normalize(x, p=2)now supports any normed vector spacex, including scalars (#44925).- The default number of BLAS threads is now set to the number of CPU threads on ARM CPUs, and half the number of CPU threads on other architectures (#45412, #46085).
Printf
- Error messages for bad format strings have been improved, to make it clearer what and where in the format string is wrong (#45366).
Profile
- New function
Profile.take_heap_snapshot(file)that writes a file in Chrome's JSON-based.heapsnapshotformat (#46862).
Random
randnandrandexpnow work for anyAbstractFloattype definingrand(#44714).
REPL
Alt-enow opens the current input in an editor. The content (if modified) will be executed upon exiting the editor (#33759).- The contextual module which is active in the REPL can be changed (it is
Mainby default), via theREPL.activate(::Module)function or via typing the module in the REPL and pressing the keybinding Alt-m (#33872). - An "IPython mode" which mimics the behaviour of the prompts and storing the evaluated result in
Outcan be activated withREPL.ipython_mode!(). See the manual for how to enable this at startup (#46474). - Tab completion displays available keyword arguments (#43536).
SuiteSparse
- Code for the SuiteSparse solver wrappers has been moved to SparseArrays.jl. Solvers are now re-exported by SuiteSparse.jl.
SparseArrays
- SuiteSparse solvers are now available as submodules of SparseArrays (https://github.com/JuliaSparse/SparseArrays.jl/pull/95).
- UMFPACK (https://github.com/JuliaSparse/SparseArrays.jl/pull/179) and CHOLMOD (https://github.com/JuliaSparse/SparseArrays.jl/pull/206) thread safety are improved by avoiding globals and using locks. Multithreaded
ldiv!of UMFPACK objects may now be performed safely. - An experimental function
SparseArrays.allowscalar(::Bool)allows scalar indexing of sparse arrays to be disabled or enabled. This function is intended to help find accidental scalar indexing ofSparseMatrixCSCobjects, which is a common source of performance issues (https://github.com/JuliaSparse/SparseArrays.jl/pull/200).
Test
- New fail-fast mode for testsets that will terminate the test run early if a failure or error occurs. Set either via the
@testsetkwargfailfast=trueor by setting env varJULIA_TEST_FAILFASTto"true"i.e. in CI runs to request the job failure be posted eagerly when issues occur (#45317)
Dates
- Empty strings are no longer incorrectly parsed as valid
DateTimes,Dates orTimes and instead throw anArgumentErrorin constructors andparse, whilenothingis returned bytryparse(#47117).
Distributed
- The package environment (active project,
LOAD_PATH,DEPOT_PATH) is now propagated when adding local workers (e.g. withaddprocs(N::Int)or through the--procs=Ncommand line flag) (#43270). addprocsfor local workers now accepts theenvkeyword argument for passing environment variables to worker processes. This was already supported for remote workers (#43270).
Unicode
graphemes(s, m:n)returns a substring of them-th ton-th graphemes ins(#44266).
DelimitedFiles
- DelimitedFiles has been moved out as a separate package. It now has to be explicitly installed to be used.
Deprecated or removed
External dependencies
- On Linux, now autodetects the system libstdc++ version, and automatically loads the system library if it is newer. The old behavior of loading the bundled libstdc++ regardless of the system version can be restored by setting the environment variable
JULIA_PROBE_LIBSTDCXX=0(#46976). - Removed
RPATHfrom the julia binary. On Linux this may break libraries that have failed to setRUNPATH.
Tooling Improvements
- Printing of
MethodErrorand methods (such as frommethods(my_func)) is now prettified and colored consistently with printing of methods in stacktraces (#45069).