# \#mojo-language-design **URL:** https://forum.modular.com/tag/mojo-language-design/17.md [Latest](https://forum.modular.com/latest.md) · [Categories](https://forum.modular.com/categories.md) · [Tags](https://forum.modular.com/tags.md) --- ## [Discussion: Is the ^ Transfer Sigil Visible Enough?](https://forum.modular.com/t/discussion-is-the-transfer-sigil-visible-enough/3513)
**Author:** [@kkbj](https://forum.modular.com/u/kkbj)\ **Replies:** 3\ **Last updated:** [September 21, 2026, 8:52am UTC](https://forum.modular.com/t/discussion-is-the-transfer-sigil-visible-enough/3513 "2026-09-21T08:52:26Z")
hello, I’d like to discuss the readability of Mojo’s ^ transfer sigil. The \[official ownership documentation\] explains that when a function takes a var argument, the caller can explicitly transfer ownership by adding ^ … --- ## [Primary constructor](https://forum.modular.com/t/primary-constructor/3511)
**Author:** [@BoldCrane38](https://forum.modular.com/u/BoldCrane38)\ **Replies:** 1\ **Last updated:** [September 20, 2026, 1:40am UTC](https://forum.modular.com/t/primary-constructor/3511 "2026-09-20T01:40:40Z")
struct St\[T: AnyType\]{ # Declares both fields a and b. var a: T, var b: T } # Use here something like @ or params, idk @( # Doesn't declare a field. It are regular parameter to be used inside the struct block p1: I… --- ## [Rename \`read\` argument convention and \`Immut\` type prefix?](https://forum.modular.com/t/rename-read-argument-convention-and-immut-type-prefix/2449)
**Author:** [@christoph\_schlumpf](https://forum.modular.com/u/christoph_schlumpf)\ **Replies:** 83\ **Last updated:** [July 16, 2026, 8:19am UTC](https://forum.modular.com/t/rename-read-argument-convention-and-immut-type-prefix/2449 "2026-07-16T08:19:54Z")
Hello Mojicians, I propose to rename the read argument convention to immut. This is inspired by recent activities to rename and clean up some naming before “Phase 1” of the Mojo roadmap is finished like Mojo change: re… --- ## [Naming Some\[Trait\] and \*SomeTypeList\[Trait\]](https://forum.modular.com/t/naming-some-trait-and-sometypelist-trait/2972)
**Author:** [@christoph\_schlumpf](https://forum.modular.com/u/christoph_schlumpf)\ **Replies:** 8\ **Last updated:** [April 17, 2026, 10:14pm UTC](https://forum.modular.com/t/naming-some-trait-and-sometypelist-trait/2972 "2026-04-17T22:14:28Z")
Based on the following Discord post I start this discussion to decide on the naming of Some and SomeTypeList. Some can be used to implicitly declare a type parameter while \*SomeTypeList can be used to implicitly decla… --- ## [The case for explicit \`read\` variable bindings](https://forum.modular.com/t/the-case-for-explicit-read-variable-bindings/1604)
**Author:** [@christoph\_schlumpf](https://forum.modular.com/u/christoph_schlumpf)\ **Replies:** 18\ **Last updated:** [December 23, 2025, 8:58am UTC](https://forum.modular.com/t/the-case-for-explicit-read-variable-bindings/1604 "2025-12-23T08:58:17Z")
With the introduction of ref variable bindings (see variable bindings proposal) we gained two new powerful features concerning immutable references: The ability to implicitly declare (deeply) immutable values Binding v… --- ## [Variadic parameters for Traits](https://forum.modular.com/t/variadic-parameters-for-traits/2116)
**Author:** [@moseschmiedel](https://forum.modular.com/u/moseschmiedel)\ **Replies:** 1\ **Last updated:** [August 13, 2025, 12:40am UTC](https://forum.modular.com/t/variadic-parameters-for-traits/2116 "2025-08-13T00:40:24Z")
Problem The following code is currently not possible: alias ComponentType = Copyable & Movable trait ArchetypeIterator\[\*Ts: ComponentType\]: alias Element: Archetype\[\*Ts\] It can be worked around by specifying all vari… --- ## [Variable Bindings proposal discussion](https://forum.modular.com/t/variable-bindings-proposal-discussion/1579)
**Author:** [@yinon](https://forum.modular.com/u/yinon)\ **Replies:** 50\ **Last updated:** [July 5, 2025, 6:31am UTC](https://forum.modular.com/t/variable-bindings-proposal-discussion/1579 "2025-07-05T06:31:44Z")
--- ## [Map variadic types](https://forum.modular.com/t/map-variadic-types/1638)
**Author:** [@emil.martens](https://forum.modular.com/u/emil.martens)\ **Replies:** 6\ **Last updated:** [June 12, 2025, 7:24am UTC](https://forum.modular.com/t/map-variadic-types/1638 "2025-06-12T07:24:59Z")
Hi, is there a way to map between variadics? I.e., something like this: trait MyTrait: alias DataT: Intable struct TestMapper\[\*Ts: MyTrait\]: alias \_type\_old = \_\_mlir\_type\[\`!kgen.variadic\<\`, MyTrait, \`\>\`\] al… --- ## [Improvements to simple literals](https://forum.modular.com/t/improvements-to-simple-literals/673)
**Author:** [@clattner](https://forum.modular.com/u/clattner)\ **Replies:** 4\ **Last updated:** [March 13, 2025, 11:52pm UTC](https://forum.modular.com/t/improvements-to-simple-literals/673 "2025-03-13T23:52:47Z")
Hi all, In case there is interest, we landed a design change to integer/float literals in Mojo, taking advantage of newly improved dependent type support in the language. If you’re interested in the rationale and backg… --- ## [VariadicList Not Working as Expected](https://forum.modular.com/t/variadiclist-not-working-as-expected/551)
**Author:** [@guna](https://forum.modular.com/u/guna)\ **Replies:** 1\ **Last updated:** [February 22, 2025, 8:01pm UTC](https://forum.modular.com/t/variadiclist-not-working-as-expected/551 "2025-02-22T20:01:39Z")
Hey everyone! I’m running into an issue with VariadicList initialization in Mojo #3987 Here’s a minimal example of what I’m trying: fn main(): alias shape\_type = \_\_mlir\_type\[\`!kgen.variadic\<\`, Int, \`\>\`\] # Ca… --- ## [Green threads and runtime](https://forum.modular.com/t/green-threads-and-runtime/576)
**Author:** [@ucirello](https://forum.modular.com/u/ucirello)\ **Replies:** 6\ **Last updated:** [February 16, 2025, 2:00am UTC](https://forum.modular.com/t/green-threads-and-runtime/576 "2025-02-16T02:00:05Z")
Hi, I have a question regarding the vision that Mojo’s team and Chris may have regarding offering a UX similar to Go’s go symbol. In Rust, they opted over there to not have a runtime at all, and Tokyo became the de-fac… --- ## [Community meeting question: Any news on Mojo's new autotuning implementation?](https://forum.modular.com/t/community-meeting-question-any-news-on-mojos-new-autotuning-implementation/552)
**Author:** [@Modular](https://forum.modular.com/u/Modular)\ **Replies:** 1\ **Last updated:** [February 11, 2025, 3:36pm UTC](https://forum.modular.com/t/community-meeting-question-any-news-on-mojos-new-autotuning-implementation/552 "2025-02-11T15:36:58Z")
Note: this is a question that was submitted for the February 3rd community meeting – we weren’t able to answer this question live so we’re answering it here instead. Community meeting question: Any news on Mojo’s new au… --- ## [Language proposal: abstracting over \`async\` (the \`yields\` effect)](https://forum.modular.com/t/language-proposal-abstracting-over-async-the-yields-effect/529)
**Author:** [@Nick](https://forum.modular.com/u/Nick)\ **Replies:** 0\ **Last updated:** [February 5, 2025, 11:48am UTC](https://forum.modular.com/t/language-proposal-abstracting-over-async-the-yields-effect/529 "2025-02-05T11:48:13Z")
I’ve just published a major proposal for coroutines in Mojo (i.e. async/await). I am proposing that we replace async with a yields T syntax. This allows us to abstract over whether a function is async, and more generall… --- ## [Structured Async for Mojo](https://forum.modular.com/t/structured-async-for-mojo/487)
**Author:** [@owenhilyard](https://forum.modular.com/u/owenhilyard)\ **Replies:** 2\ **Last updated:** [January 28, 2025, 4:26pm UTC](https://forum.modular.com/t/structured-async-for-mojo/487 "2025-01-28T16:26:42Z")
I wanted to have a forum post to gather discussion for my structured async proposal. I know it’s a bit dense so I can answer questions here and we can put further discussion here for historical preservation.