Hacker GitHub

← All repos

aviatesk/JET.jl

View on GitHub ↗ ★ 883 Julia

A code analyzer for Julia. No need for additional type annotations.

13 mentions on Hacker News by 11 people: 2 stories, 11 comments · first 2021-02-05 · latest 2024-10-19

Mentions per year 13 mentions · busiest year 2021 (10)
20082026
AllStoriesComments NewestTopOldest
  1. …For example see JET.jl. "JET.jl employs Julia's type inference to detect potential bugs." https://github.com/aviatesk/JET.jl https://www.youtube.com/watch?v=7eOiGc8wfE0 The video brings up some potential difficulties with Julia's…
    comment by markkitti · 2022-05-16 · in Correctness and composability bugs in the Julia ecosystem
  2. …checking julia type errors as well as other classes of errors using only type-level code analysis. https://github.com/aviatesk/JET.jl It does catch method ambiguities like those shown in this blog post: julia> using JET julia> f(x, y::Int)…
    comment by mindB · 2022-05-04 · in Some special cases of method dispatch in Julia
  3. To your point about static analysis, https://github.com/aviatesk/JET.jl appears far more capable than comparable systems for other dynamic languages.
    comment by BadInformatics · 2021-07-26 · in What's bad about Julia?
  4. …compiler improvements have vastly increased the space of linting -- please see JET.jl, for example: https://github.com/aviatesk/JET.jl
    comment by mccoyb · 2021-07-26 · in What's bad about Julia?
  5. Have you seen Shuhei Kadowaki's work on JET.jl (?) If you're curious: https://github.com/aviatesk/JET.jl This may seem more about performance (than IDE development) but Shuhei is one of the driving contributors behind developing the…
    comment by mccoyb · 2021-07-19 · in Julia Computing raises $24M Series A
  6. …to adopt gradual typing... at least Python and Julia, that I know of. If something like [JET.jl]( https://github.com/aviatesk/JET.jl ) become ubiquitous in Julia, one could add a function that pointed out all the places in the code where…
    comment by jakobnissen · 2021-06-09 · in Why I Hate Programming Language Advocacy (2000)
  7. …startup (again, great strides have been made) - Tagged, closed unions - Pattern matching [1]: https://github.com/aviatesk/JET.jl
    comment by hexane360 · 2021-06-05 · in From Julia to Rust
  8. …and tool up our sleeves that static languages have (in various stages of development). Check out https://github.com/aviatesk/JET.jl if you want static typechecking of julia code.
    comment by eigenspace · 2021-05-06 · in Six years of professional Clojure development
  9. …user, opening a path for additional static analysis tools (or maybe even custom compilers). [0]: https://github.com/aviatesk/JET.jl
    comment by snicker7 · 2021-03-25 · in Julia 1.6 Highlights
  10. …feels more like type checking in a statically compiled language, you should definitely check out https://github.com/aviatesk/JET.jl
    comment by adgjlsfhk1 · 2021-02-14 · in Julia 1.6: what has changed since Julia 1.0?
  11. …just not (usually) static type checking (though even that's changing in julia land with JET.jl: https://github.com/aviatesk/JET.jl )
    comment by eigenspace · 2021-02-05 · in Metals with Scala 3