| 2024-04-22 00:01:20 +0200 | bilegeek | (~bilegeek@2600:1008:b040:d1c9:9e18:85e2:b999:af86) |
| 2024-04-22 00:05:49 +0200 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 00:06:06 +0200 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 00:08:35 +0200 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2024-04-22 00:09:30 +0200 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 00:09:46 +0200 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 00:10:42 +0200 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 00:11:06 +0200 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 00:15:53 +0200 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 00:16:10 +0200 | xdminsy | (~xdminsy@117.147.70.233) (Ping timeout: 245 seconds) |
| 2024-04-22 00:20:31 +0200 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 00:27:10 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 2024-04-22 00:31:32 +0200 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 00:31:57 +0200 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 00:32:25 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 245 seconds) |
| 2024-04-22 00:33:51 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-04-22 00:43:37 +0200 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 00:46:50 +0200 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 00:46:57 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 272 seconds) |
| 2024-04-22 00:51:29 +0200 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 00:51:50 +0200 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 00:51:50 +0200 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 00:52:17 +0200 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 00:59:08 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-04-22 00:59:32 +0200 | nullobject | (~josh@user/nullobject) |
| 2024-04-22 01:03:08 +0200 | zetef | (~quassel@5.2.182.98) (Remote host closed the connection) |
| 2024-04-22 01:04:14 +0200 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 01:05:11 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
| 2024-04-22 01:08:42 +0200 | pastly | (~pastly@gateway/tor-sasl/pastly) (Ping timeout: 260 seconds) |
| 2024-04-22 01:11:11 +0200 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-04-22 01:11:14 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2024-04-22 01:16:59 +0200 | phma | (~phma@2001:5b0:210f:be8:a757:5762:40a:c4be) (Read error: Connection reset by peer) |
| 2024-04-22 01:17:57 +0200 | phma | (~phma@2001:5b0:210b:ce58:3fbf:e35b:d74c:35dc) |
| 2024-04-22 01:22:43 +0200 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Ping timeout: 256 seconds) |
| 2024-04-22 01:35:57 +0200 | philopsos | (~caecilius@user/philopsos) |
| 2024-04-22 01:38:07 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-22 01:39:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-22 01:45:58 +0200 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 2024-04-22 01:49:18 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-04-22 02:00:28 +0200 | pastly | (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection) |
| 2024-04-22 02:01:30 +0200 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-04-22 02:01:53 +0200 | Square | (~Square@user/square) |
| 2024-04-22 02:02:14 +0200 | pastly | (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection) |
| 2024-04-22 02:02:41 +0200 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-04-22 02:09:10 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 268 seconds) |
| 2024-04-22 02:18:41 +0200 | internatetional | (~internate@2001:448a:20a3:c2e5:184a:ab53:496c:8f20) |
| 2024-04-22 02:20:45 +0200 | internatetional_ | (~internate@2001:448a:20a3:c2e5:184a:ab53:496c:8f20) (Ping timeout: 245 seconds) |
| 2024-04-22 02:27:58 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-04-22 02:38:01 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-04-22 03:01:35 +0200 | <raehik> | We have Generically for deriving instances via Generic with nice syntax. Why don't we have Typeably, for instances via Typeable? |
| 2024-04-22 03:01:52 +0200 | <raehik> | is it just a case of "you can't do that much with Typeable so no one cared"? |
| 2024-04-22 03:03:00 +0200 | <geekosaur> | probably |
| 2024-04-22 03:04:09 +0200 | <raehik> | I guess it took Generically a while to make it into base and that's very useful |
| 2024-04-22 03:09:39 +0200 | <raehik> | (wow, Generically was GHC 9.4, I thought we'd had it for a few yrs) |
| 2024-04-22 03:10:16 +0200 | <raehik> | (wow GHC 9.4 was 2 yrs ago I have a poor sense of time) |
| 2024-04-22 03:32:53 +0200 | madariaga | (~madariaga@user/madariaga) (Quit: madariaga) |
| 2024-04-22 03:35:11 +0200 | iteratee | (~kyle@162.218.222.207) (Ping timeout: 256 seconds) |
| 2024-04-22 03:38:22 +0200 | werneta | (~werneta@71.83.160.242) |
| 2024-04-22 03:39:12 +0200 | otto_s | (~user@p5b044e85.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-04-22 03:40:54 +0200 | otto_s | (~user@p5b04489f.dip0.t-ipconnect.de) |
| 2024-04-22 03:42:14 +0200 | iteratee | (~kyle@162.218.222.207) |
| 2024-04-22 03:55:14 +0200 | mima | (~mmh@aftr-62-216-211-209.dynamic.mnet-online.de) (Ping timeout: 268 seconds) |
| 2024-04-22 03:58:19 +0200 | destituion | (~destituio@2a02:2121:340:2456:fffe:d0f:7737:dd1) (Ping timeout: 268 seconds) |
| 2024-04-22 04:03:35 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-04-22 04:10:29 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2024-04-22 04:13:22 +0200 | SteelBlueSilk | (~SteelBlue@user/SteelBlueSilk) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2024-04-22 04:13:40 +0200 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 245 seconds) |
| 2024-04-22 04:14:41 +0200 | SteelBlueSilk | (~SteelBlue@c-98-42-249-36.hsd1.ca.comcast.net) |
| 2024-04-22 04:14:41 +0200 | SteelBlueSilk | (~SteelBlue@c-98-42-249-36.hsd1.ca.comcast.net) (Changing host) |
| 2024-04-22 04:14:41 +0200 | SteelBlueSilk | (~SteelBlue@user/SteelBlueSilk) |
| 2024-04-22 04:15:09 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-22 04:21:06 +0200 | systemhalted | (~systemhal@130.51.137.77) |
| 2024-04-22 04:22:46 +0200 | systemhalted | (~systemhal@130.51.137.77) (Remote host closed the connection) |
| 2024-04-22 04:22:51 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
| 2024-04-22 04:27:21 +0200 | systemhalted_ | (~systemhal@130.51.137.77) |
| 2024-04-22 04:27:48 +0200 | systemhalted_ | (~systemhal@130.51.137.77) (Remote host closed the connection) |
| 2024-04-22 04:37:34 +0200 | ridcully | (~ridcully@p508ac2b4.dip0.t-ipconnect.de) |
| 2024-04-22 04:37:50 +0200 | td_ | (~td@i53870917.versanet.de) (Ping timeout: 245 seconds) |
| 2024-04-22 04:38:24 +0200 | ridcully_ | (~ridcully@p508acabd.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-04-22 04:39:07 +0200 | werneta | (~werneta@71.83.160.242) (Quit: Lost terminal) |
| 2024-04-22 04:39:45 +0200 | td_ | (~td@i53870931.versanet.de) |
| 2024-04-22 04:39:47 +0200 | yosef` | (~yosef`@user/yosef/x-2947716) |
| 2024-04-22 04:44:34 +0200 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 268 seconds) |
| 2024-04-22 04:49:52 +0200 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-04-22 04:51:20 +0200 | madariaga | (~madariaga@user/madariaga) |
| 2024-04-22 04:51:21 +0200 | madariaga | (~madariaga@user/madariaga) (Client Quit) |
| 2024-04-22 04:53:31 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-04-22 04:54:27 +0200 | euleritian | (~euleritia@176.2.131.125) |
| 2024-04-22 04:56:44 +0200 | euleritian | (~euleritia@176.2.131.125) (Read error: Connection reset by peer) |
| 2024-04-22 04:57:02 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-22 04:59:22 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-22 04:59:47 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-22 05:05:20 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2024-04-22 05:17:41 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2024-04-22 05:19:01 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-22 05:27:00 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2024-04-22 05:34:43 +0200 | aforemny_ | (~aforemny@2001:9e8:6cde:9300:d77b:b228:6e32:ed32) |
| 2024-04-22 05:34:48 +0200 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-04-22 05:34:53 +0200 | aforemny | (~aforemny@i59F516DE.versanet.de) (Ping timeout: 240 seconds) |
| 2024-04-22 05:37:44 +0200 | JimL | (~quassel@89.162.16.26) |
| 2024-04-22 05:53:05 +0200 | xigua | (~xigua@user/xigua) (Read error: Connection reset by peer) |
| 2024-04-22 05:53:19 +0200 | xigua | (~xigua@user/xigua) |
| 2024-04-22 05:57:28 +0200 | michalz | (~michalz@185.246.207.200) |
| 2024-04-22 05:59:30 +0200 | Piedro | (~Piedro@85.254.74.244) (Ping timeout: 250 seconds) |
| 2024-04-22 06:00:20 +0200 | actioninja | (~actioninj@user/actioninja) (Quit: see ya mane) |
| 2024-04-22 06:00:52 +0200 | actioninja | (~actioninj@user/actioninja) |
| 2024-04-22 06:02:01 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-04-22 06:04:10 +0200 | yosef` | (~yosef`@user/yosef/x-2947716) (Remote host closed the connection) |
| 2024-04-22 06:04:40 +0200 | zlqrvx | (~zlqrvx@user/zlqrvx) (Quit: %quit%) |
| 2024-04-22 06:04:40 +0200 | tertek | (~tertek@user/tertek) (Quit: %quit%) |
| 2024-04-22 06:12:08 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) |
| 2024-04-22 06:14:30 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2024-04-22 06:22:00 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
| 2024-04-22 06:26:10 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2024-04-22 06:26:36 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-04-22 06:30:42 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-04-22 06:33:09 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-04-22 06:40:53 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
| 2024-04-22 06:41:05 +0200 | peterbecich | (~Thunderbi@47.229.123.186) |
| 2024-04-22 06:56:30 +0200 | rosco | (~rosco@2001:e68:5411:64b:93a3:a30a:6b31:925a) |
| 2024-04-22 07:03:28 +0200 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 260 seconds) |
| 2024-04-22 07:14:23 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-04-22 07:15:35 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-04-22 07:17:25 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-04-22 07:20:25 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-04-22 07:29:46 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
| 2024-04-22 07:30:05 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-04-22 07:31:06 +0200 | Square2 | (~Square4@user/square) |
| 2024-04-22 07:33:39 +0200 | bilegeek | (~bilegeek@2600:1008:b040:d1c9:9e18:85e2:b999:af86) (Quit: Leaving) |
| 2024-04-22 07:33:40 +0200 | Square | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2024-04-22 07:37:25 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2024-04-22 07:37:47 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-04-22 07:40:23 +0200 | euleritian | (~euleritia@dynamic-176-002-131-092.176.2.pool.telefonica.de) |
| 2024-04-22 07:41:59 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2024-04-22 07:49:30 +0200 | Piedro | (~Piedro@m83-177-139-109.cust.tele2.lv) |
| 2024-04-22 07:54:11 +0200 | Piedro | (~Piedro@m83-177-139-109.cust.tele2.lv) (Remote host closed the connection) |
| 2024-04-22 07:57:22 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2024-04-22 07:57:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-22 07:59:56 +0200 | acidjnk | (~acidjnk@p200300d6e714dc576d6928eb96b27a5a.dip0.t-ipconnect.de) |
| 2024-04-22 08:23:10 +0200 | tok | (~user@user/tok) |
| 2024-04-22 08:30:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-22 08:36:11 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-04-22 08:43:43 +0200 | danza | (~francesco@151.57.252.198) |
| 2024-04-22 08:44:02 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 2024-04-22 08:45:40 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2024-04-22 08:49:54 +0200 | euleritian | (~euleritia@dynamic-176-002-131-092.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-22 08:50:12 +0200 | euleritian | (~euleritia@dynamic-176-002-131-092.176.2.pool.telefonica.de) |
| 2024-04-22 08:51:38 +0200 | euleritian | (~euleritia@dynamic-176-002-131-092.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-22 08:53:04 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-22 08:59:31 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-04-22 09:01:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-22 09:04:32 +0200 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) |
| 2024-04-22 09:05:59 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:f849:272c:fda5:33c9) (Ping timeout: 260 seconds) |
| 2024-04-22 09:06:34 +0200 | titibandit | (~titibandi@user/titibandit) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2024-04-22 09:09:16 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) |
| 2024-04-22 09:09:59 +0200 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) |
| 2024-04-22 09:10:47 +0200 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) (Ping timeout: 245 seconds) |
| 2024-04-22 09:11:41 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 240 seconds) |
| 2024-04-22 09:14:00 +0200 | mima | (~mmh@aftr-62-216-211-149.dynamic.mnet-online.de) |
| 2024-04-22 09:14:17 +0200 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) |
| 2024-04-22 09:14:25 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2024-04-22 09:15:45 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) (Ping timeout: 245 seconds) |
| 2024-04-22 09:16:53 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2024-04-22 09:19:10 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:f849:272c:fda5:33c9) |
| 2024-04-22 09:20:08 +0200 | hc | (~hc@mail.hce.li) |
| 2024-04-22 09:20:15 +0200 | <hc> | > let a n = (-1)^n / sqrt(n) in a 4 |
| 2024-04-22 09:20:17 +0200 | <lambdabot> | error: |
| 2024-04-22 09:20:17 +0200 | <lambdabot> | • Ambiguous type variable ‘a0’ arising from a use of ‘show_M353431457368... |
| 2024-04-22 09:20:17 +0200 | <lambdabot> | prevents the constraint ‘(Show a0)’ from being solved. |
| 2024-04-22 09:20:26 +0200 | <hc> | Hi all, could you explain to me how to solve this error? :) |
| 2024-04-22 09:20:45 +0200 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) (Ping timeout: 245 seconds) |
| 2024-04-22 09:23:35 +0200 | tok | (~user@user/tok) (Remote host closed the connection) |
| 2024-04-22 09:28:15 +0200 | mei | (~mei@user/mei) (Ping timeout: 245 seconds) |
| 2024-04-22 09:30:43 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-04-22 09:32:17 +0200 | mei | (~mei@user/mei) |
| 2024-04-22 09:33:15 +0200 | tok | (~user@user/tok) |
| 2024-04-22 09:42:22 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-04-22 09:43:50 +0200 | rosco | (~rosco@2001:e68:5411:64b:93a3:a30a:6b31:925a) (Remote host closed the connection) |
| 2024-04-22 09:44:28 +0200 | <geekosaur> | use (**) instead of (^) |
| 2024-04-22 09:44:33 +0200 | <geekosaur> | :t let a n = (-1)^n / sqrt(n) in a 4 |
| 2024-04-22 09:44:34 +0200 | <lambdabot> | (Integral a, Floating a) => a |
| 2024-04-22 09:44:48 +0200 | <geekosaur> | kinda hard for a number to be Integral and Floating at the same time |
| 2024-04-22 09:59:52 +0200 | mei | (~mei@user/mei) (Quit: mei) |
| 2024-04-22 10:01:27 +0200 | mei | (~mei@user/mei) |
| 2024-04-22 10:01:39 +0200 | internatetional | (~internate@2001:448a:20a3:c2e5:184a:ab53:496c:8f20) (Ping timeout: 256 seconds) |
| 2024-04-22 10:09:15 +0200 | danza | (~francesco@151.57.252.198) (Ping timeout: 268 seconds) |
| 2024-04-22 10:10:25 +0200 | fmd | (~fmd@user/framend) |
| 2024-04-22 10:11:33 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-04-22 10:13:30 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-04-22 10:15:49 +0200 | xdminsy | (~xdminsy@117.147.70.233) |
| 2024-04-22 10:17:13 +0200 | random-jellyfish | (~developer@2a02:2f04:11e:c600:2256:e257:bc55:f1e6) |
| 2024-04-22 10:17:13 +0200 | random-jellyfish | (~developer@2a02:2f04:11e:c600:2256:e257:bc55:f1e6) (Changing host) |
| 2024-04-22 10:17:13 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-04-22 10:17:46 +0200 | titibandit | (~titibandi@user/titibandit) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2024-04-22 10:23:07 +0200 | ft | (~ft@p4fc2a20e.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-04-22 10:29:43 +0200 | zetef | (~quassel@5.2.182.99) |
| 2024-04-22 10:33:47 +0200 | danse-nr3 | (~danse-nr3@151.57.252.198) |
| 2024-04-22 10:34:18 +0200 | danse-nr3 | (~danse-nr3@151.57.252.198) (Remote host closed the connection) |
| 2024-04-22 10:34:45 +0200 | danse-nr3 | (~danse-nr3@151.57.252.198) |
| 2024-04-22 10:35:41 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-04-22 10:40:43 +0200 | fmd | (~fmd@user/framend) (Ping timeout: 260 seconds) |
| 2024-04-22 10:41:27 +0200 | fmd | (~fmd@2a02:8429:4b56:6801:6f51:61a3:1853:7494) |
| 2024-04-22 10:43:22 +0200 | qqq | (~qqq@92.43.167.61) |
| 2024-04-22 10:47:06 +0200 | <probie> | > let a n = (-1 :: Double)^n/sqrt(fromIntegral n) in a 4 -- Or you might want something like this |
| 2024-04-22 10:47:07 +0200 | <lambdabot> | 0.5 |
| 2024-04-22 10:51:21 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!) |
| 2024-04-22 10:53:20 +0200 | qqq | (~qqq@92.43.167.61) (Quit: Lost terminal) |
| 2024-04-22 10:59:25 +0200 | qqq | (~qqq@92.43.167.61) |
| 2024-04-22 11:06:46 +0200 | tititest | (~tititest@ip-037-201-154-121.um10.pools.vodafone-ip.de) |
| 2024-04-22 11:08:34 +0200 | tititest | (~tititest@ip-037-201-154-121.um10.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2024-04-22 11:08:45 +0200 | danse-nr3 | (~danse-nr3@151.57.252.198) (Ping timeout: 268 seconds) |
| 2024-04-22 11:08:47 +0200 | chele | (~chele@user/chele) |
| 2024-04-22 11:09:48 +0200 | danse-nr3 | (~danse-nr3@151.47.40.219) |
| 2024-04-22 11:18:38 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-04-22 11:19:47 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2024-04-22 11:20:32 +0200 | Inst | (~Inst@user/Inst) |
| 2024-04-22 11:21:16 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-04-22 11:21:31 +0200 | <Inst> | why is unsafePerformIO . (\u -> appendFile "log.log" "message goes here >> pure u) a bad idea? |
| 2024-04-22 11:22:09 +0200 | <Inst> | At the very least, it'd be a problem under concurrency, I guess |
| 2024-04-22 11:22:41 +0200 | <Inst> | and this is standard? |
| 2024-04-22 11:22:42 +0200 | <Inst> | https://hackage.haskell.org/package/fast-logger |
| 2024-04-22 11:23:57 +0200 | <Inst> | Besides the libs, what are good ways to handle logging? |
| 2024-04-22 11:25:12 +0200 | <Inst> | writer monad iirc is considered bad practice (because you want to write to log immediately), you could use IO wrappers for logging |
| 2024-04-22 11:25:26 +0200 | <Inst> | there's STM / concurrent unsafePerformIO logging, i guess |
| 2024-04-22 11:27:18 +0200 | <jackdk> | fast-logger, monad-logger, and katip are the main ones I'm aware of |
| 2024-04-22 11:27:51 +0200 | <Inst> | but from a design standpoint, the only problem with unsafePerformIO appendLog is that it breaks concurrency, right? |
| 2024-04-22 11:28:15 +0200 | <Inst> | it's essentially as "pure" as unsafePerformIO hPutStr stderr (trace), no? |
| 2024-04-22 11:28:43 +0200 | <jackdk> | *shrug* I don't have the cycles to think about it, sorry |
| 2024-04-22 11:36:56 +0200 | <ski> | the `unsafePerformIO'd action can be duplicated (if inlining) |
| 2024-04-22 11:37:46 +0200 | <ski> | (<https://downloads.haskell.org/ghc/latest/docs/libraries/base-4.19.0.0-b67a/GHC-IO-Unsafe.html>) |
| 2024-04-22 11:38:11 +0200 | <juri_> | tomjaguarpaw: thank you again. :D |
| 2024-04-22 11:40:50 +0200 | <Inst> | ski: why is that a bad thing? Especially if you want a precise record of actions done, i.e, behavior matches Debug.Trace. |
| 2024-04-22 11:41:10 +0200 | <Inst> | s/actions done/calculations made |
| 2024-04-22 11:41:56 +0200 | <ski> | if you're okay with unexpectedly getting duplicated log entries .. |
| 2024-04-22 11:47:13 +0200 | internatetional | (~internate@180.243.9.169) |
| 2024-04-22 11:48:08 +0200 | <Inst> | thanks |
| 2024-04-22 11:50:00 +0200 | danse-nr3 | (~danse-nr3@151.47.40.219) (Ping timeout: 260 seconds) |
| 2024-04-22 11:50:59 +0200 | <ncf> | Debug.Trace uses unsafePerformIO |
| 2024-04-22 11:51:30 +0200 | <ncf> | (with NOINLINE pragmas) |
| 2024-04-22 11:58:32 +0200 | causal | (~eric@50.35.88.207) |
| 2024-04-22 12:15:20 +0200 | akegalj | (~akegalj@78-2-216-247.adsl.net.t-com.hr) |
| 2024-04-22 12:17:18 +0200 | danse-nr3 | (~danse-nr3@151.47.40.219) |
| 2024-04-22 12:19:43 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-22 12:20:18 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-22 12:20:54 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 268 seconds) |
| 2024-04-22 12:31:27 +0200 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2024-04-22 12:31:43 +0200 | danse-nr3 | (~danse-nr3@151.47.40.219) (Remote host closed the connection) |
| 2024-04-22 12:32:06 +0200 | danse-nr3 | (~danse-nr3@151.47.40.219) |
| 2024-04-22 12:42:33 +0200 | zetef | (~quassel@5.2.182.99) (Remote host closed the connection) |
| 2024-04-22 12:45:04 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2024-04-22 12:45:29 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-04-22 12:46:26 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (Quit: https://zer0bitz.dy.fi) |
| 2024-04-22 12:53:35 +0200 | danse-nr3 | (~danse-nr3@151.47.40.219) (Ping timeout: 268 seconds) |
| 2024-04-22 13:00:46 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) |
| 2024-04-22 13:11:09 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-22 13:11:57 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-04-22 13:14:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-22 13:28:47 +0200 | danse-nr3 | (~danse-nr3@151.43.255.231) |
| 2024-04-22 13:29:09 +0200 | danse-nr3 | (~danse-nr3@151.43.255.231) (Remote host closed the connection) |
| 2024-04-22 13:29:36 +0200 | danse-nr3 | (~danse-nr3@151.43.255.231) |
| 2024-04-22 13:44:08 +0200 | megaTherion | (~therion@unix.io) (Remote host closed the connection) |
| 2024-04-22 13:47:40 +0200 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 13:52:38 +0200 | <hc> | geekosaur: thanks dude |
| 2024-04-22 13:52:42 +0200 | <hc> | appreciate it |
| 2024-04-22 13:54:02 +0200 | <hc> | class (Real a, Enum a) => Integral a where |
| 2024-04-22 13:54:21 +0200 | <hc> | I think I misinterpreted that and assumed that a is a real number that can be bit encoded =) |
| 2024-04-22 13:55:46 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-04-22 13:55:46 +0200 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 13:56:45 +0200 | qqq | (~qqq@92.43.167.61) |
| 2024-04-22 14:07:57 +0200 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 14:12:26 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
| 2024-04-22 14:21:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-22 14:24:07 +0200 | <ski> | @src Real |
| 2024-04-22 14:24:07 +0200 | <lambdabot> | class (Num a, Ord a) => Real a where |
| 2024-04-22 14:24:07 +0200 | <lambdabot> | toRational :: a -> Rational |
| 2024-04-22 14:26:45 +0200 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 14:27:09 +0200 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 14:29:42 +0200 | phma | (~phma@2001:5b0:210b:ce58:3fbf:e35b:d74c:35dc) (Read error: Connection reset by peer) |
| 2024-04-22 14:30:53 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-04-22 14:39:44 +0200 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 2024-04-22 14:39:59 +0200 | <shapr> | Is there a hackage query library? |
| 2024-04-22 14:40:12 +0200 | <shapr> | I want to find packages with large QuickCheck test suites |
| 2024-04-22 14:40:20 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
| 2024-04-22 14:43:43 +0200 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 14:46:21 +0200 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 14:47:35 +0200 | tok | (~user@user/tok) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1)) |
| 2024-04-22 14:48:38 +0200 | phma | (phma@2001:5b0:2172:c758:72f8:9d6a:4a7b:7a0f) |
| 2024-04-22 14:50:42 +0200 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 14:50:58 +0200 | akegalj | (~akegalj@78-2-216-247.adsl.net.t-com.hr) (Quit: leaving) |
| 2024-04-22 14:55:53 +0200 | danse-nr3 | (~danse-nr3@151.43.255.231) (Ping timeout: 256 seconds) |
| 2024-04-22 14:57:11 +0200 | internatetional | (~internate@180.243.9.169) (Quit: Leaving) |
| 2024-04-22 15:00:34 +0200 | danse-nr3 | (~danse-nr3@151.43.255.231) |
| 2024-04-22 15:05:30 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-22 15:05:33 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 268 seconds) |
| 2024-04-22 15:10:11 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds) |
| 2024-04-22 15:24:29 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2024-04-22 15:26:49 +0200 | ystael | (~ystael@user/ystael) |
| 2024-04-22 15:27:25 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-22 15:30:15 +0200 | rosco | (rosco@gateway/vpn/airvpn/rosco) |
| 2024-04-22 15:31:52 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!) |
| 2024-04-22 15:39:18 +0200 | thailigur | (~thailigur@151.241.216.163) |
| 2024-04-22 15:41:36 +0200 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 15:46:58 +0200 | tertek | (~tertek@user/tertek) |
| 2024-04-22 15:47:30 +0200 | zlqrvx | (~zlqrvx@user/zlqrvx) |
| 2024-04-22 15:49:06 +0200 | tertek | (~tertek@user/tertek) (Client Quit) |
| 2024-04-22 15:49:06 +0200 | zlqrvx | (~zlqrvx@user/zlqrvx) (Client Quit) |
| 2024-04-22 15:50:46 +0200 | zetef | (~quassel@5.2.182.99) |
| 2024-04-22 15:51:32 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-22 15:54:36 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Read error: Connection reset by peer) |
| 2024-04-22 15:57:03 +0200 | fmd | (~fmd@2a02:8429:4b56:6801:6f51:61a3:1853:7494) (Ping timeout: 268 seconds) |
| 2024-04-22 15:57:05 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 256 seconds) |
| 2024-04-22 15:58:05 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 2024-04-22 15:58:47 +0200 | ystael | (~ystael@user/ystael) |
| 2024-04-22 16:03:51 +0200 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 16:10:44 +0200 | philopsos | (~caecilius@user/philopsos) |
| 2024-04-22 16:12:06 +0200 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 16:12:49 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 256 seconds) |
| 2024-04-22 16:13:10 +0200 | euleritian | (~euleritia@dynamic-176-002-130-022.176.2.pool.telefonica.de) |
| 2024-04-22 16:15:57 +0200 | Square | (~Square@user/square) |
| 2024-04-22 16:16:51 +0200 | Guest83 | (~Guest83@104.28.201.82) |
| 2024-04-22 16:18:14 +0200 | Guest83 | (~Guest83@104.28.201.82) (Client Quit) |
| 2024-04-22 16:23:47 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-04-22 16:28:57 +0200 | td_ | (~td@i53870931.versanet.de) (Quit: waking up from the american dream ...) |
| 2024-04-22 16:29:14 +0200 | yeitrafferin | (~user@2a04:4540:7204:c200:6db7:9fc2:5aab:5361) |
| 2024-04-22 16:34:22 +0200 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 16:39:12 +0200 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 16:46:48 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-22 16:49:30 +0200 | rosco | (rosco@gateway/vpn/airvpn/rosco) (Quit: Lost terminal) |
| 2024-04-22 16:51:31 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds) |
| 2024-04-22 16:54:11 +0200 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 16:54:25 +0200 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 16:56:47 +0200 | demesne | (~demesne@50.35.88.207) (Read error: Connection reset by peer) |
| 2024-04-22 16:59:56 +0200 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 17:01:21 +0200 | danse-nr3 | (~danse-nr3@151.43.255.231) (Read error: Connection reset by peer) |
| 2024-04-22 17:01:34 +0200 | danse-nr3 | (~danse-nr3@151.37.253.178) |
| 2024-04-22 17:04:21 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: WeeChat 4.1.2) |
| 2024-04-22 17:04:56 +0200 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) |
| 2024-04-22 17:05:10 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-04-22 17:06:19 +0200 | califax | (~califax@user/califx) |
| 2024-04-22 17:06:35 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-04-22 17:06:59 +0200 | califax | (~califax@user/califx) |
| 2024-04-22 17:12:07 +0200 | td_ | (~td@i53870931.versanet.de) |
| 2024-04-22 17:12:08 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-04-22 17:15:11 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-04-22 17:15:32 +0200 | euleritian | (~euleritia@dynamic-176-002-130-022.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-22 17:16:08 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-22 17:18:17 +0200 | myxokephale | (~myxos@172.93.132.84) (Remote host closed the connection) |
| 2024-04-22 17:20:18 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-22 17:20:37 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-22 17:24:01 +0200 | myxos | (~myxos@172.93.132.84) |
| 2024-04-22 17:27:47 +0200 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 17:29:06 +0200 | zetef | (~quassel@5.2.182.99) (Ping timeout: 252 seconds) |
| 2024-04-22 17:32:59 +0200 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 17:33:40 +0200 | Square | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2024-04-22 17:37:54 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-04-22 17:38:01 +0200 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 17:38:19 +0200 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 17:41:34 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 268 seconds) |
| 2024-04-22 17:46:11 +0200 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 17:46:40 +0200 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 17:46:46 +0200 | yeitrafferin | (~user@2a04:4540:7204:c200:6db7:9fc2:5aab:5361) (Quit: Leaving) |
| 2024-04-22 17:48:40 +0200 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 17:49:17 +0200 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 17:50:53 +0200 | <cheater> | isn't there some way to download the complete stackage to local? |
| 2024-04-22 17:50:56 +0200 | <cheater> | you could do that |
| 2024-04-22 17:51:07 +0200 | <cheater> | and then get wild |
| 2024-04-22 17:53:31 +0200 | zetef | (~quassel@5.2.182.99) |
| 2024-04-22 17:56:11 +0200 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 17:56:24 +0200 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 17:56:53 +0200 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 17:57:12 +0200 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 17:59:35 +0200 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 18:00:14 +0200 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 18:05:55 +0200 | danse-nr3 | (~danse-nr3@151.37.253.178) (Ping timeout: 260 seconds) |
| 2024-04-22 18:07:19 +0200 | anon1123 | (~anon1123@2a02:ab88:282:b00:da3a:ddff:fe3a:947c) (Ping timeout: 260 seconds) |
| 2024-04-22 18:08:06 +0200 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) (Remote host closed the connection) |
| 2024-04-22 18:09:09 +0200 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) |
| 2024-04-22 18:12:02 +0200 | anon1123 | (~anon1123@2a02:ab88:282:b00:da3a:ddff:fe3a:947c) |
| 2024-04-22 18:16:47 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-04-22 18:21:51 +0200 | anon1123 | (~anon1123@2a02:ab88:282:b00:da3a:ddff:fe3a:947c) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-04-22 18:21:51 +0200 | Ptival | (~ptival@64.16.51.186) |
| 2024-04-22 18:21:58 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2024-04-22 18:22:46 +0200 | anon1123 | (~anon1123@2a02:ab88:282:b00:da3a:ddff:fe3a:947c) |
| 2024-04-22 18:25:21 +0200 | <Ptival> | I've been considering going back to Emacs, but the state of the Haskell Flycheck mode looks very confusing. It seems like support for Stack projects work, but neither haskell-stack-ghc (understandably) nor haskell-ghc seem to do anything reasonable regarding Cabal features such as default-extensions. What are people using these days? |
| 2024-04-22 18:27:25 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-22 18:27:50 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-22 18:28:47 +0200 | <yushyin> | for me, GHC2024 + BlockArguments, DuplicateRecordFields, ImportQualifiedPost, LexicalNegation, NoFieldSelectors |
| 2024-04-22 18:31:13 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-04-22 18:32:00 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2024-04-22 18:32:25 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-22 18:35:00 +0200 | zetef | (~quassel@5.2.182.99) (Remote host closed the connection) |
| 2024-04-22 18:46:13 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 255 seconds) |
| 2024-04-22 18:57:41 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-04-22 19:00:22 +0200 | <glguy> | Ptival: When I open Haskell projects in emacs it's set up to use HLS and it fully understands the cabal project structure |
| 2024-04-22 19:02:53 +0200 | <glguy> | something like: https://glguy.net/share/9b962f25d21c2c9cf36466ce73a1c25f.png |
| 2024-04-22 19:03:37 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-22 19:03:40 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2024-04-22 19:07:48 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds) |
| 2024-04-22 19:08:47 +0200 | rdcdr | (~rdcdr@user/rdcdr) |
| 2024-04-22 19:10:11 +0200 | <monochrom> | I use emacs with haskell-mode. No flycheck or hls or anything fancy. The 80-20 rule. |
| 2024-04-22 19:10:18 +0200 | <monochrom> | Hell, the 99-1 rule. |
| 2024-04-22 19:12:12 +0200 | <glguy> | it's so easy to use that 99 people use it and 1 monochome doesn't |
| 2024-04-22 19:12:15 +0200 | <glguy> | -e |
| 2024-04-22 19:14:19 +0200 | <glguy> | fast access to documentation, reliable jump-to-definition, and access to type information for local definitions has been very valuable to me, especially when working in unfamiliar codebases |
| 2024-04-22 19:14:37 +0200 | <monochrom> | haha |
| 2024-04-22 19:15:02 +0200 | <glguy> | and hls has come far enough since the beginning that it's actually a time savings to use it. for a while i would spend more time on these tools getting them to work than then time saved working on projects |
| 2024-04-22 19:16:59 +0200 | <glguy> | it also helps that the same configuration works across vscode, vim, and emacs so it's pretty easy to move around... I still haven't settled on one editor |
| 2024-04-22 19:17:58 +0200 | <cheater> | i use lambdabot |
| 2024-04-22 19:18:05 +0200 | <cheater> | while modern HLSes and modes are snazzy |
| 2024-04-22 19:18:16 +0200 | <cheater> | none of yours has @protontorpedo |
| 2024-04-22 19:20:21 +0200 | <ncf> | @protontorpedo |
| 2024-04-22 19:20:21 +0200 | <lambdabot> | is functional ebtter than oo? |
| 2024-04-22 19:21:05 +0200 | <glguy> | > "functional" > "oo" |
| 2024-04-22 19:21:07 +0200 | <lambdabot> | False |
| 2024-04-22 19:25:14 +0200 | ft | (~ft@p4fc2a20e.dip0.t-ipconnect.de) |
| 2024-04-22 19:26:43 +0200 | Ptival | (~ptival@64.16.51.186) (Remote host closed the connection) |
| 2024-04-22 19:30:59 +0200 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 19:32:43 +0200 | Ptival | (~ptival@64.16.51.186) |
| 2024-04-22 19:33:16 +0200 | <ski> | @palomer |
| 2024-04-22 19:33:17 +0200 | <lambdabot> | Pfft |
| 2024-04-22 19:33:20 +0200 | <ski> | @keal |
| 2024-04-22 19:33:20 +0200 | <lambdabot> | i still dont understand how gci is supposed to do anything other than mathematics |
| 2024-04-22 19:33:25 +0200 | <Ptival> | seems like part of my answer is "get rid of Flycheck" then, and the other part is "figure out how to get the LSP setup to do its thing" |
| 2024-04-22 19:34:31 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 2024-04-22 19:35:54 +0200 | thailigur | (~thailigur@151.241.216.163) (Ping timeout: 250 seconds) |
| 2024-04-22 19:37:52 +0200 | <EvanR> | @ski |
| 2024-04-22 19:37:52 +0200 | <lambdabot> | Maybe you meant: wiki src ask |
| 2024-04-22 19:38:19 +0200 | <ski> | @quote EvanR |
| 2024-04-22 19:38:20 +0200 | <lambdabot> | EvanR says: < EvanR> @forget EvanR |
| 2024-04-22 19:39:11 +0200 | Ptival | (~ptival@64.16.51.186) (Changing host) |
| 2024-04-22 19:39:11 +0200 | Ptival | (~ptival@user/Ptival) |
| 2024-04-22 19:42:25 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 245 seconds) |
| 2024-04-22 19:42:54 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-04-22 19:44:33 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Client Quit) |
| 2024-04-22 19:45:22 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-04-22 19:47:02 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-04-22 19:49:52 +0200 | zetef | (~quassel@5.2.182.99) |
| 2024-04-22 19:52:43 +0200 | <Ptival> | in case someone reads these logs in the future (maybe myself when I inevitably forget), my problem was that I had set up doom-emacs to use (haskell +lsp), but I had missed that you also need to separately enable lsp in the tools section |
| 2024-04-22 19:52:55 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-04-22 19:53:26 +0200 | <ski> | (there may well be unseen lurkers with us atm) |
| 2024-04-22 20:03:14 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-04-22 20:06:13 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-22 20:10:20 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 245 seconds) |
| 2024-04-22 20:12:42 +0200 | Ptival | (~ptival@user/Ptival) (Remote host closed the connection) |
| 2024-04-22 20:14:30 +0200 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 268 seconds) |
| 2024-04-22 20:15:52 +0200 | Ptival | (~ptival@64.16.51.186) |
| 2024-04-22 20:20:42 +0200 | Ptival | (~ptival@64.16.51.186) (Changing host) |
| 2024-04-22 20:20:42 +0200 | Ptival | (~ptival@user/Ptival) |
| 2024-04-22 20:24:49 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-22 20:24:54 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 2024-04-22 20:30:41 +0200 | philopsos | (~caecilius@user/philopsos) |
| 2024-04-22 20:39:15 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-22 20:47:50 +0200 | masaeedu | (~masaeedu@user/masaeedu) (Ping timeout: 245 seconds) |
| 2024-04-22 20:49:03 +0200 | zetef | (~quassel@5.2.182.99) (Remote host closed the connection) |
| 2024-04-22 21:02:58 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-04-22 21:09:11 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-04-22 21:14:35 +0200 | Ptival | (~ptival@user/Ptival) (Remote host closed the connection) |
| 2024-04-22 21:15:08 +0200 | Ptival | (~ptival@64.16.51.186) |
| 2024-04-22 21:18:09 +0200 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 272 seconds) |
| 2024-04-22 21:19:40 +0200 | Ptival | (~ptival@64.16.51.186) (Ping timeout: 255 seconds) |
| 2024-04-22 21:21:18 +0200 | <mauke> | TIL lists in SASL syntax work a lot like lists in Perl |
| 2024-04-22 21:25:33 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) |
| 2024-04-22 21:26:44 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-04-22 21:33:44 +0200 | Ptival | (~ptival@64.16.51.186) |
| 2024-04-22 21:35:51 +0200 | crook1389 | (uid581388@id-581388.ilkley.irccloud.com) |
| 2024-04-22 21:37:50 +0200 | Ptival | (~ptival@64.16.51.186) (Ping timeout: 245 seconds) |
| 2024-04-22 21:52:15 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-04-22 21:54:41 +0200 | mei | (~mei@user/mei) |
| 2024-04-22 22:00:41 +0200 | Ptival | (~ptival@64.16.51.186) |
| 2024-04-22 22:01:14 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-04-22 22:09:32 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-04-22 22:13:31 +0200 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 22:14:23 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-04-22 22:16:12 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-04-22 22:19:37 +0200 | FragByte | (~christian@user/fragbyte) (Quit: Quit) |
| 2024-04-22 22:20:12 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) |
| 2024-04-22 22:25:13 +0200 | zetef | (~quassel@5.2.182.98) |
| 2024-04-22 22:28:56 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-04-22 22:35:32 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-04-22 22:36:36 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2024-04-22 22:45:13 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2024-04-22 22:45:30 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) |
| 2024-04-22 22:45:50 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) () |
| 2024-04-22 22:48:14 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-04-22 22:49:01 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2024-04-22 22:52:33 +0200 | pavonia | (~user@user/siracusa) |
| 2024-04-22 22:54:16 +0200 | yin | (~yin@user/zero) |
| 2024-04-22 22:57:18 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-04-22 22:59:56 +0200 | michalz | (~michalz@185.246.207.200) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-04-22 23:02:56 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-04-22 23:03:26 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-04-22 23:05:38 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-04-22 23:06:07 +0200 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 23:11:28 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-04-22 23:15:56 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2024-04-22 23:16:00 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Client Quit) |
| 2024-04-22 23:17:43 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2024-04-22 23:18:05 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-22 23:22:55 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds) |
| 2024-04-22 23:27:18 +0200 | <glguy> | mauke: example? |
| 2024-04-22 23:31:10 +0200 | philopsos | (~caecilius@user/philopsos) |
| 2024-04-22 23:37:00 +0200 | yin | (~yin@user/zero) (Ping timeout: 245 seconds) |
| 2024-04-22 23:38:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-22 23:39:03 +0200 | yin | (~yin@user/zero) |
| 2024-04-22 23:45:35 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-04-22 23:46:32 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-04-22 23:50:15 +0200 | mulk | (~mulk@p5b2dc97e.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-04-22 23:52:08 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-04-22 23:58:22 +0200 | mulk | (~mulk@p5b2dc97e.dip0.t-ipconnect.de) |
