2026/02/14

Newest at the top

2026-02-14 19:26:09 +0100tromp(~textual@2001:1c00:3487:1b00:701a:bd9c:28fd:d022) (Ping timeout: 245 seconds)
2026-02-14 19:25:41 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2026-02-14 19:22:37 +0100caubert(~caubert@user/caubert) caubert
2026-02-14 19:20:39 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-14 19:10:48 +0100mulk(~mulk@p5b2dcbcc.dip0.t-ipconnect.de) mulk
2026-02-14 19:10:13 +0100mulk(~mulk@pd95140e6.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2026-02-14 19:09:15 +0100caubert(~caubert@user/caubert) (Ping timeout: 265 seconds)
2026-02-14 19:08:47 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2026-02-14 19:03:45 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-14 18:57:29 +0100 <monochrom> I am too lazy to import that. I use "3/2 :: Rational". :)
2026-02-14 18:56:56 +0100 <fgarcia> would import Data.Ratio work? then 3 % 2
2026-02-14 18:54:21 +0100 <monochrom> Actually put it this way: polymorphic over fields, ideally. (Pun!)
2026-02-14 18:53:23 +0100 <monochrom> I want 3/2 to be rational, or polymorphic over fields.
2026-02-14 18:51:59 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-14 18:47:10 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-14 18:43:12 +0100Pozyomka(~pyon@user/pyon) (Quit: bbl)
2026-02-14 18:41:22 +0100spew(~spew@user/spew) spew
2026-02-14 18:41:05 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2026-02-14 18:33:41 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2026-02-14 18:31:42 +0100emmanuelux(~em@user/emmanuelux) emmanuelux
2026-02-14 18:28:09 +0100tabaqui(~tabaqui@167.71.80.236) tabaqui
2026-02-14 18:27:37 +0100tabaqui(~tabaqui@167.71.80.236) (Ping timeout: 250 seconds)
2026-02-14 18:27:11 +0100Fijxu(~Fijxu@user/fijxu) (Ping timeout: 250 seconds)
2026-02-14 18:26:58 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-14 18:25:16 +0100Fijxu_(~Fijxu@user/fijxu) fijxu
2026-02-14 18:24:46 +0100sa(sid1055@id-1055.tinside.irccloud.com) sa
2026-02-14 18:22:41 +0100__monty__(~toonn@user/toonn) toonn
2026-02-14 18:22:27 +0100sa(sid1055@id-1055.tinside.irccloud.com) (Ping timeout: 250 seconds)
2026-02-14 18:21:53 +0100Enrico63(~Enrico63@host-82-63-21-32.business.telecomitalia.it) (Ping timeout: 272 seconds)
2026-02-14 18:16:32 +0100emaczen(~user@user/emaczen) emaczen
2026-02-14 18:13:59 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-14 18:12:11 +0100 <tomsmeding> ah :)
2026-02-14 18:12:05 +0100sweater(~sweater@206.81.18.26) sweater
2026-02-14 18:11:54 +0100s4msung(koCZlVvn6A@user/s4msung) s4msung
2026-02-14 18:11:35 +0100s4msung(TgRRXvmJBT@user/s4msung) (Ping timeout: 250 seconds)
2026-02-14 18:11:35 +0100sweater(~sweater@206.81.18.26) (Ping timeout: 250 seconds)
2026-02-14 18:10:39 +0100eso(a0662dfd5e@2a03:6000:1812:100::1266) jeso
2026-02-14 18:09:48 +0100 <larsivi> Indeed :) I did also misunderstand the compiler error - I thought it was the result of the division that didn't typecheck, but it was the division itself. Thanks all!
2026-02-14 18:09:35 +0100prdak(~Thunderbi@user/prdak) (Ping timeout: 252 seconds)
2026-02-14 18:09:16 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-14 18:08:59 +0100eso(a0662dfd5e@2a03:6000:1812:100::1266) (Ping timeout: 250 seconds)
2026-02-14 18:08:35 +0100caubert(~caubert@user/caubert) caubert
2026-02-14 18:07:41 +0100chr55(57a0c161b0@user/chr55) chr55
2026-02-14 18:05:05 +0100chr55(57a0c161b0@user/chr55) (Ping timeout: 250 seconds)
2026-02-14 18:04:57 +0100prdak(~Thunderbi@user/prdak) prdak
2026-02-14 18:04:35 +0100 <tomsmeding> well, this answers why 'ceiling (x / y)' does not work out-of-the-box :)
2026-02-14 18:04:05 +0100 <larsivi> I get that tomsmeding :)
2026-02-14 18:03:58 +0100karenw_(~karenw@user/karenw) (Quit: Deep into that darkness peering...)
2026-02-14 18:01:58 +0100 <tomsmeding> Haskell does not automatically coerce numeric types like Javascript :)
2026-02-14 18:01:40 +0100 <tomsmeding> larsivi: if you want to go via a floating point number, you'll have to explicitly convert first (using realToFrac as mauke just posted)