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
@pangloss in #272 brought up the idea that we should be able to scope the type of a literal expression down to, say, real or integer. Known integer expressions:
could implement g/modulo and friends
could ALSO implement g/div and promote themselves to ::rational numbers.
If we can get a design locked in that captures the promotion behavior, I think that would be quite nice.
OR! Maybe we ignore all that and just add operations for modulo, remainder etc.
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
-
@pangloss in #272 brought up the idea that we should be able to scope the type of a literal expression down to, say, real or integer. Known integer expressions:
g/modulo
and friendsg/div
and promote themselves to::rational
numbers.If we can get a design locked in that captures the promotion behavior, I think that would be quite nice.
OR! Maybe we ignore all that and just add operations for
modulo
,remainder
etc.Thoughts?
Beta Was this translation helpful? Give feedback.
All reactions