2025/08/03

2025-08-03 00:01:13 +0200Igloo(~ian@81.2.99.210) (Ping timeout: 245 seconds)
2025-08-03 00:01:58 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving)
2025-08-03 00:06:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 00:06:49 +0200Igloo(~ian@81.2.99.210) Igfoo
2025-08-03 00:08:02 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-08-03 00:09:48 +0200phma(~phma@2001:5b0:211f:87d8:b0c6:4369:b475:6464) (Read error: Connection reset by peer)
2025-08-03 00:10:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-08-03 00:13:54 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard
2025-08-03 00:16:32 +0200tromp(~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-03 00:21:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 00:22:34 +0200Igloo(~ian@81.2.99.210) (Ping timeout: 272 seconds)
2025-08-03 00:24:14 +0200Igloo(~ian@45.130.105.72)
2025-08-03 00:26:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-03 00:30:12 +0200Spawns_Carpeting(~mobile@user/spawns-carpeting/x-6969421) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-08-03 00:33:35 +0200Igloo(~ian@45.130.105.72) (Ping timeout: 244 seconds)
2025-08-03 00:35:23 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2025-08-03 00:35:31 +0200Igloo(~ian@81.2.99.210) Igfoo
2025-08-03 00:37:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 00:38:13 +0200harveypwca(~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving)
2025-08-03 00:41:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-03 00:43:58 +0200Igloo(~ian@81.2.99.210) (Ping timeout: 240 seconds)
2025-08-03 00:44:13 +0200Igloo(~ian@45.130.105.70) Igfoo
2025-08-03 00:44:19 +0200trickard_trickard
2025-08-03 00:46:38 +0200ncf(~n@monade.li) (Quit: Fairfarren.)
2025-08-03 00:47:07 +0200ncf(~n@monade.li) ncf
2025-08-03 00:49:34 +0200Igloo(~ian@45.130.105.70) (Ping timeout: 260 seconds)
2025-08-03 00:50:06 +0200Igloo(~ian@81.2.99.210) Igfoo
2025-08-03 00:52:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 00:53:41 +0200phma(phma@2001:5b0:211b:c1b8:b6d6:ed2d:f8de:7cd2)
2025-08-03 00:54:14 +0200javran(~javran@c-24-6-38-24.hsd1.ca.comcast.net) (Quit: leaving)
2025-08-03 00:58:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-08-03 00:59:28 +0200Igloo(~ian@81.2.99.210) (Ping timeout: 240 seconds)
2025-08-03 01:01:24 +0200Igloo(~ian@45.130.105.79)
2025-08-03 01:01:25 +0200caubert(~caubert@user/caubert) caubert
2025-08-03 01:03:16 +0200JimmyMifune(~JimmyMifu@h77-53-77-213.cust.bredband2.com) (Ping timeout: 252 seconds)
2025-08-03 01:08:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 01:08:28 +0200Igloo(~ian@45.130.105.79) (Ping timeout: 240 seconds)
2025-08-03 01:10:46 +0200Igloo(~ian@81.2.99.210) Igfoo
2025-08-03 01:12:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-03 01:13:46 +0200phma(phma@2001:5b0:211b:c1b8:b6d6:ed2d:f8de:7cd2) (Read error: Connection reset by peer)
2025-08-03 01:14:21 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-08-03 01:14:40 +0200phma(~phma@host-67-44-208-79.hnremote.net)
2025-08-03 01:23:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 01:28:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-03 01:39:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 01:44:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-08-03 01:51:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 01:55:27 +0200sp1ff`(~user@185.219.141.187)
2025-08-03 01:56:02 +0200sprotte24(~sprotte24@p200300d16f05fd00bc4d997ddc94f5e2.dip0.t-ipconnect.de) (Quit: Leaving)
2025-08-03 01:56:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-03 01:57:14 +0200sp1ff(~user@c-24-21-190-184.hsd1.wa.comcast.net) (Ping timeout: 260 seconds)
2025-08-03 01:57:21 +0200 <Unicorn_Princess> i'm writing a small & simple computer algebra system (no integration/derivatives/fancy stuff, just sum, product, and power). i'm currently representing algebraic expressions like so: https://play.haskell.org/saved/MqSuqrtR
2025-08-03 01:58:24 +0200 <Unicorn_Princess> what has me conflicted is the separation between Atom and Expr - do you think it might be a good idea to try to merge them into a single Expr type, adding Atom's values to Expr?
2025-08-03 01:58:50 +0200 <Unicorn_Princess> basically data Expr = LitInt Int | FreeReal String | Prod [Expr] | Sum [Expr] ..
2025-08-03 02:00:08 +0200 <Unicorn_Princess> the complications from the separation currently aren't too bad, really, but it feels kinda dirty
2025-08-03 02:00:31 +0200 <glguy> The reason to have two separate types would be if you were going to write functions that only generated things in Atom on could only handle things in Atom
2025-08-03 02:00:37 +0200 <glguy> or maybe you want an eval :: Expr -> Atom
2025-08-03 02:00:38 +0200sp1ff``(~user@c-24-21-190-184.hsd1.wa.comcast.net)
2025-08-03 02:00:54 +0200 <glguy> if you don't have a reason to distinguish Expr and Atom then you can merge them into one type
2025-08-03 02:01:06 +0200 <Unicorn_Princess> hrm
2025-08-03 02:02:25 +0200 <Unicorn_Princess> i could also go even further - have a separate Operation ADT, like data NAry = Sum | Prod, data Binary = Pow, and then data Exrp = BinExp Binary Expr Expr | NExp NAry [Expr]..
2025-08-03 02:02:29 +0200sp1ff`(~user@185.219.141.187) (Ping timeout: 248 seconds)
2025-08-03 02:04:10 +0200 <Unicorn_Princess> i just don't know which will hurt most/least down the line. all of the approaches would work tho, hence having trouble choosing
2025-08-03 02:04:43 +0200 <Unicorn_Princess> i think for now i'll try putting everything into a single Expr type, since it's the most naive/simple approach, and see how that works out ¯\_(ツ)_/¯
2025-08-03 02:04:45 +0200jackdk(uid373013@cssa/life/jackdk) jackdk
2025-08-03 02:05:24 +0200 <glguy> just stick to the simplest thing first and then make it more complicated when you realize that you need to be
2025-08-03 02:06:50 +0200 <Unicorn_Princess> yeah that's my thinking
2025-08-03 02:07:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 02:11:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-03 02:15:28 +0200caubert(~caubert@user/caubert) (Ping timeout: 240 seconds)
2025-08-03 02:16:02 +0200hiecaq(~hiecaq@user/hiecaq) hiecaq
2025-08-03 02:22:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 02:27:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-08-03 02:30:03 +0200caubert(~caubert@user/caubert) caubert
2025-08-03 02:38:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 02:42:47 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-08-03 02:43:08 +0200fizbin(~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5)
2025-08-03 02:43:35 +0200califax(~califax@user/califx) califx
2025-08-03 02:45:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-03 02:55:58 +0200ttybitnik(~ttybitnik@user/wolper) (Remote host closed the connection)
2025-08-03 02:56:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 02:56:24 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-08-03 03:01:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-03 03:08:58 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-08-03 03:09:40 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-08-03 03:11:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 03:15:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-08-03 03:16:13 +0200acidjnk(~acidjnk@p200300d6e7171947698a36133e498272.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2025-08-03 03:18:22 +0200jespada(~jespada@2800:a4:228b:6c00:307a:2c53:ad63:5cc4) (Ping timeout: 276 seconds)
2025-08-03 03:20:28 +0200jespada(~jespada@2800:a4:2391:a900:2c34:10a0:7dd4:5c32) jespada
2025-08-03 03:27:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 03:27:48 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-08-03 03:32:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-08-03 03:42:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 03:46:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-08-03 03:48:53 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-08-03 03:49:09 +0200califax(~califax@user/califx) califx
2025-08-03 03:58:00 +0200trickard(~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-03 03:58:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 03:58:13 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au)
2025-08-03 04:02:14 +0200hiredman_(~hiredman@frontier1.downey.family) hiredman
2025-08-03 04:02:20 +0200hiredman_(~hiredman@frontier1.downey.family) (Client Quit)
2025-08-03 04:02:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-03 04:05:04 +0200op_4(~tslil@user/op-4/x-9116473) (Remote host closed the connection)
2025-08-03 04:05:33 +0200op_4(~tslil@user/op-4/x-9116473) op_4
2025-08-03 04:13:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 04:19:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-08-03 04:28:02 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2025-08-03 04:31:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 04:36:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-03 04:39:23 +0200fizbin(~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5) (Read error: Connection reset by peer)
2025-08-03 04:45:22 +0200trickard_trickard
2025-08-03 04:46:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 04:47:38 +0200codoliodolio
2025-08-03 04:51:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-08-03 05:02:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 05:06:26 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 248 seconds)
2025-08-03 05:07:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-08-03 05:07:58 +0200trickard(~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-03 05:08:11 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au)
2025-08-03 05:11:39 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-08-03 05:17:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 05:18:30 +0200polykernel(~polykerne@user/polykernel) (Remote host closed the connection)
2025-08-03 05:19:16 +0200polykernel(~polykerne@user/polykernel) polykernel
2025-08-03 05:20:03 +0200fizbin(~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5)
2025-08-03 05:21:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-08-03 05:23:37 +0200aforemny(~aforemny@2001:9e8:6cdf:a900:21ae:b2:f02b:ad36) aforemny
2025-08-03 05:24:37 +0200aforemny_(~aforemny@i577B12BE.versanet.de) (Ping timeout: 248 seconds)
2025-08-03 05:31:36 +0200driib318(~driib@vmi931078.contaboserver.net) driib
2025-08-03 05:32:29 +0200fizbin(~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5) (Ping timeout: 260 seconds)
2025-08-03 05:32:37 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-08-03 05:33:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 05:36:20 +0200myxos(~myxos@syn-065-028-251-121.res.spectrum.com) (Remote host closed the connection)
2025-08-03 05:38:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-08-03 05:40:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 05:45:13 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-03 05:45:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-03 05:55:31 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-08-03 05:56:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 06:02:15 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-08-03 06:03:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-08-03 06:09:48 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 252 seconds)
2025-08-03 06:09:50 +0200olivial(~benjaminl@user/benjaminl) (Read error: Connection reset by peer)
2025-08-03 06:10:07 +0200olivial(~benjaminl@user/benjaminl) benjaminl
2025-08-03 06:14:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 06:19:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-08-03 06:30:10 +0200infinity0(~infinity0@pwned.gg) (Ping timeout: 248 seconds)
2025-08-03 06:44:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 06:48:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-03 06:51:11 +0200infinity0(~infinity0@pwned.gg) infinity0
2025-08-03 06:55:23 +0200haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-08-03 06:58:11 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-03 06:59:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 07:03:13 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-08-03 07:03:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-08-03 07:05:14 +0200fgarcia(~lei@user/fgarcia) (Ping timeout: 260 seconds)
2025-08-03 07:06:44 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-08-03 07:06:58 +0200caubert(~caubert@user/caubert) (Ping timeout: 240 seconds)
2025-08-03 07:07:32 +0200euphores(~SASL_euph@user/euphores) euphores
2025-08-03 07:14:27 +0200fgarcia(~lei@user/fgarcia) fgarcia
2025-08-03 07:14:49 +0200 <sm> 👍🏻
2025-08-03 07:15:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 07:19:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-03 07:20:19 +0200caubert(~caubert@user/caubert) caubert
2025-08-03 07:28:28 +0200caubert(~caubert@user/caubert) (Ping timeout: 240 seconds)
2025-08-03 07:30:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 07:33:54 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Ping timeout: 276 seconds)
2025-08-03 07:35:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-08-03 07:40:51 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-03 07:42:13 +0200caubert(~caubert@user/caubert) caubert
2025-08-03 07:48:33 +0200caubert(~caubert@user/caubert) (Ping timeout: 248 seconds)
2025-08-03 07:54:56 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-08-03 07:57:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 07:57:58 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-03 07:58:12 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au)
2025-08-03 08:02:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-08-03 08:12:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 08:16:36 +0200tromp(~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf)
2025-08-03 08:17:07 +0200tromp(~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf) (Client Quit)
2025-08-03 08:17:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-03 08:25:05 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds)
2025-08-03 08:27:13 +0200Lycurgus(~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org))
2025-08-03 08:28:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 08:33:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-03 08:36:50 +0200fgarcia(~lei@user/fgarcia) (Ping timeout: 252 seconds)
2025-08-03 08:39:24 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-03 08:39:38 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au)
2025-08-03 08:41:25 +0200fun-safe-math(~fun-safe-@97-120-33-44.ptld.qwest.net) (Ping timeout: 248 seconds)
2025-08-03 08:42:00 +0200fun-safe-math(~fun-safe-@97-120-122-185.ptld.qwest.net) fun-safe-math
2025-08-03 08:42:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 08:46:44 +0200caubert(~caubert@user/caubert) caubert
2025-08-03 08:47:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-03 08:47:37 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-08-03 08:50:49 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-08-03 08:53:14 +0200poscat0x04(~poscat@user/poscat) poscat
2025-08-03 08:54:01 +0200trickard_trickard
2025-08-03 08:54:54 +0200poscat(~poscat@user/poscat) (Ping timeout: 260 seconds)
2025-08-03 08:57:44 +0200tromp(~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf)
2025-08-03 08:58:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 09:00:00 +0200caconym747(~caconym@user/caconym) (Quit: bye)
2025-08-03 09:00:39 +0200caconym747(~caconym@user/caconym) caconym
2025-08-03 09:03:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-03 09:03:42 +0200trickard(~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-03 09:03:56 +0200trickard(~trickard@cpe-56-98-47-163.wireline.com.au)
2025-08-03 09:05:28 +0200albet70(~xxx@172-233-90-118.ip.linodeusercontent.com) (Ping timeout: 240 seconds)
2025-08-03 09:06:58 +0200finsternis(~X@23.226.237.192) (Ping timeout: 240 seconds)
2025-08-03 09:13:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 09:15:27 +0200finsternis(~X@23.226.237.192) finsternis
2025-08-03 09:20:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-08-03 09:25:56 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-08-03 09:29:22 +0200trickard(~trickard@cpe-56-98-47-163.wireline.com.au) (Ping timeout: 244 seconds)
2025-08-03 09:29:26 +0200albet70(~xxx@172-233-90-118.ip.linodeusercontent.com) albet70
2025-08-03 09:31:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 09:31:50 +0200caubert(~caubert@user/caubert) (Ping timeout: 252 seconds)
2025-08-03 09:32:42 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au)
2025-08-03 09:34:39 +0200caubert(~caubert@user/caubert) caubert
2025-08-03 09:35:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-08-03 09:43:10 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-08-03 09:43:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 09:45:16 +0200lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-08-03 09:49:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-08-03 09:59:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 09:59:20 +0200trickard_trickard
2025-08-03 10:03:10 +0200euandreh(~Thunderbi@189-31-61-8.user3p.v-tal.net.br) euandreh
2025-08-03 10:03:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-03 10:05:14 +0200tromp(~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-03 10:12:15 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2025-08-03 10:12:47 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2025-08-03 10:14:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 10:16:17 +0200trickard(~trickard@cpe-56-98-47-163.wireline.com.au) (Ping timeout: 248 seconds)
2025-08-03 10:16:36 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au)
2025-08-03 10:18:03 +0200entropics(~boo@user/entropics) entropics
2025-08-03 10:18:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-08-03 10:20:57 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-03 10:24:02 +0200 <lxsameer> hey folks, I have a transformer monad FooT m a, what would be the conventional way to create a generic function that transforms the inner monad m to n? Right now, i have a function that I specialize for different types of m and n
2025-08-03 10:27:01 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au)
2025-08-03 10:28:01 +0200caubert(~caubert@user/caubert) (Ping timeout: 248 seconds)
2025-08-03 10:28:44 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich)
2025-08-03 10:30:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 10:30:20 +0200 <Leary> lxsameer: What's stopping you from writing a function polmorphic in the monads?
2025-08-03 10:31:51 +0200 <lxsameer> like foo :: m a -> n a?
2025-08-03 10:32:26 +0200 <c_wraith> Leary: you'd have something that looks a lot like https://hackage-content.haskell.org/package/mmorph-1.2.1/docs/Control-Monad-Morph.html#v:hoist
2025-08-03 10:32:31 +0200 <Leary> Like `mapFooT :: (m a -> n b) -> FooT m a -> FooT n b` or `hmapFooT :: (forall x. m x -> n x) -> FooT m a -> FooT n a`.
2025-08-03 10:32:50 +0200caubert(~caubert@user/caubert) caubert
2025-08-03 10:32:59 +0200 <c_wraith> Note that it's polytypic, so leaning on the library doesn't give you any implementation tools
2025-08-03 10:33:37 +0200 <lxsameer> c_wraith: cheers, I rather learn how to do it, it seems it's a gap in my knowledge
2025-08-03 10:33:53 +0200 <lxsameer> Leary: but m a -> n b is kinda immposible
2025-08-03 10:34:10 +0200 <lxsameer> cause I don't know how to extract a from a generic monad m
2025-08-03 10:34:12 +0200 <c_wraith> err. sorry, highlighted the wrong person. But you've sorted it out
2025-08-03 10:34:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-03 10:34:38 +0200 <Leary> Which kind of mapping function you need depends on the details of the transformer. The latter is also impossible if the transformer isn't functorial in the monad.
2025-08-03 10:37:20 +0200 <lxsameer> so basically, there's no generic way to write that mapping function, did I get it right?
2025-08-03 10:38:51 +0200 <Leary> Well, there kinda is: the same way you write (or the GHC instance deriver) writes `Functor` instances, when it's possible. This is just another kind of `fmap`, so it should be quite mechanical.
2025-08-03 10:40:42 +0200 <lxsameer> Leary: ah i see, thank you
2025-08-03 10:43:29 +0200acidjnk(~acidjnk@p200300d6e71719149d1d473a745282b7.dip0.t-ipconnect.de) acidjnk
2025-08-03 10:44:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 10:45:38 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-08-03 10:47:00 +0200caubert(~caubert@user/caubert) (Ping timeout: 252 seconds)
2025-08-03 10:49:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-08-03 10:52:10 +0200EvanR(~EvanR@user/evanr) (Quit: Leaving)
2025-08-03 10:55:00 +0200caubert(~caubert@user/caubert) caubert
2025-08-03 11:00:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 11:06:54 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-08-03 11:07:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-03 11:09:32 +0200poscat0x04(~poscat@user/poscat) (Remote host closed the connection)
2025-08-03 11:11:13 +0200trickard_trickard
2025-08-03 11:12:25 +0200poscat(~poscat@user/poscat) poscat
2025-08-03 11:14:09 +0200entropics(~boo@user/entropics) (Remote host closed the connection)
2025-08-03 11:14:23 +0200entropics(~boo@2600:1700:3bdd:9810::d)
2025-08-03 11:15:19 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
2025-08-03 11:17:09 +0200entropics(~boo@2600:1700:3bdd:9810::d) (Read error: Connection reset by peer)
2025-08-03 11:18:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 11:20:49 +0200aplainzetakind(~aplainzet@37.155.93.221) aplainzetakind
2025-08-03 11:20:58 +0200caubert(~caubert@user/caubert) (Ping timeout: 240 seconds)
2025-08-03 11:22:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-03 11:28:18 +0200trickard(~trickard@cpe-56-98-47-163.wireline.com.au) (Ping timeout: 248 seconds)
2025-08-03 11:29:15 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au)
2025-08-03 11:33:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 11:34:09 +0200caubert(~caubert@user/caubert) caubert
2025-08-03 11:34:11 +0200sprotte24(~sprotte24@p200300d16f12c90091062a35ec430294.dip0.t-ipconnect.de)
2025-08-03 11:38:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-03 11:41:12 +0200tromp(~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf)
2025-08-03 11:47:00 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-08-03 11:49:02 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-03 11:49:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 11:49:16 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au)
2025-08-03 11:52:02 +0200trickard_trickard
2025-08-03 11:52:03 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-08-03 11:52:21 +0200jackdk(uid373013@cssa/life/jackdk) (Quit: Connection closed for inactivity)
2025-08-03 11:54:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-08-03 11:54:43 +0200sprotte24(~sprotte24@p200300d16f12c90091062a35ec430294.dip0.t-ipconnect.de) (Quit: Leaving)
2025-08-03 11:56:58 +0200qqe(~qqq@185.54.22.149)
2025-08-03 11:59:04 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-03 12:04:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 12:06:01 +0200euouae(~euouae@user/euouae) euouae
2025-08-03 12:06:04 +0200 <euouae> Hello
2025-08-03 12:06:14 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-08-03 12:06:57 +0200 <euouae> Hey all
2025-08-03 12:07:30 +0200 <euouae> Oops (said hi twice) I'm trying to write an app that also comes with some library files. How do I deal with the x.y.z.w versioning of cabal?
2025-08-03 12:08:40 +0200 <lxsameer> euouae: what libraries? and what versioning are you referring to? the cabal version? or dependency versions?
2025-08-03 12:09:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-03 12:10:31 +0200 <euouae> yeah the cabal version
2025-08-03 12:10:38 +0200 <euouae> the libraries are the src/*.hs files
2025-08-03 12:11:12 +0200 <lxsameer> use hpack
2025-08-03 12:11:45 +0200 <lxsameer> and for cabal version you provide a minimum version that you want to support in your cabal file or package file (in case of hpack)
2025-08-03 12:12:17 +0200fizbin(~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5)
2025-08-03 12:12:29 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-03 12:12:47 +0200 <euouae> oh no, what I'm asking is, how should I set my own package's version
2025-08-03 12:13:11 +0200 <euouae> The x.y.z.w version is explained for a library (major minor patch etc) but it's not clear what it means (if anything) for an app + library
2025-08-03 12:13:34 +0200 <euouae> cabal works for me, I'm not sure if I need hpack
2025-08-03 12:14:03 +0200 <lxsameer> hpack is just a handy tool, you will still use cabal, it just generate the cabal file for you.
2025-08-03 12:14:29 +0200 <lxsameer> if you want to to distribute your app and library together, highly recommend using the same version for both
2025-08-03 12:15:22 +0200 <euouae> the same version of what?
2025-08-03 12:16:13 +0200 <euouae> I'm talking about the version: field of the .cabal file for a project with a `library` and an `executable`...
2025-08-03 12:16:25 +0200 <lxsameer> what version are you talking about then?
2025-08-03 12:16:41 +0200 <haskellbridge> <Morj> Sometimes you can think of a binary as a library with a weird linkage. Especially evident in command-line interfaces where someone at some point will want to use you in a script - then you can use the version to signify breakage as usual for this use-case
2025-08-03 12:16:44 +0200 <haskellbridge> <Morj> Otherwise you can just put whatever
2025-08-03 12:17:46 +0200 <haskellbridge> <Morj> I think most of my binaries are at a perpetual 0.1.0.0
2025-08-03 12:20:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 12:21:32 +0200 <euouae> lxsameer: I've specified multiple times
2025-08-03 12:21:45 +0200 <euouae> You have a project.cabal file. It has a version: field. That one.
2025-08-03 12:22:09 +0200 <euouae> Morj, hm... fair
2025-08-03 12:23:13 +0200euandreh(~Thunderbi@189-31-61-8.user3p.v-tal.net.br) (Remote host closed the connection)
2025-08-03 12:24:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-03 12:31:16 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-08-03 12:35:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 12:37:28 +0200caubert(~caubert@user/caubert) (Ping timeout: 240 seconds)
2025-08-03 12:38:29 +0200 <haskellbridge> <sm> euouae, are you wondering how to pick PVP-compliant version numbers for an application ?
2025-08-03 12:41:14 +0200 <euouae> If that's a thing?
2025-08-03 12:41:34 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-08-03 12:42:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-03 12:42:41 +0200 <haskellbridge> <sm> A package that provides both apps and libraries (typically one of each) is pretty common. A release of this package will have a version that applies to both the app and library (like lxsameer said). There’s no sensible way to give them different versions in that scenario I think.
2025-08-03 12:44:20 +0200 <haskellbridge> <sm> When I’m releasing a package like that, I consider both the API of the library and the UI/UX of the app. PVP is less formal for an app, but you can pretty much apply the same principle.
2025-08-03 12:44:45 +0200 <euouae> Oh is that what he said? I thought that he said that the cabal program that built the app should be the same version as the lib
2025-08-03 12:44:48 +0200 <euouae> I see now, my bad
2025-08-03 12:45:10 +0200 <euouae> Fair enough, I'll try to follow PVP
2025-08-03 12:46:17 +0200 <haskellbridge> <sm> I don’t do PVP exactly, but the same general idea. If there’s a user-visible breaking change, that’s a major version bump, etc.
2025-08-03 12:50:48 +0200caubert(~caubert@user/caubert) caubert
2025-08-03 12:52:11 +0200fizbin(~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5) (Read error: Connection reset by peer)
2025-08-03 12:53:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 12:56:44 +0200fizbin(~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5)
2025-08-03 12:57:25 +0200tromp(~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-03 12:57:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-03 12:58:22 +0200trickard(~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-03 12:58:33 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au)
2025-08-03 13:01:58 +0200caubert(~caubert@user/caubert) (Ping timeout: 240 seconds)
2025-08-03 13:02:48 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds)
2025-08-03 13:07:18 +0200 <euouae> okay got it
2025-08-03 13:08:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 13:11:13 +0200trickard_trickard
2025-08-03 13:13:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-03 13:13:25 +0200tromp(~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf)
2025-08-03 13:13:32 +0200Ezic(~Ezic@2a02:a31c:2d8:4400:6424:8966:5ad2:3460)
2025-08-03 13:15:41 +0200 <Ezic> @hoogle fmap
2025-08-03 13:15:41 +0200 <lambdabot> Prelude fmap :: Functor f => (a -> b) -> f a -> f b
2025-08-03 13:15:41 +0200 <lambdabot> Control.Monad fmap :: Functor f => (a -> b) -> f a -> f b
2025-08-03 13:15:41 +0200 <lambdabot> Control.Monad.Instances fmap :: Functor f => (a -> b) -> f a -> f b
2025-08-03 13:15:55 +0200caubert(~caubert@user/caubert) caubert
2025-08-03 13:18:46 +0200 <Ezic> > fix (\f x -> x * f (x-1)) 5
2025-08-03 13:18:53 +0200 <lambdabot> mueval-core: Time limit exceeded
2025-08-03 13:19:28 +0200 <Ezic> > fix (\f x -> if x == 0 then 1 else x * f (x-1)) 5
2025-08-03 13:19:29 +0200 <lambdabot> 120
2025-08-03 13:20:57 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-08-03 13:20:58 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
2025-08-03 13:21:08 +0200euouae(~euouae@user/euouae) ()
2025-08-03 13:23:41 +0200Lord_of_Life_Lord_of_Life
2025-08-03 13:25:49 +0200pera(~pera@user/pera) pera
2025-08-03 13:26:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 13:27:25 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-08-03 13:31:29 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-08-03 13:32:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-08-03 13:35:07 +0200fizbin_(~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5)
2025-08-03 13:38:59 +0200fizbin(~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5) (Ping timeout: 260 seconds)
2025-08-03 13:40:59 +0200pera(~pera@user/pera) (Quit: leaving)
2025-08-03 13:43:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 13:46:41 +0200fizbin_fizbin
2025-08-03 13:47:15 +0200fizbin(~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5) (Changing host)
2025-08-03 13:47:15 +0200fizbin(~fizbin@user/fizbin) fizbin
2025-08-03 13:47:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-03 13:52:50 +0200krei-se(~krei-se@p200300f1cf2fbd010000000000009569.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in)
2025-08-03 13:53:13 +0200sprotte24(~sprotte24@p200300d16f12c90091062a35ec430294.dip0.t-ipconnect.de)
2025-08-03 13:53:22 +0200fizbin(~fizbin@user/fizbin) (Read error: Connection reset by peer)
2025-08-03 13:55:07 +0200krei-se(~krei-se@p3ee0f67c.dip0.t-ipconnect.de) krei-se
2025-08-03 13:55:15 +0200krei-se(~krei-se@p3ee0f67c.dip0.t-ipconnect.de) (Remote host closed the connection)
2025-08-03 13:58:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 14:02:18 +0200krei-se(~krei-se@p3ee0f67c.dip0.t-ipconnect.de) krei-se
2025-08-03 14:02:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-08-03 14:03:40 +0200hseg(~gesh@46.120.20.122)
2025-08-03 14:10:02 +0200fizbin(~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5)
2025-08-03 14:10:20 +0200fizbin(~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5) (Changing host)
2025-08-03 14:10:20 +0200fizbin(~fizbin@user/fizbin) fizbin
2025-08-03 14:11:55 +0200 <fizbin> Is anyone still using stack for new projects, or is that now considered obsoleted by improvements that have been made to cabal since stack was created?
2025-08-03 14:11:59 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com) smalltalkman
2025-08-03 14:11:59 +0200trickard(~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-03 14:12:14 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au)
2025-08-03 14:14:02 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-08-03 14:14:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 14:17:25 +0200Vajb(~Vajb@n60e2qpup8cye21nl23-1.v6.elisa-mobile.fi) (Ping timeout: 248 seconds)
2025-08-03 14:18:28 +0200Vajb(~Vajb@n5hoc7dol3omjl5lroe-1.v6.elisa-mobile.fi)
2025-08-03 14:21:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-03 14:22:10 +0200caubert(~caubert@user/caubert) (Ping timeout: 248 seconds)
2025-08-03 14:23:37 +0200tromp(~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-03 14:26:45 +0200tromp(~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf)
2025-08-03 14:32:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 14:34:47 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-03 14:35:03 +0200Ezic(~Ezic@2a02:a31c:2d8:4400:6424:8966:5ad2:3460) (Quit: Client closed)
2025-08-03 14:35:29 +0200caubert(~caubert@user/caubert) caubert
2025-08-03 14:35:32 +0200trickard_trickard
2025-08-03 14:37:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-03 14:40:14 +0200caubert(~caubert@user/caubert) (Ping timeout: 260 seconds)
2025-08-03 14:46:58 +0200weary-traveler(~user@user/user363627) user363627
2025-08-03 14:47:07 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-08-03 14:47:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 14:52:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-08-03 14:53:14 +0200caubert(~caubert@user/caubert) caubert
2025-08-03 14:53:17 +0200trickard(~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-03 14:53:31 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au)
2025-08-03 14:57:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 15:01:00 +0200caubert(~caubert@user/caubert) (Ping timeout: 272 seconds)
2025-08-03 15:02:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-08-03 15:02:45 +0200JimmyMifune(JimmyMifun@h77-53-77-194.cust.bredband2.com)
2025-08-03 15:06:42 +0200inline(~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) (Remote host closed the connection)
2025-08-03 15:07:07 +0200inline(~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) Inline
2025-08-03 15:12:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 15:14:38 +0200caubert(~caubert@user/caubert) caubert
2025-08-03 15:17:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-03 15:23:00 +0200lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-08-03 15:24:07 +0200fgarcia(~lei@user/fgarcia) fgarcia
2025-08-03 15:25:50 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-03 15:26:04 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au)
2025-08-03 15:27:03 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-08-03 15:27:49 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-08-03 15:27:51 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-08-03 15:28:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 15:28:42 +0200jespada(~jespada@2800:a4:2391:a900:2c34:10a0:7dd4:5c32) (Ping timeout: 265 seconds)
2025-08-03 15:29:07 +0200tromp(~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-03 15:30:13 +0200jespada(~jespada@2800:a4:2303:d900:b08d:81d0:3400:c094) jespada
2025-08-03 15:31:45 +0200tromp(~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf)
2025-08-03 15:32:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-03 15:43:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 15:46:04 +0200tromp(~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-03 15:47:40 +0200Lycurgus(~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org))
2025-08-03 15:48:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-08-03 15:52:55 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-08-03 15:56:07 +0200poscat(~poscat@user/poscat) poscat
2025-08-03 15:58:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 16:00:48 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
2025-08-03 16:01:21 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au)
2025-08-03 16:05:21 +0200 <lxsameer> folks, is it possible to inspect the AST of a haskell function or datatype?
2025-08-03 16:05:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-03 16:06:09 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
2025-08-03 16:11:47 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-08-03 16:16:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 16:21:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-08-03 16:21:50 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au)
2025-08-03 16:30:20 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-03 16:32:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 16:33:43 +0200haritz(~hrtz@209.35.65.79)
2025-08-03 16:33:43 +0200haritz(~hrtz@209.35.65.79) (Changing host)
2025-08-03 16:33:43 +0200haritz(~hrtz@user/haritz) haritz
2025-08-03 16:34:34 +0200fizbin(~fizbin@user/fizbin) (Read error: Connection reset by peer)
2025-08-03 16:36:38 +0200caubert(~caubert@user/caubert) (Ping timeout: 245 seconds)
2025-08-03 16:36:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-08-03 16:37:04 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.1 - https://znc.in)
2025-08-03 16:37:57 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-08-03 16:40:34 +0200fizbin(~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5)
2025-08-03 16:40:49 +0200fizbin(~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5) (Changing host)
2025-08-03 16:40:49 +0200fizbin(~fizbin@user/fizbin) fizbin
2025-08-03 16:47:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 16:49:20 +0200target_i(~target_i@user/target-i/x-6023099) target_i
2025-08-03 16:51:18 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-03 16:51:21 +0200caubert(~caubert@user/caubert) caubert
2025-08-03 16:52:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-03 16:55:09 +0200Digit(~user@user/digit) (Ping timeout: 260 seconds)
2025-08-03 16:56:13 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-08-03 17:00:55 +0200Miroboru(~myrvoll@84.215.249.36) (Quit: Lost terminal)
2025-08-03 17:01:21 +0200JimmyMifune(JimmyMifun@h77-53-77-194.cust.bredband2.com) (Ping timeout: 252 seconds)
2025-08-03 17:02:12 +0200 <geekosaur> only from Template Haskell unless you've derived `Generic`
2025-08-03 17:02:42 +0200nitrix(~nitrix@user/meow/nitrix) (Ping timeout: 248 seconds)
2025-08-03 17:03:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 17:03:32 +0200Miroboru(~myrvoll@84.215.249.36) Miroboru
2025-08-03 17:04:58 +0200nitrix(~nitrix@user/meow/nitrix) nitrix
2025-08-03 17:07:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-03 17:15:49 +0200 <lxsameer> cheers
2025-08-03 17:16:21 +0200ttybitnik(~ttybitnik@user/wolper) (Remote host closed the connection)
2025-08-03 17:18:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 17:22:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-03 17:26:55 +0200EvanR(~EvanR@user/evanr) EvanR
2025-08-03 17:30:29 +0200hiecaq(~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.1))
2025-08-03 17:33:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 17:40:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-03 17:40:37 +0200michalz(~michalz@185.246.207.203)
2025-08-03 17:45:44 +0200cyphase(~cyphase@user/cyphase) (Ping timeout: 260 seconds)
2025-08-03 17:51:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 17:56:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-03 18:01:30 +0200caubert(~caubert@user/caubert) (Ping timeout: 252 seconds)
2025-08-03 18:07:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 18:07:52 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-03 18:08:06 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au)
2025-08-03 18:12:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-08-03 18:12:15 +0200myxos(~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale
2025-08-03 18:14:12 +0200caubert(~caubert@user/caubert) caubert
2025-08-03 18:22:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 18:27:02 +0200troydm(~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset)
2025-08-03 18:27:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-03 18:30:40 +0200troydm(~troydm@user/troydm) troydm
2025-08-03 18:39:19 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-08-03 18:42:18 +0200poscat(~poscat@user/poscat) poscat
2025-08-03 18:43:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 18:48:18 +0200fizbin(~fizbin@user/fizbin) (Read error: Connection reset by peer)
2025-08-03 18:48:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-08-03 18:49:52 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2025-08-03 18:51:39 +0200fizbin(~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5)
2025-08-03 18:54:28 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-08-03 18:57:06 +0200tromp(~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf)
2025-08-03 18:58:20 +0200Guest3298(~Guest73@31.57.219.74)
2025-08-03 18:58:49 +0200Guest3298(~Guest73@31.57.219.74) (Quit: Client closed)
2025-08-03 18:59:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 19:03:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-03 19:04:37 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-08-03 19:06:02 +0200 <haskellbridge> <sm> fizbin: heck yes, heck no
2025-08-03 19:08:28 +0200 <yin> > let fyx f = foldr ($) (fyx f) [f] in fyx (\f x -> if x < 1 then 1 else x * f (pred x)) 5
2025-08-03 19:08:29 +0200 <lambdabot> 120
2025-08-03 19:09:04 +0200 <yin> origami <3
2025-08-03 19:11:02 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-08-03 19:11:13 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds)
2025-08-03 19:11:59 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-08-03 19:14:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 19:18:18 +0200phma(~phma@host-67-44-208-79.hnremote.net) (Read error: Connection reset by peer)
2025-08-03 19:19:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-03 19:20:21 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-08-03 19:22:37 +0200trickard_trickard
2025-08-03 19:22:59 +0200cyphase(~cyphase@user/cyphase) cyphase
2025-08-03 19:23:14 +0200mikess(~sam@user/mikess) mikess
2025-08-03 19:25:31 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-08-03 19:25:49 +0200phma(~phma@host-67-44-208-38.hnremote.net)
2025-08-03 19:28:15 +0200caubert(~caubert@user/caubert) (Ping timeout: 276 seconds)
2025-08-03 19:29:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 19:32:11 +0200caubert(~caubert@user/caubert) caubert
2025-08-03 19:34:41 +0200fizbin(~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5) (Read error: Connection reset by peer)
2025-08-03 19:34:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-03 19:41:38 +0200qqe(~qqq@185.54.22.149) (Quit: Lost terminal)
2025-08-03 19:43:21 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-08-03 19:45:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 19:50:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-08-03 20:00:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 20:05:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-08-03 20:16:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 20:19:36 +0200ruvam(~ruvam@user/ruvam) ruvam
2025-08-03 20:22:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-03 20:24:32 +0200tromp(~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-03 20:24:44 +0200Digit(~user@user/digit) Digit
2025-08-03 20:29:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 20:34:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-08-03 20:37:30 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-03 20:44:26 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-08-03 20:44:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 20:46:38 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-08-03 20:47:10 +0200digitteknohippie(~user@user/digit) Digit
2025-08-03 20:48:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-08-03 20:54:32 +0200tromp(~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf)
2025-08-03 20:59:09 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-03 21:00:02 +0200caconym747(~caconym@user/caconym) (Quit: bye)
2025-08-03 21:00:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 21:00:41 +0200caconym747(~caconym@user/caconym) caconym
2025-08-03 21:04:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-03 21:08:58 +0200hseg(~gesh@46.120.20.122) (Ping timeout: 240 seconds)
2025-08-03 21:11:20 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-08-03 21:11:40 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-08-03 21:11:44 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-03 21:13:24 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
2025-08-03 21:13:24 +0200ljdarj1ljdarj