| 2024-11-17 00:02:19 +0000 | Spawns | Spawns_Carpeting |
| 2024-11-17 00:06:14 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-17 00:17:51 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-11-17 00:19:17 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-11-17 00:20:02 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-11-17 00:20:19 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2024-11-17 00:20:36 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
| 2024-11-17 00:27:16 +0000 | EvanR | (~EvanR@user/evanr) EvanR |
| 2024-11-17 00:28:19 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f16f0fc97e1b3533d6e.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-11-17 00:31:56 +0000 | xff0x | (~xff0x@2405:6580:b080:900:8539:398e:9716:eb72) (Ping timeout: 244 seconds) |
| 2024-11-17 00:35:42 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2024-11-17 00:39:28 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-17 00:53:24 +0000 | sprotte24 | (~sprotte24@p200300d16f220900784866affc8a4e1f.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2024-11-17 00:55:27 +0000 | CrunchyFlakes_ | (~CrunchyFl@31.19.233.78) (Ping timeout: 276 seconds) |
| 2024-11-17 01:11:48 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Read error: Connection reset by peer) |
| 2024-11-17 01:22:21 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-11-17 01:41:07 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-11-17 01:42:41 +0000 | xff0x | (~xff0x@2405:6580:b080:900:cd46:bdad:3f65:8b0c) |
| 2024-11-17 01:43:08 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-17 01:44:34 +0000 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Ping timeout: 260 seconds) |
| 2024-11-17 01:45:45 +0000 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) flukiluke |
| 2024-11-17 01:46:06 +0000 | <haskellbridge> | <zwro> anyone has the link to that humourous text about the many types of Haskell programmer and how they would write fib (i think it was)? |
| 2024-11-17 01:49:57 +0000 | <geekosaur> | no link but I think that's "evolution of a haskell programmer" |
| 2024-11-17 01:50:27 +0000 | <haskellbridge> | <zwro> https://pages.cpsc.ucalgary.ca/~robin/class/449/Evolution.htm there we go. thanks |
| 2024-11-17 01:56:14 +0000 | gvg | (~dcd@user/gvg) (Ping timeout: 260 seconds) |
| 2024-11-17 01:56:34 +0000 | gvg | (~dcd@user/gvg) gvg |
| 2024-11-17 02:24:32 +0000 | j1n37 | (j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-11-17 02:25:05 +0000 | tremon | (~tremon@83.80.159.219) (Remote host closed the connection) |
| 2024-11-17 02:27:40 +0000 | j1n37 | (j1n37@user/j1n37) j1n37 |
| 2024-11-17 02:33:09 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-11-17 02:44:22 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-17 02:54:16 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-17 02:55:11 +0000 | bairyn | (~bairyn@50.250.232.19) (Ping timeout: 255 seconds) |
| 2024-11-17 02:57:04 +0000 | bairyn | (~bairyn@50.250.232.19) ByronJohnson |
| 2024-11-17 03:05:03 +0000 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2024-11-17 03:05:34 +0000 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2024-11-17 03:07:19 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2024-11-17 03:08:55 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2024-11-17 03:25:39 +0000 | td_ | (~td@i53870904.versanet.de) (Ping timeout: 252 seconds) |
| 2024-11-17 03:27:35 +0000 | td_ | (~td@i5387090C.versanet.de) |
| 2024-11-17 03:29:45 +0000 | j1n37 | (j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-11-17 03:34:33 +0000 | j1n37 | (j1n37@user/j1n37) j1n37 |
| 2024-11-17 03:38:50 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-17 03:39:23 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-11-17 03:41:25 +0000 | mantraofpie_ | (~mantraofp@user/mantraofpie) mantraofpie |
| 2024-11-17 03:42:21 +0000 | mantraofpie | (~mantraofp@user/mantraofpie) (Ping timeout: 260 seconds) |
| 2024-11-17 03:42:32 +0000 | mantraofpie_ | mantraofpie |
| 2024-11-17 04:16:39 +0000 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-17 04:25:01 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-17 05:23:14 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
| 2024-11-17 05:24:52 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-11-17 05:35:31 +0000 | talismanick | (~user@2601:644:937c:ed10::ae5) (Read error: Connection reset by peer) |
| 2024-11-17 05:35:46 +0000 | talismanick | (~user@2601:644:937c:ed10::ae5) talismanick |
| 2024-11-17 05:46:35 +0000 | m1dnight | (~m1dnight@d8D861908.access.telenet.be) (Quit: WeeChat 3.0) |
| 2024-11-17 05:47:36 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-11-17 05:52:48 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2024-11-17 05:54:06 +0000 | alp | (~alp@2001:861:e3d6:8f80:2261:439d:9740:2954) (Remote host closed the connection) |
| 2024-11-17 05:54:28 +0000 | alp | (~alp@2001:861:e3d6:8f80:219f:d61f:f65c:c0af) |
| 2024-11-17 06:00:30 +0000 | alp | (~alp@2001:861:e3d6:8f80:219f:d61f:f65c:c0af) (Remote host closed the connection) |
| 2024-11-17 06:15:27 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-11-17 06:29:17 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-11-17 06:38:28 +0000 | uli-fem | (~uli-fem@27-32-68-48.tpgi.com.au) |
| 2024-11-17 06:42:38 +0000 | uli-fem | (~uli-fem@27-32-68-48.tpgi.com.au) (Changing host) |
| 2024-11-17 06:42:38 +0000 | uli-fem | (~uli-fem@user/uli-fem) uli-fem |
| 2024-11-17 06:42:48 +0000 | uli-fem | ulipink |
| 2024-11-17 06:45:07 +0000 | ulipink | (~uli-fem@user/uli-fem) (Remote host closed the connection) |
| 2024-11-17 06:50:24 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2024-11-17 06:58:09 +0000 | ulipink | (~ulipink@user/uli-fem) uli-fem |
| 2024-11-17 06:58:42 +0000 | ulipink | (~ulipink@user/uli-fem) (Client Quit) |
| 2024-11-17 06:58:43 +0000 | Square | (~Square@user/square) Square |
| 2024-11-17 06:59:38 +0000 | ulipink | (~ulipink@user/uli-fem) uli-fem |
| 2024-11-17 07:03:04 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-11-17 07:06:14 +0000 | uli-fem | (~uli-fem@27-32-68-48.tpgi.com.au) |
| 2024-11-17 07:14:00 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-11-17 07:15:18 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2024-11-17 07:20:47 +0000 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2024-11-17 07:21:01 +0000 | Square | (~Square@user/square) Square |
| 2024-11-17 07:21:59 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2024-11-17 07:25:50 +0000 | briandaed | (~root@185.234.210.211.r.toneticgroup.pl) |
| 2024-11-17 07:31:49 +0000 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 2024-11-17 07:35:48 +0000 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2024-11-17 07:51:46 +0000 | uli-fem | (~uli-fem@27-32-68-48.tpgi.com.au) (Remote host closed the connection) |
| 2024-11-17 07:54:46 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-11-17 07:57:09 +0000 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-11-17 07:58:06 +0000 | misterfish | (~misterfis@046044172198.static.ipv4.heldenvannu.net) misterfish |
| 2024-11-17 08:00:01 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-17 08:00:07 +0000 | tt1231097832435 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
| 2024-11-17 08:00:36 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-17 08:03:23 +0000 | ulipink | (~ulipink@user/uli-fem) (Quit: ulipink) |
| 2024-11-17 08:03:45 +0000 | tt1231097832435 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
| 2024-11-17 08:11:56 +0000 | briandaed | (~root@185.234.210.211.r.toneticgroup.pl) (Changing host) |
| 2024-11-17 08:11:56 +0000 | briandaed | (~root@user/briandaed) briandaed |
| 2024-11-17 08:26:27 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2024-11-17 08:27:14 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-11-17 08:27:19 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f99d1f5c7a18a74e073.dip0.t-ipconnect.de) acidjnk |
| 2024-11-17 08:32:29 +0000 | raym | (~ray@user/raym) raym |
| 2024-11-17 08:39:26 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-11-17 08:42:15 +0000 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2024-11-17 08:49:49 +0000 | Batzy_ | (~quassel@user/batzy) Batzy |
| 2024-11-17 08:50:48 +0000 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) (Remote host closed the connection) |
| 2024-11-17 08:52:35 +0000 | Batzy | (~quassel@user/batzy) (Ping timeout: 244 seconds) |
| 2024-11-17 08:56:06 +0000 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) |
| 2024-11-17 09:00:04 +0000 | j1n37 | (j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-11-17 09:04:23 +0000 | Square | (~Square@user/square) Square |
| 2024-11-17 09:06:26 +0000 | j1n37 | (j1n37@user/j1n37) j1n37 |
| 2024-11-17 09:09:09 +0000 | misterfish | (~misterfis@046044172198.static.ipv4.heldenvannu.net) (Ping timeout: 252 seconds) |
| 2024-11-17 09:14:06 +0000 | j1n37 | (j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-11-17 09:18:09 +0000 | j1n37 | (j1n37@user/j1n37) j1n37 |
| 2024-11-17 09:22:43 +0000 | j1n37 | (j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-11-17 09:26:22 +0000 | j1n37 | (j1n37@user/j1n37) j1n37 |
| 2024-11-17 09:29:23 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 2024-11-17 09:29:28 +0000 | tomboy65 | (~tomboy64@user/tomboy64) tomboy64 |
| 2024-11-17 09:38:26 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-17 09:45:23 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-11-17 09:48:49 +0000 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) misterfish |
| 2024-11-17 09:58:59 +0000 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |
| 2024-11-17 10:07:54 +0000 | euandreh | (~Thunderbi@189.6.105.228) (Remote host closed the connection) |
| 2024-11-17 10:08:19 +0000 | euandreh | (~Thunderbi@189.6.105.228) euandreh |
| 2024-11-17 10:11:21 +0000 | euandreh | (~Thunderbi@189.6.105.228) (Remote host closed the connection) |
| 2024-11-17 10:11:41 +0000 | euandreh | (~Thunderbi@189.6.105.228) euandreh |
| 2024-11-17 10:15:44 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2024-11-17 10:17:05 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-17 10:17:32 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-11-17 10:20:13 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-11-17 10:20:22 +0000 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2024-11-17 10:23:14 +0000 | vanishing | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-11-17 10:25:36 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2024-11-17 10:29:18 +0000 | tomboy65 | (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 2024-11-17 10:29:30 +0000 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2024-11-17 10:38:48 +0000 | m1dnight | (~m1dnight@d8D861908.access.telenet.be) m1dnight |
| 2024-11-17 10:42:00 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) Raito_Bezarius |
| 2024-11-17 10:56:57 +0000 | Digitteknohippie | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2024-11-17 11:05:47 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-11-17 11:06:18 +0000 | euandreh | (~Thunderbi@189.6.105.228) (Quit: euandreh) |
| 2024-11-17 11:11:21 +0000 | spenat | (~spenat@c-92-35-37-17.bbcust.telenor.se) (Ping timeout: 246 seconds) |
| 2024-11-17 11:11:21 +0000 | j1n37 | (j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-11-17 11:11:58 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-17 11:17:13 +0000 | j1n37 | (j1n37@user/j1n37) j1n37 |
| 2024-11-17 11:27:31 +0000 | vanishing | vanishingideal |
| 2024-11-17 11:29:49 +0000 | gvg | (~dcd@user/gvg) (Ping timeout: 260 seconds) |
| 2024-11-17 11:31:48 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds) |
| 2024-11-17 11:35:17 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2024-11-17 11:36:41 +0000 | gvg | (~dcd@user/gvg) gvg |
| 2024-11-17 11:37:03 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-11-17 11:40:19 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-11-17 11:47:45 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2024-11-17 11:49:46 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-11-17 11:50:57 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-11-17 11:57:26 +0000 | vanishing | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-11-17 11:58:35 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2024-11-17 12:01:29 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-11-17 12:01:35 +0000 | mrmr155334346318 | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
| 2024-11-17 12:04:30 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2024-11-17 12:04:50 +0000 | oxide | (~lambda@user/oxide) oxide |
| 2024-11-17 12:13:57 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-11-17 12:15:46 +0000 | divya | (~user@139.5.11.76) divya |
| 2024-11-17 12:18:37 +0000 | mrmr155334346318 | (~mrmr@user/mrmr) mrmr |
| 2024-11-17 12:29:32 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-17 12:45:52 +0000 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2024-11-17 12:55:38 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2024-11-17 12:59:50 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-17 13:02:29 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-17 13:06:30 +0000 | sprotte24 | (~sprotte24@p200300d16f2c3600a1fb2e60ac56d901.dip0.t-ipconnect.de) |
| 2024-11-17 13:21:31 +0000 | Digit | (~user@user/digit) Digit |
| 2024-11-17 13:29:59 +0000 | duckworld | (~duckworld@user/duckworld) duckworld |
| 2024-11-17 13:40:15 +0000 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) billchenchina |
| 2024-11-17 13:53:11 +0000 | spenat | (~spenat@c-92-35-37-17.bbcust.telenor.se) |
| 2024-11-17 13:57:09 +0000 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-11-17 13:57:21 +0000 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-17 14:02:30 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f99d1f5c7a18a74e073.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-11-17 14:37:24 +0000 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2024-11-17 14:37:41 +0000 | euleritian | (~euleritia@dynamic-176-006-131-010.176.6.pool.telefonica.de) |
| 2024-11-17 14:46:44 +0000 | <hellwolf> | If I had to use types such as Int8, what's the most idiomatic and convenient way of detecting overflowing before (+) etc.? |
| 2024-11-17 14:49:25 +0000 | <mauke> | I'm not aware of any convenient way |
| 2024-11-17 14:50:43 +0000 | <mauke> | assuming non-negative inputs, if maxBound - a < b then overflow |
| 2024-11-17 14:53:59 +0000 | euleritian | (~euleritia@dynamic-176-006-131-010.176.6.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2024-11-17 14:56:14 +0000 | euleritian | (~euleritia@dynamic-176-003-035-049.176.3.pool.telefonica.de) |
| 2024-11-17 14:58:28 +0000 | <briandaed> | Interesting https://hackage.haskell.org/package/base-4.3.1.0/docs/src/GHC-Int.html#Int8 throws overflowError for succ / pred but not for (+) |
| 2024-11-17 15:00:18 +0000 | <geekosaur> | the Report requires it for `succ` and `pred` |
| 2024-11-17 15:00:30 +0000 | euleritian | (~euleritia@dynamic-176-003-035-049.176.3.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-11-17 15:00:54 +0000 | <geekosaur> | `(+)` is harder especially since ghc internally works with machine words, not bytes |
| 2024-11-17 15:01:13 +0000 | <briandaed> | and thereis https://hackage.haskell.org/package/safeint although it's for Int and not actively developed |
| 2024-11-17 15:01:18 +0000 | <geekosaur> | so you can't even use the sign bit flipping as an overunderflow indicator |
| 2024-11-17 15:01:35 +0000 | <geekosaur> | there is `witch` but I think it's only for conversions |
| 2024-11-17 15:01:36 +0000 | <briandaed> | thanks geekosaur, must look into the report (again) |
| 2024-11-17 15:03:55 +0000 | <hellwolf> | I guess I will just handwrite it then. |
| 2024-11-17 15:05:58 +0000 | <geekosaur> | and as mauke hinted, it's a major bear if either input is negative |
| 2024-11-17 15:06:09 +0000 | <Hecate> | hellwolf: we don't have checked arithmetic in development mode yet, but you can write bindings like I did https://github.com/Kleidukos/checked-arithmetic/blob/main/src/Checked.hs |
| 2024-11-17 15:06:57 +0000 | <hellwolf> | Thanks Hecate! |
| 2024-11-17 15:07:21 +0000 | <geekosaur> | oh, if gcc already does the heavy lifting, sure |
| 2024-11-17 15:19:04 +0000 | EvanR | (~EvanR@user/evanr) (Ping timeout: 260 seconds) |
| 2024-11-17 15:22:40 +0000 | <Hecate> | it's more the glibc here |
| 2024-11-17 15:23:40 +0000 | <geekosaur> | `__builtin_` usually indicates a compiler intrinsic |
| 2024-11-17 15:26:59 +0000 | gorignak | (~gorignak@user/gorignak) (Read error: Connection reset by peer) |
| 2024-11-17 15:27:12 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-17 15:27:44 +0000 | <Hecate> | ah indeed you are right |
| 2024-11-17 15:29:04 +0000 | emfrom | (~emfrom@37.168.23.134) |
| 2024-11-17 15:37:17 +0000 | jinsun | (~jinsun@user/jinsun) jinsun |
| 2024-11-17 15:39:12 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-11-17 15:44:16 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-17 15:44:46 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-17 15:44:49 +0000 | euleritian | (~euleritia@77.22.252.159) |
| 2024-11-17 15:48:08 +0000 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2024-11-17 15:48:43 +0000 | emfrom | (~emfrom@37.168.23.134) (Ping timeout: 245 seconds) |
| 2024-11-17 15:51:34 +0000 | euleritian | (~euleritia@77.22.252.159) (Ping timeout: 260 seconds) |
| 2024-11-17 15:52:01 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-11-17 15:52:40 +0000 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-11-17 15:52:42 +0000 | euleritian | (~euleritia@dynamic-176-004-178-042.176.4.pool.telefonica.de) |
| 2024-11-17 15:53:41 +0000 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-11-17 15:54:26 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-17 15:54:57 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-17 15:59:29 +0000 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2024-11-17 16:03:33 +0000 | euleritian | (~euleritia@dynamic-176-004-178-042.176.4.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2024-11-17 16:04:05 +0000 | euleritian | (~euleritia@77.22.252.159) |
| 2024-11-17 16:04:38 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-17 16:05:08 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-17 16:06:56 +0000 | shapr | (~user@2600:4040:5c49:5600:cd62:8744:52b3:406b) shapr |
| 2024-11-17 16:14:49 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-17 16:15:19 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-17 16:16:02 +0000 | zlqrvx | (~zlqrvx@user/zlqrvx) (Ping timeout: 252 seconds) |
| 2024-11-17 16:20:25 +0000 | Alleria | (~Alleria@user/alleria) (Remote host closed the connection) |
| 2024-11-17 16:25:00 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-17 16:25:31 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-17 16:25:48 +0000 | Everything | (~Everythin@178-133-181-60.mobile.vf-ua.net) Everything |
| 2024-11-17 16:26:47 +0000 | zlqrvx | (~zlqrvx@user/zlqrvx) zlqrvx |
| 2024-11-17 16:29:20 +0000 | <briandaed> | How long does it take to compile ghc from sources, is it minutes or rather hours? Started process on 4c/8t@2.2Ghz (although I don't see heavy usage of all of them)/32gb ram (47%) |
| 2024-11-17 16:30:10 +0000 | <geekosaur> | on my machine (amd ryzen 16 cores 32gb) it's about 22 minutes for a normal build |
| 2024-11-17 16:30:32 +0000 | <briandaed> | oh I see, thanks |
| 2024-11-17 16:31:31 +0000 | <geekosaur> | it doesn't use many cores; ghc is kinda poor at parallelized compiles |
| 2024-11-17 16:31:40 +0000 | <geekosaur> | as such I rarely give it more than 4 |
| 2024-11-17 16:31:45 +0000 | <Hecate> | let me see on mine |
| 2024-11-17 16:31:59 +0000 | <briandaed> | yeah... looks it's a time to change laptop, 28 minutes here, not sure if compiling on FreeBSD make it slower... |
| 2024-11-17 16:32:32 +0000 | <Hecate> | I doubt it |
| 2024-11-17 16:32:39 +0000 | <Hecate> | I can test on my FreeBSD box |
| 2024-11-17 16:32:49 +0000 | <Hecate> | briandaed: also hello fellow FreeBSD user! :D |
| 2024-11-17 16:33:07 +0000 | <briandaed> | hello :D |
| 2024-11-17 16:34:32 +0000 | <Hecate> | briandaed: drop me a line at hecate@haskell.foundation if you ever find problems on FreeBSD, I try to help on this front |
| 2024-11-17 16:35:55 +0000 | <briandaed> | Hecate please also share commands you issue to build it, I followed something found on ghc-devs not sure if it's optimal what I've found |
| 2024-11-17 16:36:35 +0000 | <briandaed> | problems... only until recently something with messed flags, with 9.2.7 installed via ghcup, today switched to 9.6.6 and so far so good |
| 2024-11-17 16:37:38 +0000 | <haskellbridge> | <maerwald> briandaed: 9.6.6 is broken |
| 2024-11-17 16:37:43 +0000 | <briandaed> | oops |
| 2024-11-17 16:38:54 +0000 | <haskellbridge> | <maerwald> https://gitlab.haskell.org/ghc/ghc/-/issues/24672 |
| 2024-11-17 16:39:17 +0000 | <haskellbridge> | <maerwald> An RTS bug with kqueue |
| 2024-11-17 16:40:16 +0000 | <Hecate> | ./boot && ./configure && ./hadrian/build -j --flavour=Quick |
| 2024-11-17 16:40:17 +0000 | <Hecate> | briandaed: |
| 2024-11-17 16:40:26 +0000 | <Hecate> | with GHC 9.10.1 as the boot GHC |
| 2024-11-17 16:40:28 +0000 | <haskellbridge> | <maerwald> It's unclear why I only hit it in 9.6 though |
| 2024-11-17 16:40:29 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f99b0ad6825ae812995.dip0.t-ipconnect.de) acidjnk |
| 2024-11-17 16:42:05 +0000 | <briandaed> | maerwald, Hecate: thanks and thanks |
| 2024-11-17 16:44:33 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-17 16:45:04 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-17 16:48:18 +0000 | <Hecate> | built in 11m46s on my Fedora box with a Ryzen 5 7600X (12 threads) @ 5.453GHz |
| 2024-11-17 16:49:29 +0000 | <briandaed> | nice, I gave up after 0.5h and some errors, and looks it's time for change |
| 2024-11-17 16:50:09 +0000 | <Hecate> | laptops are not good compilation machines for big projects anyway, briandaed. They often have not-so-good air flow, which is quite critical |
| 2024-11-17 16:50:13 +0000 | <Hecate> | big projects like GHC and LLVM |
| 2024-11-17 16:50:16 +0000 | <Hecate> | or Firefox |
| 2024-11-17 16:50:46 +0000 | <briandaed> | I agree, and looks high frequency is more important than core count |
| 2024-11-17 16:51:17 +0000 | <shapr> | Is that for lower memory latency? |
| 2024-11-17 16:53:50 +0000 | <briandaed> | wouldn't bet on memory latency, rather on being computing intensive (cpu-bound) |
| 2024-11-17 16:54:25 +0000 | <Hecate> | briandaed: there's a couple of rules indeed. One of them being: Plan to use 1GB of RAM for each thread of compilation. If you have more cores than gigabytes of RAM, you *must* restrict the amount of cores used |
| 2024-11-17 16:54:36 +0000 | <Hecate> | erm, s/cores/threads/ |
| 2024-11-17 16:56:49 +0000 | <briandaed> | again agree, some ancient results https://qbaylogic.github.io/benchmark-compilation/ which I believe still make sense |
| 2024-11-17 16:57:43 +0000 | <shapr> | ooh, I want to run the benchmark on my laptop |
| 2024-11-17 16:59:42 +0000 | <Hecate> | https://i.imgur.com/AcH1Rir.png |
| 2024-11-17 16:59:43 +0000 | <Hecate> | noice |
| 2024-11-17 17:01:14 +0000 | <briandaed> | looks like new aphex twin track |
| 2024-11-17 17:01:25 +0000 | jonkri | (~jonkri@90-230-234-124-no600.tbcn.telia.com) jonkri |
| 2024-11-17 17:02:26 +0000 | <briandaed> | -j killed my junk |
| 2024-11-17 17:02:38 +0000 | <Hecate> | :D |
| 2024-11-17 17:03:55 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-11-17 17:04:38 +0000 | Everything | (~Everythin@178-133-181-60.mobile.vf-ua.net) (Quit: leaving) |
| 2024-11-17 17:10:51 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-11-17 17:16:43 +0000 | <Hecate> | Build completed in 19m37s on my FreeBSD box with Intel i7-7700 (8 thread) @ 3.600GHz |
| 2024-11-17 17:16:43 +0000 | euleritian | (~euleritia@77.22.252.159) (Read error: Connection reset by peer) |
| 2024-11-17 17:17:43 +0000 | euleritian | (~euleritia@77.22.252.159) |
| 2024-11-17 17:18:13 +0000 | <briandaed> | 17m and still going, but got some errors, flags and some atomic operations changed for gcc 4.4 |
| 2024-11-17 17:18:53 +0000 | <briandaed> | FreeBSD caesar 14.1-RELEASE-p5 FreeBSD 14.1-RELEASE-p5 GENERIC amd64 |
| 2024-11-17 17:23:12 +0000 | <jonkri> | Hi! I'm looking into using GHC.Iface.Load to access the API of packages programmatically. Is there a straightforward way of getting a GHC.Driver.Session.Settings record? Thanks! |
| 2024-11-17 17:29:04 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-17 17:29:36 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-17 17:36:22 +0000 | <briandaed> | Build completed in 35m18s :| |
| 2024-11-17 17:37:23 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2024-11-17 17:37:45 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-17 17:39:16 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-17 17:39:47 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-17 17:45:29 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2024-11-17 17:49:27 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-17 17:49:56 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-17 17:56:20 +0000 | rynite | (~bwkam@user/rynite) rynite |
| 2024-11-17 17:59:38 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-17 17:59:38 +0000 | <rynite> | hello. I have an annoying issue with my emacs lsp setup where some lsp error keeps popping as I type |
| 2024-11-17 17:59:51 +0000 | <rynite> | https://paste.tomsmeding.com/yco1iWtv |
| 2024-11-17 18:00:09 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-17 18:00:39 +0000 | <rynite> | any ideas? |
| 2024-11-17 18:02:07 +0000 | <briandaed> | https://github.com/haskell/haskell-language-server/issues/3535 |
| 2024-11-17 18:03:01 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 248 seconds) |
| 2024-11-17 18:04:33 +0000 | <rynite> | oh so it's fixed |
| 2024-11-17 18:04:45 +0000 | <rynite> | maybe I need to update it |
| 2024-11-17 18:05:43 +0000 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2024-11-17 18:08:15 +0000 | <rynite> | hmm no I got the latest version |
| 2024-11-17 18:08:30 +0000 | <rynite> | already* |
| 2024-11-17 18:09:49 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-17 18:10:19 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-17 18:11:01 +0000 | Guest52 | (~Guest52@81-226-130-33-no2100.tbcn.telia.com) |
| 2024-11-17 18:12:08 +0000 | <briandaed> | rynite: latest version of hls or emacs with plugins? |
| 2024-11-17 18:12:16 +0000 | <rynite> | both |
| 2024-11-17 18:12:33 +0000 | Guest52 | (~Guest52@81-226-130-33-no2100.tbcn.telia.com) (Client Quit) |
| 2024-11-17 18:14:12 +0000 | <briandaed> | interesting, looks someone else encountered it recently https://www.reddit.com/r/haskell/comments/1ge4jvm/doomemacs_haskell_lsp_mistake/ |
| 2024-11-17 18:15:06 +0000 | <rynite> | yeah I seen it, unfortunately no answers were helpful |
| 2024-11-17 18:19:28 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-17 18:20:00 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-17 18:20:30 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-17 18:23:14 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-11-17 18:23:32 +0000 | Digit | (~user@user/digit) (Ping timeout: 255 seconds) |
| 2024-11-17 18:26:19 +0000 | <briandaed> | assuming that there is a 'client' on emacs side my rough guess would be protocol mismatch, maybe client is newer and can't handle 'older' server or vice versa |
| 2024-11-17 18:27:43 +0000 | <briandaed> | according to https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/ 3.17 is current protocol version, not sure which current hls is using, when using vscode + hls I've never encountered this error |
| 2024-11-17 18:30:06 +0000 | <rynite> | hmm alr lemme look into this |
| 2024-11-17 18:30:11 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-17 18:30:41 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-17 18:31:45 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds) |
| 2024-11-17 18:31:58 +0000 | jinsun_ | (~jinsun@user/jinsun) jinsun |
| 2024-11-17 18:31:58 +0000 | jinsun | Guest5558 |
| 2024-11-17 18:31:58 +0000 | Guest5558 | (~jinsun@user/jinsun) (Killed (platinum.libera.chat (Nickname regained by services))) |
| 2024-11-17 18:31:58 +0000 | jinsun_ | jinsun |
| 2024-11-17 18:37:28 +0000 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) (Remote host closed the connection) |
| 2024-11-17 18:39:31 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-11-17 18:40:22 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-17 18:40:53 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-17 18:42:32 +0000 | zetef | (~quassel@2a02:2f00:5006:c400:6a99:1fd6:7b24:7077) zetef |
| 2024-11-17 18:42:32 +0000 | zetef | (~quassel@2a02:2f00:5006:c400:6a99:1fd6:7b24:7077) (Client Quit) |
| 2024-11-17 18:50:33 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-17 18:51:04 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-17 18:52:05 +0000 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-17 18:54:01 +0000 | Digitteknohippie | Digit |
| 2024-11-17 18:57:54 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-11-17 18:58:21 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-17 19:00:26 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-17 19:00:44 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-17 19:01:15 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-17 19:09:45 +0000 | jonkri | (~jonkri@90-230-234-124-no600.tbcn.telia.com) (Quit: Client closed) |
| 2024-11-17 19:10:55 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-17 19:11:25 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-17 19:20:30 +0000 | michalz | (~michalz@185.246.207.203) |
| 2024-11-17 19:21:06 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-17 19:21:36 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-17 19:28:42 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2024-11-17 19:29:03 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-11-17 19:30:00 +0000 | <hellwolf> | who is also using emacs + lsp? have you noticed that the lsp code lenth for function signatures has a line break at around 70 characters... i am checking lsp-lens.el if I can configure it.. |
| 2024-11-17 19:31:17 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-17 19:31:47 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-17 19:32:00 +0000 | <hellwolf> | or maybe it's not emacs specific, I wonder how it looks like in vs code. |
| 2024-11-17 19:34:06 +0000 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) Natch |
| 2024-11-17 19:35:58 +0000 | rynite | (~bwkam@user/rynite) (Quit: WeeChat 4.4.1) |
| 2024-11-17 19:36:40 +0000 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Ping timeout: 265 seconds) |
| 2024-11-17 19:38:39 +0000 | oxide | (~lambda@user/oxide) (Ping timeout: 260 seconds) |
| 2024-11-17 19:39:45 +0000 | <shapr> | hellwolf: I think you can set that, pretty sure I had to fight with it recently |
| 2024-11-17 19:40:18 +0000 | <shapr> | From what I remember, the goal is to cut off too long strings that won't fit the output area |
| 2024-11-17 19:41:27 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-17 19:41:58 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-17 19:45:14 +0000 | <hellwolf> | makes sense.but i haven't found the settings. |
| 2024-11-17 19:48:08 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-17 19:50:29 +0000 | oxide | (~lambda@user/oxide) oxide |
| 2024-11-17 19:58:26 +0000 | Everything | (~Everythin@178-133-36-30.mobile.vf-ua.net) Everything |
| 2024-11-17 19:59:29 +0000 | <shapr> | hellwolf: I don't know if I ever found the exact setting, but I do know that lsp-treemacs-symbols changes the length when it first runs (and does not change it back on exit, thus my starting point) |
| 2024-11-17 20:00:02 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-17 20:00:38 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-17 20:06:27 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) () |
| 2024-11-17 20:07:14 +0000 | jonkri | (~jonkri@90-230-234-124-no600.tbcn.telia.com) jonkri |
| 2024-11-17 20:09:07 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-17 20:12:31 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2024-11-17 20:14:45 +0000 | divya | (~user@139.5.11.76) (Ping timeout: 248 seconds) |
| 2024-11-17 20:17:45 +0000 | son0p | (~ff@2800:e2:f80:ee7::4) son0p |
| 2024-11-17 20:22:39 +0000 | jonkri | (~jonkri@90-230-234-124-no600.tbcn.telia.com) (Ping timeout: 256 seconds) |
| 2024-11-17 20:24:49 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) () |
| 2024-11-17 20:24:55 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-17 20:25:25 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit) |
| 2024-11-17 20:25:44 +0000 | gvg | (~dcd@user/gvg) (Read error: Connection reset by peer) |
| 2024-11-17 20:26:15 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2024-11-17 20:29:06 +0000 | gvg | (~dcd@user/gvg) gvg |
| 2024-11-17 20:35:37 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) () |
| 2024-11-17 20:38:29 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2024-11-17 20:39:02 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2024-11-17 20:41:30 +0000 | Everything | (~Everythin@178-133-36-30.mobile.vf-ua.net) (Quit: leaving) |
| 2024-11-17 20:46:21 +0000 | Alleria_ | (~Alleria@user/alleria) Alleria |
| 2024-11-17 20:47:49 +0000 | Alleria | (~Alleria@user/alleria) (Ping timeout: 248 seconds) |
| 2024-11-17 20:50:41 +0000 | briandaed | (~root@user/briandaed) (Remote host closed the connection) |
| 2024-11-17 20:56:46 +0000 | son0p | (~ff@2800:e2:f80:ee7::4) (Ping timeout: 272 seconds) |
| 2024-11-17 20:58:30 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2024-11-17 21:02:42 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 265 seconds) |
| 2024-11-17 21:08:50 +0000 | <hellwolf> | red herring. instead, it seems it tries to format with one argument per line. |
| 2024-11-17 21:09:01 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-17 21:14:08 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.209) Jeanne-Kamikaze |
| 2024-11-17 21:18:42 +0000 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2024-11-17 21:18:46 +0000 | <geekosaur> | do you have ormolu/fourmolu turned on? |
| 2024-11-17 21:19:12 +0000 | <hellwolf> | no. I meant the lsp code lens, not the code itself. |
| 2024-11-17 21:20:30 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-11-17 21:23:10 +0000 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-17 21:25:37 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-11-17 21:26:50 +0000 | GuerrillaMonkey | (~Jeanne-Ka@79.127.217.59) Jeanne-Kamikaze |
| 2024-11-17 21:28:05 +0000 | RedFlamingos | (~RedFlamin@user/RedFlamingos) RedFlamingos |
| 2024-11-17 21:29:08 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.209) (Ping timeout: 245 seconds) |
| 2024-11-17 21:31:03 +0000 | cuteguest | (~cuteguest@75.149.164.102) |
| 2024-11-17 21:33:39 +0000 | <cuteguest> | this might be too specific of a question but.. for something like "forall {a} (x :: a) (as :: [*])." is there a difference between [*] and '[a]? shouldnt they both basically be [*]? |
| 2024-11-17 21:34:27 +0000 | <hellwolf> | very different. * is "Type" kind, a is any kind. |
| 2024-11-17 21:35:06 +0000 | <hellwolf> | I'd stop using "*", import Data.Kind (Type), to be clearer. |
| 2024-11-17 21:35:25 +0000 | <cuteguest> | okay.. the stars look so cool though.. but youre probably right.. |
| 2024-11-17 21:36:25 +0000 | <cuteguest> | could '[a] be a [*] ? like, '[a] is a [*] with 1 element, a |
| 2024-11-17 21:36:44 +0000 | <geekosaur> | no, it's a type level list of `a`s |
| 2024-11-17 21:36:57 +0000 | <cuteguest> | aahh i see |
| 2024-11-17 21:38:26 +0000 | <cuteguest> | wait.. but the compiler tells me when i write forall {a} (x :: a) (as :: '[a]) that '[a] has kind [*] |
| 2024-11-17 21:38:31 +0000 | <hellwolf> | I guess it's bad because, you'd think "*" is like a glob, for anything, but actually it is for the specific kind Type. |
| 2024-11-17 21:38:38 +0000 | <hellwolf> | while the [a] is more general |
| 2024-11-17 21:38:53 +0000 | <cuteguest> | ahh ok ok |
| 2024-11-17 21:39:40 +0000 | <hellwolf> | though I am not sure how often you can write something that works for any kind... I have no direct experience with it. |
| 2024-11-17 21:40:39 +0000 | <cuteguest> | mm mhm mhm |
| 2024-11-17 21:42:50 +0000 | <hellwolf> | if GHC thinks your 'a' is a '[*]', that means it is, using forall a. is simply to capture it so that you can use that kind variable in scope. |
| 2024-11-17 21:43:22 +0000 | <hellwolf> | you can force GHC to be schizophrenia. |
| 2024-11-17 21:43:26 +0000 | <hellwolf> | *cannot* |
| 2024-11-17 21:44:26 +0000 | <cuteguest> | thank you |
| 2024-11-17 21:44:35 +0000 | <cuteguest> | you are all so kind |
| 2024-11-17 21:45:49 +0000 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Ping timeout: 260 seconds) |
| 2024-11-17 21:48:17 +0000 | cuteguest | (~cuteguest@75.149.164.102) (Quit: Client closed) |
| 2024-11-17 21:49:18 +0000 | fp | (~Thunderbi@87-92-78-48.bb.dnainternet.fi) fp |
| 2024-11-17 21:50:05 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-11-17 21:53:26 +0000 | user363627 | (~user@user/user363627) user363627 |
| 2024-11-17 21:53:29 +0000 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2024-11-17 21:59:37 +0000 | Batzy_ | Batzy |
| 2024-11-17 22:05:26 +0000 | <fp> | So I got help here the other day with a basic Lisp parser I'm working on for learning and the result of that was that I should run my parser on tokens instead of on the whole character string. I think that means first turning the input text into, e.g. =[ParenL, Atom "format", True, String "Hello, World!\n", ParenR]=. I'm wondering how to actually do that? Do I need to bring in a parser? If so, should I feel uncomfortable that Parsec seems |
| 2024-11-17 22:06:24 +0000 | <fp> | If so, should I feel uncomfortable that Parsec seems to want to act on Chars? |
| 2024-11-17 22:07:51 +0000 | <geekosaur> | megaparsec supports arbitrary tokens and is preferred over parsec these days |
| 2024-11-17 22:07:56 +0000 | Everything | (~Everythin@178-133-36-30.mobile.vf-ua.net) Everything |
| 2024-11-17 22:08:15 +0000 | <geekosaur> | tokenizing could be done by a separate parser or by alex (a lexical analyzer generator, think flex for C) |
| 2024-11-17 22:12:36 +0000 | <fp> | Ah yeah it seems that megaparsec has the =satisfy= combinator for generic types, which was exactly what I was looking for |
| 2024-11-17 22:13:02 +0000 | <fp> | I saw Alex and it looks cool, though overkill for an unserious project like this |
| 2024-11-17 22:13:05 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-17 22:13:50 +0000 | Alleria_ | (~Alleria@user/alleria) (Remote host closed the connection) |
| 2024-11-17 22:14:29 +0000 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-17 22:23:54 +0000 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-11-17 22:29:13 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 2024-11-17 22:29:27 +0000 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2024-11-17 22:37:05 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-17 22:37:10 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.209) Jeanne-Kamikaze |
| 2024-11-17 22:39:56 +0000 | GuerrillaMonkey | (~Jeanne-Ka@79.127.217.59) (Ping timeout: 252 seconds) |
| 2024-11-17 22:50:46 +0000 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) (Ping timeout: 272 seconds) |
| 2024-11-17 22:52:08 +0000 | xff0x | (~xff0x@2405:6580:b080:900:cd46:bdad:3f65:8b0c) (Quit: xff0x) |
| 2024-11-17 22:56:53 +0000 | mange | (~user@user/mange) mange |
| 2024-11-17 22:56:56 +0000 | fp | (~Thunderbi@87-92-78-48.bb.dnainternet.fi) (Remote host closed the connection) |
| 2024-11-17 23:00:24 +0000 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2024-11-17 23:00:30 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.209) (Quit: Leaving) |
| 2024-11-17 23:03:55 +0000 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2024-11-17 23:04:10 +0000 | werneta_ | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2024-11-17 23:04:38 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-11-17 23:05:21 +0000 | ftzm | (~ftzm@085080230038.dynamic.telenor.dk) (Ping timeout: 276 seconds) |
| 2024-11-17 23:08:09 +0000 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2024-11-17 23:08:21 +0000 | Alleria | (~Alleria@user/alleria) (Remote host closed the connection) |
| 2024-11-17 23:09:09 +0000 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-17 23:10:08 +0000 | xff0x | (~xff0x@2405:6580:b080:900:ba13:33aa:3901:2450) |
| 2024-11-17 23:18:40 +0000 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-11-17 23:19:46 +0000 | mari-estel | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2024-11-17 23:20:02 +0000 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-11-17 23:21:56 +0000 | mari-estel | (~mari-este@user/mari-estel) (Client Quit) |
| 2024-11-17 23:22:37 +0000 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-11-17 23:25:10 +0000 | zlqrvx | (~zlqrvx@user/zlqrvx) (Quit: %quit%) |
| 2024-11-17 23:25:36 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f99b0ad6825ae812995.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-11-17 23:53:53 +0000 | divya | (~user@139.5.11.231) divya |
| 2024-11-17 23:55:56 +0000 | <SrPx> | so now that im using haskell for a larger project, monad transformers are unavoidable. but it is somewhat annoying to have chains of lifts. wouldn't it make more sense to have a list of the involved monads, and then a 'pick' that selects the one you want? like, `x <- pick M_IO $ something` instead of `x <- lift $ lift $ something` |
| 2024-11-17 23:57:17 +0000 | <Axman6> | that's basically what MTL is |
| 2024-11-17 23:57:48 +0000 | <SrPx> | oh, just learned about it. cool |
| 2024-11-17 23:57:52 +0000 | <glguy> | monad transformers are not an inevitability of large projects |
| 2024-11-17 23:59:09 +0000 | <glguy> | at most they can be an implementation detail of your more-specific monads that you are defining |
