You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently reals are typed as str | float. Initially when reading that I thought it might be a bug but I later remembered the existence of the constants you can enter.
I think the ideal solution from a typing perspective is to have a callback scope that produces the expression though I think that'd be very challenging to implement especially with all the binops and whatnot you'd need to support
💡 Steps for implementing the feature
I would imagine a lot of this needs autogenerating based on the version which will make things very challenging.
futureTo work on it in the future, since it can be delayed
1 participant
Converted from issue
This discussion was converted from issue #4505 on October 07, 2025 12:54.
Heading
Bold
Italic
Quote
Code
Link
Numbered list
Unordered list
Task list
Attach files
Mention
Reference
Menu
reacted with thumbs up emoji reacted with thumbs down emoji reacted with laugh emoji reacted with hooray emoji reacted with confused emoji reacted with heart emoji reacted with rocket emoji reacted with eyes emoji
Uh oh!
There was an error while loading. Please reload this page.
-
📝 Description of the feature
Currently reals are typed as str | float. Initially when reading that I thought it might be a bug but I later remembered the existence of the constants you can enter.
I think the ideal solution from a typing perspective is to have a callback scope that produces the expression though I think that'd be very challenging to implement especially with all the binops and whatnot you'd need to support
💡 Steps for implementing the feature
I would imagine a lot of this needs autogenerating based on the version which will make things very challenging.
🔗 Useful links and references
No response
Beta Was this translation helpful? Give feedback.
All reactions