Hello all! :wave: I’ve been collecting a few of the most cursed corner cases of Julia WATs that I know of here (WIP), but I would appreciate if people could share their own rare specimens as well. Please ping me with your contributions and I’ll post with proper credit. Here’s an example of what I…

A relevant PR, to expand the <: doc string: doc: expand the `<:` doc string JuliaLang:master ← nsajko:doc_subtype opened 12:26PM - 22 Jan 24 UTC (UTC) [nsa…

This thread/post would be a great source of cases for a “clippy” style linter. Rusts linting is top class and we should definitely learn from it, to help avoid errors that people might stumble upon, but that can’t be fixed by changing syntax/parsing.

[image] Larbino1: This thread/post would be a great source of cases for a “clippy” style linter. In principle I agree with you, but TBH I’m not sure if VS Code ever pointed out an actual issue to me (except syntax errors), while it sadly points out many false positives. IMO the linting for Ju…

I completely agree, the current VSCode linter needs work. I’m just a user, I’ve never worked on linting, and I appreciate there must be huge number of challenges, especially in a much more dynamic/flexible language like Julia. However, I think linting is a very useful tool and its a shame that we d…

[image] Tamas_Papp: I think this is a bug and you should open an issue. Given the refusal to construct Tuple{Union{},Union{}} I would agree with that. Otherwise I don’t see how that subtype check is false.

Here’s a confusing one, from the Julia subtyping paper: julia> (Vector{T} where {S,T}){Int} # WAT? Vector{Int64} (alias for Array{Int64, 1}) Naively one would expect for the type application to apply Int to the unused type parameter. However the unused type parameter seems to have already been de…

[image] nsajko: Here’s a confusing one, from the Julia subtyping paper: julia> (Vector{T} where {S,T}){Int} # WAT? Vector{Int64} (alias for Array{Int64, 1}) The unused S is just discarded at runtime: julia> Vector{T} where {S,T} Vector (alias for Array{T, 1} where T) Also occurs in where …

julia> struct A{T,S} end julia> bar(::Union{A{T,2}, A{1,T}}) where T = T julia> bar(A{1,2}()) 1 I think I would prefer if that was an ambiguity error (or at least a warning when running under special command-line flags or debug builds), such as e.g. julia> baz(::A{T,2}) where T = T baz (generic fu…

This thread has been going on for 2 years and has become an unorganized grab-bag of unrelated discussions. As such, it’s a prime case for Time limits for unfocused discourse threads? .

I very much disagree. Threads like this and What is in your startup.jl? are best when they’re continuously added to. I pretty regularly come back to both of these just to see what people have added. It’s fun – maybe not to everyone, but to some people. And it’s only wasting the time of the people wh…

A most harrowing collection of Julia WATs

General Usage

mihalybaci January 26, 2024, 1:32pm 110

Additional discussion about closing threads with a time limit should happen here where the idea was thoroughly discussed.

Topic		Replies	Views
Syntax Surprises General Usage syntax , discussion , fun , gotchas	83	6333	January 21, 2023
It is so nice to program in a sane language! Offtopic	50	4363	February 6, 2020
Julia included in Oreilly's "Emerging Programming Languages" report (June 2019) Community	52	3384	June 26, 2019
Whitespace sensitivity Internals & Design	46	4782	February 13, 2022
Julia is a very different and interesting language New to Julia	34	4446	May 8, 2018

A most harrowing collection of Julia WATs

Related topics