Newest at the top
| 2025-11-21 04:47:28 +0100 | <monochrom> | You are evil. The last thing we need is an ecosystem that fulfills the prophecy "floating point semantics is unpredictable". |
| 2025-11-21 04:47:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-21 04:46:52 +0100 | trickard | (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 2025-11-21 04:46:28 +0100 | <monochrom> | heh |
| 2025-11-21 04:46:01 +0100 | <EvanR> | choose your own semantics |
| 2025-11-21 04:45:42 +0100 | <EvanR> | maybe a compiler flag which changes the backend from double to float |
| 2025-11-21 04:44:25 +0100 | <monochrom> | So it's like "no one needs anything else, let's chill". |
| 2025-11-21 04:44:21 +0100 | trickard | (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-21 04:43:54 +0100 | <monochrom> | But, say, very fantasizingly, if one day some big shot started using Curry for GPUs, I'm sure single-precision float would be added right away. :) |
| 2025-11-21 04:43:39 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-21 04:42:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-21 04:42:21 +0100 | <monochrom> | I'm over-philosophizing and over-economicsizing it, but scarce resource and simplifying things are highly correlated! :) |
| 2025-11-21 04:42:04 +0100 | aditya_an1l | (~aditya_an@user/aditya-an1l:63825) (Ping timeout: 264 seconds) |
| 2025-11-21 04:41:12 +0100 | <EvanR> | oh, curry has few instances just because lack of effort, and not to simplify things? |
| 2025-11-21 04:39:10 +0100 | <monochrom> | Yeah Haskell has more adoption and more contributors :) |
| 2025-11-21 04:37:17 +0100 | qqe | (~qqq@185.54.21.140) |
| 2025-11-21 04:37:07 +0100 | trickard_ | trickard |
| 2025-11-21 04:36:45 +0100 | <EvanR> | we have more instances |
| 2025-11-21 04:36:35 +0100 | <lambdabot> | 33.33 |
| 2025-11-21 04:36:33 +0100 | <EvanR> | > 100 / 3 :: Centi |
| 2025-11-21 04:35:41 +0100 | <monochrom> | Fractional works but there is only one instance. |
| 2025-11-21 04:32:58 +0100 | annamalai | (~annamalai@2409:4042:4e39:7842::9e0a:bf0a) annamalai |
| 2025-11-21 04:32:44 +0100 | annamalai | (~annamalai@2409:4042:4e39:7842::9e0a:bf0a) (Read error: Connection reset by peer) |
| 2025-11-21 04:32:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-21 04:31:01 +0100 | <fgarcia> | does Fractional work? i think it has Float and Double |
| 2025-11-21 04:30:45 +0100 | <EvanR> | but going from 1/2 number types to any number of number types is definitely a jump |
| 2025-11-21 04:30:21 +0100 | <EvanR> | with curry |
| 2025-11-21 04:30:14 +0100 | <EvanR> | the certain good applications that exist for single precision are sad |
| 2025-11-21 04:29:41 +0100 | <EvanR> | *nor |
| 2025-11-21 04:29:35 +0100 | <EvanR> | or Fin n |
| 2025-11-21 04:29:21 +0100 | <EvanR> | not to be confused with modular integers |
| 2025-11-21 04:29:12 +0100 | <monochrom> | Also, Float is already double-precision, it is the only floating point type. |
| 2025-11-21 04:29:10 +0100 | <EvanR> | bounded integer is a contradiction extraordinaire |
| 2025-11-21 04:27:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-21 04:26:39 +0100 | <monochrom> | Fun fact: Curry has Int, it already means multi-precision. There is no bounded integer type in Curry. :) |
| 2025-11-21 04:26:06 +0100 | <fgarcia> | gah why is it so hard to install steam |
| 2025-11-21 04:25:35 +0100 | <monochrom> | You have to say: sudo delete cosmic and make me a sandwich :) |
| 2025-11-21 04:25:15 +0100 | <monochrom> | "permission denied" |
| 2025-11-21 04:24:34 +0100 | <fgarcia> | Do as I say. delete cosmic! |
| 2025-11-21 04:23:23 +0100 | <monochrom> | Yes default Integer. |
| 2025-11-21 04:23:13 +0100 | <monochrom> | Without type signature, everything resolves to Integer. And monomorphized. (I checked the Core code.) |
| 2025-11-21 04:23:05 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-11-21 04:22:48 +0100 | <sam113101> | I did use Int, not sure if the compiler defaulted to Integer? |
| 2025-11-21 04:22:18 +0100 | <monochrom> | Is that just because you say "Int" not "Integer"? |
| 2025-11-21 04:21:41 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2025-11-21 04:20:58 +0100 | <EvanR> | I delete all my type signatures, dare the compiler to do what I mean, without even my knowing what I mean |
| 2025-11-21 04:20:50 +0100 | <sam113101> | wow it really did |
| 2025-11-21 04:20:46 +0100 | <sam113101> | Executed in 1.36 secs |
| 2025-11-21 04:20:44 +0100 | Googulator96 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-21 04:20:44 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |