2024-05-03 00:04:05 +0200 | AlexZenon | (~alzenon@94.233.240.47) (Ping timeout: 245 seconds) |
2024-05-03 00:12:24 +0200 | AlexNoo | (~AlexNoo@94.233.240.47) (Ping timeout: 256 seconds) |
2024-05-03 00:17:38 +0200 | waldo | (~waldo@user/waldo) |
2024-05-03 00:31:14 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2024-05-03 00:33:15 +0200 | yin | (~yin@user/zero) (Ping timeout: 252 seconds) |
2024-05-03 00:41:02 +0200 | zetef | (~quassel@5.14.202.140) |
2024-05-03 00:45:30 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-05-03 00:55:22 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-05-03 00:57:50 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.8.2+deb4+b2 - https://znc.in) |
2024-05-03 00:57:56 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) |
2024-05-03 01:02:51 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
2024-05-03 01:04:27 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) (Ping timeout: 260 seconds) |
2024-05-03 01:05:53 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
2024-05-03 01:07:52 +0200 | xff0x | (~xff0x@om126236141098.32.openmobile.ne.jp) |
2024-05-03 01:10:47 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-05-03 01:12:08 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-05-03 01:27:58 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-05-03 01:32:57 +0200 | AlexNoo | (~AlexNoo@178.34.162.113) |
2024-05-03 01:34:49 +0200 | AlexZenon | (~alzenon@178.34.162.113) |
2024-05-03 01:38:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds) |
2024-05-03 01:38:43 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) |
2024-05-03 01:40:13 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 255 seconds) |
2024-05-03 01:51:38 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-03 01:57:48 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 256 seconds) |
2024-05-03 02:02:46 +0200 | philopsos | (~caecilius@user/philopsos) (Quit: leaving) |
2024-05-03 02:05:15 +0200 | yin | (~yin@user/zero) |
2024-05-03 02:05:31 +0200 | philopsos | (~caecilius@user/philopsos) |
2024-05-03 02:06:02 +0200 | philopsos | (~caecilius@user/philopsos) (Client Quit) |
2024-05-03 02:06:18 +0200 | philopsos | (~caecilius@user/philopsos) |
2024-05-03 02:12:42 +0200 | waldo | (~waldo@user/waldo) (Quit: waldo) |
2024-05-03 02:17:21 +0200 | zetef | (~quassel@5.14.202.140) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2024-05-03 02:23:32 +0200 | xff0x | (~xff0x@om126236141098.32.openmobile.ne.jp) (Read error: Connection reset by peer) |
2024-05-03 02:27:18 +0200 | nullobject | (~josh@user/nullobject) |
2024-05-03 02:30:39 +0200 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
2024-05-03 02:37:47 +0200 | Axman6 | (~Axman6@user/axman6) |
2024-05-03 02:39:41 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
2024-05-03 02:53:23 +0200 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) |
2024-05-03 02:54:42 +0200 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
2024-05-03 02:55:38 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
2024-05-03 02:57:23 +0200 | EvanR | (~EvanR@user/evanr) |
2024-05-03 03:04:09 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-03 03:08:46 +0200 | raoul | (~raoul@95.179.203.88) (Remote host closed the connection) |
2024-05-03 03:09:55 +0200 | Square3 | (~Square4@user/square) (Ping timeout: 268 seconds) |
2024-05-03 03:10:15 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!) |
2024-05-03 03:18:24 +0200 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
2024-05-03 03:18:42 +0200 | Axman6 | (~Axman6@user/axman6) |
2024-05-03 03:25:57 +0200 | otto_s | (~user@p5b04466a.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2024-05-03 03:27:35 +0200 | otto_s | (~user@p4ff272c0.dip0.t-ipconnect.de) |
2024-05-03 04:00:39 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) |
2024-05-03 04:01:11 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
2024-05-03 04:01:55 +0200 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-05-03 04:02:20 +0200 | petrichor | (~znc-user@user/petrichor) |
2024-05-03 04:02:53 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
2024-05-03 04:05:32 +0200 | shapr` | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Ping timeout: 252 seconds) |
2024-05-03 04:21:35 +0200 | yin | (~yin@user/zero) (Ping timeout: 264 seconds) |
2024-05-03 04:25:20 +0200 | td_ | (~td@i5387093e.versanet.de) (Ping timeout: 245 seconds) |
2024-05-03 04:27:11 +0200 | td_ | (~td@i53870924.versanet.de) |
2024-05-03 04:32:33 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 268 seconds) |
2024-05-03 04:50:52 +0200 | sroso | (~sroso@user/SrOso) |
2024-05-03 04:50:53 +0200 | nitrix | (~nitrix@user/meow/nitrix) (K-Lined) |
2024-05-03 04:58:57 +0200 | agent314_ | (~quassel@104.193.135.218) |
2024-05-03 05:01:44 +0200 | agent314 | (~quassel@104.193.135.218) (Ping timeout: 260 seconds) |
2024-05-03 05:41:25 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-03 05:53:49 +0200 | nitrix | (~nitrix@user/meow/nitrix) |
2024-05-03 05:58:45 +0200 | aforemny_ | (~aforemny@2001:9e8:6cf6:c700:715f:48c8:40b3:51d2) |
2024-05-03 06:00:04 +0200 | aforemny | (~aforemny@2001:9e8:6cd3:1d00:230b:c373:dfe7:68c3) (Ping timeout: 260 seconds) |
2024-05-03 06:01:47 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
2024-05-03 06:02:00 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
2024-05-03 06:38:42 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-05-03 06:50:32 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2024-05-03 06:53:35 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-03 06:57:15 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-05-03 06:57:17 +0200 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 240 seconds) |
2024-05-03 07:03:37 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-05-03 07:08:41 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2024-05-03 07:09:34 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-03 07:13:30 +0200 | zetef | (~quassel@5.14.202.140) |
2024-05-03 07:14:23 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
2024-05-03 07:15:19 +0200 | euleritian | (~euleritia@dynamic-176-006-184-121.176.6.pool.telefonica.de) |
2024-05-03 07:20:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-03 07:22:15 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-05-03 07:30:04 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-05-03 07:37:37 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2024-05-03 07:37:50 +0200 | zetef | (~quassel@5.14.202.140) (Ping timeout: 245 seconds) |
2024-05-03 07:38:07 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-05-03 07:39:35 +0200 | acidjnk | (~acidjnk@p200300d6e714dc8740d0d729a6756f5c.dip0.t-ipconnect.de) |
2024-05-03 07:46:11 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
2024-05-03 07:47:48 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
2024-05-03 07:50:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-03 07:56:07 +0200 | euleritian | (~euleritia@dynamic-176-006-184-121.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-03 07:56:24 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-03 07:59:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-03 08:05:09 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-05-03 08:13:56 +0200 | zetef | (~quassel@5.14.202.140) |
2024-05-03 08:18:02 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
2024-05-03 08:19:07 +0200 | euleritian | (~euleritia@dynamic-176-006-184-121.176.6.pool.telefonica.de) |
2024-05-03 08:24:58 +0200 | euleritian | (~euleritia@dynamic-176-006-184-121.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-03 08:25:17 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-03 08:36:08 +0200 | remedan | (~remedan@ip-78-102-118-253.bb.vodafone.cz) (Quit: Bye!) |
2024-05-03 08:39:14 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-05-03 08:39:20 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!) |
2024-05-03 08:39:36 +0200 | Benzi-Junior | (~BenziJuni@232-148-209-31.dynamic.hringdu.is) (Ping timeout: 255 seconds) |
2024-05-03 08:41:09 +0200 | Benzi-Junior | (~BenziJuni@232-148-209-31.dynamic.hringdu.is) |
2024-05-03 08:45:35 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
2024-05-03 08:46:37 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-05-03 08:52:43 +0200 | remedan | (~remedan@ip-78-102-118-253.bb.vodafone.cz) |
2024-05-03 09:16:06 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-03 09:16:43 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
2024-05-03 09:16:57 +0200 | zetef | (~quassel@5.14.202.140) (Ping timeout: 255 seconds) |
2024-05-03 09:18:00 +0200 | califax | (~califax@user/califx) |
2024-05-03 09:19:18 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-05-03 09:21:41 +0200 | akegalj | (~akegalj@141-136-177-23.dsl.iskon.hr) |
2024-05-03 09:25:10 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 268 seconds) |
2024-05-03 09:32:59 +0200 | destituion | (~destituio@85.221.111.174) |
2024-05-03 09:35:59 +0200 | Ekho | (~Ekho@user/ekho) (Quit: CORE ERROR, SYSTEM HALTED.) |
2024-05-03 09:36:53 +0200 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) (Ping timeout: 256 seconds) |
2024-05-03 09:55:28 +0200 | gmg | (~user@user/gehmehgeh) |
2024-05-03 09:55:42 +0200 | Ekho | (~Ekho@user/ekho) |
2024-05-03 09:56:55 +0200 | acidjnk | (~acidjnk@p200300d6e714dc8740d0d729a6756f5c.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2024-05-03 10:02:49 +0200 | waldo | (~waldo@user/waldo) |
2024-05-03 10:16:25 +0200 | waldo | (~waldo@user/waldo) (Ping timeout: 256 seconds) |
2024-05-03 10:20:16 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
2024-05-03 10:20:23 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
2024-05-03 10:27:38 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-05-03 10:33:50 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-05-03 10:34:24 +0200 | danse-nr3 | (~danse-nr3@ge-19-97-226.service.infuturo.it) |
2024-05-03 10:35:08 +0200 | danse-nr3 | (~danse-nr3@ge-19-97-226.service.infuturo.it) (Remote host closed the connection) |
2024-05-03 10:35:32 +0200 | danse-nr3 | (~danse-nr3@ge-19-97-226.service.infuturo.it) |
2024-05-03 10:38:22 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-05-03 10:48:13 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-03 10:49:59 +0200 | califax | (~califax@user/califx) |
2024-05-03 10:54:46 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-03 11:01:00 +0200 | califax | (~califax@user/califx) |
2024-05-03 11:01:48 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-03 11:03:57 +0200 | califax | (~califax@user/califx) |
2024-05-03 11:06:54 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2024-05-03 11:06:54 +0200 | gmg | (~user@user/gehmehgeh) (Read error: Connection reset by peer) |
2024-05-03 11:07:56 +0200 | gmg | (~user@user/gehmehgeh) |
2024-05-03 11:08:10 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
2024-05-03 11:11:30 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-03 11:13:07 +0200 | califax | (~califax@user/califx) |
2024-05-03 11:14:45 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-03 11:16:04 +0200 | califax | (~califax@user/califx) |
2024-05-03 11:19:36 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-03 11:21:47 +0200 | califax | (~califax@user/califx) |
2024-05-03 11:27:12 +0200 | __monty__ | (~toonn@user/toonn) |
2024-05-03 11:31:15 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
2024-05-03 11:31:50 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
2024-05-03 11:38:09 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-03 11:38:29 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a37a:baa0:7723:b704) |
2024-05-03 11:40:47 +0200 | waldo | (~waldo@user/waldo) |
2024-05-03 11:45:00 +0200 | chele | (~chele@user/chele) |
2024-05-03 11:49:35 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
2024-05-03 11:51:04 +0200 | yin | (~yin@user/zero) |
2024-05-03 11:51:23 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2024-05-03 11:51:55 +0200 | califax | (~califax@user/califx) |
2024-05-03 11:55:15 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-03 11:56:42 +0200 | euleritian | (~euleritia@dynamic-176-006-200-148.176.6.pool.telefonica.de) |
2024-05-03 11:56:54 +0200 | califax | (~califax@user/califx) |
2024-05-03 11:56:58 +0200 | gastus_ | (~gastus@185.6.123.233) |
2024-05-03 11:57:30 +0200 | <gastus_> | HLS: Is type of thing below cursor and goto definition eg of cabal installed packages implemented or did I missconfigure Neovim / vscode ? |
2024-05-03 11:58:48 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-03 12:01:18 +0200 | califax | (~califax@user/califx) |
2024-05-03 12:01:58 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-03 12:04:51 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
2024-05-03 12:05:24 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-05-03 12:06:24 +0200 | nullobject | (~josh@user/nullobject) (Ping timeout: 260 seconds) |
2024-05-03 12:08:08 +0200 | califax | (~califax@user/califx) |
2024-05-03 12:08:14 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-03 12:08:40 +0200 | califax | (~califax@user/califx) |
2024-05-03 12:08:47 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
2024-05-03 12:09:04 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-03 12:10:05 +0200 | <haskellbridge> | <fendor> not implemented, but a PR exists https://github.com/haskell/haskell-language-server/pull/3749 |
2024-05-03 12:12:44 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
2024-05-03 12:13:24 +0200 | yin | (~yin@user/zero) (Ping timeout: 260 seconds) |
2024-05-03 12:13:42 +0200 | califax | (~califax@user/califx) |
2024-05-03 12:14:20 +0200 | <haskellbridge> | <fendor> but type of thing below cursor works fine, so perhaps misconfigured |
2024-05-03 12:14:58 +0200 | yin | (~yin@user/zero) |
2024-05-03 12:17:58 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
2024-05-03 12:18:36 +0200 | teo | (~teo@user/teo) |
2024-05-03 12:19:01 +0200 | euleritian | (~euleritia@dynamic-176-006-200-148.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-03 12:19:13 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-03 12:20:14 +0200 | euleritian | (~euleritia@dynamic-176-006-200-148.176.6.pool.telefonica.de) |
2024-05-03 12:22:07 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-05-03 12:23:22 +0200 | acidjnk | (~acidjnk@p200300d6e714dc8740d0d729a6756f5c.dip0.t-ipconnect.de) |
2024-05-03 12:24:55 +0200 | yin | (~yin@user/zero) (Ping timeout: 268 seconds) |
2024-05-03 12:25:28 +0200 | <danse-nr3> | /j #emacs |
2024-05-03 12:26:44 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-05-03 12:29:02 +0200 | yin | (~yin@user/zero) |
2024-05-03 12:29:10 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 12:30:10 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2024-05-03 12:31:19 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-05-03 12:34:50 +0200 | califax | (~califax@user/califx) |
2024-05-03 12:35:55 +0200 | zetef | (~quassel@5.14.202.140) |
2024-05-03 12:36:36 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 12:37:00 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 245 seconds) |
2024-05-03 12:37:31 +0200 | waldo | (~waldo@user/waldo) (Quit: waldo) |
2024-05-03 12:38:07 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-03 12:40:26 +0200 | Square3 | (~Square4@user/square) |
2024-05-03 12:40:37 +0200 | zetef_ | (~quassel@5.14.202.140) |
2024-05-03 12:41:25 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 12:42:00 +0200 | zetef | (~quassel@5.14.202.140) (Ping timeout: 245 seconds) |
2024-05-03 12:44:11 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Quit: Leaving) |
2024-05-03 12:44:43 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
2024-05-03 12:44:53 +0200 | zetef_ | (~quassel@5.14.202.140) (Remote host closed the connection) |
2024-05-03 12:45:02 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 12:46:35 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 12:49:04 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-05-03 12:49:22 +0200 | califax | (~califax@user/califx) |
2024-05-03 12:50:10 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 12:50:43 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
2024-05-03 12:51:17 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 12:52:53 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2024-05-03 12:53:19 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
2024-05-03 12:53:20 +0200 | mwnaylor | (~user@2601:5cf:837e:2bb0::c22d) |
2024-05-03 12:55:18 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 12:55:48 +0200 | Lord_of_Life_ | Lord_of_Life |
2024-05-03 12:57:13 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 12:59:58 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 13:01:28 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 13:01:47 +0200 | yin | (~yin@user/zero) (Ping timeout: 264 seconds) |
2024-05-03 13:03:48 +0200 | danse-nr3 | (~danse-nr3@ge-19-97-226.service.infuturo.it) (Ping timeout: 260 seconds) |
2024-05-03 13:04:38 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 13:06:46 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 13:07:00 +0200 | <jackdk> | great idea |
2024-05-03 13:10:14 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 13:11:30 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 13:12:16 +0200 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) |
2024-05-03 13:14:26 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 13:16:29 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 13:20:02 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 13:21:22 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 13:25:10 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 13:26:03 +0200 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
2024-05-03 13:26:18 +0200 | yin | (~yin@user/zero) |
2024-05-03 13:26:37 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 13:29:50 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 13:31:40 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 13:34:30 +0200 | k`` | (~k``@136.54.34.25) |
2024-05-03 13:35:26 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 13:36:29 +0200 | destituion | (~destituio@85.221.111.174) (Read error: Connection reset by peer) |
2024-05-03 13:36:33 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 13:36:36 +0200 | destituion | (~destituio@85.221.111.174) |
2024-05-03 13:40:06 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 13:41:29 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 13:45:14 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 13:45:17 +0200 | zetef | (~quassel@5.14.202.140) |
2024-05-03 13:45:45 +0200 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 245 seconds) |
2024-05-03 13:46:28 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 13:48:15 +0200 | danse-nr3 | (~danse-nr3@151.43.124.243) |
2024-05-03 13:49:54 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 13:50:20 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
2024-05-03 13:50:54 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2024-05-03 13:51:36 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 13:51:46 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
2024-05-03 13:52:48 +0200 | danse-nr3 | (~danse-nr3@151.43.124.243) (Ping timeout: 255 seconds) |
2024-05-03 13:53:56 +0200 | danse-nr3 | (~danse-nr3@151.43.124.243) |
2024-05-03 13:55:02 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 13:56:45 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 13:58:31 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-05-03 14:00:10 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 14:01:27 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 14:04:22 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 14:05:50 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-03 14:06:25 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 14:06:29 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 256 seconds) |
2024-05-03 14:08:34 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
2024-05-03 14:09:58 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 14:11:15 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Ping timeout: 255 seconds) |
2024-05-03 14:11:17 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-05-03 14:11:37 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 14:14:43 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2024-05-03 14:15:06 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 14:15:13 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-05-03 14:16:23 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 14:20:14 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 14:21:33 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 14:23:02 +0200 | kritzefitz_ | (~kritzefit@debian/kritzefitz) |
2024-05-03 14:23:34 +0200 | danse-nr3 | (~danse-nr3@151.43.124.243) (Remote host closed the connection) |
2024-05-03 14:23:58 +0200 | danse-nr3 | (~danse-nr3@151.43.124.243) |
2024-05-03 14:23:59 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 264 seconds) |
2024-05-03 14:24:54 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 14:27:03 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 14:27:53 +0200 | kritzefitz_ | kritzefitz |
2024-05-03 14:30:02 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 14:31:26 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 14:31:28 +0200 | zetef | (~quassel@5.14.202.140) (Ping timeout: 256 seconds) |
2024-05-03 14:34:42 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 14:36:28 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 14:39:50 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 14:41:10 +0200 | akegalj | (~akegalj@141-136-177-23.dsl.iskon.hr) (Quit: leaving) |
2024-05-03 14:41:30 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 14:42:00 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
2024-05-03 14:44:58 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 14:46:45 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 14:50:06 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 14:51:37 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 14:54:26 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
2024-05-03 14:55:14 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 14:55:32 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Max SendQ exceeded) |
2024-05-03 14:55:48 +0200 | zetef | (~quassel@5.14.202.140) |
2024-05-03 14:56:22 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 14:57:11 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
2024-05-03 14:57:14 +0200 | yin | (~yin@user/zero) (Ping timeout: 268 seconds) |
2024-05-03 14:57:17 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-03 14:58:04 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Max SendQ exceeded) |
2024-05-03 14:58:14 +0200 | califax | (~califax@user/califx) |
2024-05-03 14:59:00 +0200 | yin | (~yin@user/zero) |
2024-05-03 14:59:39 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
2024-05-03 15:00:22 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 15:00:29 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Max SendQ exceeded) |
2024-05-03 15:01:38 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
2024-05-03 15:01:41 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 15:02:29 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Max SendQ exceeded) |
2024-05-03 15:03:41 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
2024-05-03 15:04:36 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Max SendQ exceeded) |
2024-05-03 15:05:02 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 15:05:26 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-05-03 15:05:37 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
2024-05-03 15:06:23 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 15:06:38 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Max SendQ exceeded) |
2024-05-03 15:07:37 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
2024-05-03 15:07:40 +0200 | yin | onion |
2024-05-03 15:08:21 +0200 | <onion> | why can we write `x :: Bool = True` but not `f :: a -> a = id` ? |
2024-05-03 15:09:00 +0200 | <danse-nr3> | > f :: a -> a = id |
2024-05-03 15:09:02 +0200 | <lambdabot> | <hint>:1:13: error: parse error on input ‘=’ |
2024-05-03 15:09:27 +0200 | <danse-nr3> | > x :: Bool = True |
2024-05-03 15:09:28 +0200 | <lambdabot> | <hint>:1:11: error: parse error on input ‘=’ |
2024-05-03 15:09:41 +0200 | <danse-nr3> | in a let i guess |
2024-05-03 15:09:58 +0200 | <danse-nr3> | > let x :: Bool = True in x |
2024-05-03 15:09:59 +0200 | <lambdabot> | True |
2024-05-03 15:10:10 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 15:10:18 +0200 | <danse-nr3> | > let f :: a -> a = id in f True |
2024-05-03 15:10:19 +0200 | <lambdabot> | error: |
2024-05-03 15:10:19 +0200 | <lambdabot> | • You cannot bind scoped type variable ‘a’ |
2024-05-03 15:10:19 +0200 | <lambdabot> | in a pattern binding signature |
2024-05-03 15:11:17 +0200 | <onion> | ah |
2024-05-03 15:11:27 +0200 | <onion> | > g :: Bool -> () = const () |
2024-05-03 15:11:29 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 15:11:29 +0200 | <lambdabot> | <hint>:1:17: error: parse error on input ‘=’ |
2024-05-03 15:11:50 +0200 | <onion> | wait, i can do this in ghci |
2024-05-03 15:13:29 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2024-05-03 15:13:40 +0200 | Square3 | (~Square4@user/square) (Ping timeout: 245 seconds) |
2024-05-03 15:14:50 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 15:15:51 +0200 | <onion> | :t id |
2024-05-03 15:15:52 +0200 | <lambdabot> | a -> a |
2024-05-03 15:16:07 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Quit: Leaving) |
2024-05-03 15:16:11 +0200 | <onion> | f :: forall a. a -> a = id |
2024-05-03 15:16:17 +0200 | <onion> | > f :: forall a. a -> a = id |
2024-05-03 15:16:18 +0200 | <lambdabot> | <hint>:1:23: error: parse error on input ‘=’ |
2024-05-03 15:16:22 +0200 | <onion> | hm... |
2024-05-03 15:17:00 +0200 | <onion> | > let g :: Bool -> () = const () in g True |
2024-05-03 15:17:01 +0200 | <lambdabot> | () |
2024-05-03 15:17:06 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 15:17:19 +0200 | jumper149 | (~jumper149@base.felixspringer.xyz) |
2024-05-03 15:17:44 +0200 | poscat0x04 | (~poscat@user/poscat) (Quit: Bye) |
2024-05-03 15:19:58 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 15:20:27 +0200 | <onion> | > let q :: forall a. a -> a = id in q 7 |
2024-05-03 15:20:29 +0200 | <lambdabot> | error: |
2024-05-03 15:20:29 +0200 | <lambdabot> | • Couldn't match expected type ‘forall a1. a1 -> a1’ |
2024-05-03 15:20:29 +0200 | <lambdabot> | with actual type ‘a0 -> a0’ |
2024-05-03 15:21:11 +0200 | <danse-nr3> | i don't think the forall helps, but i am not sure why just `a` would not work |
2024-05-03 15:21:32 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 15:23:10 +0200 | zetef | (~quassel@5.14.202.140) (Remote host closed the connection) |
2024-05-03 15:23:46 +0200 | <ncf> | https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/scoped_type_variables.html#pattern-type-sigs |
2024-05-03 15:23:55 +0200 | poscat | (~poscat@user/poscat) |
2024-05-03 15:23:57 +0200 | <ncf> | this explains why a -> a doesn't work, but not why forall a. a -> a doesn't |
2024-05-03 15:24:10 +0200 | <onion> | thanks ncf |
2024-05-03 15:25:06 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 15:26:26 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 15:27:50 +0200 | <onion> | i just found out i can write this: |
2024-05-03 15:29:01 +0200 | <onion> | > let f (a :: Int) (b :: Bool) (c :: a) = (a,b,c) :: (Int,Bool,a) in f 7 False "ok" |
2024-05-03 15:29:03 +0200 | <lambdabot> | (7,False,"ok") |
2024-05-03 15:30:14 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 15:31:21 +0200 | tv | (~tv@user/tv) (Ping timeout: 255 seconds) |
2024-05-03 15:31:47 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 15:33:15 +0200 | onion | (~yin@user/zero) (Ping timeout: 245 seconds) |
2024-05-03 15:34:54 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 15:35:37 +0200 | onion | (~yin@user/zero) |
2024-05-03 15:35:43 +0200 | <onion> | > let id' (f :: a -> a) (x :: a) = f a :: a in id' id 7 |
2024-05-03 15:35:45 +0200 | <lambdabot> | a |
2024-05-03 15:36:15 +0200 | <onion> | oops |
2024-05-03 15:36:26 +0200 | <onion> | > let id' (f :: a -> a) (x :: a) = f x :: a in id' id 7 |
2024-05-03 15:36:27 +0200 | <lambdabot> | 7 |
2024-05-03 15:36:36 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 15:36:45 +0200 | <onion> | > let id' (f :: a -> a) (x :: Int) = f x :: a in id' succ 7 |
2024-05-03 15:36:46 +0200 | <lambdabot> | 8 |
2024-05-03 15:36:52 +0200 | <onion> | hmm.. |
2024-05-03 15:40:30 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 15:41:31 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 15:42:19 +0200 | <onion> | > let id' (f :: forall a. a -> a) (x :: Int) = f x :: a in id' succ 7 |
2024-05-03 15:42:20 +0200 | <lambdabot> | error: |
2024-05-03 15:42:20 +0200 | <lambdabot> | • Couldn't match expected type ‘a2’ with actual type ‘Int’ |
2024-05-03 15:42:21 +0200 | <lambdabot> | ‘a2’ is a rigid type variable bound by |
2024-05-03 15:44:34 +0200 | zmt00 | (~zmt00@user/zmt00) |
2024-05-03 15:44:45 +0200 | mwnaylor | (~user@2601:5cf:837e:2bb0::c22d) (Remote host closed the connection) |
2024-05-03 15:45:10 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 15:46:36 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 15:50:18 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 15:51:44 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 15:51:48 +0200 | <EvanR> | you can use lambdabot in a private message |
2024-05-03 15:53:32 +0200 | <onion> | yes sorry for the noise |
2024-05-03 15:55:26 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 15:56:27 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 15:59:38 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 16:00:29 +0200 | onion | (~yin@user/zero) (Ping timeout: 240 seconds) |
2024-05-03 16:01:26 +0200 | ft | (~ft@p3e9bc1bf.dip0.t-ipconnect.de) (Quit: leaving) |
2024-05-03 16:01:32 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 16:02:36 +0200 | onion | (~yin@user/zero) |
2024-05-03 16:04:50 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-05-03 16:05:14 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 16:06:39 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 16:10:22 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 16:11:12 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-05-03 16:11:26 +0200 | danse-nr3 | (~danse-nr3@151.43.124.243) (Ping timeout: 255 seconds) |
2024-05-03 16:11:35 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 16:15:19 +0200 | <kuribas> | You say succ would work with any type, but it doesn't. |
2024-05-03 16:15:30 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 16:16:19 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-05-03 16:16:21 +0200 | <kuribas> | First argument of "id'" should be a function that works on any type. |
2024-05-03 16:16:25 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 16:16:38 +0200 | gaff | (~gaff@49.207.227.255) |
2024-05-03 16:16:54 +0200 | <kuribas> | That's what (f :: forall a. a -> a) means |
2024-05-03 16:17:05 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: WeeChat 4.1.2) |
2024-05-03 16:17:20 +0200 | <kuribas> | "forall a. " means "for any type a" |
2024-05-03 16:17:43 +0200 | onion | (~yin@user/zero) (Ping timeout: 255 seconds) |
2024-05-03 16:19:14 +0200 | <gaff> | Is there any difference between writing code in the applicative vs monadic style? For example, `some p = do { x <- p; xs <- many p; return (x:xs) }` VS `some p = (:) <$> p <*> many p`? |
2024-05-03 16:19:23 +0200 | onion | (~yin@user/zero) |
2024-05-03 16:20:10 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 16:21:35 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 16:21:37 +0200 | agent314 | (~quassel@185.102.218.105.adsl.inet-telecom.org) |
2024-05-03 16:21:43 +0200 | agent314_ | (~quassel@104.193.135.218) (Ping timeout: 268 seconds) |
2024-05-03 16:21:50 +0200 | <EvanR> | not if you enable ApplicativeDo |
2024-05-03 16:22:15 +0200 | <EvanR> | otherwise, one expands to Monad the other Applicative class |
2024-05-03 16:22:58 +0200 | <gaff> | EvanR: I am not sure what you mena there, Both expressions have the same type. |
2024-05-03 16:23:08 +0200 | tv | (~tv@user/tv) |
2024-05-03 16:23:25 +0200 | <EvanR> | :t return |
2024-05-03 16:23:25 +0200 | <lambdabot> | Monad m => a -> m a |
2024-05-03 16:23:42 +0200 | <kuribas> | gaff: Some type doesn't mean the same expression. |
2024-05-03 16:23:50 +0200 | <kuribas> | :t 3 |
2024-05-03 16:23:51 +0200 | <lambdabot> | Num p => p |
2024-05-03 16:23:52 +0200 | <kuribas> | :t 4 |
2024-05-03 16:23:53 +0200 | <lambdabot> | Num p => p |
2024-05-03 16:23:53 +0200 | <EvanR> | they don't have the same type by default |
2024-05-03 16:24:23 +0200 | <gaff> | well, `some` in that example has the same type in both styles. |
2024-05-03 16:24:25 +0200 | <EvanR> | oh you're right. But yeah |
2024-05-03 16:24:30 +0200 | <kuribas> | gaff: For a lawful instance the should be the same, but it isn't garanteed. |
2024-05-03 16:24:31 +0200 | <EvanR> | different implementations |
2024-05-03 16:24:50 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 16:25:12 +0200 | <kuribas> | gaff: the do desugars to: p >>= \x -> many p >>= \xs -> return (x:xs) |
2024-05-03 16:26:10 +0200 | <gaff> | wha I found was that the binding in the `do` block forces an evaluation while in the applicative style it may/does not. I am not sure I am right, though. |
2024-05-03 16:26:30 +0200 | <gaff> | kuribas: I know |
2024-05-03 16:27:02 +0200 | <kuribas> | gaff: not necessarily. It could be a lazy monad. |
2024-05-03 16:27:05 +0200 | <EvanR> | if the general question is, is there any difference between do notation and applicative style, yes they end up going through two different type classes |
2024-05-03 16:27:21 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 16:27:33 +0200 | <EvanR> | your code might be an example where they end up doing the same thing, but definitely different in general |
2024-05-03 16:27:49 +0200 | <gaff> | EvanR: I mean from the standpoint of evaluation/laziness. |
2024-05-03 16:29:45 +0200 | <kuribas> | gaff: note that 'x' could be lazy, but it most be "produced" by effect "p", before the lambda can be evaulated, which is not true in the applicated. |
2024-05-03 16:29:47 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2024-05-03 16:30:09 +0200 | <gaff> | kuribas: exactly |
2024-05-03 16:30:26 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 16:31:03 +0200 | <gaff> | so when `p` fails, for example, the monadic style can short circuit computation where as the applicative style may not. |
2024-05-03 16:31:33 +0200 | onion | (~yin@user/zero) (Ping timeout: 256 seconds) |
2024-05-03 16:31:38 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 16:32:27 +0200 | <kuribas> | gaff: it could, it is not "required" to work in "parallel". |
2024-05-03 16:33:04 +0200 | <gaff> | kuribas: I am not sure wht you are saying there. parallel where? |
2024-05-03 16:33:06 +0200 | onion | (~yin@user/zero) |
2024-05-03 16:33:51 +0200 | <kuribas> | run "p" and "many p" in parallel. |
2024-05-03 16:34:18 +0200 | <gaff> | if `p` fails, the do block will short circuit. |
2024-05-03 16:34:34 +0200 | <gaff> | it is a sequential computation. |
2024-05-03 16:35:06 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 16:35:38 +0200 | <kuribas> | yes |
2024-05-03 16:35:42 +0200 | k`` | (~k``@136.54.34.25) (Ping timeout: 250 seconds) |
2024-05-03 16:36:34 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 16:38:06 +0200 | <gaff> | Hey, thanks a bunch. I didn't fully resolve this here. May be i will come back later and pose the same question again. |
2024-05-03 16:38:27 +0200 | gaff | (~gaff@49.207.227.255) () |
2024-05-03 16:39:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-03 16:40:14 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 16:40:21 +0200 | danse-nr3 | (~danse-nr3@151.43.124.243) |
2024-05-03 16:41:28 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 16:44:50 +0200 | Square | (~Square@user/square) |
2024-05-03 16:45:22 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 16:46:27 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 16:50:02 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 16:51:33 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 16:52:12 +0200 | <onion> | kuribas: i know what forall means, but it should be implicit. i was testing lambdabot to try and understand which extensions were being used |
2024-05-03 16:53:15 +0200 | Square | (~Square@user/square) (Ping timeout: 245 seconds) |
2024-05-03 16:53:40 +0200 | <kuribas> | onion: what do you mean "it should be implicit"? |
2024-05-03 16:54:01 +0200 | <kuribas> | RankN types are undecidable. |
2024-05-03 16:55:10 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 16:56:27 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 16:58:43 +0200 | onion | (~yin@user/zero) (Ping timeout: 268 seconds) |
2024-05-03 17:00:18 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 17:01:37 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 17:03:02 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds) |
2024-05-03 17:04:58 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 17:05:09 +0200 | ft | (~ft@p3e9bc1bf.dip0.t-ipconnect.de) |
2024-05-03 17:06:22 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 17:07:17 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Read error: Connection reset by peer) |
2024-05-03 17:09:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-03 17:10:06 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 17:10:46 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
2024-05-03 17:11:28 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 17:13:58 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Quit: leaving) |
2024-05-03 17:14:19 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) |
2024-05-03 17:14:46 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 17:15:53 +0200 | destituion | (~destituio@85.221.111.174) (Ping timeout: 272 seconds) |
2024-05-03 17:16:23 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 17:20:22 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 17:21:22 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 17:22:44 +0200 | thailigur | (~thailigur@151.240.170.117) |
2024-05-03 17:25:30 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 17:26:27 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 17:29:42 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 17:31:37 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Ping timeout: 256 seconds) |
2024-05-03 17:31:57 +0200 | destituion | (~destituio@77.16.38.63.tmi.telenormobil.no) |
2024-05-03 17:32:46 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 17:35:04 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 256 seconds) |
2024-05-03 17:35:18 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 17:35:21 +0200 | poscat | (~poscat@user/poscat) |
2024-05-03 17:37:56 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 17:40:26 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 17:41:28 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 17:44:38 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 17:46:31 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 17:47:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-03 17:50:14 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 17:50:59 +0200 | thailigur | (~thailigur@151.240.170.117) (Quit: Client closed) |
2024-05-03 17:51:24 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 17:51:44 +0200 | danse-nr3 | (~danse-nr3@151.43.124.243) (Ping timeout: 260 seconds) |
2024-05-03 17:52:35 +0200 | danse-nr3 | (~danse-nr3@151.37.254.183) |
2024-05-03 17:54:54 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 17:56:36 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 17:57:53 +0200 | erty | (~user@user/aeroplane) |
2024-05-03 17:58:31 +0200 | danse-nr3 | (~danse-nr3@151.37.254.183) (Ping timeout: 255 seconds) |
2024-05-03 18:00:02 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 18:00:18 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Read error: Connection reset by peer) |
2024-05-03 18:00:41 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
2024-05-03 18:01:19 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 18:03:33 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
2024-05-03 18:05:10 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 18:06:30 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 18:09:50 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 18:11:38 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 18:14:58 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 18:15:06 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
2024-05-03 18:15:33 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 18:16:21 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
2024-05-03 18:16:35 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 18:17:21 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
2024-05-03 18:20:06 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 18:21:25 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 18:25:14 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 18:26:34 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 18:26:50 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds) |
2024-05-03 18:29:54 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 18:31:21 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 18:35:02 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 18:36:26 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 18:39:42 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 18:39:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-03 18:41:29 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 18:43:32 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-05-03 18:44:01 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
2024-05-03 18:44:50 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 18:45:05 +0200 | notzmv | (~daniel@user/notzmv) (Remote host closed the connection) |
2024-05-03 18:46:19 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 18:47:55 +0200 | cstml | (~cstml@user/cstml) |
2024-05-03 18:49:10 +0200 | philopsos | (~caecilius@user/philopsos) |
2024-05-03 18:49:45 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-05-03 18:49:58 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 18:50:25 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
2024-05-03 18:51:32 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-05-03 18:51:54 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 18:51:55 +0200 | steew | (~steew@user/steew) |
2024-05-03 18:52:40 +0200 | notzmv | (~daniel@user/notzmv) |
2024-05-03 18:53:48 +0200 | destituion | (~destituio@77.16.38.63.tmi.telenormobil.no) (Read error: Connection reset by peer) |
2024-05-03 18:54:05 +0200 | destituion | (~destituio@2001:4644:c37:0:6086:64f4:a213:b80d) |
2024-05-03 18:55:06 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 18:55:59 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-05-03 18:56:00 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 252 seconds) |
2024-05-03 18:56:27 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
2024-05-03 18:56:27 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 19:00:12 +0200 | euleritian | (~euleritia@dynamic-176-006-200-148.176.6.pool.telefonica.de) (Ping timeout: 268 seconds) |
2024-05-03 19:00:14 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 19:00:21 +0200 | euleritian | (~euleritia@dynamic-176-006-003-012.176.6.pool.telefonica.de) |
2024-05-03 19:01:22 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 19:02:09 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
2024-05-03 19:02:13 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-05-03 19:02:30 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
2024-05-03 19:02:34 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds) |
2024-05-03 19:03:33 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2024-05-03 19:04:16 +0200 | cstml | (~cstml@user/cstml) (Ping timeout: 246 seconds) |
2024-05-03 19:04:48 +0200 | euleritian | (~euleritia@dynamic-176-006-003-012.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
2024-05-03 19:04:54 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 19:05:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-03 19:06:20 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 19:06:53 +0200 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 240 seconds) |
2024-05-03 19:07:37 +0200 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
2024-05-03 19:08:51 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
2024-05-03 19:09:50 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-05-03 19:10:02 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 19:10:15 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2024-05-03 19:10:43 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
2024-05-03 19:11:02 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-05-03 19:11:42 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
2024-05-03 19:11:43 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 19:14:42 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 19:15:59 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-03 19:16:21 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 255 seconds) |
2024-05-03 19:16:26 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 19:17:15 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-05-03 19:17:21 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
2024-05-03 19:17:39 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
2024-05-03 19:18:36 +0200 | euleritian | (~euleritia@dynamic-176-006-018-180.176.6.pool.telefonica.de) |
2024-05-03 19:20:18 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 19:21:21 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 19:23:29 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-05-03 19:23:29 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
2024-05-03 19:24:58 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 19:25:20 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 245 seconds) |
2024-05-03 19:26:18 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 19:27:55 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-03 19:28:55 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-05-03 19:29:29 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
2024-05-03 19:29:58 +0200 | califax | (~califax@user/califx) |
2024-05-03 19:30:34 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 19:31:26 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 19:31:55 +0200 | euleritian | (~euleritia@dynamic-176-006-018-180.176.6.pool.telefonica.de) (Ping timeout: 246 seconds) |
2024-05-03 19:34:04 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-03 19:34:46 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 19:35:08 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-05-03 19:35:28 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
2024-05-03 19:36:36 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 19:37:36 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-03 19:39:10 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 256 seconds) |
2024-05-03 19:39:54 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 19:41:22 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-05-03 19:41:33 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 19:41:57 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
2024-05-03 19:44:34 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 19:46:34 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 19:47:37 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-05-03 19:47:59 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
2024-05-03 19:50:10 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 19:50:42 +0200 | Square | (~Square@user/square) |
2024-05-03 19:51:35 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 19:53:08 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-05-03 19:53:56 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
2024-05-03 19:54:33 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-05-03 19:55:18 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 19:55:18 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
2024-05-03 19:55:47 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-05-03 19:56:28 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 19:56:28 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
2024-05-03 19:57:21 +0200 | <raehik> | How can I check the transitive dependencies of a Hackage (or local Cabal) package? I'm building an aeson that I don't expect and don't know if it's my Nix setup or an actual dep. |
2024-05-03 19:58:05 +0200 | <raehik> | Oh wait, self-answer. cabal freeze appears to do it! |
2024-05-03 19:58:19 +0200 | <tomsmeding> | raehik: you can also check the contents of dist-newstyle/cache/plan.json |
2024-05-03 19:58:39 +0200 | <raehik> | ooh I've never looked in there. cheers tomsmeding |
2024-05-03 19:58:48 +0200 | <tomsmeding> | the cabal-plan tool has utilities for reading that file, but it's also hand-readable if you run it through a json formatter |
2024-05-03 19:59:12 +0200 | <tomsmeding> | ('cabal-plan dot' gives you a graphviz dot graph of your dep graph) |
2024-05-03 19:59:27 +0200 | <tomsmeding> | (warning: that graph is large) |
2024-05-03 19:59:53 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-03 19:59:58 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 20:00:15 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
2024-05-03 20:00:40 +0200 | <glguy> | "cabal-plan tred" can be pretty handy |
2024-05-03 20:01:23 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 20:02:47 +0200 | <raehik> | super! cabal-plan tred has extremely concise understandable output |
2024-05-03 20:05:06 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 20:05:33 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Read error: Connection reset by peer) |
2024-05-03 20:06:09 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
2024-05-03 20:06:16 +0200 | michalz | (~michalz@185.246.207.197) |
2024-05-03 20:06:36 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 20:07:25 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 268 seconds) |
2024-05-03 20:08:44 +0200 | nurupo | (~nurupo.ga@user/nurupo) (Quit: nurupo.ga) |
2024-05-03 20:09:01 +0200 | nurupo | (~nurupo.ga@user/nurupo) |
2024-05-03 20:09:46 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 20:11:23 +0200 | <monochrom> | I need to write my own json formatter. :) |
2024-05-03 20:11:44 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 20:11:50 +0200 | <monochrom> | Actually that's just egotism. I should just use an existing one. |
2024-05-03 20:13:05 +0200 | <monochrom> | (I need a json formatter for all sorts of json-using things, not just cabal's plan file.) |
2024-05-03 20:13:49 +0200 | <EvanR> | the more inconsequential the change to the syntax the more egotism. New programming language < new syntax < new syntax for comments < new whitespace formatting |
2024-05-03 20:15:22 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 20:16:32 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 20:17:34 +0200 | euleritian | (~euleritia@87.79.39.180) |
2024-05-03 20:19:48 +0200 | euleritian | (~euleritia@87.79.39.180) (Read error: Connection reset by peer) |
2024-05-03 20:20:05 +0200 | euleritian | (~euleritia@87.79.39.180) |
2024-05-03 20:20:30 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 20:20:42 +0200 | <tomsmeding> | monochrom: why not? |
2024-05-03 20:21:21 +0200 | tomsmeding | just :%!jq .<cr> in vim but that's 1% effort 80% reward |
2024-05-03 20:21:34 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 20:21:34 +0200 | euleritian | (~euleritia@87.79.39.180) (Read error: Connection reset by peer) |
2024-05-03 20:21:41 +0200 | euleritian | (~euleritia@87.79.39.180) |
2024-05-03 20:22:03 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2024-05-03 20:23:03 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2024-05-03 20:23:03 +0200 | euleritian | (~euleritia@87.79.39.180) (Read error: Connection reset by peer) |
2024-05-03 20:23:10 +0200 | euleritian | (~euleritia@87.79.39.180) |
2024-05-03 20:25:10 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 20:27:52 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 20:30:18 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 20:31:30 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 20:34:30 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 20:37:59 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 20:40:06 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 20:40:32 +0200 | JimL | (~quassel@89.162.16.26) (Quit: No Ping reply in 180 seconds.) |
2024-05-03 20:42:05 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 20:44:14 +0200 | JimL | (~quassel@89.162.16.26) |
2024-05-03 20:44:18 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 20:46:33 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 20:47:40 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-03 20:49:54 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 20:49:54 +0200 | euleritian | (~euleritia@87.79.39.180) (Read error: Connection reset by peer) |
2024-05-03 20:51:32 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 20:53:35 +0200 | euleritian | (~euleritia@dynamic-176-006-006-109.176.6.pool.telefonica.de) |
2024-05-03 20:53:55 +0200 | euleritian | (~euleritia@dynamic-176-006-006-109.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-03 20:54:13 +0200 | euleritian | (~euleritia@87.79.39.180) |
2024-05-03 20:54:31 +0200 | pavonia | (~user@user/siracusa) |
2024-05-03 20:54:34 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 20:56:28 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 21:00:10 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 21:00:59 +0200 | euleritian | (~euleritia@87.79.39.180) (Ping timeout: 260 seconds) |
2024-05-03 21:01:25 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 21:05:18 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 21:05:44 +0200 | <erty> | Has anybody tried running AI code on GPU using Haskell libraries (eg. Accelerate) |
2024-05-03 21:05:48 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-05-03 21:05:51 +0200 | <erty> | Some time ago I tried to run AI, but can't because of outdated dependencies. I tried to follow the instructions [[here][https://github.com/AccelerateHS/accelerate-llvm]], but was constantly bombarded with erros related to some dependency depending on some outdated dependencies. |
2024-05-03 21:06:20 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 21:06:48 +0200 | <erty> | Can somebody link me to some updated haskell project that use AI |
2024-05-03 21:09:58 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 21:11:05 +0200 | <tomsmeding> | erty: try putting this in cabal.project https://paste.tomsmeding.com/lzv5ZgHN |
2024-05-03 21:11:16 +0200 | <tomsmeding> | that gives you LLVM 15 support in accelerate |
2024-05-03 21:11:27 +0200 | <tomsmeding> | newer LLVM versions are unfortunately not supported yet |
2024-05-03 21:12:43 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 21:13:19 +0200 | <erty> | ok i'll try |
2024-05-03 21:13:45 +0200 | <raehik> | I'm doing some Show-like printing (need context-sensitive brackets) and I'm sad to find no Text replacements for ShowS. Would a Text builder be more performant than the current ShowS one? |
2024-05-03 21:14:07 +0200 | euleritian | (~euleritia@87.79.39.180) |
2024-05-03 21:14:20 +0200 | <raehik> | e.g. class TShow a where tshowsPrec :: Int -> a -> TextBuilder |
2024-05-03 21:14:27 +0200 | tomsmeding | has seen https://hackage.haskell.org/package/text-builder-linear and found it interesting, but not used yet |
2024-05-03 21:15:06 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 21:17:52 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 21:19:09 +0200 | mechap | (~mechap@user/mechap) |
2024-05-03 21:20:10 +0200 | <raehik> | oh excellent good find tomsmeding |
2024-05-03 21:20:14 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 21:22:17 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 21:24:26 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 21:25:06 +0200 | <raehik> | ahh https://hackage.haskell.org/package/text-show is what I was hoping for! but the linear types builder seems much more performant |
2024-05-03 21:25:44 +0200 | <geekosaur> | yes, I'd expect that |
2024-05-03 21:25:57 +0200 | <Hecate> | raehik: text-display will use the text-builder-linear in the future |
2024-05-03 21:26:07 +0200 | <Hecate> | https://flora.pm/packages/@hackage/text-display |
2024-05-03 21:26:20 +0200 | <geekosaur> | ShowS is an optimization for small particles (individual Chars in a list), Builder is an optimization for building large chunks (Text) |
2024-05-03 21:26:28 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 21:28:05 +0200 | mechap | (~mechap@user/mechap) (WeeChat 4.2.2) |
2024-05-03 21:28:38 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-05-03 21:29:35 +0200 | <raehik> | geekosaur: I see, ty. it feels bad to use Show when it has to be placed inside a larger string, even if the ShowS bit is small, so I was looking for an excuse to go Text-only |
2024-05-03 21:30:02 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 21:31:23 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 21:31:49 +0200 | <raehik> | Hecate: ty ty! is text-display otherwise similar design to text-show (same builder, similar instances)? |
2024-05-03 21:34:42 +0200 | <raehik> | (that reminds me I still need to shift mt19937 over to the haskell-cryptography org!) |
2024-05-03 21:35:10 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 21:36:30 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 21:37:13 +0200 | <Hecate> | raehik: hmm for base types probaby yes. It gives you more end user-oriented facilities to produce instances however |
2024-05-03 21:37:49 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-05-03 21:39:50 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 21:39:54 +0200 | <raehik> | fab. time to spam text-builder-linear every chance I get |
2024-05-03 21:41:20 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 21:41:56 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-05-03 21:43:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-03 21:43:58 +0200 | kilolympus | (~kilolympu@31.205.200.246) (Read error: Connection reset by peer) |
2024-05-03 21:44:53 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
2024-05-03 21:44:58 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 21:45:06 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-05-03 21:45:57 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
2024-05-03 21:46:36 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-05-03 21:47:10 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 21:48:33 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
2024-05-03 21:50:06 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 21:50:26 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-03 21:51:17 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds) |
2024-05-03 21:51:20 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2024-05-03 21:51:32 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 21:54:46 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 21:57:02 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 21:58:36 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2024-05-03 22:00:22 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 22:02:12 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 22:04:34 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 22:06:27 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 22:09:42 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 22:11:26 +0200 | <raehik> | I want to inspect a TypeRep for pretty printing (without going thru String). But the definition in Data.Typeable.Internal isn't exported. What do I do? Show TypeRep uses it. |
2024-05-03 22:11:32 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 22:12:11 +0200 | causal | (~eric@50.35.88.207) |
2024-05-03 22:14:50 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 22:16:52 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2024-05-03 22:17:44 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 22:19:34 +0200 | <tomsmeding> | raehik: https://hackage.haskell.org/package/base-4.19.0.0/docs/Data-Typeable.html#v:splitTyConApp gets you very far |
2024-05-03 22:19:58 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 22:21:24 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 22:21:27 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-05-03 22:21:52 +0200 | <raehik> | thanks tomsmeding , that consumes one of the constructors I was curious about |
2024-05-03 22:22:55 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
2024-05-03 22:25:06 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 22:25:24 +0200 | <tomsmeding> | raehik: if I look here https://hackage.haskell.org/package/base-4.19.0.0/docs/Type-Reflection.html#g:4 I see a bunch of pattern synonyms |
2024-05-03 22:26:01 +0200 | <tomsmeding> | still doesn't seem like the whole set yet |
2024-05-03 22:26:10 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 268 seconds) |
2024-05-03 22:26:38 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 22:28:24 +0200 | <raehik> | maybe I can do this with generics instead and avoid all this |
2024-05-03 22:28:56 +0200 | <tomsmeding> | typeable always feels like an "I give up" solution to me |
2024-05-03 22:29:29 +0200 | <raehik> | hahaha I've always avoided it in my own code, had a similar feeling |
2024-05-03 22:29:30 +0200 | <tomsmeding> | good luck with generics though, it's possible to get through it but if you haven't touched GHC.Generics before, it can be a bit daunting |
2024-05-03 22:30:06 +0200 | <raehik> | I've love my generics :)) been spamming /r/haskell with them lately |
2024-05-03 22:30:14 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 22:30:17 +0200 | <tomsmeding> | in that case, go right out :) |
2024-05-03 22:33:45 +0200 | <monochrom> | But generics examines terms not types... |
2024-05-03 22:34:28 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 22:34:28 +0200 | <tomsmeding> | monochrom: examining a TypeRep gives you a value-level witness for a type |
2024-05-03 22:34:41 +0200 | <monochrom> | Although, I have been thinking of how to write a unification algorithm that works for everyone's algebraic data types, and currently I am thinking of generics. |
2024-05-03 22:34:43 +0200 | <tomsmeding> | you can do the same with generics if you specify the subset of types that you want to support |
2024-05-03 22:34:57 +0200 | <monochrom> | Oh, that. :( |
2024-05-03 22:35:22 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 22:35:27 +0200 | <tomsmeding> | though I feel that you don't need generics for this |
2024-05-03 22:35:37 +0200 | <tomsmeding> | a simple type class with instances for the shapes you want to support should be enough |
2024-05-03 22:35:42 +0200 | <tomsmeding> | raehik: ^ |
2024-05-03 22:36:01 +0200 | <EvanR> | you mean, don't go through Typeable at all |
2024-05-03 22:36:35 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 22:36:38 +0200 | <raehik> | hmm not too sure I can go via Generic any more. don't know how to inspect type args e.g. l and r in `data And l r` |
2024-05-03 22:36:40 +0200 | <tomsmeding> | EvanR: I mean, they were running against TypeRep not being inspectable so they were looking into alternatives |
2024-05-03 22:37:07 +0200 | <EvanR> | basically make your own TypeRep-like thing which can be rendered as Text directly |
2024-05-03 22:37:25 +0200 | <monochrom> | Oh haha here is another idea for my unification plan and it is why "Maybe [T]" can make sense. |
2024-05-03 22:38:04 +0200 | <tomsmeding> | raehik: oh that's right, Generic talks about monomorphic types |
2024-05-03 22:40:02 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 22:40:16 +0200 | <monochrom> | The user will provide "E -> E -> Maybe [(E,E)]". Nothing means that the roots mismatch. Just xs means that the roots match, and the list is the list of childrens to check further. |
2024-05-03 22:40:42 +0200 | <tomsmeding> | monochrom: is this for diffing |
2024-05-03 22:40:51 +0200 | <raehik> | tomsmeding: haha rats. perhaps I'm stuck with Typeable if I want to print the TypeRep of a data type |
2024-05-03 22:40:58 +0200 | <monochrom> | Yeah. |
2024-05-03 22:41:03 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-05-03 22:41:07 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2024-05-03 22:41:17 +0200 | <tomsmeding> | @hackage hdiff |
2024-05-03 22:41:17 +0200 | <lambdabot> | https://hackage.haskell.org/package/hdiff |
2024-05-03 22:42:08 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
2024-05-03 22:43:13 +0200 | <tomsmeding> | (good luck wading through the types there) |
2024-05-03 22:44:19 +0200 | agent314_ | (~quassel@169.150.252.111) |
2024-05-03 22:44:22 +0200 | agent314 | (~quassel@185.102.218.105.adsl.inet-telecom.org) (Ping timeout: 268 seconds) |
2024-05-03 22:45:10 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 22:45:47 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-05-03 22:46:52 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
2024-05-03 22:46:56 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 22:47:32 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-05-03 22:47:34 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-05-03 22:49:21 +0200 | causal | (~eric@50.35.88.207) |
2024-05-03 22:51:25 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 22:54:30 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 22:57:15 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 23:00:06 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 23:01:32 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 23:04:46 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 23:06:23 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 23:10:22 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 23:12:03 +0200 | cheater | (~Username@user/cheater) |
2024-05-03 23:12:08 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 23:15:02 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 23:16:54 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
2024-05-03 23:18:53 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2024-05-03 23:19:25 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 23:19:42 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 23:22:52 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 23:24:50 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 23:27:52 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 23:29:30 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 23:33:10 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 23:35:34 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 23:37:49 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 23:38:42 +0200 | erty | (~user@user/aeroplane) (Ping timeout: 255 seconds) |
2024-05-03 23:39:46 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 23:41:06 +0200 | AlexZenon | (~alzenon@178.34.162.113) (Ping timeout: 268 seconds) |
2024-05-03 23:42:53 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 23:42:55 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds) |
2024-05-03 23:45:22 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 23:45:53 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-05-03 23:46:37 +0200 | AlexZenon | (~alzenon@178.34.162.113) |
2024-05-03 23:47:13 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 23:49:34 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 23:52:41 +0200 | michalz | (~michalz@185.246.207.197) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-05-03 23:54:19 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 23:54:42 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 23:56:29 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 23:59:50 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |