this post was submitted on 05 Aug 2023
450 points (91.8% liked)

Programmer Humor

19548 readers
1041 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

founded 1 year ago
MODERATORS
Feyter@programming.dev
anzo@programming.dev
BurningTurtle@programming.dev
pylapp@programming.dev
450
Java (lemmy.world)
submitted 1 year ago by alphacyberranger@lemmy.world to c/programmer_humor@programming.dev
71 comments fedilink hide all child comments
 
you are viewing a single comment's thread
view the rest of the comments
[–] baseless_discourse@mander.xyz 3 points 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