2025-04-26 00:01:05 +0200 | <EvanR> | sanity check, is there some special type called St, I can't seem to find the definition |
2025-04-26 00:01:42 +0200 | <EvanR> | eval :: Tree -> St Value |
2025-04-26 00:01:45 +0200 | <haskellbridge> | <hellwolf> "data NeoHaskell = Void" |
2025-04-26 00:02:06 +0200 | <haskellbridge> | <hellwolf> * "type |
2025-04-26 00:03:05 +0200 | LainIwakura41 | (~LainIwaku@user/LainIwakura) LainIwakura |
2025-04-26 00:06:29 +0200 | <EvanR> | type St = StateT Context (ExceptT Error IO) |
2025-04-26 00:06:30 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Ping timeout: 240 seconds) |
2025-04-26 00:06:44 +0200 | <monochrom> | I haven't heard of St. |
2025-04-26 00:07:27 +0200 | <EvanR> | wasn't a type at all but a synonym... |
2025-04-26 00:29:22 +0200 | <mauke> | St Francis |
2025-04-26 00:39:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-26 00:47:22 +0200 | <haskellbridge> | <hellwolf> {-# LANGUAGE OverloadedRecordDot #-} |
2025-04-26 00:47:22 +0200 | <haskellbridge> | St. Francis |
2025-04-26 00:48:20 +0200 | <monochrom> | OverlordDotComDot |
2025-04-26 00:49:13 +0200 | nek0 | (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
2025-04-26 00:51:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-26 00:56:22 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-04-26 00:56:47 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-04-26 00:58:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-26 01:09:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-26 01:13:19 +0200 | sprotte24 | (~sprotte24@p200300d16f05f30064a5653bc6ebb7c1.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2025-04-26 01:15:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-26 01:17:08 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2025-04-26 01:18:41 +0200 | euleritian | (~euleritia@77.23.248.47) |
2025-04-26 01:21:26 +0200 | Square2 | (~Square@user/square) Square |
2025-04-26 01:21:32 +0200 | Square | (~Square@user/square) (Remote host closed the connection) |
2025-04-26 01:24:02 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) (Remote host closed the connection) |
2025-04-26 01:25:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-26 01:27:28 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2025-04-26 01:31:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-26 01:35:32 +0200 | shr\ke | (~shrike@user/paxhumana) (Ping timeout: 252 seconds) |
2025-04-26 01:35:41 +0200 | shr\ke | (~shrike@user/paxhumana) paxhumana |
2025-04-26 01:35:42 +0200 | shr\ke | (~shrike@user/paxhumana) (Changing host) |
2025-04-26 01:35:42 +0200 | shr\ke | (~shrike@user/shrke:31298) shr\ke |
2025-04-26 01:41:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-26 01:47:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-26 01:57:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-26 02:02:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-26 02:04:37 +0200 | jespada | (~jespada@179.26.245.3) (Ping timeout: 252 seconds) |
2025-04-26 02:13:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-26 02:18:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-26 02:28:29 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) (Remote host closed the connection) |
2025-04-26 02:29:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-26 02:29:38 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
2025-04-26 02:40:43 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f84d9d34579eebef444.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
2025-04-26 02:43:22 +0200 | otto_s | (~user@p4ff2799b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-04-26 02:45:16 +0200 | otto_s | (~user@p5b044fbe.dip0.t-ipconnect.de) |
2025-04-26 02:52:47 +0200 | euleritian | (~euleritia@77.23.248.47) (Remote host closed the connection) |
2025-04-26 02:53:05 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
2025-04-26 03:03:28 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
2025-04-26 03:14:30 +0200 | Pozyomka | (~pyon@user/pyon) (Read error: Connection reset by peer) |
2025-04-26 03:16:34 +0200 | arahael | (~arahael@user/arahael) arahael |
2025-04-26 03:21:52 +0200 | Buliarous | (~gypsydang@46.232.210.139) (Remote host closed the connection) |
2025-04-26 03:22:20 +0200 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
2025-04-26 03:32:27 +0200 | tv | (~tv@user/tv) (Quit: derp) |
2025-04-26 03:33:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-26 03:34:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-26 03:35:32 +0200 | tv | (~tv@user/tv) tv |
2025-04-26 03:38:26 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
2025-04-26 03:38:59 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
2025-04-26 03:43:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-26 03:44:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-26 03:49:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-26 03:51:08 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) |
2025-04-26 03:59:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-26 04:03:08 +0200 | Square2 | (~Square@user/square) (Ping timeout: 244 seconds) |
2025-04-26 04:12:56 +0200 | drewr | (~drew@user/drewr) (Ping timeout: 272 seconds) |
2025-04-26 04:15:38 +0200 | Pozyomka | (~pyon@user/pyon) pyon |
2025-04-26 04:22:08 +0200 | td_ | (~td@i5387092B.versanet.de) (Ping timeout: 276 seconds) |
2025-04-26 04:23:46 +0200 | td_ | (~td@i5387090C.versanet.de) td_ |
2025-04-26 04:28:43 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2025-04-26 04:29:02 +0200 | euleritian | (~euleritia@dynamic-176-006-135-115.176.6.pool.telefonica.de) |
2025-04-26 04:32:51 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
2025-04-26 04:36:04 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 268 seconds) |
2025-04-26 04:47:46 +0200 | down200 | (~down200@shell.lug.mtu.edu) (Quit: ZNC - https://znc.in) |
2025-04-26 04:54:25 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2025-04-26 04:55:47 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
2025-04-26 05:02:42 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
2025-04-26 05:02:59 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-04-26 05:03:22 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2025-04-26 05:04:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-26 05:10:53 +0200 | down200 | (~down200@shell.lug.mtu.edu) down200 |
2025-04-26 05:12:58 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2025-04-26 05:13:36 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
2025-04-26 05:14:37 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2025-04-26 05:15:03 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2025-04-26 05:16:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-26 05:20:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-26 05:26:33 +0200 | aforemny_ | (~aforemny@i59f4c58e.versanet.de) aforemny |
2025-04-26 05:27:34 +0200 | aforemny | (~aforemny@2001:9e8:6ce4:fd00:2b9b:42c6:1d6:b68) (Ping timeout: 260 seconds) |
2025-04-26 05:31:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-26 05:52:41 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-04-26 06:12:06 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) hgolden |
2025-04-26 06:18:16 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) (Remote host closed the connection) |
2025-04-26 06:19:48 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-26 06:21:04 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
2025-04-26 06:21:22 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
2025-04-26 06:21:53 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) hgolden |
2025-04-26 06:36:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-26 06:44:05 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
2025-04-26 06:48:10 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:6538:81e8:865e:540d) (Read error: Connection reset by peer) |
2025-04-26 06:49:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-26 06:51:21 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2025-04-26 06:51:37 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-04-26 06:53:34 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
2025-04-26 06:54:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-26 07:00:47 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) (Remote host closed the connection) |
2025-04-26 07:02:10 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-04-26 07:03:18 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) hgolden |
2025-04-26 07:04:38 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-04-26 07:05:16 +0200 | euleritian | (~euleritia@dynamic-176-006-135-115.176.6.pool.telefonica.de) (Ping timeout: 276 seconds) |
2025-04-26 07:05:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-26 07:05:34 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
2025-04-26 07:05:53 +0200 | euleritian | (~euleritia@77.23.248.47) |
2025-04-26 07:23:28 +0200 | Buliarous | (~gypsydang@46.232.210.139) (Remote host closed the connection) |
2025-04-26 07:23:56 +0200 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
2025-04-26 07:26:30 +0200 | sm | (~znc@plaintextaccounting/sm) (Quit: ZNC 1.6.6+deb1ubuntu0.2 - http://znc.in) |
2025-04-26 07:26:57 +0200 | sm | (znc@plaintextaccounting/sm) sm |
2025-04-26 07:31:12 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-04-26 07:34:54 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-26 07:36:29 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-04-26 07:39:34 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-26 07:42:52 +0200 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
2025-04-26 08:02:35 +0200 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
2025-04-26 08:03:09 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
2025-04-26 08:04:44 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
2025-04-26 08:05:50 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
2025-04-26 08:07:08 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-26 08:11:05 +0200 | machinedgod | (~machinedg@108.173.18.100) (Ping timeout: 260 seconds) |
2025-04-26 08:11:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-26 08:13:52 +0200 | Typedfern | (~Typedfern@242.red-83-37-36.dynamicip.rima-tde.net) |
2025-04-26 08:14:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-26 08:14:48 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ac80:9bb1:e5dc:c7d3) |
2025-04-26 08:15:06 +0200 | Typedfern | (~Typedfern@242.red-83-37-36.dynamicip.rima-tde.net) (Remote host closed the connection) |
2025-04-26 08:16:11 +0200 | Typedfern | (~Typedfern@242.red-83-37-36.dynamicip.rima-tde.net) typedfern |
2025-04-26 08:17:26 +0200 | typedfern_ | (~Typedfern@242.red-83-37-36.dynamicip.rima-tde.net) (Ping timeout: 276 seconds) |
2025-04-26 08:19:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-26 08:21:45 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.1) |
2025-04-26 08:30:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-26 08:35:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-26 08:40:25 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
2025-04-26 08:46:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-26 08:50:36 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 264 seconds) |
2025-04-26 08:57:00 +0200 | euleritian | (~euleritia@77.23.248.47) (Read error: Connection reset by peer) |
2025-04-26 08:57:13 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ac80:9bb1:e5dc:c7d3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-04-26 08:58:12 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
2025-04-26 09:00:03 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
2025-04-26 09:00:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-26 09:00:43 +0200 | caconym7 | (~caconym@user/caconym) caconym |
2025-04-26 09:01:50 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ac80:9bb1:e5dc:c7d3) |
2025-04-26 09:02:46 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ac80:9bb1:e5dc:c7d3) (Client Quit) |
2025-04-26 09:03:52 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f09f807266196b93226.dip0.t-ipconnect.de) acidjnk |
2025-04-26 09:03:54 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ac80:9bb1:e5dc:c7d3) |
2025-04-26 09:04:21 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
2025-04-26 09:12:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-26 09:19:44 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
2025-04-26 09:20:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-26 09:21:05 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-04-26 09:21:30 +0200 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-04-26 09:21:51 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
2025-04-26 09:21:58 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-04-26 09:22:28 +0200 | Lord_of_Life_ | Lord_of_Life |
2025-04-26 09:31:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-26 09:41:17 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2025-04-26 09:42:04 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
2025-04-26 09:44:13 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-04-26 09:44:59 +0200 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-04-26 09:46:38 +0200 | dontdieych2 | (~quassel@user/dontdieych2) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2025-04-26 09:47:03 +0200 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Quit: Client closed) |
2025-04-26 09:51:40 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
2025-04-26 09:59:29 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2025-04-26 10:00:17 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
2025-04-26 10:02:32 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2025-04-26 10:05:15 +0200 | gentauro | (~gentauro@user/gentauro) gentauro |
2025-04-26 10:14:17 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
2025-04-26 10:17:38 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f09f807266196b93226.dip0.t-ipconnect.de) (Remote host closed the connection) |
2025-04-26 10:17:56 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f09f807266196b93226.dip0.t-ipconnect.de) |
2025-04-26 10:23:36 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-04-26 10:28:05 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
2025-04-26 10:28:14 +0200 | euleritian | (~euleritia@dynamic-176-006-135-115.176.6.pool.telefonica.de) |
2025-04-26 10:36:10 +0200 | euleritian | (~euleritia@dynamic-176-006-135-115.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-04-26 10:36:42 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
2025-04-26 10:42:38 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-04-26 10:54:25 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f09f807266196b93226.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2025-04-26 10:55:27 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2025-04-26 10:56:11 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
2025-04-26 11:04:01 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
2025-04-26 11:07:32 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-04-26 11:26:55 +0200 | byte | (~mu@user/byte) (Read error: Connection reset by peer) |
2025-04-26 11:28:00 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
2025-04-26 11:28:08 +0200 | byte | (~mu@user/byte) byte |
2025-04-26 11:29:56 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
2025-04-26 11:36:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-04-26 11:47:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-26 11:50:28 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-04-26 11:52:54 +0200 | p3n | (~p3n@217.198.124.246) (Quit: ZNC 1.9.1 - https://znc.in) |
2025-04-26 11:53:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-26 11:55:05 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
2025-04-26 11:58:45 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
2025-04-26 12:04:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-26 12:07:57 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2025-04-26 12:08:46 +0200 | nek0 | (~nek0@user/nek0) nek0 |
2025-04-26 12:11:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-04-26 12:16:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-26 12:32:11 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Remote host closed the connection) |
2025-04-26 12:32:11 +0200 | rustisafungus | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-04-26 12:40:21 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f09b99977e2980f359e.dip0.t-ipconnect.de) acidjnk |
2025-04-26 12:48:32 +0200 | p3n | (~p3n@217.198.124.246) p3n |
2025-04-26 12:51:39 +0200 | <tomsmeding> | EvanR: still seems a bit of an odd name for such a synonym |
2025-04-26 12:53:40 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a16e:31f3:ac48:6e3d) (Ping timeout: 276 seconds) |
2025-04-26 12:55:37 +0200 | Digit | (~user@user/digit) (Ping timeout: 276 seconds) |
2025-04-26 12:59:19 +0200 | Digit | (~user@user/digit) Digit |
2025-04-26 12:59:59 +0200 | Digitteknohippie | (~user@user/digit) Digit |
2025-04-26 13:01:52 +0200 | jespada | (~jespada@r167-61-127-55.dialup.adsl.anteldata.net.uy) jespada |
2025-04-26 13:03:28 +0200 | adamCS_ | (~adamCS@70.19.85.77) adamCS |
2025-04-26 13:04:54 +0200 | adamCS | (~adamCS@70.19.85.77) (Ping timeout: 244 seconds) |
2025-04-26 13:04:54 +0200 | adamCS_ | adamCS |
2025-04-26 13:14:58 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a16e:31f3:ac48:6e3d) |
2025-04-26 13:20:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-04-26 13:26:31 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ac80:9bb1:e5dc:c7d3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-04-26 13:28:54 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f09b99977e2980f359e.dip0.t-ipconnect.de) (Remote host closed the connection) |
2025-04-26 13:29:16 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f09b99977e2980f359e.dip0.t-ipconnect.de) acidjnk |
2025-04-26 13:32:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-26 13:36:29 +0200 | Digitteknohippie | (~user@user/digit) (Quit: oops double login again) |
2025-04-26 13:36:49 +0200 | Digit | Digitteknohippie |
2025-04-26 13:36:54 +0200 | Digitteknohippie | Digit |
2025-04-26 13:47:50 +0200 | cstml | (~Thunderbi@user/cstml) cstml |
2025-04-26 14:02:21 +0200 | <haskellbridge> | <Liamzee> btw cursed code as a result of switching to Hasql: |
2025-04-26 14:03:13 +0200 | cstml | (~Thunderbi@user/cstml) (Ping timeout: 276 seconds) |
2025-04-26 14:03:15 +0200 | <haskellbridge> | <Liamzee> https://paste.tomsmeding.com/7ZNwEdJi |
2025-04-26 14:04:05 +0200 | <haskellbridge> | <Liamzee> i guess there's always https://hackage.haskell.org/package/extra-1.8/docs/Data-Tuple-Extra.html ? |
2025-04-26 14:05:53 +0200 | <haskellbridge> | <Liamzee> oh fine, lambdas inserted, but abusing 2-tuple nesting this way, at least, is funny |
2025-04-26 14:06:28 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f09b99977e2980f359e.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
2025-04-26 14:09:53 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
2025-04-26 14:10:11 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-04-26 14:12:23 +0200 | CalimeroTeknik | (~calimero@ctkarch.org) (Changing host) |
2025-04-26 14:12:23 +0200 | CalimeroTeknik | (~calimero@user/calimeroteknik) CalimeroTeknik |
2025-04-26 14:13:11 +0200 | jespada_ | (~jespada@r179-25-121-156.dialup.adsl.anteldata.net.uy) jespada |
2025-04-26 14:14:54 +0200 | jespada | (~jespada@r167-61-127-55.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
2025-04-26 14:19:24 +0200 | <haskellbridge> | <Liamzee> actually, that code still doesn't work, oh well, contramap is fun, i guess |
2025-04-26 14:26:53 +0200 | <Miroboru> | When using guards one can use "otherwise" to capture all other options. Is there an equivalent for "case" ? |
2025-04-26 14:27:21 +0200 | <Miroboru> | I am getting "Pattern matching is non-exhaustive" |
2025-04-26 14:29:32 +0200 | <__monty__> | Miroboru: Wildcard pattern (might not actually be the name) `_`? |
2025-04-26 14:30:59 +0200 | <Miroboru> | I was using Char (case x of) where x is a Char. I just tried using just _ with no quotes and it works... |
2025-04-26 14:32:38 +0200 | <Miroboru> | I am sure I tried it before though, but I think that I indented it by one space which leads to an error... A bit brittle methinks, but now I know |
2025-04-26 14:33:24 +0200 | <jackdk> | If you don't write Haskell with braces and semicolons, it's a layout-sensitive language |
2025-04-26 14:33:44 +0200 | <jackdk> | Also, nobody writes Haskell with braces and semicolons. |
2025-04-26 14:34:11 +0200 | <jackdk> | (To at least a first approximation) |
2025-04-26 14:34:14 +0200 | <__monty__> | I think there's a Simon who's wont to do exactly that. |
2025-04-26 14:34:24 +0200 | <jackdk> | I stand corrected, then |
2025-04-26 14:37:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-26 14:40:15 +0200 | <haskellbridge> | <Liamzee> there we go |
2025-04-26 14:40:16 +0200 | <haskellbridge> | <Liamzee> https://paste.tomsmeding.com/az4bXqgs |
2025-04-26 14:40:28 +0200 | <haskellbridge> | <Liamzee> go is the standard Haskell way to indicate what OCamlers mean by aux |
2025-04-26 14:40:35 +0200 | <haskellbridge> | <Liamzee> what's the standard symbolic Haskell override? |
2025-04-26 14:43:34 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
2025-04-26 14:45:16 +0200 | sixfourtwelve | (~ethanmorg@82.18.82.103) (Ping timeout: 252 seconds) |
2025-04-26 14:45:38 +0200 | <haskellbridge> | <Liamzee> erm, standard Haskell operator helper? |
2025-04-26 14:45:55 +0200 | <haskellbridge> | <Liamzee> "cursed" technically counts, I guess, hmmm |
2025-04-26 14:46:08 +0200 | <__monty__> | Don't think there is one because of the convenient backtick syntax. |
2025-04-26 14:46:33 +0200 | <haskellbridge> | <Liamzee> ah |
2025-04-26 14:47:09 +0200 | <__monty__> | And I think the pattern using a local `go` is called worker-wrapper? |
2025-04-26 14:47:40 +0200 | <haskellbridge> | <Liamzee> basically, i had a ton of code repetition, i'd have normally handled it via a helper but the data format meant that i couldn't use foldMap to handle it |
2025-04-26 14:47:51 +0200 | <haskellbridge> | <Liamzee> erm, the typing (variable typing) meant I couldn't use foldmap to handle it |
2025-04-26 14:48:01 +0200 | <haskellbridge> | <Liamzee> the easiest way, imo, is to do a scoped override of *, but that feels cursed |
2025-04-26 14:48:19 +0200 | <haskellbridge> | <Liamzee> imagine the code sample with the helper operator inlined |
2025-04-26 14:49:02 +0200 | Square2 | (~Square@user/square) Square |
2025-04-26 14:49:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-26 14:49:12 +0200 | <haskellbridge> | <Liamzee> this is interesting, ~ works |
2025-04-26 14:49:47 +0200 | <__monty__> | I don't see a good reason to use an operator here. |
2025-04-26 14:55:18 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Ping timeout: 240 seconds) |
2025-04-26 14:56:40 +0200 | <haskellbridge> | <Liamzee> if i didn't have block patterns on, you could say it would be to avoid having to stuff a $ before the lambda |
2025-04-26 14:56:56 +0200 | <haskellbridge> | <Liamzee> go usually indicates a helper function, at least for me, as opposed to an attempt to avoid code repetition |
2025-04-26 14:57:42 +0200 | sixfourtwelve | (~ethanmorg@82.18.82.103) sixfourtwelve |
2025-04-26 14:58:07 +0200 | <haskellbridge> | <Liamzee> tilde is actually not used, since it'd be syntax for irrefutable pattern match, hmmm |
2025-04-26 14:59:56 +0200 | <__monty__> | Haven't really seen `go` outside of recursive functions that pass in an initial value for an accumulator or such. |
2025-04-26 15:00:38 +0200 | <haskellbridge> | <Liamzee> why am I even attempting to fold anyways, at this length I might as well manually use the semigroup operator |
2025-04-26 15:00:41 +0200 | <__monty__> | If there's a useful name for the helper it should have that name instead. And if it is more generally useful, it shouldn't be a local binding at all. |
2025-04-26 15:01:16 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
2025-04-26 15:01:18 +0200 | <haskellbridge> | <Liamzee> it's a local binding precisely because it's an operator |
2025-04-26 15:01:27 +0200 | <haskellbridge> | <Liamzee> so it doesn't pollute the operator namespace |
2025-04-26 15:01:58 +0200 | <haskellbridge> | <Liamzee> come to think of it, why am i even bothering with fold? |
2025-04-26 15:06:04 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-04-26 15:07:05 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2025-04-26 15:10:30 +0200 | <haskellbridge> | <Liamzee> @ is actually safest |
2025-04-26 15:13:47 +0200 | <haskellbridge> | <Liamzee> because no one ever uses it, fearing as pattern collision, and if it does cause an as pattern collision, the code will refuse to compile if both arguments are used (unless you're overriding something so a default vaule will continue to exist) |
2025-04-26 15:17:48 +0200 | <__monty__> | I most commonly use `op` actually. |
2025-04-26 15:20:34 +0200 | <haskellbridge> | <Liamzee> for go? or for this kind of code replication reduction? |
2025-04-26 15:21:58 +0200 | <__monty__> | For operators. |
2025-04-26 15:22:07 +0200 | <haskellbridge> | <Liamzee> ah |
2025-04-26 15:25:11 +0200 | ski | usually calls a local worker `loop', if no other relevant name suggests itself |
2025-04-26 15:31:37 +0200 | haritz | (~hrtz@152.37.68.178) |
2025-04-26 15:31:37 +0200 | haritz | (~hrtz@152.37.68.178) (Changing host) |
2025-04-26 15:31:37 +0200 | haritz | (~hrtz@user/haritz) haritz |
2025-04-26 15:35:20 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f09b99977e2980f359e.dip0.t-ipconnect.de) acidjnk |
2025-04-26 15:43:34 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
2025-04-26 15:43:58 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-26 15:49:39 +0200 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-04-26 15:51:17 +0200 | adamCS | (~adamCS@70.19.85.77) (Ping timeout: 248 seconds) |
2025-04-26 15:53:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-26 15:57:37 +0200 | cstml | (~Thunderbi@user/cstml) cstml |
2025-04-26 16:00:57 +0200 | adamCS | (~adamCS@70.19.85.77) adamCS |
2025-04-26 16:04:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-26 16:06:28 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-04-26 16:11:30 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-26 16:11:35 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
2025-04-26 16:24:10 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2025-04-26 16:28:50 +0200 | TheCoffeMaker_ | (~TheCoffeM@186.136.173.186) |
2025-04-26 16:29:12 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 244 seconds) |
2025-04-26 16:30:05 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) |
2025-04-26 16:36:26 +0200 | Square2 | (~Square@user/square) (Ping timeout: 252 seconds) |
2025-04-26 16:46:12 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) oneeyedalien |
2025-04-26 16:53:50 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-04-26 16:56:46 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f09b99977e2980f359e.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
2025-04-26 17:02:55 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-04-26 17:03:55 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
2025-04-26 17:04:21 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
2025-04-26 17:06:08 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
2025-04-26 17:12:02 +0200 | fp | (~Thunderbi@vpn.espressohouse.com) fp |
2025-04-26 17:22:54 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Ping timeout: 240 seconds) |
2025-04-26 17:22:54 +0200 | LainIwakura41 | (~LainIwaku@user/LainIwakura) (Ping timeout: 240 seconds) |
2025-04-26 17:33:10 +0200 | fp | (~Thunderbi@vpn.espressohouse.com) (Ping timeout: 276 seconds) |
2025-04-26 17:40:58 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
2025-04-26 17:42:28 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
2025-04-26 17:46:33 +0200 | Buliarous | (~gypsydang@46.232.210.139) (Remote host closed the connection) |
2025-04-26 17:47:02 +0200 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
2025-04-26 17:49:55 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ac80:9bb1:e5dc:c7d3) |
2025-04-26 17:55:35 +0200 | fp | (~Thunderbi@vpn.espressohouse.com) fp |
2025-04-26 18:06:23 +0200 | sixfourtwelve | (~ethanmorg@82.18.82.103) (Quit: leaving) |
2025-04-26 18:08:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-26 18:17:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-26 18:19:41 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-26 18:21:16 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
2025-04-26 18:22:47 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-04-26 18:25:58 +0200 | JoeRayner123 | (~Thunderbi@31.217.12.231) |
2025-04-26 18:26:10 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
2025-04-26 18:28:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-04-26 18:30:32 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
2025-04-26 18:31:43 +0200 | zenstoic | (uid461840@id-461840.hampstead.irccloud.com) zenstoic |
2025-04-26 18:32:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-04-26 18:34:45 +0200 | talisman` | (~user@2601:644:937c:ed10::ae5) (ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.1)) |
2025-04-26 18:34:50 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
2025-04-26 18:41:25 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ac80:9bb1:e5dc:c7d3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-04-26 18:46:41 +0200 | fp | (~Thunderbi@vpn.espressohouse.com) (Ping timeout: 248 seconds) |
2025-04-26 18:47:14 +0200 | kilolympus5 | (~kilolympu@vmi1102682.contaboserver.net) kilolympus |
2025-04-26 18:47:36 +0200 | kilolympus | (~kilolympu@vmi1102682.contaboserver.net) (Read error: Connection reset by peer) |
2025-04-26 18:47:36 +0200 | kilolympus5 | kilolympus |