Skip to content

[stdlib] Add SIMD VariadicPack constructor to eventually replace the VariadicList one#6356

Draft
martinvuyk wants to merge 1 commit intomodular:mainfrom
martinvuyk:add-severalts
Draft

[stdlib] Add SIMD VariadicPack constructor to eventually replace the VariadicList one#6356
martinvuyk wants to merge 1 commit intomodular:mainfrom
martinvuyk:add-severalts

Conversation

@martinvuyk
Copy link
Copy Markdown
Contributor

@martinvuyk martinvuyk commented Apr 6, 2026 •
edited
Loading

Add SIMD VariadicPack constructor to eventually replace the VariadicList one

@github-actions github-actions Bot added mojo-stdlib Tag for issues related to standard library waiting-on-review labels Apr 6, 2026
@martinvuyk martinvuyk force-pushed the add-severalts branch 3 times, most recently from 01f58e4 to bf7a512 Compare April 6, 2026 15:13
@martinvuyk martinvuyk changed the title [stdlib] Change SIMD constructor to use VariadicPack instead of VariadicList [stdlib] Add SIMD VariadicPack constructor to eventually replace the VariadicList one Apr 6, 2026
@martinvuyk martinvuyk force-pushed the add-severalts branch 3 times, most recently from 9119f6e to 7903280 Compare April 6, 2026 21:22
@martinvuyk
Add SIMD VariadicPack constructor to eventually replace the VariadicL…
7a845f5 
…ist one

Signed-off-by: martinvuyk <martin.vuyklop@gmail.com>
@martinvuyk martinvuyk mentioned this pull request Apr 6, 2026
Draft
@lsh
Copy link
Copy Markdown
Contributor

lsh commented Apr 15, 2026

I'd like to see a more detailed motivation for this change.

@martinvuyk
Copy link
Copy Markdown
Contributor Author

martinvuyk commented Apr 15, 2026

@lsh I want to get rid of VariadicList because it doesn't have a compile time size. But either way I think I'll throw this PR in the bin once Chris finishes his TypeList work and we can do stuff like *args: *SomeTypeList[SomeTrait]

@lsh
Copy link
Copy Markdown
Contributor

lsh commented Apr 15, 2026

I can see the value of that in some cases, but I'm not sure it's actually helping the types you're applying this to (such as InlineArray or IndexList).

@martinvuyk
Copy link
Copy Markdown
Contributor Author

martinvuyk commented Apr 15, 2026 •
edited
Loading

Yeah but I think it's currently more of a language limitation, not a conceptual one. We should be able to have a list of types that an API receives be able to be bound to a single type but also be implicitly convertible. And the horrible overloads I had to build for inline array and such are a side-effect of issues with VariadicPack (#6357, #6381).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@lsh lsh

Labels

mojo-stdlib Tag for issues related to standard library waiting-on-review

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@martinvuyk @lsh