First let me say I know nothing about Julia. I have read the following StackExchange post: [Frames Catherine White] Is Julia dynamically typed? types, type-inference, julia asked by Frames Catherine White on 10:32PM - 21 Jan 15 UTC …

This isn’t a direct answer to your question, but you might want to look at JET.jl, a package that does some static analysis on Julia code. You could also look at DispatchDoctor.jl In general, I would say that type instability hasn’t been a big part of performance for me. Usually after I write a pr…

[image] patrick-nicodemus: static analysis tools for Julia did help you catch errors which would not be realistic to catch in Python or untyped Javascript I don’t have enough experience with these languages to say, but I think the Julia LanguageServer.jl is so primitive that I don’t see why y…

[image] patrick-nicodemus: If you’re writing Julia code where your types aren’t inferable, that’s understood to be an error, and all the built in profiling tools will yell at you. “Error” is too strong of a word here. Type unstable code does run in Julia. If it is needed and intentional, that…

[image] mkitti: In the field where I work, I often work closely with domain scientists who are not going to ever use a static language Okay, this is off-topic and not a response to the broader thrust of your post, so excuse the nitpick, but this seems like a little bit of an oversimplificatio…

[image] mkitti: Correctness is a much larger concept than typing. There are cultural issues within the Julia community that make correctness challenging…Python now has tools such as mypy. For JavaScript, there is now Typescript. The tension I see there is that these additions require additional …

[image] patrick-nicodemus: Okay, this is off-topic and not a response to the broader thrust of your post, so excuse the nitpick, but this seems like a little bit of an oversimplification. Domain scientists tend to want to use languages that I did not mean to characterize domain scientists in …

[image] patrick-nicodemus: I assume the issues with Python are similar to the issues with Julia here, which is as much a social challenge as a technical one. I am a Python programmer and I eagerly experimented with Mypy for a while before giving up in frustration. The issues in Julia are dist…

[image] patrick-nicodemus: Idiomatic Python code is often “dependently typed” as several different functions with completely different behaviors and return types tend to be grouped together into a master function that takes a string argument selecting what the behavior should be In julia the…

[image] mkitti: Correctness is a much larger concept than typing. There are cultural issues within the Julia community that make correctness challenging. The community tends to be very reactive rather than proactive at times. The intersection of typing and correctness seems a bit different in Ju…

Comparison of Julia with statically typed languages

New to Julia

xgdgsc June 9, 2024, 3:52am 11

You may want to ask the author of SyslabCC: Suzhou-Tongyuan’s proprietary Julia AOT compiler is now available for free use (personal & educational license only) . I guess the answer would be yes.

Topic		Replies	Views
Can we bring dynamically typed languages back into trend? Community	74	5379	November 12, 2023
HN comment on Julia vs Swift type checking and auto diff Machine Learning	24	3048	May 14, 2019
Julia solves a two-language problem but the real problem is a 3-wants problem which Julia does not necessarily serve well atm Community	36	4514	March 22, 2023
Does Julia syntax do enough to encourage type stability? Internals & Design type-stability	22	5063	February 22, 2017
Julia with respect to reliability, sustainability, critical application, dynamic/static typing, big data, HPC? Performance	51	7605	May 22, 2019

Comparison of Julia with statically typed languages

Related topics