| 2024-03-08 00:05:39 +0100 | travgm__ | (~travgm@2600:100e:a121:ef84:212e:f7c5:fded:46ea) (Read error: Connection reset by peer) |
| 2024-03-08 00:06:26 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-03-08 00:06:54 +0100 | travgm__ | (~travgm@2600:100e:a121:ef84:90d:44c5:aa1d:9cd6) |
| 2024-03-08 00:07:24 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-03-08 00:09:24 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-03-08 00:16:05 +0100 | fmd | (~fmd@2a02-8429-4b52-f901-ef8a-cb4a-81a3-e1f5.rev.sfr.net) (Ping timeout: 240 seconds) |
| 2024-03-08 00:21:06 +0100 | <zwro> | Guest0: this a trick i use https://paste.jrvieira.com/1709853617520 |
| 2024-03-08 00:24:25 +0100 | <zwro> | not exactly what you want, but it's an easy way to print something whenever the function runs, and easy to just comment out |
| 2024-03-08 00:26:50 +0100 | <geekosaur> | they left several hours ago… |
| 2024-03-08 00:27:54 +0100 | <zwro> | did they? |
| 2024-03-08 00:27:55 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2024-03-08 00:27:59 +0100 | <int-e> | they did |
| 2024-03-08 00:28:02 +0100 | endojelly | (~eselber_p@user/endojelly) |
| 2024-03-08 00:28:07 +0100 | <endojelly> | so, indexed lenses... |
| 2024-03-08 00:28:08 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-03-08 00:28:19 +0100 | <endojelly> | is there an indexed lens/getter to get me *only* the index? |
| 2024-03-08 00:28:56 +0100 | <ncf> | :t asIndex |
| 2024-03-08 00:28:57 +0100 | <lambdabot> | (Indexable i p, Contravariant f, Functor f) => p i (f i) -> Indexed i s (f s) |
| 2024-03-08 00:29:01 +0100 | <endojelly> | Stuff like itraversed<.>itraversed keeps the indices of both levels *and* the value on the last level |
| 2024-03-08 00:29:04 +0100 | <endojelly> | oh, I'll try that, thanks |
| 2024-03-08 00:29:28 +0100 | <endojelly> | wow, I looked at everything starting with "i", at "withIndex"... didn't notice "asIndex" |
| 2024-03-08 00:30:17 +0100 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-08 00:31:47 +0100 | dolio | (~dolio@130.44.134.54) |
| 2024-03-08 00:34:31 +0100 | <endojelly> | > itoListOf (itraversed<.itraversed.asIndex) $ fromList [(1, fromList [('a', "foo"), ('b', "bar")]), (2, empty), (3, fromList [('c', "BAZ")])] |
| 2024-03-08 00:34:33 +0100 | <lambdabot> | error: |
| 2024-03-08 00:34:33 +0100 | <lambdabot> | • Variable not in scope: fromList :: [(a1, f0 a0)] -> t0 (t1 b0) |
| 2024-03-08 00:34:33 +0100 | <lambdabot> | • Perhaps you meant one of these: |
| 2024-03-08 00:34:43 +0100 | bontaq``` | (~user@ool-45779c03.dyn.optonline.net) |
| 2024-03-08 00:35:18 +0100 | <geekosaur> | :t M.fromList |
| 2024-03-08 00:35:19 +0100 | <lambdabot> | Ord k => [(k, a)] -> M.Map k a |
| 2024-03-08 00:35:30 +0100 | dolio | (~dolio@130.44.134.54) (Client Quit) |
| 2024-03-08 00:35:31 +0100 | <endojelly> | > itoListOf (itraversed<.itraversed.asIndex) $ M.fromList [(1, M.fromList [('a', "foo"), ('b', "bar")]), (2, empty), (3, M.fromList [('c', "BAZ")])] |
| 2024-03-08 00:35:32 +0100 | <lambdabot> | error: |
| 2024-03-08 00:35:32 +0100 | <lambdabot> | • Could not deduce (Alternative (M.Map Char)) |
| 2024-03-08 00:35:32 +0100 | <lambdabot> | arising from a use of ‘empty’ |
| 2024-03-08 00:35:43 +0100 | <endojelly> | > itoListOf (itraversed<.itraversed.asIndex) $ M.fromList [(1, M.fromList [('a', "foo"), ('b', "bar")]), (2, M.empty), (3, M.fromList [('c', "BAZ")])] |
| 2024-03-08 00:35:44 +0100 | <lambdabot> | [(1,'a'),(1,'b'),(3,'c')] |
| 2024-03-08 00:35:48 +0100 | <endojelly> | love it, thanks! |
| 2024-03-08 00:36:13 +0100 | srz | (~srz@181.228.49.93) (Ping timeout: 272 seconds) |
| 2024-03-08 00:39:03 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-08 00:41:19 +0100 | dolio | (~dolio@130.44.134.54) |
| 2024-03-08 00:41:30 +0100 | mei | (~mei@user/mei) |
| 2024-03-08 00:44:22 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-08 00:46:07 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2024-03-08 00:54:39 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-03-08 00:58:01 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e737e753f8b7044289a8517e.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-03-08 01:03:22 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 268 seconds) |
| 2024-03-08 01:04:29 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-03-08 01:06:15 +0100 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-08 01:06:35 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
| 2024-03-08 01:06:45 +0100 | eldritch_cookie | (~Srain@177.132.38.123) (Ping timeout: 256 seconds) |
| 2024-03-08 01:09:09 +0100 | hgolden | (~hgolden@2603-8000-9d00-3ed1-2678-8497-aa5c-7fa9.res6.spectrum.com) (Remote host closed the connection) |
| 2024-03-08 01:09:34 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-08 01:10:43 +0100 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 260 seconds) |
| 2024-03-08 01:12:58 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-03-08 01:14:09 +0100 | dolio | (~dolio@130.44.134.54) |
| 2024-03-08 01:19:14 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-03-08 01:23:36 +0100 | notzmv- | (~daniel@user/notzmv) |
| 2024-03-08 01:24:45 +0100 | notzmv | (~daniel@user/notzmv) (Ping timeout: 255 seconds) |
| 2024-03-08 01:28:04 +0100 | notzmv- | notzmv |
| 2024-03-08 01:31:41 +0100 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-08 01:31:58 +0100 | jle` | (~jle`@2603-8001-3b02-84d4-8918-88b4-4576-a17c.res6.spectrum.com) (Quit: WeeChat 4.2.1) |
| 2024-03-08 01:34:49 +0100 | dolio | (~dolio@130.44.134.54) |
| 2024-03-08 01:47:26 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in) |
| 2024-03-08 01:49:02 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-03-08 01:52:45 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-03-08 01:53:38 +0100 | jle` | (~jle`@2603-8001-3b02-84d4-2952-6fd3-5d1e-d0fc.res6.spectrum.com) |
| 2024-03-08 01:58:34 +0100 | TonyStone | (~TonyStone@074-076-057-186.res.spectrum.com) |
| 2024-03-08 02:01:11 +0100 | notzmv- | (~daniel@user/notzmv) |
| 2024-03-08 02:03:38 +0100 | jle` | (~jle`@2603-8001-3b02-84d4-2952-6fd3-5d1e-d0fc.res6.spectrum.com) (Quit: WeeChat 4.2.1) |
| 2024-03-08 02:04:22 +0100 | notzmv | (~daniel@user/notzmv) (Ping timeout: 255 seconds) |
| 2024-03-08 02:06:17 +0100 | redmp | (~redmp@mobile-166-137-178-225.mycingular.net) (Quit: leaving) |
| 2024-03-08 02:16:48 +0100 | notzmv- | notzmv |
| 2024-03-08 02:17:49 +0100 | jle` | (~jle`@2603-8001-3b02-84d4-2434-b3aa-dbdb-d17c.res6.spectrum.com) |
| 2024-03-08 02:20:16 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-08 02:22:41 +0100 | mei | (~mei@user/mei) |
| 2024-03-08 02:22:42 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) (Ping timeout: 260 seconds) |
| 2024-03-08 02:24:16 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-03-08 02:25:30 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-08 02:33:11 +0100 | hsw_ | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Quit: Leaving) |
| 2024-03-08 02:33:24 +0100 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2024-03-08 02:42:11 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-03-08 02:57:35 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 260 seconds) |
| 2024-03-08 02:59:33 +0100 | tessier | (~treed@ip72-220-57-194.sd.sd.cox.net) |
| 2024-03-08 03:00:05 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2024-03-08 03:01:38 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-03-08 03:05:07 +0100 | xff0x | (~xff0x@2405:6580:b080:900:e821:772c:646b:bc1f) (Ping timeout: 255 seconds) |
| 2024-03-08 03:40:39 +0100 | rainbyte | (~rainbyte@186.22.19.215) (Ping timeout: 255 seconds) |
| 2024-03-08 03:41:15 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-03-08 03:46:07 +0100 | otto_s | (~user@p4ff27fa9.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-03-08 03:47:46 +0100 | otto_s | (~user@p4ff27cc1.dip0.t-ipconnect.de) |
| 2024-03-08 03:50:40 +0100 | bilegeek | (~bilegeek@2600:1008:b020:d6dc:8289:eb45:38ac:a7b) |
| 2024-03-08 03:57:32 +0100 | mulk | (~mulk@p5b112b94.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-03-08 03:58:54 +0100 | mulk | (~mulk@p5b2dcc16.dip0.t-ipconnect.de) |
| 2024-03-08 04:08:34 +0100 | shapr` | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 2024-03-08 04:10:21 +0100 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Ping timeout: 255 seconds) |
| 2024-03-08 04:16:02 +0100 | tessier | (~treed@ip72-220-57-194.sd.sd.cox.net) (Ping timeout: 252 seconds) |
| 2024-03-08 04:17:47 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 2024-03-08 04:20:17 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-03-08 04:26:07 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2024-03-08 04:30:26 +0100 | seedse | (~seedse@097-086-001-048.res.spectrum.com) |
| 2024-03-08 04:31:21 +0100 | seedse | (~seedse@097-086-001-048.res.spectrum.com) (Remote host closed the connection) |
| 2024-03-08 04:38:04 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-03-08 04:43:08 +0100 | seedse | (~seedse@097-086-001-048.res.spectrum.com) |
| 2024-03-08 04:43:27 +0100 | seedse | (~seedse@097-086-001-048.res.spectrum.com) (Remote host closed the connection) |
| 2024-03-08 04:43:45 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-08 04:48:09 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2024-03-08 04:54:19 +0100 | rainbyte | (~rainbyte@186.22.19.215) |
| 2024-03-08 04:55:03 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-08 04:56:49 +0100 | shapr` | shapr |
| 2024-03-08 04:58:42 +0100 | khumba | (~khumba@user/khumba) |
| 2024-03-08 05:01:24 +0100 | td_ | (~td@i53870916.versanet.de) (Ping timeout: 268 seconds) |
| 2024-03-08 05:02:40 +0100 | td_ | (~td@i53870902.versanet.de) |
| 2024-03-08 05:25:32 +0100 | aforemny | (~aforemny@i59F516FB.versanet.de) |
| 2024-03-08 05:26:58 +0100 | aforemny_ | (~aforemny@i59F516F6.versanet.de) (Ping timeout: 264 seconds) |
| 2024-03-08 05:29:26 +0100 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Quit: sleep) |
| 2024-03-08 05:32:13 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2024-03-08 05:34:27 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-08 05:34:34 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-08 05:36:51 +0100 | bontaq``` | (~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2024-03-08 05:36:53 +0100 | mei | (~mei@user/mei) |
| 2024-03-08 05:40:53 +0100 | khumba | (~khumba@user/khumba) () |
| 2024-03-08 05:43:03 +0100 | tr_ev | (~trev@user/trev) |
| 2024-03-08 05:54:14 +0100 | tr_ev | (~trev@user/trev) (Quit: tr_ev) |
| 2024-03-08 06:07:24 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-03-08 06:07:55 +0100 | koz | (~koz@121.99.240.58) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-08 06:08:10 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-03-08 06:09:41 +0100 | koz | (~koz@121.99.240.58) |
| 2024-03-08 06:16:05 +0100 | axd | (~axd@182.69.178.225) |
| 2024-03-08 06:24:11 +0100 | axd | (~axd@182.69.178.225) (Ping timeout: 250 seconds) |
| 2024-03-08 06:29:40 +0100 | micro | (~micro@user/micro) (Ping timeout: 260 seconds) |
| 2024-03-08 06:33:24 +0100 | michalz | (~michalz@185.246.207.197) |
| 2024-03-08 06:41:41 +0100 | rainbyte | (~rainbyte@186.22.19.215) (Ping timeout: 240 seconds) |
| 2024-03-08 06:42:59 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2024-03-08 06:48:01 +0100 | jargon | (~jargon@154.sub-174-205-226.myvzw.com) (Remote host closed the connection) |
| 2024-03-08 06:49:03 +0100 | michalz | (~michalz@185.246.207.197) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-08 06:49:35 +0100 | mizlan | (~mizlan@2607:f010:2a7:1026:359c:c739:3059:f1a7) |
| 2024-03-08 06:50:50 +0100 | axd | (~axd@182.69.178.225) |
| 2024-03-08 06:51:30 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) (Ping timeout: 260 seconds) |
| 2024-03-08 06:51:33 +0100 | axd | (~axd@182.69.178.225) (Client Quit) |
| 2024-03-08 06:51:51 +0100 | michalz | (~michalz@185.246.207.221) |
| 2024-03-08 06:54:31 +0100 | jle` | (~jle`@2603-8001-3b02-84d4-2434-b3aa-dbdb-d17c.res6.spectrum.com) (Quit: WeeChat 4.2.1) |
| 2024-03-08 06:57:13 +0100 | jle` | (~jle`@2603-8001-3b02-84d4-8dab-a668-ca70-1e00.res6.spectrum.com) |
| 2024-03-08 06:57:28 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-03-08 07:01:21 +0100 | micro | (~micro@user/micro) |
| 2024-03-08 07:03:01 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2024-03-08 07:03:06 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-03-08 07:04:10 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-03-08 07:10:09 +0100 | benkard | (~mulk@p5b11243f.dip0.t-ipconnect.de) |
| 2024-03-08 07:11:10 +0100 | mulk | (~mulk@p5b2dcc16.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-03-08 07:11:10 +0100 | benkard | mulk |
| 2024-03-08 07:12:13 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-03-08 07:17:17 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-03-08 07:36:29 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e737e7998d5743bf05995198.dip0.t-ipconnect.de) |
| 2024-03-08 07:39:17 +0100 | mizlan_ | (~mizlan@s-169-232-102-150.resnet.ucla.edu) |
| 2024-03-08 07:40:51 +0100 | mizlan | (~mizlan@2607:f010:2a7:1026:359c:c739:3059:f1a7) (Ping timeout: 260 seconds) |
| 2024-03-08 07:44:14 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 260 seconds) |
| 2024-03-08 07:44:20 +0100 | notzmv | (~daniel@user/notzmv) (Ping timeout: 260 seconds) |
| 2024-03-08 07:48:55 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-08 07:49:19 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2024-03-08 07:50:13 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-08 07:53:34 +0100 | zetef | (~quassel@95.77.17.251) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-03-08 07:55:22 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-03-08 08:01:47 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 2024-03-08 08:03:26 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2024-03-08 08:03:31 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-03-08 08:07:16 +0100 | ania123 | (~ania123@94-43-231-47.dsl.utg.ge) |
| 2024-03-08 08:07:54 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-03-08 08:09:15 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2024-03-08 08:10:53 +0100 | travgm_ | (~travgm@2600:100e:a121:ef84:90d:44c5:aa1d:9cd6) |
| 2024-03-08 08:13:37 +0100 | travgm__ | (~travgm@2600:100e:a121:ef84:90d:44c5:aa1d:9cd6) (Ping timeout: 264 seconds) |
| 2024-03-08 08:26:15 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-08 08:26:29 +0100 | jle` | (~jle`@2603-8001-3b02-84d4-8dab-a668-ca70-1e00.res6.spectrum.com) (Quit: WeeChat 4.2.1) |
| 2024-03-08 08:29:10 +0100 | jle` | (~jle`@2603-8001-3b02-84d4-2a01-8827-dae2-515f.res6.spectrum.com) |
| 2024-03-08 08:32:59 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-03-08 08:35:23 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-03-08 08:35:39 +0100 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2024-03-08 08:36:44 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 256 seconds) |
| 2024-03-08 08:37:58 +0100 | mizlan_ | (~mizlan@s-169-232-102-150.resnet.ucla.edu) (Ping timeout: 246 seconds) |
| 2024-03-08 08:43:40 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-03-08 08:43:59 +0100 | bliminse | (~bliminse@user/bliminse) |
| 2024-03-08 08:44:18 +0100 | lortabac | (~lortabac@88-125-6-227.subs.proxad.net) |
| 2024-03-08 08:46:18 +0100 | micro | (~micro@user/micro) (Remote host closed the connection) |
| 2024-03-08 08:49:12 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-08 08:53:22 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-03-08 08:54:04 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2024-03-08 08:54:22 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-03-08 08:57:16 +0100 | micro | (~micro@user/micro) |
| 2024-03-08 09:00:20 +0100 | euphores | (~SASL_euph@user/euphores) |
| 2024-03-08 09:02:57 +0100 | fmd | (~fmd@2a02-8429-4b52-f901-285e-4c99-9f66-0c47.rev.sfr.net) |
| 2024-03-08 09:05:19 +0100 | danza | (~francesco@151.43.191.247) |
| 2024-03-08 09:08:53 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-03-08 09:11:46 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-03-08 09:16:58 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 2024-03-08 09:17:05 +0100 | euphores | (~SASL_euph@user/euphores) |
| 2024-03-08 09:19:46 +0100 | CiaoSen | (~Jura@2a05:5800:2e4:cc00:e6b9:7aff:fe80:3d03) |
| 2024-03-08 09:21:24 +0100 | Square3 | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2024-03-08 09:22:42 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-03-08 09:24:54 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2024-03-08 09:25:19 +0100 | Vajb | (~Vajb@n7kymlrhl8zspe1o45k-1.v6.elisa-mobile.fi) (Remote host closed the connection) |
| 2024-03-08 09:27:04 +0100 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 2024-03-08 09:30:46 +0100 | notzmv | (~daniel@user/notzmv) |
| 2024-03-08 09:32:30 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) (Ping timeout: 260 seconds) |
| 2024-03-08 09:33:36 +0100 | danza | (~francesco@151.43.191.247) (Read error: Connection reset by peer) |
| 2024-03-08 09:33:48 +0100 | danza | (~francesco@151.43.187.246) |
| 2024-03-08 09:34:03 +0100 | ft | (~ft@p508db2e6.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-03-08 09:37:01 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 264 seconds) |
| 2024-03-08 09:38:43 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2024-03-08 09:39:36 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-03-08 09:41:03 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-03-08 09:43:36 +0100 | cyphase | (~cyphase@user/cyphase) |
| 2024-03-08 09:45:12 +0100 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-03-08 10:00:35 +0100 | zetef | (~quassel@95.77.17.251) (Remote host closed the connection) |
| 2024-03-08 10:01:30 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-03-08 10:02:13 +0100 | travgm_ | (~travgm@2600:100e:a121:ef84:90d:44c5:aa1d:9cd6) (Read error: Connection reset by peer) |
| 2024-03-08 10:04:23 +0100 | Vajb | (~Vajb@n70t65z9ztei3blo55b-1.v6.elisa-mobile.fi) |
| 2024-03-08 10:06:18 +0100 | danza | (~francesco@151.43.187.246) (Ping timeout: 255 seconds) |
| 2024-03-08 10:10:01 +0100 | benjaminl | (~benjaminl@user/benjaminl) (Ping timeout: 272 seconds) |
| 2024-03-08 10:14:48 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-03-08 10:23:24 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-03-08 10:27:10 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-08 10:29:27 +0100 | mizlan | (~mizlan@2607:f010:2a7:1026:8874:5e5d:4a24:cfb0) |
| 2024-03-08 10:31:02 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-03-08 10:34:24 +0100 | mizlan | (~mizlan@2607:f010:2a7:1026:8874:5e5d:4a24:cfb0) (Ping timeout: 268 seconds) |
| 2024-03-08 10:34:47 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-03-08 10:42:11 +0100 | euphores | (~SASL_euph@user/euphores) |
| 2024-03-08 10:51:07 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-03-08 10:54:09 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Ping timeout: 250 seconds) |
| 2024-03-08 10:55:56 +0100 | gehmehgeh | gmg |
| 2024-03-08 10:59:12 +0100 | Square | (~Square@user/square) |
| 2024-03-08 10:59:51 +0100 | arahael | (~arahael@119-18-1-21.771201.syd.nbn.aussiebb.net) |
| 2024-03-08 11:02:01 +0100 | danse-nr3 | (~danse@151.43.187.246) |
| 2024-03-08 11:06:09 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |
| 2024-03-08 11:16:12 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2024-03-08 11:21:24 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-03-08 11:23:12 +0100 | fmd | (~fmd@2a02-8429-4b52-f901-285e-4c99-9f66-0c47.rev.sfr.net) (Ping timeout: 260 seconds) |
| 2024-03-08 11:26:41 +0100 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-03-08 11:26:59 +0100 | misterfish | (~misterfis@46.44.172.198) |
| 2024-03-08 11:27:34 +0100 | fmd | (~fmd@2a02-8429-4b52-f901-bd48-1efe-c59d-ee47.rev.sfr.net) |
| 2024-03-08 11:31:23 +0100 | zetef | (~quassel@95.77.17.251) (Remote host closed the connection) |
| 2024-03-08 11:36:45 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-03-08 11:39:53 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-08 11:44:32 +0100 | paddymahoney | (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2024-03-08 11:44:43 +0100 | euphores | (~SASL_euph@user/euphores) |
| 2024-03-08 11:47:43 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-03-08 11:48:29 +0100 | driib | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-03-08 11:50:21 +0100 | paddymahoney | (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) |
| 2024-03-08 11:57:52 +0100 | bilegeek | (~bilegeek@2600:1008:b020:d6dc:8289:eb45:38ac:a7b) (Quit: Leaving) |
| 2024-03-08 12:05:31 +0100 | lortabac | (~lortabac@88-125-6-227.subs.proxad.net) (Ping timeout: 246 seconds) |
| 2024-03-08 12:11:14 +0100 | danse-nr3 | (~danse@151.43.187.246) (Ping timeout: 252 seconds) |
| 2024-03-08 12:11:41 +0100 | danse-nr3 | (~danse@185.211.81.183) |
| 2024-03-08 12:17:55 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-03-08 12:27:09 +0100 | CiaoSen | (~Jura@2a05:5800:2e4:cc00:e6b9:7aff:fe80:3d03) (Ping timeout: 255 seconds) |
| 2024-03-08 12:29:17 +0100 | bgamari | (~bgamari@64.223.237.41) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-08 12:29:30 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-03-08 12:30:38 +0100 | bgamari | (~bgamari@64.223.237.41) |
| 2024-03-08 12:32:04 +0100 | mizlan | (~mizlan@2607:f010:2a7:1026:8874:5e5d:4a24:cfb0) |
| 2024-03-08 12:33:59 +0100 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-08 12:34:54 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-03-08 12:35:08 +0100 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2024-03-08 12:35:38 +0100 | jau | (~user@2a04:4540:7205:a500:1602:b784:1fc6:8a4b) |
| 2024-03-08 12:36:25 +0100 | mizlan | (~mizlan@2607:f010:2a7:1026:8874:5e5d:4a24:cfb0) (Ping timeout: 264 seconds) |
| 2024-03-08 12:36:50 +0100 | euphores | (~SASL_euph@user/euphores) |
| 2024-03-08 12:38:46 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 246 seconds) |
| 2024-03-08 12:38:54 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-03-08 12:39:21 +0100 | fmd | (~fmd@2a02-8429-4b52-f901-bd48-1efe-c59d-ee47.rev.sfr.net) (Quit: WeeChat 4.1.1) |
| 2024-03-08 12:40:43 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-08 12:43:53 +0100 | Guest7 | (~Guest7@59.145.65.79) |
| 2024-03-08 12:44:10 +0100 | Guest7 | (~Guest7@59.145.65.79) (Client Quit) |
| 2024-03-08 12:48:25 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-03-08 12:48:41 +0100 | Guest7 | (~Guest7@59.145.65.79) |
| 2024-03-08 12:48:52 +0100 | driib | (~driib@vmi931078.contaboserver.net) |
| 2024-03-08 12:49:19 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2024-03-08 12:50:01 +0100 | Guest7 | (~Guest7@59.145.65.79) (Client Quit) |
| 2024-03-08 12:52:19 +0100 | causal | (~eric@50.35.85.7) |
| 2024-03-08 12:53:16 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-03-08 12:53:59 +0100 | __monty__ | (~toonn@user/toonn) (Ping timeout: 264 seconds) |
| 2024-03-08 12:58:12 +0100 | danse-nr3 | (~danse@185.211.81.183) (Ping timeout: 255 seconds) |
| 2024-03-08 12:59:04 +0100 | danse-nr3 | (~danse@151.57.150.180) |
| 2024-03-08 13:05:54 +0100 | rainbyte | (~rainbyte@186.22.19.215) |
| 2024-03-08 13:16:34 +0100 | danse-nr3 | (~danse@151.57.150.180) (Ping timeout: 246 seconds) |
| 2024-03-08 13:18:59 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-03-08 13:20:18 +0100 | ania123 | (~ania123@94-43-231-47.dsl.utg.ge) (Quit: Client closed) |
| 2024-03-08 13:21:17 +0100 | cheater_ | (~Username@user/cheater) |
| 2024-03-08 13:21:17 +0100 | misterfish | (~misterfis@46.44.172.198) (Ping timeout: 240 seconds) |
| 2024-03-08 13:22:26 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2024-03-08 13:22:32 +0100 | cheater_ | cheater |
| 2024-03-08 13:22:33 +0100 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2024-03-08 13:23:19 +0100 | cheater_ | (~Username@user/cheater) |
| 2024-03-08 13:23:19 +0100 | cheater_ | cheater |
| 2024-03-08 13:24:27 +0100 | xff0x | (~xff0x@2405:6580:b080:900:eeab:d10b:4c0a:2139) |
| 2024-03-08 13:29:38 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-03-08 13:29:54 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-03-08 13:30:50 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2024-03-08 13:32:56 +0100 | xff0x | (~xff0x@2405:6580:b080:900:eeab:d10b:4c0a:2139) (Ping timeout: 260 seconds) |
| 2024-03-08 13:33:14 +0100 | xff0x | (~xff0x@2405:6580:b080:900:eeab:d10b:4c0a:2139) |
| 2024-03-08 13:39:25 +0100 | vpan | (~vpan@mail.elitnet.lt) |
| 2024-03-08 13:40:35 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-08 13:40:58 +0100 | destituion | (~destituio@85.221.111.174) |
| 2024-03-08 13:42:49 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 272 seconds) |
| 2024-03-08 13:43:00 +0100 | mei | (~mei@user/mei) |
| 2024-03-08 13:43:53 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-08 13:55:36 +0100 | CiaoSen | (~Jura@2a05:5800:2e4:cc00:e6b9:7aff:fe80:3d03) |
| 2024-03-08 13:56:07 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 272 seconds) |
| 2024-03-08 13:57:22 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-08 13:59:02 +0100 | bontaq``` | (~user@ool-45779c03.dyn.optonline.net) |
| 2024-03-08 13:59:18 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-03-08 13:59:36 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-03-08 14:01:23 +0100 | danse-nr3 | (~danse@151.57.142.44) |
| 2024-03-08 14:02:43 +0100 | danse-nr3 | (~danse@151.57.142.44) (Remote host closed the connection) |
| 2024-03-08 14:03:08 +0100 | danse-nr3 | (~danse@151.57.142.44) |
| 2024-03-08 14:03:22 +0100 | ft | (~ft@p508db2e6.dip0.t-ipconnect.de) |
| 2024-03-08 14:29:53 +0100 | <haskellbridge> | <eldritchcookie> say what do i need to do if a want to become the maintainer of a abandoned package? |
| 2024-03-08 14:31:38 +0100 | <byorgey> | here are the guidelines for that process: https://wiki.haskell.org/Taking_over_a_package |
| 2024-03-08 14:33:02 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-03-08 14:40:56 +0100 | mxs | (~mxs@user/mxs) |
| 2024-03-08 14:42:08 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-08 14:46:44 +0100 | <haskellbridge> | <eldritchcookie> thanks |
| 2024-03-08 14:53:29 +0100 | son0p | (~ff@186.121.98.6) (Ping timeout: 252 seconds) |
| 2024-03-08 14:55:42 +0100 | EvanR_ | (~EvanR@user/evanr) |
| 2024-03-08 14:57:33 +0100 | EvanR | (~EvanR@user/evanr) (Ping timeout: 272 seconds) |
| 2024-03-08 14:58:12 +0100 | mizlan | (~mizlan@2607:f010:2a7:1026:8874:5e5d:4a24:cfb0) |
| 2024-03-08 14:59:29 +0100 | <haskellbridge> | <eldritchcookie> hm |
| 2024-03-08 15:02:08 +0100 | <haskellbridge> | <eldritchcookie> i could easily make a test for my package with nix or i could import the ghc package in the test suite and suffer through compiler internals and make my test flaky |
| 2024-03-08 15:02:47 +0100 | mizlan | (~mizlan@2607:f010:2a7:1026:8874:5e5d:4a24:cfb0) (Ping timeout: 260 seconds) |
| 2024-03-08 15:11:31 +0100 | ania123 | (~ania123@94-43-231-47.dsl.utg.ge) |
| 2024-03-08 15:20:40 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-03-08 15:26:40 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-08 15:32:45 +0100 | mei | (~mei@user/mei) |
| 2024-03-08 15:42:25 +0100 | bontaq``` | (~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2024-03-08 15:43:16 +0100 | bontaq``` | (~user@165.1.205.230) |
| 2024-03-08 16:04:56 +0100 | Silver_X | (~Silver_X@182.178.141.158) |
| 2024-03-08 16:05:15 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-03-08 16:17:15 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2024-03-08 16:20:20 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-03-08 16:29:17 +0100 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2024-03-08 16:29:20 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-03-08 16:29:26 +0100 | remexre | (~remexre@user/remexre) |
| 2024-03-08 16:30:01 +0100 | [exa] | (~exa@user/exa/x-3587197) (Ping timeout: 272 seconds) |
| 2024-03-08 16:30:06 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-03-08 16:33:00 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-03-08 16:33:47 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-03-08 16:33:57 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2024-03-08 16:33:58 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2024-03-08 16:34:23 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-03-08 16:34:31 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-03-08 16:34:59 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2024-03-08 16:35:25 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-03-08 16:35:40 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2024-03-08 16:36:34 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-03-08 16:39:38 +0100 | danse-nr3 | (~danse@151.57.142.44) (Ping timeout: 252 seconds) |
| 2024-03-08 16:42:28 +0100 | danse-nr3 | (~danse@151.57.142.44) |
| 2024-03-08 16:46:49 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 255 seconds) |
| 2024-03-08 16:49:23 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-03-08 16:55:51 +0100 | mizlan | (~mizlan@s-169-232-102-150.resnet.ucla.edu) |
| 2024-03-08 16:57:01 +0100 | mizlan | (~mizlan@s-169-232-102-150.resnet.ucla.edu) (Remote host closed the connection) |
| 2024-03-08 16:57:40 +0100 | mizlan | (~mizlan@s-169-232-102-150.resnet.ucla.edu) |
| 2024-03-08 16:59:22 +0100 | bontaq``` | (~user@165.1.205.230) (Ping timeout: 256 seconds) |
| 2024-03-08 17:02:44 +0100 | son0p | (~ff@186.121.26.39) |
| 2024-03-08 17:03:31 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-03-08 17:07:37 +0100 | xff0x | (~xff0x@2405:6580:b080:900:eeab:d10b:4c0a:2139) (Ping timeout: 264 seconds) |
| 2024-03-08 17:08:04 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2024-03-08 17:09:29 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-03-08 17:09:30 +0100 | xff0x | (~xff0x@ai082039.d.east.v6connect.net) |
| 2024-03-08 17:10:01 +0100 | destituion | (~destituio@85.221.111.174) (Ping timeout: 264 seconds) |
| 2024-03-08 17:10:10 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:f5bf:fee6:a40b:7301) |
| 2024-03-08 17:10:47 +0100 | jinsun | (~jinsun@user/jinsun) (Quit: No Ping reply in 180 seconds.) |
| 2024-03-08 17:11:45 +0100 | yoneda | (~mike@193.206.102.122) (Quit: Lost terminal) |
| 2024-03-08 17:11:57 +0100 | kimiamania | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2024-03-08 17:12:55 +0100 | kimiamania | (~7da15a40@user/kimiamania) |
| 2024-03-08 17:13:08 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-08 17:13:52 +0100 | jinsun | (~jinsun@user/jinsun) |
| 2024-03-08 17:14:33 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-08 17:16:49 +0100 | <haskellbridge> | <vaibhavsagar> how does nix save you from needing to import the ghc package? |
| 2024-03-08 17:18:19 +0100 | destituion | (~destituio@2a02:2121:650:17b6:e217:f904:637b:c0b5) |
| 2024-03-08 17:18:21 +0100 | Silver_X | (~Silver_X@182.178.141.158) (Quit: Leaving) |
| 2024-03-08 17:19:30 +0100 | jinsun | (~jinsun@user/jinsun) (Quit: No Ping reply in 180 seconds.) |
| 2024-03-08 17:21:05 +0100 | jinsun | (~jinsun@user/jinsun) |
| 2024-03-08 17:22:17 +0100 | jinsun | (~jinsun@user/jinsun) (Client Quit) |
| 2024-03-08 17:22:45 +0100 | jinsun | (~jinsun@user/jinsun) |
| 2024-03-08 17:23:07 +0100 | bontaq``` | (~user@ool-45779c03.dyn.optonline.net) |
| 2024-03-08 17:35:21 +0100 | mizlan | (~mizlan@s-169-232-102-150.resnet.ucla.edu) (Remote host closed the connection) |
| 2024-03-08 17:36:00 +0100 | mizlan | (~mizlan@s-169-232-102-150.resnet.ucla.edu) |
| 2024-03-08 17:37:08 +0100 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 2024-03-08 17:39:30 +0100 | <ph88> | Can anyone help me with this issue ? https://github.com/haskell-effectful/effectful/discussions/205 |
| 2024-03-08 17:41:05 +0100 | mizlan_ | (~mizlan@2607:f010:2a7:1026:8874:5e5d:4a24:cfb0) |
| 2024-03-08 17:42:34 +0100 | mizlan | (~mizlan@s-169-232-102-150.resnet.ucla.edu) (Ping timeout: 246 seconds) |
| 2024-03-08 17:43:20 +0100 | son0p | (~ff@186.121.26.39) (Quit: Bye) |
| 2024-03-08 17:48:01 +0100 | CiaoSen | (~Jura@2a05:5800:2e4:cc00:e6b9:7aff:fe80:3d03) (Ping timeout: 255 seconds) |
| 2024-03-08 17:49:09 +0100 | mizlan_ | (~mizlan@2607:f010:2a7:1026:8874:5e5d:4a24:cfb0) (Ping timeout: 268 seconds) |
| 2024-03-08 17:54:06 +0100 | son0p | (~ff@186.121.26.39) |
| 2024-03-08 17:58:31 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-03-08 18:00:50 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-03-08 18:01:22 +0100 | danse-nr3 | (~danse@151.57.142.44) (Read error: Connection reset by peer) |
| 2024-03-08 18:01:57 +0100 | danse-nr3 | (~danse@151.57.193.225) |
| 2024-03-08 18:02:05 +0100 | mizlan | (~mizlan@2607:f010:2a7:1026:257c:1c59:1ea9:ebb4) |
| 2024-03-08 18:04:46 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Remote host closed the connection) |
| 2024-03-08 18:05:11 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-03-08 18:06:55 +0100 | mizlan | (~mizlan@2607:f010:2a7:1026:257c:1c59:1ea9:ebb4) (Ping timeout: 272 seconds) |
| 2024-03-08 18:07:37 +0100 | danse-nr3 | (~danse@151.57.193.225) (Ping timeout: 264 seconds) |
| 2024-03-08 18:08:16 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-03-08 18:08:19 +0100 | zetef | (~quassel@95.77.17.251) (Remote host closed the connection) |
| 2024-03-08 18:10:29 +0100 | EvanR_ | EvanR |
| 2024-03-08 18:17:06 +0100 | ania123 | (~ania123@94-43-231-47.dsl.utg.ge) (Quit: Client closed) |
| 2024-03-08 18:17:43 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-08 18:18:23 +0100 | causal | (~eric@50.35.85.7) (Quit: WeeChat 4.1.1) |
| 2024-03-08 18:20:13 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-08 18:20:46 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-08 18:20:58 +0100 | bontaq``` | bontaq |
| 2024-03-08 18:23:23 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-08 18:23:35 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-08 18:24:39 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2024-03-08 18:29:32 +0100 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 2024-03-08 18:30:22 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-03-08 18:31:50 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2024-03-08 18:33:04 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 2024-03-08 18:33:32 +0100 | <haskellbridge> | <eldritchcookie> simple i then can use ghc from the commandline this is obviously kinda of a hack but whatever |
| 2024-03-08 18:37:58 +0100 | <raehik> | in GHC.Exts, why does copyAddrToAddr return a `State# RealWorld`, while all other Addr#<->ByteArray# copy primops return a `State# d`? |
| 2024-03-08 18:39:13 +0100 | <raehik> | I suppose I'm most confused by `copyMutableByteArrayToAddr# :: ... -> State# d` |
| 2024-03-08 18:42:28 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-03-08 18:45:36 +0100 | ulf-frostypaw | (~ulf-frost@189.195.8.166) |
| 2024-03-08 18:46:37 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-03-08 18:47:25 +0100 | <ulf-frostypaw> | 2 |
| 2024-03-08 18:47:57 +0100 | vpan | (~vpan@mail.elitnet.lt) (Quit: Leaving.) |
| 2024-03-08 18:48:34 +0100 | ulf-frostypaw | (~ulf-frost@189.195.8.166) (Remote host closed the connection) |
| 2024-03-08 18:58:00 +0100 | Etabeta1 | (~Etabeta1@user/Etabeta1) (Quit: quit) |
| 2024-03-08 19:01:17 +0100 | Joao[3] | (~Joao003@190.108.99.67) |
| 2024-03-08 19:02:35 +0100 | ania123 | (~ania123@94-43-231-47.dsl.utg.ge) |
| 2024-03-08 19:03:55 +0100 | notzmv | (~daniel@user/notzmv) (Ping timeout: 272 seconds) |
| 2024-03-08 19:04:11 +0100 | <tomsmeding> | raehik: no answer, but they were introduced in this commit, it seems https://gitlab.haskell.org/ghc/ghc/-/commit/9095e297fbb46781fd182210609ce2a3f6c59b7a |
| 2024-03-08 19:06:18 +0100 | destituion | (~destituio@2a02:2121:650:17b6:e217:f904:637b:c0b5) (Ping timeout: 255 seconds) |
| 2024-03-08 19:07:21 +0100 | destituion | (~destituio@2001:4644:c37:0:6086:64f4:a213:b80d) |
| 2024-03-08 19:07:25 +0100 | Joao[3] | (~Joao003@190.108.99.67) (Read error: Connection reset by peer) |
| 2024-03-08 19:07:40 +0100 | <raehik> | tomsmeding: yeah I just realized they were new. Only just wrapping my head around ST and IO and that RealWorld forced me to de-generalize a bit of code |
| 2024-03-08 19:07:56 +0100 | Joao[3] | (~Joao003@190.108.99.67) |
| 2024-03-08 19:07:59 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-08 19:08:14 +0100 | <raehik> | but fairly happy that it has to be that way. and now I have some 9.6 wrappers in prep for those primops (when 9.8 works for me) |
| 2024-03-08 19:11:53 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-03-08 19:20:06 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-03-08 19:20:44 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-03-08 19:20:47 +0100 | <raehik> | Wait, I figured it out in a way. the primop is replacing some other wonky code which needs to touch# after copying due to working on non-GCed data |
| 2024-03-08 19:21:35 +0100 | <raehik> | don't need to touch# going the other ways. except copyAddrToByteArray# but idk |
| 2024-03-08 19:21:35 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-08 19:21:54 +0100 | tomku|two | (~tomku@user/tomku) |
| 2024-03-08 19:22:55 +0100 | tomku | (~tomku@user/tomku) (Ping timeout: 272 seconds) |
| 2024-03-08 19:24:18 +0100 | <raehik> | (pfft well touch# has had its type changed between GHC 9.6 and 9.8 too. ignore me) |
| 2024-03-08 19:27:49 +0100 | phma | (phma@2001:5b0:2172:bea8:4de3:ce84:5b1f:c1a2) (Read error: Connection reset by peer) |
| 2024-03-08 19:28:43 +0100 | ania123 | (~ania123@94-43-231-47.dsl.utg.ge) (Quit: Client closed) |
| 2024-03-08 19:30:19 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-03-08 19:42:24 +0100 | ania123 | (~ania123@94-43-231-47.dsl.utg.ge) |
| 2024-03-08 19:44:09 +0100 | phma | (phma@2001:5b0:215d:d9f8:8a50:43b0:3984:5f61) |
| 2024-03-08 19:45:13 +0100 | Joao[3] | (~Joao003@190.108.99.67) (Quit: Bye!) |
| 2024-03-08 19:50:52 +0100 | [exa] | (~exa@user/exa/x-3587197) |
| 2024-03-08 19:53:31 +0100 | <ph88> | good job raehik ! |
| 2024-03-08 20:00:17 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-03-08 20:06:59 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-03-08 20:08:45 +0100 | euphores | (~SASL_euph@user/euphores) |
| 2024-03-08 20:24:13 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-03-08 20:32:06 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2024-03-08 20:32:33 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-03-08 20:33:21 +0100 | mizlan | (~mizlan@wifi-131-179-20-90.host.ucla.edu) |
| 2024-03-08 20:33:27 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-03-08 20:33:47 +0100 | Square | (~Square@user/square) |
| 2024-03-08 20:34:25 +0100 | califax | (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-08 20:34:45 +0100 | califax | (~califax@user/califx) |
| 2024-03-08 20:46:07 +0100 | michalz | (~michalz@185.246.207.221) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-08 20:48:16 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-08 20:48:43 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-08 20:53:34 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-03-08 20:55:04 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 268 seconds) |
| 2024-03-08 20:55:23 +0100 | mizlan | (~mizlan@wifi-131-179-20-90.host.ucla.edu) (Remote host closed the connection) |
| 2024-03-08 20:56:07 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-08 20:56:29 +0100 | mizlan | (~mizlan@wifi-131-179-20-90.host.ucla.edu) |
| 2024-03-08 20:58:01 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2024-03-08 20:58:13 +0100 | mizlan | (~mizlan@wifi-131-179-20-90.host.ucla.edu) (Remote host closed the connection) |
| 2024-03-08 21:00:27 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2024-03-08 21:00:56 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-08 21:06:08 +0100 | mechap | (~mechap@user/mechap) |
| 2024-03-08 21:06:12 +0100 | <mechap> | can we describe any recursion schemes with catamorphisms ? |
| 2024-03-08 21:08:13 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-08 21:08:51 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-03-08 21:12:38 +0100 | mizlan | (~mizlan@wifi-131-179-20-90.host.ucla.edu) |
| 2024-03-08 21:16:53 +0100 | mizlan | (~mizlan@wifi-131-179-20-90.host.ucla.edu) (Ping timeout: 240 seconds) |
| 2024-03-08 21:25:01 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-08 21:27:16 +0100 | <monochrom> | No. |
| 2024-03-08 21:28:48 +0100 | <dolio> | You can describe catamorphisms with catamorphisms. |
| 2024-03-08 21:29:10 +0100 | <monochrom> | :) |
| 2024-03-08 21:29:16 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-03-08 21:35:27 +0100 | pavonia | (~user@user/siracusa) |
| 2024-03-08 21:36:01 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2024-03-08 21:38:56 +0100 | <dolio> | The lesson is, don't use the word "any." |
| 2024-03-08 21:39:19 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-08 21:41:43 +0100 | <int-e> | :t \f -> foldr ((||) . f) False |
| 2024-03-08 21:41:44 +0100 | <lambdabot> | Foldable t => (a -> Bool) -> t a -> Bool |
| 2024-03-08 21:42:21 +0100 | <int-e> | any (implemented with) catamorphism |
| 2024-03-08 21:42:58 +0100 | <monochrom> | :) |
| 2024-03-08 21:43:07 +0100 | euphores | (~SASL_euph@user/euphores) |
| 2024-03-08 21:46:02 +0100 | jargon | (~jargon@154.sub-174-205-226.myvzw.com) |
| 2024-03-08 22:01:26 +0100 | ania123 | (~ania123@94-43-231-47.dsl.utg.ge) (Quit: Client closed) |
| 2024-03-08 22:09:51 +0100 | son0p | (~ff@186.121.26.39) (Ping timeout: 256 seconds) |
| 2024-03-08 22:12:05 +0100 | jau | (~user@2a04:4540:7205:a500:1602:b784:1fc6:8a4b) (Quit: Leaving) |
| 2024-03-08 22:15:13 +0100 | <monochrom> | class Semigroup (Aug v) => Augable v where { type Aug v; aug :: v -> Aug v } -- the class constraint can be a forward reference (even inward reference) heh |
| 2024-03-08 22:16:22 +0100 | <monochrom> | (I am implementing "augmented binary search trees" in general. I noticed that all augmentation schemes are backed by semigroups...) |
| 2024-03-08 22:16:33 +0100 | <tomsmeding> | yeah I've written code like that before, it feels a bit weird :p |
| 2024-03-08 22:16:47 +0100 | <tomsmeding> | can be really nice for type inference |
| 2024-03-08 22:16:54 +0100 | <monochrom> | (So basically data BST k v = Node k v (Aug v) ...) |
| 2024-03-08 22:18:43 +0100 | <tomsmeding> | there's also this other trick where you take 'class C a', ('instance (...) => C T')* and turn it into 'type family D a; class D a => C a', ('type instance D T = (...); instance (...) => C T')* |
| 2024-03-08 22:19:10 +0100 | <tomsmeding> | the point being that now not only do you get 'C T' from (...), you also get (...) from 'C T' |
| 2024-03-08 22:19:35 +0100 | <tomsmeding> | I've needed this _once_ |
| 2024-03-08 22:19:59 +0100 | tomsmeding | now wonders if D can be an associated type family to C |
| 2024-03-08 22:21:11 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-08 22:22:03 +0100 | destituion | (~destituio@2001:4644:c37:0:6086:64f4:a213:b80d) (Ping timeout: 255 seconds) |
| 2024-03-08 22:22:12 +0100 | mizlan | (~mizlan@2607:f010:2e9:b:8c79:eb45:5954:d939) |
| 2024-03-08 22:22:27 +0100 | destituion | (~destituio@2a02:2121:650:17b6:dadb:8eeb:69ad:5745) |
| 2024-03-08 22:26:45 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-03-08 22:34:16 +0100 | mizlan | (~mizlan@2607:f010:2e9:b:8c79:eb45:5954:d939) (Ping timeout: 260 seconds) |
| 2024-03-08 22:35:01 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-03-08 22:37:14 +0100 | mizlan | (~mizlan@2607:f010:2e9:b:8c79:eb45:5954:d939) |
| 2024-03-08 22:38:27 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-08 22:40:01 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2024-03-08 22:40:38 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-03-08 22:47:43 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-03-08 22:48:38 +0100 | <byorgey> | monochrom: indeed, reminds me of the 'Measured' class from the finger tree paper |
| 2024-03-08 22:50:33 +0100 | mxs | (~mxs@user/mxs) (Quit: The Lounge - https://thelounge.chat) |
| 2024-03-08 22:52:11 +0100 | <EvanR> | if anyone was ironically interesting in NeoHaskell I have good news. Someone already did the work to produce NeoHaskell, i.e. "a language like haskell but missing a bunch of stuff that someone considered to be too difficult". it's name is gleam |
| 2024-03-08 22:52:39 +0100 | <EvanR> | difference is this language is real |
| 2024-03-08 22:53:30 +0100 | <probie> | Is that the one which runs on BEAM? |
| 2024-03-08 22:53:45 +0100 | <EvanR> | yes |
| 2024-03-08 22:54:04 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-08 22:58:47 +0100 | mizlan | (~mizlan@2607:f010:2e9:b:8c79:eb45:5954:d939) (Ping timeout: 260 seconds) |
| 2024-03-08 22:59:02 +0100 | <tomsmeding> | EvanR: can it do the things monochrom and I were mentioning :p |
| 2024-03-08 22:59:28 +0100 | <int-e> | does it shimmer in the dark |
| 2024-03-08 22:59:30 +0100 | <tomsmeding> | can I even be a wannabe Agda programmer |
| 2024-03-08 22:59:41 +0100 | <int-e> | tomsmeding: yes you can |
| 2024-03-08 22:59:48 +0100 | <tomsmeding> | in gleam, that is |
| 2024-03-08 22:59:58 +0100 | <int-e> | All you have to do is to want to be an Agda programmer. |
| 2024-03-08 23:00:02 +0100 | <tomsmeding> | :D |
| 2024-03-08 23:00:28 +0100 | <EvanR> | it doesn't have type classes |
| 2024-03-08 23:00:37 +0100 | <tomsmeding> | O.O |
| 2024-03-08 23:00:50 +0100 | <int-e> | Lazy ML without modules? |
| 2024-03-08 23:00:52 +0100 | <EvanR> | it has a justification for why not in the FAQ |
| 2024-03-08 23:00:55 +0100 | <tomsmeding> | I was expecting it to give up around type families or so |
| 2024-03-08 23:01:12 +0100 | <int-e> | Or maybe it's not lazy either... because laziness is also complicated. |
| 2024-03-08 23:01:14 +0100 | <Rembane> | tomsmeding: Try Purescript for the "I can't believe it's not Haskell"-feeling. |
| 2024-03-08 23:01:24 +0100 | <ph88> | what is the general opinion of the singletons library ? |
| 2024-03-08 23:01:28 +0100 | <Rembane> | IIRC gleam is eager |
| 2024-03-08 23:02:02 +0100 | <tomsmeding> | I write so little code that depends on laziness that I don't even care much about eager evaluation |
| 2024-03-08 23:02:11 +0100 | <EvanR> | are you sure? xD |
| 2024-03-08 23:02:16 +0100 | <tomsmeding> | no xD |
| 2024-03-08 23:02:26 +0100 | <tomsmeding> | well mostly |
| 2024-03-08 23:02:37 +0100 | <int-e> | in Haskell, short-circuiting || and && rely on laziness |
| 2024-03-08 23:02:39 +0100 | <EvanR> | I tried to write some code in idris and realized I need to reconfigure my brain |
| 2024-03-08 23:02:42 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-03-08 23:02:52 +0100 | <EvanR> | unless I want things to be dirt slow |
| 2024-03-08 23:02:57 +0100 | <tomsmeding> | ph88: I tend to write my own singleton GADTs manually and eschew the general framework from the library |
| 2024-03-08 23:03:07 +0100 | <int-e> | And there's the ubiquitous use of `where` that would have awkward semantics without laziness |
| 2024-03-08 23:03:53 +0100 | <EvanR> | like, accumulating parameters are serious and seriously necessary without laziness |
| 2024-03-08 23:04:03 +0100 | <tomsmeding> | the 'where' thing is only for non-functions, and even then writing stuff without the intent to use it in all branches always felt weird to me |
| 2024-03-08 23:04:06 +0100 | <EvanR> | and they get old xD |
| 2024-03-08 23:04:08 +0100 | <tomsmeding> | the && and || thing is real though |
| 2024-03-08 23:04:12 +0100 | <ph88> | quite an invasive library as it looks like |
| 2024-03-08 23:04:32 +0100 | tomsmeding | admits to never having used the singletons library |
| 2024-03-08 23:04:51 +0100 | <EvanR> | maybe you embrace eagerness more often than not in your haskell code |
| 2024-03-08 23:05:04 +0100 | <tomsmeding> | EvanR: example of annoying accumulating parameters? |
| 2024-03-08 23:05:08 +0100 | <EvanR> | using the default lazy behavior selectively |
| 2024-03-08 23:05:45 +0100 | <EvanR> | example, function to compute the length of a list |
| 2024-03-08 23:06:00 +0100 | <tomsmeding> | oh right, no tail recursion you mean |
| 2024-03-08 23:06:03 +0100 | mizlan | (~mizlan@2607:f010:2e9:b:a0b8:d43d:4e1e:e149) |
| 2024-03-08 23:06:14 +0100 | <EvanR> | or equivalently the value of a Nat as a machine int |
| 2024-03-08 23:07:05 +0100 | <EvanR> | ... er no you need tail recursion to write the function, but you need an accumulating parameter to store the intermediate sum |
| 2024-03-08 23:08:09 +0100 | <EvanR> | bad example because we do this in haskell anyway, with foldl' |
| 2024-03-08 23:08:41 +0100 | <tomsmeding> | I mean, you could write it without the accumulating parameter too (i.e. exactly as you'd write the naive recursive function in haskell), but it wouldn't be tail recursive |
| 2024-03-08 23:09:15 +0100 | <tomsmeding> | length [] = 0 ; length (x : xs) = 1 + length xs |
| 2024-03-08 23:09:53 +0100 | <EvanR> | try writing like any list function |
| 2024-03-08 23:09:59 +0100 | <EvanR> | it's gross xD |
| 2024-03-08 23:10:12 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-03-08 23:10:41 +0100 | <tomsmeding> | doesn't the compiler fix some of the missing tail recursion for you |
| 2024-03-08 23:11:08 +0100 | <EvanR> | I'm not sure what they would even mean |
| 2024-03-08 23:11:11 +0100 | <EvanR> | that |
| 2024-03-08 23:11:31 +0100 | <tomsmeding> | automatically introduce an accumulating parameter for you, making the function tail-recursive |
| 2024-03-08 23:11:37 +0100 | <tomsmeding> | but that's probably hard in general |
| 2024-03-08 23:11:51 +0100 | <EvanR> | not at all, back when I was doing idris |
| 2024-03-08 23:11:58 +0100 | <tomsmeding> | even for 'length' it depends on (+) on Int being associative |
| 2024-03-08 23:11:58 +0100 | <EvanR> | what you write is what you get for the most part |
| 2024-03-08 23:12:26 +0100 | <EvanR> | eager is as eager does |
| 2024-03-08 23:12:31 +0100 | <int-e> | I don't think it does... some libraries might accomplish this for their own functions through rewrite rules. |
| 2024-03-08 23:13:01 +0100 | <int-e> | (including the build/foldr fusion business in base) |
| 2024-03-08 23:13:08 +0100 | <EvanR> | the point of eager is so you don't have to guess or hope what the optimizer is going to do |
| 2024-03-08 23:13:21 +0100 | <EvanR> | and then not write your code is a non obvious way |
| 2024-03-08 23:13:32 +0100 | <EvanR> | blaw |
| 2024-03-08 23:13:47 +0100 | <int-e> | what the compiler may accomplish through strictness analysis is turning a foldl into a foldl' |
| 2024-03-08 23:13:55 +0100 | <int-e> | /may/ |
| 2024-03-08 23:18:00 +0100 | <ph88> | does it unroll loops? then you need an accumulator no? |
| 2024-03-08 23:18:29 +0100 | <EvanR> | what loops lol |
| 2024-03-08 23:22:33 +0100 | <int-e> | ph88: Unrolling would be inlining one or several recursive calls... it's conceivable that GHC does that sometimes, I don't know. |
| 2024-03-08 23:23:19 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2024-03-08 23:23:23 +0100 | <int-e> | And I guess when a tail recursive function is finally transformed to LLVM code (if that's the backend you use) it'll become a loop that LLVM might unroll. |
| 2024-03-08 23:23:30 +0100 | <int-e> | Lots of speculation in that one. |
| 2024-03-08 23:23:54 +0100 | <geekosaur> | llvm generally doesn't understand ghc's code because it's been cpsed |
| 2024-03-08 23:24:39 +0100 | <int-e> | I mean this is assuming that we have a fragment without any allocation or evaluation of unknown thunks. It would almost always be tiny. |
| 2024-03-08 23:25:35 +0100 | <tomsmeding> | that may not even hold for 'length', the list being lazy and potentially thunky |
| 2024-03-08 23:25:50 +0100 | <int-e> | Right, it wouldn't hold for length |
| 2024-03-08 23:26:01 +0100 | <tomsmeding> | in which case it holds for basically nothing in practice |
| 2024-03-08 23:26:01 +0100 | <int-e> | It might work for something like summing an unboxed vector. |
| 2024-03-08 23:26:10 +0100 | <geekosaur> | eh? unless the list itself is a thunk, it won't matter |
| 2024-03-08 23:26:14 +0100 | <tomsmeding> | right, there might be some bytestring internals |
| 2024-03-08 23:26:26 +0100 | <tomsmeding> | geekosaur: the tail of the list might be a thunk, how can ghc know |
| 2024-03-08 23:26:42 +0100 | <tomsmeding> | and hence how can the generated code know |
| 2024-03-08 23:30:35 +0100 | <int-e> | An example of "unrolling" by inlining one recursive call (and some simplification relying on associativity so it'll depend on the concrete type) would be: length (_:_:xs) = 2 + length xs; length (_:xs) = 1 + length xs; length _ = 0 |
| 2024-03-08 23:31:06 +0100 | <int-e> | And I don't know whether ghc ever does this. |
| 2024-03-08 23:32:36 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 260 seconds) |
| 2024-03-08 23:34:52 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-08 23:37:55 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-03-08 23:39:27 +0100 | <ph88> | int-e, can't we just stick that in godbolt and have a look ? |
| 2024-03-08 23:39:28 +0100 | notzmv | (~daniel@user/notzmv) |
| 2024-03-08 23:39:34 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-03-08 23:41:01 +0100 | <int-e> | feel free to try |
| 2024-03-08 23:41:04 +0100 | <geekosaur> | or play.haskell.org |
| 2024-03-08 23:43:03 +0100 | <[Leary]> | iirc ghc identifies loop-breakers refuses to inline them |
| 2024-03-08 23:43:05 +0100 | <int-e> | (My expectation is that ghc does none of the above... but I don't know enough about its internals to be sure. In this case, I don't know how strictly it enforces not inlining "loop breakers".) |
| 2024-03-08 23:43:14 +0100 | <[Leary]> | and* |
| 2024-03-08 23:43:38 +0100 | darkling | (~darkling@2001:ba8:1f1:f0e6::2) (Summoning his cosmic powers, and glowing slightly from his toes...) |
| 2024-03-08 23:43:49 +0100 | darkling | (~darkling@2001:ba8:1f1:f0e6::2) |
| 2024-03-08 23:52:05 +0100 | <ph88> | reading the assembly is not east :| |
| 2024-03-08 23:53:26 +0100 | <monochrom> | When I want to read GHC-generated assembly, I also ask it to generate core and cmm. Then it is easier to follow. |
| 2024-03-08 23:59:58 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |