| 2025-08-03 00:01:13 +0200 | Igloo | (~ian@81.2.99.210) (Ping timeout: 245 seconds) |
| 2025-08-03 00:01:58 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2025-08-03 00:06:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 00:06:49 +0200 | Igloo | (~ian@81.2.99.210) Igfoo |
| 2025-08-03 00:08:02 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-08-03 00:09:48 +0200 | phma | (~phma@2001:5b0:211f:87d8:b0c6:4369:b475:6464) (Read error: Connection reset by peer) |
| 2025-08-03 00:10:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-08-03 00:13:54 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
| 2025-08-03 00:16:32 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-03 00:21:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 00:22:34 +0200 | Igloo | (~ian@81.2.99.210) (Ping timeout: 272 seconds) |
| 2025-08-03 00:24:14 +0200 | Igloo | (~ian@45.130.105.72) |
| 2025-08-03 00:26:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-03 00:30:12 +0200 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-08-03 00:33:35 +0200 | Igloo | (~ian@45.130.105.72) (Ping timeout: 244 seconds) |
| 2025-08-03 00:35:23 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-08-03 00:35:31 +0200 | Igloo | (~ian@81.2.99.210) Igfoo |
| 2025-08-03 00:37:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 00:38:13 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
| 2025-08-03 00:41:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-03 00:43:58 +0200 | Igloo | (~ian@81.2.99.210) (Ping timeout: 240 seconds) |
| 2025-08-03 00:44:13 +0200 | Igloo | (~ian@45.130.105.70) Igfoo |
| 2025-08-03 00:44:19 +0200 | trickard_ | trickard |
| 2025-08-03 00:46:38 +0200 | ncf | (~n@monade.li) (Quit: Fairfarren.) |
| 2025-08-03 00:47:07 +0200 | ncf | (~n@monade.li) ncf |
| 2025-08-03 00:49:34 +0200 | Igloo | (~ian@45.130.105.70) (Ping timeout: 260 seconds) |
| 2025-08-03 00:50:06 +0200 | Igloo | (~ian@81.2.99.210) Igfoo |
| 2025-08-03 00:52:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 00:53:41 +0200 | phma | (phma@2001:5b0:211b:c1b8:b6d6:ed2d:f8de:7cd2) |
| 2025-08-03 00:54:14 +0200 | javran | (~javran@c-24-6-38-24.hsd1.ca.comcast.net) (Quit: leaving) |
| 2025-08-03 00:58:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-08-03 00:59:28 +0200 | Igloo | (~ian@81.2.99.210) (Ping timeout: 240 seconds) |
| 2025-08-03 01:01:24 +0200 | Igloo | (~ian@45.130.105.79) |
| 2025-08-03 01:01:25 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-08-03 01:03:16 +0200 | JimmyMifune | (~JimmyMifu@h77-53-77-213.cust.bredband2.com) (Ping timeout: 252 seconds) |
| 2025-08-03 01:08:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 01:08:28 +0200 | Igloo | (~ian@45.130.105.79) (Ping timeout: 240 seconds) |
| 2025-08-03 01:10:46 +0200 | Igloo | (~ian@81.2.99.210) Igfoo |
| 2025-08-03 01:12:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-03 01:13:46 +0200 | phma | (phma@2001:5b0:211b:c1b8:b6d6:ed2d:f8de:7cd2) (Read error: Connection reset by peer) |
| 2025-08-03 01:14:21 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-08-03 01:14:40 +0200 | phma | (~phma@host-67-44-208-79.hnremote.net) |
| 2025-08-03 01:23:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 01:28:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-03 01:39:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 01:44:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-08-03 01:51:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 01:55:27 +0200 | sp1ff` | (~user@185.219.141.187) |
| 2025-08-03 01:56:02 +0200 | sprotte24 | (~sprotte24@p200300d16f05fd00bc4d997ddc94f5e2.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-08-03 01:56:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-03 01:57:14 +0200 | sp1ff | (~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 +0200 | sp1ff`` | (~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 +0200 | sp1ff` | (~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 +0200 | jackdk | (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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 02:11:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-03 02:15:28 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 240 seconds) |
| 2025-08-03 02:16:02 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2025-08-03 02:22:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 02:27:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-08-03 02:30:03 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-08-03 02:38:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 02:42:47 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-08-03 02:43:08 +0200 | fizbin | (~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5) |
| 2025-08-03 02:43:35 +0200 | califax | (~califax@user/califx) califx |
| 2025-08-03 02:45:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-03 02:55:58 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-08-03 02:56:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 02:56:24 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-08-03 03:01:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-03 03:08:58 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-08-03 03:09:40 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-08-03 03:11:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 03:15:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-08-03 03:16:13 +0200 | acidjnk | (~acidjnk@p200300d6e7171947698a36133e498272.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-08-03 03:18:22 +0200 | jespada | (~jespada@2800:a4:228b:6c00:307a:2c53:ad63:5cc4) (Ping timeout: 276 seconds) |
| 2025-08-03 03:20:28 +0200 | jespada | (~jespada@2800:a4:2391:a900:2c34:10a0:7dd4:5c32) jespada |
| 2025-08-03 03:27:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 03:27:48 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-08-03 03:32:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-08-03 03:42:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 03:46:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-08-03 03:48:53 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-08-03 03:49:09 +0200 | califax | (~califax@user/califx) califx |
| 2025-08-03 03:58:00 +0200 | trickard | (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-03 03:58:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 03:58:13 +0200 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 2025-08-03 04:02:14 +0200 | hiredman_ | (~hiredman@frontier1.downey.family) hiredman |
| 2025-08-03 04:02:20 +0200 | hiredman_ | (~hiredman@frontier1.downey.family) (Client Quit) |
| 2025-08-03 04:02:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-03 04:05:04 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2025-08-03 04:05:33 +0200 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-08-03 04:13:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 04:19:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-08-03 04:28:02 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-08-03 04:31:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 04:36:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-03 04:39:23 +0200 | fizbin | (~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5) (Read error: Connection reset by peer) |
| 2025-08-03 04:45:22 +0200 | trickard_ | trickard |
| 2025-08-03 04:46:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 04:47:38 +0200 | codolio | dolio |
| 2025-08-03 04:51:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-08-03 05:02:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 05:06:26 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2025-08-03 05:07:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-08-03 05:07:58 +0200 | trickard | (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-03 05:08:11 +0200 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 2025-08-03 05:11:39 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-08-03 05:17:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 05:18:30 +0200 | polykernel | (~polykerne@user/polykernel) (Remote host closed the connection) |
| 2025-08-03 05:19:16 +0200 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2025-08-03 05:20:03 +0200 | fizbin | (~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5) |
| 2025-08-03 05:21:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-08-03 05:23:37 +0200 | aforemny | (~aforemny@2001:9e8:6cdf:a900:21ae:b2:f02b:ad36) aforemny |
| 2025-08-03 05:24:37 +0200 | aforemny_ | (~aforemny@i577B12BE.versanet.de) (Ping timeout: 248 seconds) |
| 2025-08-03 05:31:36 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2025-08-03 05:32:29 +0200 | fizbin | (~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5) (Ping timeout: 260 seconds) |
| 2025-08-03 05:32:37 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-08-03 05:33:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 05:36:20 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Remote host closed the connection) |
| 2025-08-03 05:38:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-08-03 05:40:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 05:45:13 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-03 05:45:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-03 05:55:31 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-08-03 05:56:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 06:02:15 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-08-03 06:03:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-08-03 06:09:48 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-08-03 06:09:50 +0200 | olivial | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2025-08-03 06:10:07 +0200 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-08-03 06:14:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 06:19:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-08-03 06:30:10 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 248 seconds) |
| 2025-08-03 06:44:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 06:48:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-03 06:51:11 +0200 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-08-03 06:55:23 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-08-03 06:58:11 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-03 06:59:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 07:03:13 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-08-03 07:03:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-08-03 07:05:14 +0200 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 260 seconds) |
| 2025-08-03 07:06:44 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-08-03 07:06:58 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 240 seconds) |
| 2025-08-03 07:07:32 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-08-03 07:14:27 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-08-03 07:14:49 +0200 | <sm> | 👍🏻 |
| 2025-08-03 07:15:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 07:19:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-03 07:20:19 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-08-03 07:28:28 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 240 seconds) |
| 2025-08-03 07:30:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 07:33:54 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Ping timeout: 276 seconds) |
| 2025-08-03 07:35:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-08-03 07:40:51 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-08-03 07:42:13 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-08-03 07:48:33 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-08-03 07:54:56 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-08-03 07:57:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 07:57:58 +0200 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-03 07:58:12 +0200 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 2025-08-03 08:02:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-08-03 08:12:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 08:16:36 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf) |
| 2025-08-03 08:17:07 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf) (Client Quit) |
| 2025-08-03 08:17:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-03 08:25:05 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2025-08-03 08:27:13 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-08-03 08:28:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 08:33:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-03 08:36:50 +0200 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 252 seconds) |
| 2025-08-03 08:39:24 +0200 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-03 08:39:38 +0200 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 2025-08-03 08:41:25 +0200 | fun-safe-math | (~fun-safe-@97-120-33-44.ptld.qwest.net) (Ping timeout: 248 seconds) |
| 2025-08-03 08:42:00 +0200 | fun-safe-math | (~fun-safe-@97-120-122-185.ptld.qwest.net) fun-safe-math |
| 2025-08-03 08:42:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 08:46:44 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-08-03 08:47:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-03 08:47:37 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-08-03 08:50:49 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-08-03 08:53:14 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-08-03 08:54:01 +0200 | trickard_ | trickard |
| 2025-08-03 08:54:54 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 260 seconds) |
| 2025-08-03 08:57:44 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf) |
| 2025-08-03 08:58:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 09:00:00 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
| 2025-08-03 09:00:39 +0200 | caconym747 | (~caconym@user/caconym) caconym |
| 2025-08-03 09:03:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-03 09:03:42 +0200 | trickard | (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-03 09:03:56 +0200 | trickard | (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 2025-08-03 09:05:28 +0200 | albet70 | (~xxx@172-233-90-118.ip.linodeusercontent.com) (Ping timeout: 240 seconds) |
| 2025-08-03 09:06:58 +0200 | finsternis | (~X@23.226.237.192) (Ping timeout: 240 seconds) |
| 2025-08-03 09:13:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 09:15:27 +0200 | finsternis | (~X@23.226.237.192) finsternis |
| 2025-08-03 09:20:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-08-03 09:25:56 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-08-03 09:29:22 +0200 | trickard | (~trickard@cpe-56-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-08-03 09:29:26 +0200 | albet70 | (~xxx@172-233-90-118.ip.linodeusercontent.com) albet70 |
| 2025-08-03 09:31:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 09:31:50 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2025-08-03 09:32:42 +0200 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 2025-08-03 09:34:39 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-08-03 09:35:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-08-03 09:43:10 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-08-03 09:43:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 09:45:16 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-08-03 09:49:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-08-03 09:59:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 09:59:20 +0200 | trickard_ | trickard |
| 2025-08-03 10:03:10 +0200 | euandreh | (~Thunderbi@189-31-61-8.user3p.v-tal.net.br) euandreh |
| 2025-08-03 10:03:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-03 10:05:14 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-03 10:12:15 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2025-08-03 10:12:47 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-08-03 10:14:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 10:16:17 +0200 | trickard | (~trickard@cpe-56-98-47-163.wireline.com.au) (Ping timeout: 248 seconds) |
| 2025-08-03 10:16:36 +0200 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 2025-08-03 10:18:03 +0200 | entropics | (~boo@user/entropics) entropics |
| 2025-08-03 10:18:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-08-03 10:20:57 +0200 | trickard_ | (~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 +0200 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 2025-08-03 10:28:01 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-08-03 10:28:44 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-08-03 10:30:01 +0200 | merijn | (~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 +0200 | caubert | (~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 +0200 | merijn | (~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 +0200 | acidjnk | (~acidjnk@p200300d6e71719149d1d473a745282b7.dip0.t-ipconnect.de) acidjnk |
| 2025-08-03 10:44:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 10:45:38 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-08-03 10:47:00 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2025-08-03 10:49:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-08-03 10:52:10 +0200 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2025-08-03 10:55:00 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-08-03 11:00:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 11:06:54 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-08-03 11:07:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-03 11:09:32 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-08-03 11:11:13 +0200 | trickard_ | trickard |
| 2025-08-03 11:12:25 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-08-03 11:14:09 +0200 | entropics | (~boo@user/entropics) (Remote host closed the connection) |
| 2025-08-03 11:14:23 +0200 | entropics | (~boo@2600:1700:3bdd:9810::d) |
| 2025-08-03 11:15:19 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2025-08-03 11:17:09 +0200 | entropics | (~boo@2600:1700:3bdd:9810::d) (Read error: Connection reset by peer) |
| 2025-08-03 11:18:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 11:20:49 +0200 | aplainzetakind | (~aplainzet@37.155.93.221) aplainzetakind |
| 2025-08-03 11:20:58 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 240 seconds) |
| 2025-08-03 11:22:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-03 11:28:18 +0200 | trickard | (~trickard@cpe-56-98-47-163.wireline.com.au) (Ping timeout: 248 seconds) |
| 2025-08-03 11:29:15 +0200 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 2025-08-03 11:33:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 11:34:09 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-08-03 11:34:11 +0200 | sprotte24 | (~sprotte24@p200300d16f12c90091062a35ec430294.dip0.t-ipconnect.de) |
| 2025-08-03 11:38:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-03 11:41:12 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf) |
| 2025-08-03 11:47:00 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-08-03 11:49:02 +0200 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-03 11:49:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 11:49:16 +0200 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 2025-08-03 11:52:02 +0200 | trickard_ | trickard |
| 2025-08-03 11:52:03 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-08-03 11:52:21 +0200 | jackdk | (uid373013@cssa/life/jackdk) (Quit: Connection closed for inactivity) |
| 2025-08-03 11:54:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-08-03 11:54:43 +0200 | sprotte24 | (~sprotte24@p200300d16f12c90091062a35ec430294.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-08-03 11:56:58 +0200 | qqe | (~qqq@185.54.22.149) |
| 2025-08-03 11:59:04 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-03 12:04:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 12:06:01 +0200 | euouae | (~euouae@user/euouae) euouae |
| 2025-08-03 12:06:04 +0200 | <euouae> | Hello |
| 2025-08-03 12:06:14 +0200 | Frostillicus | (~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 +0200 | merijn | (~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 +0200 | fizbin | (~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5) |
| 2025-08-03 12:12:29 +0200 | Frostillicus | (~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 +0200 | merijn | (~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 +0200 | euandreh | (~Thunderbi@189-31-61-8.user3p.v-tal.net.br) (Remote host closed the connection) |
| 2025-08-03 12:24:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-03 12:31:16 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-08-03 12:35:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 12:37:28 +0200 | caubert | (~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 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-08-03 12:42:03 +0200 | merijn | (~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 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-08-03 12:52:11 +0200 | fizbin | (~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5) (Read error: Connection reset by peer) |
| 2025-08-03 12:53:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 12:56:44 +0200 | fizbin | (~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5) |
| 2025-08-03 12:57:25 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-03 12:57:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-03 12:58:22 +0200 | trickard | (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-03 12:58:33 +0200 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 2025-08-03 13:01:58 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 240 seconds) |
| 2025-08-03 13:02:48 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds) |
| 2025-08-03 13:07:18 +0200 | <euouae> | okay got it |
| 2025-08-03 13:08:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 13:11:13 +0200 | trickard_ | trickard |
| 2025-08-03 13:13:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-03 13:13:25 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf) |
| 2025-08-03 13:13:32 +0200 | Ezic | (~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 +0200 | caubert | (~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 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-08-03 13:20:58 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2025-08-03 13:21:08 +0200 | euouae | (~euouae@user/euouae) () |
| 2025-08-03 13:23:41 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-08-03 13:25:49 +0200 | pera | (~pera@user/pera) pera |
| 2025-08-03 13:26:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 13:27:25 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-08-03 13:31:29 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-08-03 13:32:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-08-03 13:35:07 +0200 | fizbin_ | (~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5) |
| 2025-08-03 13:38:59 +0200 | fizbin | (~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5) (Ping timeout: 260 seconds) |
| 2025-08-03 13:40:59 +0200 | pera | (~pera@user/pera) (Quit: leaving) |
| 2025-08-03 13:43:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 13:46:41 +0200 | fizbin_ | fizbin |
| 2025-08-03 13:47:15 +0200 | fizbin | (~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5) (Changing host) |
| 2025-08-03 13:47:15 +0200 | fizbin | (~fizbin@user/fizbin) fizbin |
| 2025-08-03 13:47:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-03 13:52:50 +0200 | krei-se | (~krei-se@p200300f1cf2fbd010000000000009569.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-08-03 13:53:13 +0200 | sprotte24 | (~sprotte24@p200300d16f12c90091062a35ec430294.dip0.t-ipconnect.de) |
| 2025-08-03 13:53:22 +0200 | fizbin | (~fizbin@user/fizbin) (Read error: Connection reset by peer) |
| 2025-08-03 13:55:07 +0200 | krei-se | (~krei-se@p3ee0f67c.dip0.t-ipconnect.de) krei-se |
| 2025-08-03 13:55:15 +0200 | krei-se | (~krei-se@p3ee0f67c.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-08-03 13:58:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 14:02:18 +0200 | krei-se | (~krei-se@p3ee0f67c.dip0.t-ipconnect.de) krei-se |
| 2025-08-03 14:02:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-08-03 14:03:40 +0200 | hseg | (~gesh@46.120.20.122) |
| 2025-08-03 14:10:02 +0200 | fizbin | (~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5) |
| 2025-08-03 14:10:20 +0200 | fizbin | (~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5) (Changing host) |
| 2025-08-03 14:10:20 +0200 | fizbin | (~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 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) smalltalkman |
| 2025-08-03 14:11:59 +0200 | trickard | (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-03 14:12:14 +0200 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 2025-08-03 14:14:02 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-08-03 14:14:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 14:17:25 +0200 | Vajb | (~Vajb@n60e2qpup8cye21nl23-1.v6.elisa-mobile.fi) (Ping timeout: 248 seconds) |
| 2025-08-03 14:18:28 +0200 | Vajb | (~Vajb@n5hoc7dol3omjl5lroe-1.v6.elisa-mobile.fi) |
| 2025-08-03 14:21:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-03 14:22:10 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-08-03 14:23:37 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-03 14:26:45 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf) |
| 2025-08-03 14:32:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 14:34:47 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-03 14:35:03 +0200 | Ezic | (~Ezic@2a02:a31c:2d8:4400:6424:8966:5ad2:3460) (Quit: Client closed) |
| 2025-08-03 14:35:29 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-08-03 14:35:32 +0200 | trickard_ | trickard |
| 2025-08-03 14:37:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-03 14:40:14 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2025-08-03 14:46:58 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-08-03 14:47:07 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-08-03 14:47:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 14:52:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-08-03 14:53:14 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-08-03 14:53:17 +0200 | trickard | (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-03 14:53:31 +0200 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 2025-08-03 14:57:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 15:01:00 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 272 seconds) |
| 2025-08-03 15:02:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-08-03 15:02:45 +0200 | JimmyMifune | (JimmyMifun@h77-53-77-194.cust.bredband2.com) |
| 2025-08-03 15:06:42 +0200 | inline | (~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2025-08-03 15:07:07 +0200 | inline | (~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) Inline |
| 2025-08-03 15:12:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 15:14:38 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-08-03 15:17:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-03 15:23:00 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-08-03 15:24:07 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-08-03 15:25:50 +0200 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-03 15:26:04 +0200 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 2025-08-03 15:27:03 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-08-03 15:27:49 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-08-03 15:27:51 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-08-03 15:28:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 15:28:42 +0200 | jespada | (~jespada@2800:a4:2391:a900:2c34:10a0:7dd4:5c32) (Ping timeout: 265 seconds) |
| 2025-08-03 15:29:07 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-03 15:30:13 +0200 | jespada | (~jespada@2800:a4:2303:d900:b08d:81d0:3400:c094) jespada |
| 2025-08-03 15:31:45 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf) |
| 2025-08-03 15:32:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-03 15:43:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 15:46:04 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-03 15:47:40 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-08-03 15:48:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-08-03 15:52:55 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-08-03 15:56:07 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-08-03 15:58:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 16:00:48 +0200 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
| 2025-08-03 16:01:21 +0200 | trickard_ | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-03 16:06:09 +0200 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-08-03 16:11:47 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-08-03 16:16:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 16:21:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-08-03 16:21:50 +0200 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 2025-08-03 16:30:20 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-03 16:32:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 16:33:43 +0200 | haritz | (~hrtz@209.35.65.79) |
| 2025-08-03 16:33:43 +0200 | haritz | (~hrtz@209.35.65.79) (Changing host) |
| 2025-08-03 16:33:43 +0200 | haritz | (~hrtz@user/haritz) haritz |
| 2025-08-03 16:34:34 +0200 | fizbin | (~fizbin@user/fizbin) (Read error: Connection reset by peer) |
| 2025-08-03 16:36:38 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 245 seconds) |
| 2025-08-03 16:36:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-08-03 16:37:04 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-08-03 16:37:57 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-08-03 16:40:34 +0200 | fizbin | (~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5) |
| 2025-08-03 16:40:49 +0200 | fizbin | (~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5) (Changing host) |
| 2025-08-03 16:40:49 +0200 | fizbin | (~fizbin@user/fizbin) fizbin |
| 2025-08-03 16:47:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 16:49:20 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-08-03 16:51:18 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-03 16:51:21 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-08-03 16:52:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-03 16:55:09 +0200 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2025-08-03 16:56:13 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-08-03 17:00:55 +0200 | Miroboru | (~myrvoll@84.215.249.36) (Quit: Lost terminal) |
| 2025-08-03 17:01:21 +0200 | JimmyMifune | (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 +0200 | nitrix | (~nitrix@user/meow/nitrix) (Ping timeout: 248 seconds) |
| 2025-08-03 17:03:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 17:03:32 +0200 | Miroboru | (~myrvoll@84.215.249.36) Miroboru |
| 2025-08-03 17:04:58 +0200 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2025-08-03 17:07:35 +0200 | merijn | (~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 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-08-03 17:18:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 17:22:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-03 17:26:55 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-08-03 17:30:29 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.1)) |
| 2025-08-03 17:33:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 17:40:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-03 17:40:37 +0200 | michalz | (~michalz@185.246.207.203) |
| 2025-08-03 17:45:44 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 260 seconds) |
| 2025-08-03 17:51:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 17:56:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-03 18:01:30 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2025-08-03 18:07:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 18:07:52 +0200 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-03 18:08:06 +0200 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 2025-08-03 18:12:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-08-03 18:12:15 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale |
| 2025-08-03 18:14:12 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-08-03 18:22:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 18:27:02 +0200 | troydm | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-03 18:30:40 +0200 | troydm | (~troydm@user/troydm) troydm |
| 2025-08-03 18:39:19 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-08-03 18:42:18 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-08-03 18:43:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 18:48:18 +0200 | fizbin | (~fizbin@user/fizbin) (Read error: Connection reset by peer) |
| 2025-08-03 18:48:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-08-03 18:49:52 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-08-03 18:51:39 +0200 | fizbin | (~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5) |
| 2025-08-03 18:54:28 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-08-03 18:57:06 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf) |
| 2025-08-03 18:58:20 +0200 | Guest3298 | (~Guest73@31.57.219.74) |
| 2025-08-03 18:58:49 +0200 | Guest3298 | (~Guest73@31.57.219.74) (Quit: Client closed) |
| 2025-08-03 18:59:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 19:03:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-03 19:04:37 +0200 | weary-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 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-08-03 19:11:13 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds) |
| 2025-08-03 19:11:59 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-08-03 19:14:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 19:18:18 +0200 | phma | (~phma@host-67-44-208-79.hnremote.net) (Read error: Connection reset by peer) |
| 2025-08-03 19:19:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-03 19:20:21 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-08-03 19:22:37 +0200 | trickard_ | trickard |
| 2025-08-03 19:22:59 +0200 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-08-03 19:23:14 +0200 | mikess | (~sam@user/mikess) mikess |
| 2025-08-03 19:25:31 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-08-03 19:25:49 +0200 | phma | (~phma@host-67-44-208-38.hnremote.net) |
| 2025-08-03 19:28:15 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-08-03 19:29:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 19:32:11 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-08-03 19:34:41 +0200 | fizbin | (~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5) (Read error: Connection reset by peer) |
| 2025-08-03 19:34:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-03 19:41:38 +0200 | qqe | (~qqq@185.54.22.149) (Quit: Lost terminal) |
| 2025-08-03 19:43:21 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-08-03 19:45:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 19:50:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-08-03 20:00:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 20:05:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-08-03 20:16:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 20:19:36 +0200 | ruvam | (~ruvam@user/ruvam) ruvam |
| 2025-08-03 20:22:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-03 20:24:32 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-03 20:24:44 +0200 | Digit | (~user@user/digit) Digit |
| 2025-08-03 20:29:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 20:34:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-08-03 20:37:30 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-03 20:44:26 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-08-03 20:44:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 20:46:38 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-08-03 20:47:10 +0200 | digitteknohippie | (~user@user/digit) Digit |
| 2025-08-03 20:48:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-08-03 20:54:32 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf) |
| 2025-08-03 20:59:09 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-03 21:00:02 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
| 2025-08-03 21:00:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 21:00:41 +0200 | caconym747 | (~caconym@user/caconym) caconym |
| 2025-08-03 21:04:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-03 21:08:58 +0200 | hseg | (~gesh@46.120.20.122) (Ping timeout: 240 seconds) |
| 2025-08-03 21:11:20 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-08-03 21:11:40 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-03 21:11:44 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-03 21:13:24 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-08-03 21:13:24 +0200 | ljdarj1 | ljdarj |
| 2025-08-03 21:15:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 21:16:34 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-08-03 21:20:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-03 21:25:54 +0200 | cyphase | (~cyphase@user/cyphase) (Quit: cyphase.com) |
| 2025-08-03 21:28:53 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-08-03 21:29:01 +0200 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-08-03 21:31:00 +0200 | rvalue- | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-08-03 21:31:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 21:31:33 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Ping timeout: 248 seconds) |
| 2025-08-03 21:33:03 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
| 2025-08-03 21:35:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-03 21:38:20 +0200 | rvalue- | rvalue |
| 2025-08-03 21:46:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 21:47:29 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-08-03 21:50:43 +0200 | JimmyMifune | (JimmyMifun@h77-53-77-221.cust.bredband2.com) |
| 2025-08-03 21:51:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-08-03 21:54:07 +0200 | JimmyMifune | (JimmyMifun@h77-53-77-221.cust.bredband2.com) () |
| 2025-08-03 22:01:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 22:03:41 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-08-03 22:08:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-08-03 22:09:20 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-03 22:10:21 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-08-03 22:14:10 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-08-03 22:18:44 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-08-03 22:19:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 22:21:45 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-08-03 22:24:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-08-03 22:30:22 +0200 | <yin> | let's say we have `fix f = foldr ($) (fix f) (pure f)`. how does haskell know how to resolve the type for pure? (sorry for probably bad english) |
| 2025-08-03 22:31:48 +0200 | <sprout> | :t id |
| 2025-08-03 22:31:49 +0200 | <lambdabot> | a -> a |
| 2025-08-03 22:32:00 +0200 | <sprout> | :t foldr ($) (fix f) (pure f) |
| 2025-08-03 22:32:01 +0200 | <lambdabot> | error: |
| 2025-08-03 22:32:02 +0200 | <lambdabot> | Ambiguous occurrence ‘f’ |
| 2025-08-03 22:32:02 +0200 | <lambdabot> | It could refer to |
| 2025-08-03 22:32:15 +0200 | <sprout> | oh right |
| 2025-08-03 22:32:18 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-03 22:32:22 +0200 | <geekosaur> | :t \f -> foldr ($) (fix f) (pure f) |
| 2025-08-03 22:32:23 +0200 | <lambdabot> | (a -> a) -> a |
| 2025-08-03 22:32:32 +0200 | <sprout> | +1 |
| 2025-08-03 22:33:35 +0200 | <mauke> | :t foldr |
| 2025-08-03 22:33:36 +0200 | <lambdabot> | Foldable t => (a -> b -> b) -> b -> t a -> b |
| 2025-08-03 22:33:46 +0200 | <mauke> | :t pure |
| 2025-08-03 22:33:47 +0200 | <lambdabot> | Applicative f => a -> f a |
| 2025-08-03 22:35:07 +0200 | <yin> | i can see that pure @((Applicative f, Foldable f) => f a) |
| 2025-08-03 22:35:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 22:35:23 +0200 | <mauke> | yeah, that's weird |
| 2025-08-03 22:35:48 +0200 | <geekosaur> | :t foldr ($) |
| 2025-08-03 22:35:49 +0200 | <lambdabot> | Foldable t => a -> t (a -> a) -> a |
| 2025-08-03 22:36:13 +0200 | <mauke> | :t let fix f = foldr ($) (fix f) (pure f) in fix |
| 2025-08-03 22:36:14 +0200 | <lambdabot> | (a -> a) -> a |
| 2025-08-03 22:36:31 +0200 | <yin> | what is t? |
| 2025-08-03 22:36:33 +0200 | aplainzetakind | (~aplainzet@37.155.93.221) (Remote host closed the connection) |
| 2025-08-03 22:36:45 +0200 | <geekosaur> | (->) |
| 2025-08-03 22:36:57 +0200 | <yin> | hm... |
| 2025-08-03 22:37:25 +0200 | <yin> | i'm not so sure |
| 2025-08-03 22:37:27 +0200 | <geekosaur> | because we're folding with ($) and that's function application |
| 2025-08-03 22:37:42 +0200 | <mauke> | :t let fix f = foldr ($) (fix f) (_ f) in fix |
| 2025-08-03 22:37:45 +0200 | <lambdabot> | error: |
| 2025-08-03 22:37:45 +0200 | <lambdabot> | • Found hole: _ :: t1 -> [a1 -> a1] |
| 2025-08-03 22:37:45 +0200 | <lambdabot> | Where: ‘t1’, ‘a1’ are rigid type variables bound by |
| 2025-08-03 22:37:52 +0200 | <mauke> | that's [] |
| 2025-08-03 22:38:03 +0200 | <geekosaur> | moreah, sorry |
| 2025-08-03 22:38:08 +0200 | <geekosaur> | *ah |
| 2025-08-03 22:38:11 +0200 | <yin> | yeah i think it's [] |
| 2025-08-03 22:38:17 +0200 | <yin> | but how does haskell infer [] ? |
| 2025-08-03 22:38:36 +0200 | <mauke> | :t let fix f = foldr ($) (fix f) (Just f) in fix |
| 2025-08-03 22:38:37 +0200 | <lambdabot> | (a -> a) -> a |
| 2025-08-03 22:39:06 +0200 | <mauke> | someone's defaulting at me |
| 2025-08-03 22:39:16 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-08-03 22:39:21 +0200 | <yin> | > let fix f = foldr ($) (fix f) (Just f) in fix (\f x -> if x < 1 then 1 else x * f (pred x)) 5 |
| 2025-08-03 22:39:22 +0200 | <lambdabot> | 120 |
| 2025-08-03 22:39:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-08-03 22:39:58 +0200 | <yin> | > let fix f = foldr ($) (fix f) (Right f) in fix (\f x -> if x < 1 then 1 else x * f (pred x)) 5 |
| 2025-08-03 22:40:00 +0200 | <lambdabot> | 120 |
| 2025-08-03 22:40:08 +0200 | <yin> | > let fix f = foldr ($) (fix f) [f] in fix (\f x -> if x < 1 then 1 else x * f (pred x)) 5 |
| 2025-08-03 22:40:10 +0200 | <lambdabot> | 120 |
| 2025-08-03 22:40:17 +0200 | <yin> | i'm confused |
| 2025-08-03 22:40:59 +0200 | <yin> | i get why all of these work, just not why [] is inferred |
| 2025-08-03 22:41:44 +0200 | <monochrom> | Yeah there was extra defaulting going on there. Normally it should be "ambiguous t0' in Foldable t0 and Applicative t0. |
| 2025-08-03 22:42:17 +0200 | <monochrom> | If you put it in a file and load the file, you get the ambiguity error. |
| 2025-08-03 22:43:58 +0200 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2025-08-03 22:44:18 +0200 | <yin> | oh weird |
| 2025-08-03 22:44:41 +0200 | mikess | (~sam@user/mikess) (Quit: leaving) |
| 2025-08-03 22:44:42 +0200 | <mauke> | :t map pure [] |
| 2025-08-03 22:44:43 +0200 | <lambdabot> | Applicative f => [f a] |
| 2025-08-03 22:44:46 +0200 | <mauke> | > map pure [] |
| 2025-08-03 22:44:48 +0200 | <lambdabot> | error: |
| 2025-08-03 22:44:48 +0200 | <lambdabot> | • Ambiguous type variables ‘f0’, |
| 2025-08-03 22:44:48 +0200 | <lambdabot> | ‘a0’ arising from a use of ‘show_M68719521878... |
| 2025-08-03 22:45:17 +0200 | <yin> | why does ghci accept it if you write it manually but not when :l ? |
| 2025-08-03 22:45:33 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-08-03 22:45:43 +0200 | <c_wraith> | ghci has extra defaulting rules to pin types down |
| 2025-08-03 22:45:59 +0200 | <yin> | weird |
| 2025-08-03 22:47:32 +0200 | <mauke> | https://downloads.haskell.org/ghc/latest/docs/users_guide/ghci.html#type-defaulting-in-ghci |
| 2025-08-03 22:47:32 +0200 | <c_wraith> | https://downloads.haskell.org/ghc/latest/docs/users_guide/ghci.html#extension-ExtendedDefaultRules If you want to see what the docs have to say |
| 2025-08-03 22:47:43 +0200 | <mauke> | jinx |
| 2025-08-03 22:48:09 +0200 | <c_wraith> | oh no. I am too slow. |
| 2025-08-03 22:50:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 22:50:44 +0200 | <yin> | why is this so inconsistent with standard module loading? |
| 2025-08-03 22:51:13 +0200 | <yin> | is there a reason? |
| 2025-08-03 22:51:46 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-08-03 22:52:10 +0200 | <c_wraith> | It's about making ghci do *something* without explicit type annotations in a lot more cases. |
| 2025-08-03 22:52:28 +0200 | <c_wraith> | occasionally it's confusing, but most of the time it's what you wanted anyway |
| 2025-08-03 22:54:16 +0200 | <c_wraith> | I find the occasional confusion a lot better than all the extra typing to add explicit annotations would be. Mostly because it happens like one a year, but I enter expressions in ghci a lot more frequently. |
| 2025-08-03 22:55:26 +0200 | <c_wraith> | Heck, I've even used -XExtendedDefaultRules in a module that included a lot of tests of polymorphic functions being passed literals. Because there were constraints aside from the few specified on the types of the literals, every single one would have required a type annotation without the extension |
| 2025-08-03 22:55:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-03 22:56:05 +0200 | <c_wraith> | With the extension, they just defaulted to Integer and things worked. |
| 2025-08-03 22:56:06 +0200 | <yin> | ah, i have `:seti -Wno-type-defaults` on my .ghci so i didn't even get the warning. with the warning it makes more sense |
| 2025-08-03 22:56:28 +0200 | <monochrom> | It is considered more "user-friendly" if REPL behaviour deviates from production code behaviour. >:) |
| 2025-08-03 22:56:41 +0200 | <yin> | monochrom: heh |
| 2025-08-03 22:57:56 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-08-03 22:58:09 +0200 | <monochrom> | If you do so much as entering `[]` or `print []` at the REPL, people freak out with "OMG why is it an ambiguity error for such a trivial case why can't it just print out "[]" why can't the computer just DWIM???!!!" |
| 2025-08-03 23:02:05 +0200 | trickard | (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-03 23:02:09 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 2025-08-03 23:02:11 +0200 | <yin> | -XNoTrainingWheels |
| 2025-08-03 23:02:19 +0200 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 2025-08-03 23:02:58 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 272 seconds) |
| 2025-08-03 23:04:09 +0200 | <yin> | ^would include polymorphic map yes please thank you |
| 2025-08-03 23:06:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 23:07:40 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-08-03 23:14:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-03 23:17:13 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-08-03 23:20:54 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-08-03 23:24:01 +0200 | jmorris | (uid604645@id-604645.hampstead.irccloud.com) jmorris |
| 2025-08-03 23:24:07 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-08-03 23:25:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-03 23:26:41 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-08-03 23:30:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-03 23:37:37 +0200 | califax | (~califax@user/califx) (Ping timeout: 240 seconds) |