I’m currently working on the formal design of a statically-checked trait system for Julia building off of our work on subtyping and static typing for Julia. The system as a whole is sadly some ways out yet because of a number of fundamental challenges. This problem isn’t unique to Julia at all, and …

In other contexts an interface can be a more expansive concept, but it seems like your use of the term “interface” means something like “type signature, including type classes but not dependent types” - is that right?

Do you also look for examples where e.g. Holy Traits are insufficient/not desirable for a hookable-by-users interface? I often run into that problem when using abstract types to delineate similar-but-subtly-distinct behaviors under a common abstract supertype, which would be much more cleanly solve…

Two examples I mentioned in a previous post: Need for explicit interface specifications: I could not figure out how to implement the IO interface to solve a simple problem (counting bytes written to a stream). Need for dispatch on interfaces: I wanted to implement a fallback last method for i…

Right; I apologize, I should have been clearer in the original question. What I mean by interface here is essentially the notion that’s talked about here ; a set of methods that should be usable on or with some value or family of values that implementers should provide and users can use. To “type s…

One thing about type classes that doesn’t get as much airtime but is still very important imho is that they’re supposed to have properties (“laws”), like fmap id = id fmap (g . h) = (fmap g) . (fmap h) which I’d want to specify and ideally computer-verify in an ideal trait system. These “kinda act…

StarWarsArrays.jl violates the AbstractArray interface because it does not follow the Bauman rule. [image] OffsetArrays, inbounds, and confusion Internals & Design This is false. All AbstractArray subtypes must have AbstractUnitRange axes — even those with nontraditional…

[image] ckfinite: The main challenge here is that it’s hard to find design limits post facto, where a library implementer made a choice because they couldn’t do what they really wanted to do. Yes, RequiredInterfaces.jl is more about designing with the API surface in mind ahead of development,…

[image] sijo: Need for dispatch on interfaces: I wanted to implement a fallback last method for iterators. The interface is documented, but I can’t define last(::Iterator). I could not find a backward-compatible solution that dispatches without runtime penalty so I gave up I don’t really unde…

limit Fix2 findfirst method to Number ranges JuliaLang:master ← rafaqz:patch-2 opened 02:02PM - 21 Apr 21 UTC (UTC) [rafaqz] rafaqz …

[image] ckfinite: I have a few “classic” examples, but these issues tend to be ephemeral What do you mean, few (lasting) problems? I suppose that’s a good thing, if you need to ask people for trouble! [image] ckfinite: working on the formal design of a statically-checked trait system for…

What interface bugs have you ran into in the ecosystem?

General Usage

mkitti January 19, 2024, 2:29pm 10

StarWarsArrays.jl violates the AbstractArray interface because it does not follow the Bauman rule.

Topic		Replies	Views
Could introducing formal interfaces be nonbreaking? Internals & Design speculative	36	1042	June 4, 2025
Proposal: Adding Optional Static Interface/Traits Checking to Julia Internals & Design question	32	1346	February 17, 2025
Structural subtyping New to Julia question	36	3088	July 14, 2021
How can we maintain easy generics in the face of demand for a “safe” language? Internals & Design	26	1496	February 7, 2024
Did Julia community do something to improve its correctness? General Usage	219	14346	November 4, 2023

What interface bugs have you ran into in the ecosystem?

Related topics