I’ve come to realize that (I think) I really want the following to be possible in Julia, struct Wrapper{T<:SomeAbstractType{S}} <: OtherAbstractType{S} t::T end This doesn’t work because I have to explicitly declare the S, i.e. Wrapper{S,T<:SomeAbstractType{S}}. The sole reason I don’t want to…

Could Julia have implicit type parameters?

marius311 March 27, 2017, 10:20pm 2

Ahh should have searched a bit more, I see now there’s a pretty recent discussion with links right here Redundant type parameters

Topic		Replies	Views
What's the difference between these two types with implicit and explicit parameters? General Usage question , type , parametric-types	3	501	June 13, 2021
[ANN] TypeParams.jl - Generic type parameters without the fuss Package Announcements macros , parametric-types , type-stability	6	2537	October 20, 2021
Redundant type parameters Internals & Design	9	1141	February 23, 2017
Type parameters by default? Performance parametric-types	4	937	August 26, 2020
Public interface to get all type parameters? General Usage parametric-types	6	164	September 18, 2024