Three steps to Variadic Generics
Variadic generics was referred to in "On the road to Swift 6". I think it may be a good idea to break down it into the following three steps compared to tackle variadic generics directly. Operations...
View ArticleThree steps to Variadic Generics
No offense but you completely ignored the effort done here: Variadic Generics - #99 by technicated Read full topic
View ArticleThree steps to Variadic Generics
@DevAndArtist No. Before I created this thread, I discussed the proposal of the thread with my colleague and during the discussion I noticed that variadic generics can be broken down into small steps....
View ArticleClik here to view.
Three steps to Variadic Generics
koher: Maybe I should have referred to it and linked to the thread. Sorry. Don‘t worry, this is a very complex topic and I think there are a lot of issues that needs to be solved. However I think we...
View ArticleClik here to view.
Three steps to Variadic Generics
"DevAndArtist: However I think we shouldn‘t defragment this topic and try to keep it in one place so everyone can follow the same evolution and fine tune the same first design. I think topics in this...
View ArticleClik here to view.
Three steps to Variadic Generics
koher: I think topics in this thread are too apart from the ones in the thread you referred. And that‘s my point. You‘re proposing to push the topic forward, yet you have your own vision of this whole...
View ArticleThree steps to Variadic Generics
I agree it’s worth linking to the other thread in this OP, but I disagree that “this town is too small for all of these threads” or that we as a community need to put all of our eggs in one basket or...
View ArticleThree steps to Variadic Generics
I really really really don't like the idea of using tuples as sequences. A tuple of type (T, U, V, ...) feels much more like a point in the space T*U*V*... to me than like an ordered collection of...
View ArticleThree steps to Variadic Generics
I think variadic generics is related to tuples, and "sequence-y thing" is required to handle them. For example, please think about how do you implement the following squares function using variadic...
View ArticleClik here to view.
Three steps to Variadic Generics
koher: For example, please think about how do you implement the following squares function using variadic generics without "sequence-y thing"? At the moment, I think that variadic tuple...
View ArticleThree steps to Variadic Generics
It is simple and looks nice. But it may be hard to specialize without performance degradation. At least recursive inlining is required. Also branching should be removed. My understanding is that one...
View ArticleThree steps to Variadic Generics
I put my hand last time into the fire. Variadic generics are basically some small part static metaprogramming facilities, which means it won‘t scale if you try to build it with existing features as we...
View ArticleClik here to view.
Three steps to Variadic Generics
DevAndArtist: Variadic generics are basically some small part static metaprogramming facilities, (...) For variadic generics we would need an ability to iterate on variadic packs and also on the...
View ArticleClik here to view.
Three steps to Variadic Generics
koher: At least recursive inlining is required. I thought recursive inlining was not supported, but it seems to be supported in some cases. Before my post, I checked LLVM-IR of the following code and...
View ArticleThree steps to Variadic Generics
As someone who has a use-case waiting for variadic generics I consider it essential to be able to iterate over the variadic elements in a defined order. If we’re going to store those elements in a...
View ArticleThree steps to Variadic Generics
@DevAndArtist Could you elaborate on why a variadic pack isn’t/shouldn’t be a tuple? Or to put it another way, why shouldn’t we extend tuples with all the operation we would want on a variadic pack?...
View ArticleClik here to view.
Three steps to Variadic Generics
I would encourage you to check the other thread. Variadic generics are not to make just tuples nice, there are more use cases which cannot be solved through tuples. Read full topic
View ArticleClik here to view.
Three steps to Variadic Generics
With respect, I’ve been following the other thread you linked and it doesn’t answer my question. I did however eventually find the related thread in the compiler development forum where tuples vs...
View ArticleThree steps to Variadic Generics
@wiresoft Could you give a link? For those following along. Read full topic
View ArticleThree steps to Variadic Generics
Looking at that link and the post yours replied to, we need to have variadic constraint checking too: func sums<T: Collection, (U: Collection)...>(of first: T, _ others: U...) -> (T, U...)...
View Article
