Comment on Java
BorgDrone@lemmy.one 1 year agoIs there any language that doesn’t just truncate when casting from a float to an int?
Comment on Java
BorgDrone@lemmy.one 1 year agoIs there any language that doesn’t just truncate when casting from a float to an int?
baseless_discourse@mander.xyz 1 year ago
As far as I know, haskell do not allow coresion of float to int without specifying a method (floor, ceil, round, etc)
hoogle.haskell.org/?hoogle=Float+->+Integer&s…
Agda seems to do the same: agda.github.io/agda-stdlib/Data.Float.Base.html