this post was submitted on 05 Aug 2023

530 points (92.3% liked)

Programmer Humor

19522 readers

209 users here now

Welcome to Programmer Humor!

This is a place where you can post jokes, memes, humor, etc. related to programming!

For sharing awful code theres also Programming Horror.

Rules

Keep content in english
No advertisements
Posts must be related to programming or programmer topics

founded 1 year ago

MODERATORS

Feyter@programming.dev

anzo@programming.dev

BurningTurtle@programming.dev

pylapp@programming.dev

530

Java (lemmy.world)

submitted 1 year ago by alphacyberranger@lemmy.world to c/programmer_humor@programming.dev

78 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[–] baseless_discourse@mander.xyz 4 points 1 year ago* (last edited 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): 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