alphacyberranger to Programmer [email protected]English • 1 year agoJavalemmy.worldmessage-square77fedilinkarrow-up1583
arrow-up1535imageJavalemmy.worldalphacyberranger to Programmer [email protected]English • 1 year agomessage-square77fedilink
minus-square@[email protected]linkfedilink2•edit-21 year ago“predictable” in the sense that people know how it works regardless what language they know. I guess I mean “no surprise for the reader”, which is more “readability” than “predictability”
minus-square@[email protected]linkfedilink3•1 year agoIs there any language that doesn’t just truncate when casting from a float to an int?
minus-square@[email protected]linkfedilink4•edit-21 year agoAs far as I know, haskell do not allow coresion of float to int without specifying a method (floor, ceil, round, etc): https://hoogle.haskell.org/?hoogle=Float±%3E+Integer&scope=set%3Astackage Agda seems to do the same: https://agda.github.io/agda-stdlib/Data.Float.Base.html
“predictable” in the sense that people know how it works regardless what language they know.
I guess I mean “no surprise for the reader”, which is more “readability” than “predictability”
Is there any language that doesn’t just truncate when casting from a float to an int?
As far as I know, haskell do not allow coresion of float to int without specifying a method (floor, ceil, round, etc): https://hoogle.haskell.org/?hoogle=Float±%3E+Integer&scope=set%3Astackage
Agda seems to do the same: https://agda.github.io/agda-stdlib/Data.Float.Base.html