Newest at the top
| 2026-02-14 17:57:11 +0100 | <haskellbridge> | <alexfmpe> What do you expect the semantics and type of, say, 3/2 to be? |
| 2026-02-14 17:57:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-14 17:56:49 +0100 | <haskellbridge> | <alexfmpe> Or keep thjngs polymorphic with Integral/RealFrac and make use sites decide the type |
| 2026-02-14 17:56:23 +0100 | <lambdabot> | 2 |
| 2026-02-14 17:56:21 +0100 | <mauke> | > let { ceilDiv x y = (x + y - 1) `div` y } in 3 `ceilDiv` 2 |
| 2026-02-14 17:55:58 +0100 | <haskellbridge> | <alexfmpe> If you want 1.5, convert the arguments to Float or Double or Rational or Scientific or so |
| 2026-02-14 17:55:17 +0100 | <haskellbridge> | <alexfmpe> If you want integer division, use `div` instead of / |
| 2026-02-14 17:55:00 +0100 | <haskellbridge> | <alexfmpe> What do you expect the type and value of, say, 3/2 to be? |
| 2026-02-14 17:54:15 +0100 | <larsivi> | Good afternoon! Newbie here trying to do something like ceiling(x / y), where x and y are Integers or so. This gives me RealFrac woes. Why doesn't this work out-of-the-box? |
| 2026-02-14 17:53:39 +0100 | caubert | (~caubert@user/caubert) (Ping timeout: 245 seconds) |
| 2026-02-14 17:51:34 +0100 | larsivi | (~larsivi@user/larsivi) larsivi |
| 2026-02-14 17:51:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-14 17:49:37 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2026-02-14 17:48:40 +0100 | caubert | (~caubert@user/caubert) caubert |
| 2026-02-14 17:48:06 +0100 | mulk | (~mulk@pd95140e6.dip0.t-ipconnect.de) mulk |
| 2026-02-14 17:46:27 +0100 | mulk | (~mulk@p5b1128da.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2026-02-14 17:38:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-14 17:36:28 +0100 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2026-02-14 17:32:59 +0100 | karenw_ | (~karenw@user/karenw) karenw |
| 2026-02-14 17:32:46 +0100 | karenw_ | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2026-02-14 17:30:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-14 17:25:58 +0100 | caubert | (~caubert@user/caubert) caubert |
| 2026-02-14 17:22:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-14 17:18:10 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-02-14 17:17:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-14 17:15:25 +0100 | petrichor | (~jez@user/petrichor) petrichor |
| 2026-02-14 17:14:55 +0100 | jmcantrell_ | jmcantrell |
| 2026-02-14 17:06:09 +0100 | cipherrot | (~jez@user/petrichor) (Ping timeout: 245 seconds) |
| 2026-02-14 17:05:42 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-02-14 17:05:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-14 17:02:25 +0100 | caubert | (~caubert@user/caubert) (Ping timeout: 264 seconds) |
| 2026-02-14 17:01:23 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2026-02-14 17:00:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-14 16:58:59 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-02-14 16:57:45 +0100 | caubert | (~caubert@user/caubert) caubert |
| 2026-02-14 16:55:41 +0100 | tromp | (~textual@2001:1c00:3487:1b00:701a:bd9c:28fd:d022) |
| 2026-02-14 16:48:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-14 16:45:26 +0100 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2026-02-14 16:41:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-14 16:34:54 +0100 | tromp | (~textual@2001:1c00:3487:1b00:701a:bd9c:28fd:d022) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-14 16:30:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-14 16:27:32 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2026-02-14 16:25:38 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 2026-02-14 16:25:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-14 16:13:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-14 16:07:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-14 15:58:23 +0100 | jle` | (~jle`@2603:8001:3b00:11:6d67:a516:e093:4066) jle` |
| 2026-02-14 15:57:58 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2026-02-14 15:56:39 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-02-14 15:55:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |