| 2023-05-12 00:02:26 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-fc12-968e-5e2f-d273.rev.sfr.net) (Remote host closed the connection) |
| 2023-05-12 00:03:35 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-fc12-968e-5e2f-d273.rev.sfr.net) |
| 2023-05-12 00:07:56 +0200 | evincar | (~evincar@user/evincar) |
| 2023-05-12 00:13:51 +0200 | megeve | delyan |
| 2023-05-12 00:16:02 +0200 | zeenk | (~zeenk@2a02:2f04:a105:f00::7fe) (Quit: Konversation terminated!) |
| 2023-05-12 00:16:46 +0200 | elain4 | (~textual@static-71-251-226-194.rcmdva.fios.verizon.net) |
| 2023-05-12 00:17:02 +0200 | merijn | (~merijn@86.86.29.250) |
| 2023-05-12 00:18:57 +0200 | elain4 | (~textual@static-71-251-226-194.rcmdva.fios.verizon.net) (Client Quit) |
| 2023-05-12 00:19:18 +0200 | falafel | (~falafel@2603-8000-d700-115c-06e9-5265-747f-4f34.res6.spectrum.com) |
| 2023-05-12 00:19:44 +0200 | michalz | (~michalz@185.246.207.218) (Remote host closed the connection) |
| 2023-05-12 00:21:31 +0200 | merijn | (~merijn@86.86.29.250) (Ping timeout: 240 seconds) |
| 2023-05-12 00:22:48 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 2023-05-12 00:26:55 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-05-12 00:27:44 +0200 | tusko | (~yeurt@user/tusko) |
| 2023-05-12 00:27:49 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-05-12 00:27:50 +0200 | <tusko> | is haskell a lisp? |
| 2023-05-12 00:28:19 +0200 | <geekosaur> | no |
| 2023-05-12 00:33:50 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-05-12 00:34:05 +0200 | jargon | (~jargon@184.101.78.160) |
| 2023-05-12 00:34:41 +0200 | shapr` | (~user@76.29.230.19) (Quit: ERC 5.4 (IRC client for GNU Emacs 28.2)) |
| 2023-05-12 00:35:08 +0200 | shapr | (~user@76.29.230.19) |
| 2023-05-12 00:37:59 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-fc12-968e-5e2f-d273.rev.sfr.net) (Remote host closed the connection) |
| 2023-05-12 00:38:28 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-fc12-968e-5e2f-d273.rev.sfr.net) |
| 2023-05-12 00:40:32 +0200 | <ski> | there is/was Liskell, however |
| 2023-05-12 00:40:56 +0200 | <geekosaur[m]> | Hrm |
| 2023-05-12 00:42:05 +0200 | <ski> | @where liskell |
| 2023-05-12 00:42:05 +0200 | <lambdabot> | a SExp syntax for Haskell, by therp : <http://clemens.endorphin.org/liskell> (broken),<https://web.archive.org/web/20081105133119/http://clemens.endorphin.org/liskell>,<http://clemens.endorphin.org/ |
| 2023-05-12 00:42:05 +0200 | <lambdabot> | ILC07-Liskell-draft.pdf>,<https://web.archive.org/web/20120609122549/http://www.liskell.org/> |
| 2023-05-12 00:42:32 +0200 | <ncf> | or hackett |
| 2023-05-12 00:42:44 +0200 | <ski> | right, i forget about that one |
| 2023-05-12 00:47:14 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:11ad:4d6f:a0ef:a998) |
| 2023-05-12 00:51:31 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:11ad:4d6f:a0ef:a998) (Ping timeout: 240 seconds) |
| 2023-05-12 00:55:31 +0200 | <tusko> | is Learn You a Haskell for Great Good a venerable text? |
| 2023-05-12 00:59:01 +0200 | <ddellacosta> | it's been around a while and many still recommend it as a beginner's tutorial for Haskell, if that's what you mean |
| 2023-05-12 00:59:56 +0200 | <ski> | it doesn't have exercises |
| 2023-05-12 01:00:04 +0200 | <ski> | @where CIS194 |
| 2023-05-12 01:00:04 +0200 | <lambdabot> | <https://github.com/byorgey/haskell-course>,<https://www.seas.upenn.edu/~cis194/spring13/lectures.html> |
| 2023-05-12 01:02:41 +0200 | <tusko> | Many blessings |
| 2023-05-12 01:03:45 +0200 | <ski> | Haskell could be said to be in the ML tradition, with type inferenced FP |
| 2023-05-12 01:04:32 +0200 | <tusko> | I wish I knew what that meant practically. What applications do you think the language is well suited to? |
| 2023-05-12 01:04:48 +0200 | <c_wraith> | mostly programming |
| 2023-05-12 01:05:41 +0200 | <c_wraith> | I mean, maybe you won't get fortran performance on numerical code, and maybe system UI libraries really aren't usable in a nice way. |
| 2023-05-12 01:05:56 +0200 | <c_wraith> | But mostly Haskell is good for writing programs. |
| 2023-05-12 01:08:12 +0200 | <ski> | type inferenced means that it's statically typed (reports type errors, before running program). the inference part means that you usually don't have to specify types of variables, parameters, functions. although, for documentation reasons, and to more easily narrow down errors, people usually specify types of functions |
| 2023-05-12 01:12:01 +0200 | falafel | (~falafel@2603-8000-d700-115c-06e9-5265-747f-4f34.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-05-12 01:12:45 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:b59b:d427:e374:11eb) (Quit: caryhartline) |
| 2023-05-12 01:13:46 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:c4fd:519c:c524:bc7c) |
| 2023-05-12 01:14:08 +0200 | fernand | (uid551405@id-551405.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-05-12 01:16:55 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-05-12 01:19:14 +0200 | acidjnk | (~acidjnk@p200300d6e7072f63d1111b83d6638be4.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-05-12 01:22:18 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-12 01:22:44 +0200 | mncheck | (~mncheck@193.224.205.254) (Ping timeout: 246 seconds) |
| 2023-05-12 01:23:15 +0200 | <yin> | tomsmeding: i thought this looked familiar! |
| 2023-05-12 01:25:47 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-05-12 01:26:47 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2023-05-12 01:27:11 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 240 seconds) |
| 2023-05-12 01:27:11 +0200 | mauke_ | mauke |
| 2023-05-12 01:47:07 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-05-12 01:50:22 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-05-12 01:59:31 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2023-05-12 02:01:55 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-05-12 02:04:05 +0200 | califax | (~califax@user/califx) |
| 2023-05-12 02:05:23 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-05-12 02:07:59 +0200 | evincar | (~evincar@user/evincar) (Ping timeout: 264 seconds) |
| 2023-05-12 02:09:52 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-05-12 02:13:49 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-12 02:18:25 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 265 seconds) |
| 2023-05-12 02:19:08 +0200 | evincar | (~evincar@user/evincar) |
| 2023-05-12 02:19:31 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:c4fd:519c:c524:bc7c) (Quit: caryhartline) |
| 2023-05-12 02:20:17 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-05-12 02:20:54 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2023-05-12 02:21:16 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-05-12 02:22:47 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2023-05-12 02:23:01 +0200 | Hounded1969 | (~mark@2603-7000-da43-eccc-5dec-51d9-44db-59fc.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-05-12 02:24:50 +0200 | shapr` | (~user@76.29.230.19) |
| 2023-05-12 02:26:07 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-05-12 02:26:38 +0200 | shapr | (~user@76.29.230.19) (Ping timeout: 265 seconds) |
| 2023-05-12 02:27:01 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-05-12 02:27:01 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-05-12 02:27:01 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-05-12 02:50:15 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 256 seconds) |
| 2023-05-12 03:00:28 +0200 | evincar | (~evincar@user/evincar) (Ping timeout: 265 seconds) |
| 2023-05-12 03:02:24 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-05-12 03:02:43 +0200 | evincar | (~evincar@user/evincar) |
| 2023-05-12 03:09:47 +0200 | evincar | (~evincar@user/evincar) (Ping timeout: 264 seconds) |
| 2023-05-12 03:10:41 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-05-12 03:13:46 +0200 | evincar | (~evincar@user/evincar) |
| 2023-05-12 03:16:48 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-05-12 03:22:18 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-05-12 03:25:28 +0200 | Sciencentistguy9 | (~sciencent@hacksoc/ordinary-member) |
| 2023-05-12 03:27:35 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-05-12 03:27:39 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 256 seconds) |
| 2023-05-12 03:27:40 +0200 | Sciencentistguy9 | Sciencentistguy |
| 2023-05-12 03:31:59 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 264 seconds) |
| 2023-05-12 03:33:09 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-05-12 03:34:26 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-05-12 03:40:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Ping timeout: 240 seconds) |
| 2023-05-12 03:45:46 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-12 03:48:14 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-05-12 03:51:37 +0200 | Zymurgy | Sauvin |
| 2023-05-12 03:51:47 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 264 seconds) |
| 2023-05-12 03:51:55 +0200 | Sauvin | (~sauvin@about/linux/staff/zymurgy) (Changing host) |
| 2023-05-12 03:51:55 +0200 | Sauvin | (~sauvin@user/Sauvin) |
| 2023-05-12 03:58:47 +0200 | evincar | (~evincar@user/evincar) (Ping timeout: 240 seconds) |
| 2023-05-12 03:59:52 +0200 | evincar | (~evincar@user/evincar) |
| 2023-05-12 04:04:11 +0200 | slack1256 | (~slack1256@186.11.80.136) |
| 2023-05-12 04:05:38 +0200 | ub | (~Thunderbi@p200300ecdf18b67f18c7c9006c8ee31c.dip0.t-ipconnect.de) |
| 2023-05-12 04:06:31 +0200 | ubert | (~Thunderbi@p548c8bbe.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-05-12 04:07:28 +0200 | Inst | (~Inst@2601:6c4:4081:2fc0:216a:c504:9118:d58c) (Ping timeout: 250 seconds) |
| 2023-05-12 04:09:01 +0200 | ubert | (~Thunderbi@p548c8bbe.dip0.t-ipconnect.de) |
| 2023-05-12 04:09:48 +0200 | ub | (~Thunderbi@p200300ecdf18b67f18c7c9006c8ee31c.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-05-12 04:14:07 +0200 | xff0x | (~xff0x@2405:6580:b080:900:eba2:f46b:4628:1a3b) (Ping timeout: 256 seconds) |
| 2023-05-12 04:19:01 +0200 | td_ | (~td@i53870913.versanet.de) (Ping timeout: 240 seconds) |
| 2023-05-12 04:20:50 +0200 | td_ | (~td@i53870914.versanet.de) |
| 2023-05-12 04:22:59 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 264 seconds) |
| 2023-05-12 04:28:08 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2023-05-12 04:30:56 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-05-12 04:45:26 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-12 04:45:29 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:147c:6a57:5765:6fba) |
| 2023-05-12 04:46:00 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:147c:6a57:5765:6fba) (Remote host closed the connection) |
| 2023-05-12 04:46:15 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:147c:6a57:5765:6fba) |
| 2023-05-12 04:49:11 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-05-12 04:49:11 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-05-12 04:49:11 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-05-12 04:51:41 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:d8c8:6fc6:e851:a318) (Remote host closed the connection) |
| 2023-05-12 04:51:59 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:d8c8:6fc6:e851:a318) |
| 2023-05-12 04:54:59 +0200 | pavonia | (~user@user/siracusa) |
| 2023-05-12 04:56:11 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-05-12 04:58:09 +0200 | jero98772 | (~jero98772@2800:484:1d84:9000::3) (Remote host closed the connection) |
| 2023-05-12 04:58:37 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-05-12 04:58:37 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-05-12 04:58:37 +0200 | finn_elija | FinnElija |
| 2023-05-12 05:17:17 +0200 | falafel | (~falafel@2603-8000-d700-115c-05ef-4f80-77e9-902d.res6.spectrum.com) |
| 2023-05-12 05:21:11 +0200 | evincar | (~evincar@user/evincar) (Ping timeout: 264 seconds) |
| 2023-05-12 05:38:56 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 2023-05-12 05:40:31 +0200 | shapr`` | (~user@76.29.230.19) |
| 2023-05-12 05:42:31 +0200 | shapr` | (~user@76.29.230.19) (Ping timeout: 256 seconds) |
| 2023-05-12 05:42:47 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-05-12 05:45:24 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-05-12 05:47:13 +0200 | slack1256 | (~slack1256@186.11.80.136) (Remote host closed the connection) |
| 2023-05-12 05:48:31 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2023-05-12 05:56:45 +0200 | zer0bitz_ | (~zer0bitz@user/zer0bitz) |
| 2023-05-12 05:57:48 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 240 seconds) |
| 2023-05-12 06:04:20 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2023-05-12 06:04:20 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2023-05-12 06:04:45 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-05-12 06:04:51 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-05-12 06:06:32 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-05-12 06:18:20 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-05-12 06:20:05 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds) |
| 2023-05-12 06:36:08 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-05-12 06:36:48 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-05-12 06:40:42 +0200 | evincar | (~evincar@user/evincar) |
| 2023-05-12 06:42:27 +0200 | tusko | (~yeurt@user/tusko) (Byeee) |
| 2023-05-12 06:46:19 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-05-12 06:55:37 +0200 | falafel | (~falafel@2603-8000-d700-115c-05ef-4f80-77e9-902d.res6.spectrum.com) (Ping timeout: 256 seconds) |
| 2023-05-12 07:16:31 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-12 07:17:49 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-05-12 07:18:47 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-05-12 07:20:08 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-05-12 07:22:28 +0200 | T_S__ | (sid501726@id-501726.uxbridge.irccloud.com) (Ping timeout: 240 seconds) |
| 2023-05-12 07:22:28 +0200 | rune_ | (sid21167@id-21167.ilkley.irccloud.com) (Ping timeout: 240 seconds) |
| 2023-05-12 07:22:28 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Ping timeout: 240 seconds) |
| 2023-05-12 07:22:54 +0200 | jargon | (~jargon@184.101.78.160) (Remote host closed the connection) |
| 2023-05-12 07:23:14 +0200 | agander_m | (sid407952@id-407952.tinside.irccloud.com) (Read error: Connection reset by peer) |
| 2023-05-12 07:23:21 +0200 | rune_ | (sid21167@id-21167.ilkley.irccloud.com) |
| 2023-05-12 07:23:23 +0200 | agander_m | (sid407952@id-407952.tinside.irccloud.com) |
| 2023-05-12 07:23:26 +0200 | T_S__ | (sid501726@id-501726.uxbridge.irccloud.com) |
| 2023-05-12 07:23:48 +0200 | NiKaN_ | (sid385034@id-385034.helmsley.irccloud.com) (Ping timeout: 240 seconds) |
| 2023-05-12 07:24:28 +0200 | jackdk | (sid373013@cssa/jackdk) (Ping timeout: 240 seconds) |
| 2023-05-12 07:24:47 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 264 seconds) |
| 2023-05-12 07:25:07 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) |
| 2023-05-12 07:27:18 +0200 | jackdk | (sid373013@cssa/jackdk) |
| 2023-05-12 07:27:40 +0200 | vandita | (~vandit@94-21-157-138.pool.digikabel.hu) (Ping timeout: 250 seconds) |
| 2023-05-12 07:27:58 +0200 | NiKaN_ | (sid385034@id-385034.helmsley.irccloud.com) |
| 2023-05-12 07:29:22 +0200 | vandita | (~vandit@fibhost-66-106-112.fibernet.hu) |
| 2023-05-12 07:48:01 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-05-12 07:48:06 +0200 | merijn | (~merijn@86.86.29.250) |
| 2023-05-12 07:50:41 +0200 | CAT_S | (apic@brezn3.muc.ccc.de) (Quit: Lost terminal) |
| 2023-05-12 07:51:26 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-12 07:53:31 +0200 | merijn | (~merijn@86.86.29.250) (Ping timeout: 240 seconds) |
| 2023-05-12 07:58:41 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-12 07:58:56 +0200 | trev | (~trev@user/trev) |
| 2023-05-12 08:03:25 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-05-12 08:09:07 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-05-12 08:14:15 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2023-05-12 08:16:07 +0200 | leohoo_sdu[m] | (~leohoosdu@2001:470:69fc:105::3:56ef) |
| 2023-05-12 08:16:11 +0200 | leohoo_sdu[m] | (~leohoosdu@2001:470:69fc:105::3:56ef) () |
| 2023-05-12 08:16:39 +0200 | Nosrep | (~Nosrep@user/nosrep) (Ping timeout: 256 seconds) |
| 2023-05-12 08:17:45 +0200 | michalz | (~michalz@185.246.207.218) |
| 2023-05-12 08:18:31 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-05-12 08:20:25 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-05-12 08:26:08 +0200 | Nosrep | (~Nosrep@user/nosrep) |
| 2023-05-12 08:28:22 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-05-12 08:29:52 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2023-05-12 08:31:37 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2023-05-12 08:35:23 +0200 | oo_miguel | (~Thunderbi@77.252.47.78) |
| 2023-05-12 08:36:01 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 240 seconds) |
| 2023-05-12 08:36:51 +0200 | ub | (~Thunderbi@p200300ecdf18b67f18c7c9006c8ee31c.dip0.t-ipconnect.de) |
| 2023-05-12 08:38:55 +0200 | ubert | (~Thunderbi@p548c8bbe.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2023-05-12 08:39:01 +0200 | dcoutts_ | (~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) (Remote host closed the connection) |
| 2023-05-12 08:39:05 +0200 | pyook | (~puke@user/puke) (Read error: Connection reset by peer) |
| 2023-05-12 08:39:14 +0200 | pyook | (~puke@user/puke) |
| 2023-05-12 08:40:05 +0200 | ubert | (~Thunderbi@p548c8bbe.dip0.t-ipconnect.de) |
| 2023-05-12 08:40:28 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-05-12 08:40:58 +0200 | NiKaN_ | NiKaN |
| 2023-05-12 08:41:13 +0200 | evincar | (~evincar@user/evincar) (Ping timeout: 265 seconds) |
| 2023-05-12 08:41:35 +0200 | ub | (~Thunderbi@p200300ecdf18b67f18c7c9006c8ee31c.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2023-05-12 08:41:54 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-05-12 08:46:28 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-12 08:46:28 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2023-05-12 08:48:20 +0200 | mncheck | (~mncheck@193.224.205.254) |
| 2023-05-12 08:49:31 +0200 | zer0bitz_ | (~zer0bitz@user/zer0bitz) (Ping timeout: 256 seconds) |
| 2023-05-12 08:51:46 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2023-05-12 08:53:39 +0200 | nschoe | (~q@2a01:e0a:8e:a190:5f57:a70d:d647:c4f3) |
| 2023-05-12 08:56:21 +0200 | acidjnk | (~acidjnk@p5dd870a3.dip0.t-ipconnect.de) |
| 2023-05-12 08:58:15 +0200 | CiaoSen | (~Jura@dynamic-046-114-219-177.46.114.pool.telefonica.de) |
| 2023-05-12 09:00:12 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-05-12 09:06:44 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-12 09:08:24 +0200 | evincar | (~evincar@user/evincar) |
| 2023-05-12 09:13:13 +0200 | shapr``` | (~user@76.29.230.19) |
| 2023-05-12 09:14:47 +0200 | shapr`` | (~user@76.29.230.19) (Ping timeout: 240 seconds) |
| 2023-05-12 09:16:08 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) |
| 2023-05-12 09:19:14 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:86bb:4edf:1ae2:f5fb) |
| 2023-05-12 09:25:56 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-179-231.46.114.pool.telefonica.de) |
| 2023-05-12 09:26:22 +0200 | taupiqueur1 | (~taupiqueu@2a02-842a-8180-4601-fc12-968e-5e2f-d273.rev.sfr.net) |
| 2023-05-12 09:27:50 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-fc12-968e-5e2f-d273.rev.sfr.net) (Read error: Connection reset by peer) |
| 2023-05-12 09:28:53 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-05-12 09:34:33 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-05-12 09:35:22 +0200 | rf_ | (~rf@129.222.137.33) |
| 2023-05-12 09:37:01 +0200 | rf | (~rf@2605:59c8:179c:f610:9ac7:290e:76d9:a570) (Ping timeout: 240 seconds) |
| 2023-05-12 09:39:59 +0200 | vandita | (~vandit@fibhost-66-106-112.fibernet.hu) (Ping timeout: 240 seconds) |
| 2023-05-12 09:42:07 +0200 | vandita | (~vandit@94-21-131-119.pool.digikabel.hu) |
| 2023-05-12 09:43:21 +0200 | rf | (~rf@2605:59c8:179c:f610:f43f:32a2:9296:ac5c) |
| 2023-05-12 09:45:35 +0200 | pyook | (~puke@user/puke) (Ping timeout: 240 seconds) |
| 2023-05-12 09:45:37 +0200 | rf_ | (~rf@129.222.137.33) (Ping timeout: 256 seconds) |
| 2023-05-12 09:46:10 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-12 09:49:03 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-fc12-968e-5e2f-d273.rev.sfr.net) (Remote host closed the connection) |
| 2023-05-12 09:50:12 +0200 | rf_ | (~rf@129.222.137.244) |
| 2023-05-12 09:50:24 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-fc12-968e-5e2f-d273.rev.sfr.net) |
| 2023-05-12 09:50:56 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2023-05-12 09:52:00 +0200 | rf | (~rf@2605:59c8:179c:f610:f43f:32a2:9296:ac5c) (Ping timeout: 248 seconds) |
| 2023-05-12 09:54:52 +0200 | rf | (~rf@2605:59c8:179c:f610:4042:4090:aba1:63a2) |
| 2023-05-12 09:55:27 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-05-12 09:55:29 +0200 | rf_ | (~rf@129.222.137.244) (Ping timeout: 246 seconds) |
| 2023-05-12 09:56:10 +0200 | chele | (~chele@user/chele) |
| 2023-05-12 09:56:36 +0200 | taupiqueur2 | (~taupiqueu@211.190.65.81.rev.sfr.net) |
| 2023-05-12 09:56:53 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-fc12-968e-5e2f-d273.rev.sfr.net) (Ping timeout: 245 seconds) |
| 2023-05-12 09:57:11 +0200 | taupiqueur1 | (~taupiqueu@2a02-842a-8180-4601-fc12-968e-5e2f-d273.rev.sfr.net) (Ping timeout: 264 seconds) |
| 2023-05-12 10:03:24 +0200 | taupiqueur2 | (~taupiqueu@211.190.65.81.rev.sfr.net) (Ping timeout: 268 seconds) |
| 2023-05-12 10:03:52 +0200 | rf_ | (~rf@129.222.137.244) |
| 2023-05-12 10:06:16 +0200 | rf | (~rf@2605:59c8:179c:f610:4042:4090:aba1:63a2) (Ping timeout: 250 seconds) |
| 2023-05-12 10:07:44 +0200 | ft | (~ft@p4fc2a88b.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-05-12 10:11:03 +0200 | zeenk | (~zeenk@2a02:2f04:a105:f00::7fe) |
| 2023-05-12 10:15:21 +0200 | rf | (~rf@129.222.137.244) |
| 2023-05-12 10:16:23 +0200 | rf_ | (~rf@129.222.137.244) (Ping timeout: 240 seconds) |
| 2023-05-12 10:16:47 +0200 | evincar | (~evincar@user/evincar) (Ping timeout: 240 seconds) |
| 2023-05-12 10:18:46 +0200 | merijn | (~merijn@195.114.232.94) |
| 2023-05-12 10:18:51 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-05-12 10:24:31 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:147c:6a57:5765:6fba) (Remote host closed the connection) |
| 2023-05-12 10:27:45 +0200 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-05-12 10:30:47 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2023-05-12 10:31:16 +0200 | comerijn | (~merijn@185.143.104.11) |
| 2023-05-12 10:33:11 +0200 | merijn | (~merijn@195.114.232.94) (Ping timeout: 264 seconds) |
| 2023-05-12 10:34:41 +0200 | rf_ | (~rf@2605:59c8:179c:f610:9753:1ac9:69b4:a27b) |
| 2023-05-12 10:35:59 +0200 | rf | (~rf@129.222.137.244) (Ping timeout: 240 seconds) |
| 2023-05-12 10:42:47 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-05-12 10:43:08 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2023-05-12 10:43:57 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-12 10:44:09 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2023-05-12 10:46:21 +0200 | Inst | (~Inst@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2023-05-12 10:48:20 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 246 seconds) |
| 2023-05-12 10:49:31 +0200 | rf | (~rf@129.222.137.244) |
| 2023-05-12 10:51:08 +0200 | rf_ | (~rf@2605:59c8:179c:f610:9753:1ac9:69b4:a27b) (Ping timeout: 240 seconds) |
| 2023-05-12 10:53:32 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-05-12 11:00:52 +0200 | rf_ | (~rf@129.222.137.244) |
| 2023-05-12 11:02:41 +0200 | rf | (~rf@129.222.137.244) (Ping timeout: 246 seconds) |
| 2023-05-12 11:04:27 +0200 | tom__ | (~tom@104-191-145-180.lightspeed.dybhfl.sbcglobal.net) |
| 2023-05-12 11:07:17 +0200 | ubert1 | (~Thunderbi@2a02:8109:abc0:6434:f603:934a:b110:2a9e) |
| 2023-05-12 11:11:00 +0200 | tom1 | (~tom@2600:1700:4010:6d20:3ac8:39ef:d386:119b) |
| 2023-05-12 11:13:20 +0200 | tom1 | (~tom@2600:1700:4010:6d20:3ac8:39ef:d386:119b) (Client Quit) |
| 2023-05-12 11:18:23 +0200 | rf_ | (~rf@129.222.137.244) (Ping timeout: 240 seconds) |
| 2023-05-12 11:20:15 +0200 | tom__ | (~tom@104-191-145-180.lightspeed.dybhfl.sbcglobal.net) (Quit: Lost terminal) |
| 2023-05-12 11:20:25 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-05-12 11:24:47 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-179-231.46.114.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2023-05-12 11:24:57 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:147c:6a57:5765:6fba) |
| 2023-05-12 11:27:55 +0200 | comerijn | merijn |
| 2023-05-12 11:29:19 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:147c:6a57:5765:6fba) (Ping timeout: 256 seconds) |
| 2023-05-12 11:31:08 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-179-231.46.114.pool.telefonica.de) |
| 2023-05-12 11:31:31 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-05-12 11:37:36 +0200 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-05-12 11:37:54 +0200 | user____2 | (~user@dynamic-046-114-179-231.46.114.pool.telefonica.de) |
| 2023-05-12 11:38:23 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-179-231.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2023-05-12 11:40:36 +0200 | euandreh | (~Thunderbi@189.6.18.7) (Remote host closed the connection) |
| 2023-05-12 11:42:08 +0200 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-05-12 11:43:15 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-05-12 11:43:50 +0200 | user____2 | Gurkenglas |
| 2023-05-12 11:44:02 +0200 | constanze_amalie | (~username@2600:1700:4010:6d20:3ac8:39ef:d386:119b) |
| 2023-05-12 11:47:57 +0200 | rlj | (~rlj@c-5eea7265-74736162.cust.telenor.se) |
| 2023-05-12 11:51:20 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 246 seconds) |
| 2023-05-12 11:51:35 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-05-12 11:56:16 +0200 | vandita | (~vandit@94-21-131-119.pool.digikabel.hu) (Ping timeout: 248 seconds) |
| 2023-05-12 11:56:16 +0200 | mbuf | (~Shakthi@49.207.178.186) |
| 2023-05-12 11:57:31 +0200 | Gurkenglas | (~user@dynamic-046-114-179-231.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2023-05-12 11:57:36 +0200 | Guest4174 | (~miguel@2001:818:dc71:d100:e682:f5cd:9590:d961) |
| 2023-05-12 11:57:51 +0200 | vandita | (~vandit@92-249-193-102.pool.digikabel.hu) |
| 2023-05-12 11:58:08 +0200 | tanyastopguy | (~tanyastop@2600:1700:4010:6d20:3aea:f984:552:57de) (Quit: Leaving) |
| 2023-05-12 11:58:42 +0200 | Guest4174 | (~miguel@2001:818:dc71:d100:e682:f5cd:9590:d961) (Client Quit) |
| 2023-05-12 11:59:21 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-12 11:59:25 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 240 seconds) |
| 2023-05-12 11:59:36 +0200 | Gurkenglas | (~user@dynamic-046-114-179-231.46.114.pool.telefonica.de) |
| 2023-05-12 11:59:55 +0200 | miguelnegrao | (~miguelneg@2001:818:dc71:d100:e682:f5cd:9590:d961) |
| 2023-05-12 12:02:32 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 246 seconds) |
| 2023-05-12 12:03:35 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-12 12:12:54 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-12 12:20:23 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-12 12:21:19 +0200 | constanze_amalie | (~username@2600:1700:4010:6d20:3ac8:39ef:d386:119b) (Remote host closed the connection) |
| 2023-05-12 12:26:54 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-12 12:29:59 +0200 | merijn | (~merijn@185.143.104.11) (Ping timeout: 240 seconds) |
| 2023-05-12 12:30:15 +0200 | kuribas | (~user@ptr-17d51ena555wmqfho1x.18120a2.ip6.access.telenet.be) |
| 2023-05-12 12:31:11 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-12 12:31:54 +0200 | barcisz | (~barcisz@79.191.229.20.ipv4.supernova.orange.pl) |
| 2023-05-12 12:36:23 +0200 | Gurkenglas | (~user@dynamic-046-114-179-231.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2023-05-12 12:37:32 +0200 | boukenshaou | (~Boukensha@115.248.21.178) |
| 2023-05-12 12:38:46 +0200 | boukenshaou | (~Boukensha@115.248.21.178) (Client Quit) |
| 2023-05-12 12:38:59 +0200 | boukenshaou | (~Boukensha@115.248.21.178) |
| 2023-05-12 12:40:14 +0200 | boukenshaou | (~Boukensha@115.248.21.178) (Client Quit) |
| 2023-05-12 12:40:26 +0200 | boukenshaou | (~Boukensha@115.248.21.178) |
| 2023-05-12 12:41:03 +0200 | guest | (~username@2600:1700:4010:6d20:3ac8:39ef:d386:119b) |
| 2023-05-12 12:41:27 +0200 | guest | constanzes_top_g |
| 2023-05-12 12:43:12 +0200 | constanzes_top_g | (~username@2600:1700:4010:6d20:3ac8:39ef:d386:119b) (Remote host closed the connection) |
| 2023-05-12 12:44:05 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-05-12 12:50:55 +0200 | boukenshaou | (~Boukensha@115.248.21.178) (Quit: Leaving) |
| 2023-05-12 12:51:43 +0200 | boukenshaou | (~Boukensha@115.248.21.178) |
| 2023-05-12 12:53:08 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2023-05-12 12:54:02 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2023-05-12 12:56:16 +0200 | <miguelnegrao> | Hi. Has anyone ever seen the following function ? |
| 2023-05-12 12:56:22 +0200 | <miguelnegrao> | catMaybes' :: [Maybe a] -> Maybe [a] |
| 2023-05-12 12:56:26 +0200 | <miguelnegrao> | catMaybes' [] = Nothing |
| 2023-05-12 12:56:26 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
| 2023-05-12 12:56:31 +0200 | <miguelnegrao> | catMaybes' xs = Just $ catMaybes xs |
| 2023-05-12 12:57:01 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-05-12 12:57:26 +0200 | <miguelnegrao> | I have a use case for it, FRP related... just wondering if it is a known thing. hoogle doesn't find it. |
| 2023-05-12 12:58:25 +0200 | <jackdk> | miguelnegrao: what do you imagine this function does for nonempty lists? |
| 2023-05-12 12:58:50 +0200 | <jackdk> | oh, I see. |
| 2023-05-12 12:59:57 +0200 | <jackdk> | > :t Data.List.NonEmpty.nonEmpty . catMaybes |
| 2023-05-12 12:59:59 +0200 | <lambdabot> | <hint>:1:1: error: parse error on input ‘:’ |
| 2023-05-12 13:00:12 +0200 | <jackdk> | % :t Data.List.NonEmpty.nonEmpty . catMaybes |
| 2023-05-12 13:00:12 +0200 | <yahb2> | <interactive>:1:31: error: ; Variable not in scope: catMaybes :: a -> [a1] |
| 2023-05-12 13:00:31 +0200 | <jackdk> | % :t Data.List.NonEmpty.nonEmpty . Data.Maybe.catMaybes |
| 2023-05-12 13:00:31 +0200 | <yahb2> | Data.List.NonEmpty.nonEmpty . Data.Maybe.catMaybes ; :: forall {a}. [Maybe a] -> Maybe (GHC.Base.NonEmpty a) |
| 2023-05-12 13:00:52 +0200 | <jackdk> | miguelnegrao: That one^ you also get a proof that the list is nonempty after it's been checked |
| 2023-05-12 13:01:01 +0200 | <maerwald> | those are two completely different things |
| 2023-05-12 13:01:22 +0200 | <jackdk> | oh it is. It's late here. |
| 2023-05-12 13:02:11 +0200 | <maerwald> | but indeed 'NonEmpty a -> [a]' is more conenient imo |
| 2023-05-12 13:02:30 +0200 | <maerwald> | Nonempty (Maybe a) -> [a] rather |
| 2023-05-12 13:03:08 +0200 | <maerwald> | I find such ad-hoc handling of empty list cases a bit difficult |
| 2023-05-12 13:03:28 +0200 | Gurkenglas | (~user@dynamic-046-114-179-231.46.114.pool.telefonica.de) |
| 2023-05-12 13:03:47 +0200 | <maerwald> | (but I don't know anything about FRP) |
| 2023-05-12 13:09:00 +0200 | <miguelnegrao> | So in FRP a Maybe a represents an event. The situation here is merging events from a list of event emmiters. If any of them sent an event we have an event, if none of them sent and event we don't have an event. If some of them sent an event, the resulting event is a list of all events emmited. |
| 2023-05-12 13:09:46 +0200 | <miguelnegrao> | So I really have to use Maybe because all the FRP functions expect that |
| 2023-05-12 13:12:23 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-05-12 13:12:28 +0200 | glguy_ | (~glguy@libera/staff-emeritus/glguy) (Ping timeout: 240 seconds) |
| 2023-05-12 13:12:44 +0200 | <[Leary]> | miguelnegrao: Then isn't `catMaybes' [Nothing] = Just []` wrong? I think you actually want what jackdk wrote. |
| 2023-05-12 13:13:04 +0200 | glguy | (~glguy@libera/staff-emeritus/glguy) |
| 2023-05-12 13:13:34 +0200 | <miguelnegrao> | It is true that I could just do `Just . catMaybes` and the result wouldn't be very different. This way the result is always an event emitted, but which might carry 0 subevents, so to say. |
| 2023-05-12 13:14:17 +0200 | <miguelnegrao> | @Leary ah, I think you are right |
| 2023-05-12 13:14:17 +0200 | <lambdabot> | https://wiki.haskell.org/Learning_Haskell |
| 2023-05-12 13:16:24 +0200 | <miguelnegrao> | I wanted this one |
| 2023-05-12 13:16:29 +0200 | <miguelnegrao> | catMaybes' xs = case catMaybes xs of |
| 2023-05-12 13:16:31 +0200 | <miguelnegrao> | [] -> Nothing |
| 2023-05-12 13:16:33 +0200 | <miguelnegrao> | xs -> Just xs |
| 2023-05-12 13:17:16 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-05-12 13:17:44 +0200 | <miguelnegrao> | But Data.List.NonEmpty.nonEmpty . Data.Maybe.catMaybes seems nice too, thanks. |
| 2023-05-12 13:20:29 +0200 | constanzes_top_g | (~username@2600:1700:4010:6d20:3ac8:39ef:d386:119b) |
| 2023-05-12 13:20:45 +0200 | boukenshaou | (~Boukensha@115.248.21.178) (Quit: Leaving) |
| 2023-05-12 13:21:02 +0200 | boukenshaou | (~Boukensha@115.248.21.178) |
| 2023-05-12 13:21:42 +0200 | constanzes_top_g | constanzes_amali |
| 2023-05-12 13:21:59 +0200 | constanzes_amali | constanzesamalie |
| 2023-05-12 13:22:15 +0200 | boukenshaou | (~Boukensha@115.248.21.178) (Client Quit) |
| 2023-05-12 13:22:28 +0200 | boukenshaou | (~Boukensha@115.248.21.178) |
| 2023-05-12 13:23:40 +0200 | boukenshaou | (~Boukensha@115.248.21.178) (Remote host closed the connection) |
| 2023-05-12 13:33:16 +0200 | CAT_S | (apic@brezn3.muc.ccc.de) |
| 2023-05-12 13:39:07 +0200 | vpan | (~0@mail.elitnet.lt) |
| 2023-05-12 13:40:42 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-05-12 13:41:23 +0200 | xff0x | (~xff0x@2405:6580:b080:900:7a1d:99dd:4861:77d8) |
| 2023-05-12 13:47:40 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-12 13:52:07 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2023-05-12 13:52:58 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2023-05-12 13:58:23 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 264 seconds) |
| 2023-05-12 13:59:07 +0200 | constanzesamalie | (~username@2600:1700:4010:6d20:3ac8:39ef:d386:119b) () |
| 2023-05-12 14:00:25 +0200 | Guest40 | (~Guest40@138.251.117.48) |
| 2023-05-12 14:03:31 +0200 | vandita | (~vandit@92-249-193-102.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-05-12 14:05:05 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-12 14:05:28 +0200 | vandita | (~vandit@92-249-193-102.pool.digikabel.hu) |
| 2023-05-12 14:09:50 +0200 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::9e9c) |
| 2023-05-12 14:13:01 +0200 | taupiqueur2 | (~taupiqueu@2a02-842a-8180-4601-4903-4b2c-0aab-5f3e.rev.sfr.net) |
| 2023-05-12 14:17:32 +0200 | Guest40 | (~Guest40@138.251.117.48) (Quit: Ping timeout (120 seconds)) |
| 2023-05-12 14:21:08 +0200 | acidjnk | (~acidjnk@p5dd870a3.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-05-12 14:21:33 +0200 | pyook | (~puke@user/puke) |
| 2023-05-12 14:21:55 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-05-12 14:23:59 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-05-12 14:23:59 +0200 | cheater_ | cheater |
| 2023-05-12 14:26:47 +0200 | CiaoSen | (~Jura@dynamic-046-114-219-177.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2023-05-12 14:47:38 +0200 | merijn | (~merijn@195.114.232.94) |
| 2023-05-12 14:54:16 +0200 | Alex_test | (~al_test@94.233.240.225) (Quit: ;-) |
| 2023-05-12 14:54:25 +0200 | AlexZenon | (~alzenon@94.233.240.225) (Quit: ;-) |
| 2023-05-12 14:54:45 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-05-12 14:55:09 +0200 | AlexNoo | (~AlexNoo@94.233.240.225) (Quit: Leaving) |
| 2023-05-12 14:58:38 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2023-05-12 15:00:23 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Client Quit) |
| 2023-05-12 15:08:19 +0200 | AlexNoo | (~AlexNoo@94.233.240.225) |
| 2023-05-12 15:08:44 +0200 | AlexZenon | (~alzenon@94.233.240.225) |
| 2023-05-12 15:10:23 +0200 | Alex_test | (~al_test@94.233.240.225) |
| 2023-05-12 15:18:25 +0200 | wiosna_ | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-12 15:20:28 +0200 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::9e9c) (Quit: Where is it) |
| 2023-05-12 15:21:08 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-05-12 15:23:21 +0200 | Gurkenglas | (~user@dynamic-046-114-179-231.46.114.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 2023-05-12 15:28:29 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-05-12 15:31:22 +0200 | <absence> | is there a convenient way to specify the type when using OverloadedRecordDot, and (.fieldname) gives me a "cannot deduce HasField..." error? i was thinking something like (.fieldname @MyRecord) but that's a parse error |
| 2023-05-12 15:32:24 +0200 | acidjnk | (~acidjnk@p200300d6e7072f593cb51e255f5d259b.dip0.t-ipconnect.de) |
| 2023-05-12 15:38:41 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-05-12 15:44:01 +0200 | Typedfern | (~Typedfern@60.red-83-37-32.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2023-05-12 15:44:27 +0200 | Typedfern | (~Typedfern@60.red-83-37-32.dynamicip.rima-tde.net) |
| 2023-05-12 15:52:43 +0200 | miguelnegrao | (~miguelneg@2001:818:dc71:d100:e682:f5cd:9590:d961) (Quit: miguelnegrao) |
| 2023-05-12 15:53:00 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-05-12 15:53:28 +0200 | zeenk | (~zeenk@2a02:2f04:a105:f00::7fe) (Quit: Konversation terminated!) |
| 2023-05-12 16:00:14 +0200 | shapr``` | shapr |
| 2023-05-12 16:01:13 +0200 | rf | (~rf@129.222.137.244) |
| 2023-05-12 16:01:50 +0200 | kuribas | (~user@ptr-17d51ena555wmqfho1x.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2023-05-12 16:03:44 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-05-12 16:03:45 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-05-12 16:03:45 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-05-12 16:03:45 +0200 | bli2ss | (~quassel@190.78.156.89.rev.sfr.net) |
| 2023-05-12 16:04:30 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-05-12 16:14:44 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:86bb:4edf:1ae2:f5fb) (Quit: WeeChat 2.8) |
| 2023-05-12 16:18:05 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-05-12 16:19:10 +0200 | <merijn> | hmm |
| 2023-05-12 16:19:34 +0200 | <merijn> | I added -ddump-splices and -dumpdir to my cabal.project, but I can't find any actual directory with the splices |
| 2023-05-12 16:20:07 +0200 | <merijn> | oh, wait, it's dumping them relative to the cabal file, not the cabal.project |
| 2023-05-12 16:21:50 +0200 | ddellacosta | (~ddellacos@143.244.47.84) (Ping timeout: 265 seconds) |
| 2023-05-12 16:22:36 +0200 | CalculusCats | (NyaaTheKit@user/calculuscat) (Quit: Meow Meow Meow Meow Meow Meow Meow Meow) |
| 2023-05-12 16:23:17 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-05-12 16:23:42 +0200 | vandita | (~vandit@92-249-193-102.pool.digikabel.hu) (Ping timeout: 250 seconds) |
| 2023-05-12 16:25:13 +0200 | rlj | (~rlj@c-5eea7265-74736162.cust.telenor.se) (Ping timeout: 245 seconds) |
| 2023-05-12 16:25:22 +0200 | vandita | (~vandit@87-97-12-223.pool.digikabel.hu) |
| 2023-05-12 16:27:11 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 264 seconds) |
| 2023-05-12 16:29:49 +0200 | <merijn> | I don't suppose there's an easy way to disable a warning for a whole bunch of modules at once? |
| 2023-05-12 16:30:45 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.8) |
| 2023-05-12 16:31:04 +0200 | <geekosaur> | aside from chucking it into `ghc-options`, no |
| 2023-05-12 16:31:11 +0200 | ft | (~ft@p4fc2a88b.dip0.t-ipconnect.de) |
| 2023-05-12 16:31:40 +0200 | <merijn> | geekosaur: Yeah, but I don't want to disable it everywhere |
| 2023-05-12 16:31:53 +0200 | <geekosaur> | I figured as much |
| 2023-05-12 16:31:58 +0200 | <merijn> | persistent's TH is just generating code with name-shadowing warnings |
| 2023-05-12 16:32:07 +0200 | ddellacosta | (~ddellacos@143.244.47.84) |
| 2023-05-12 16:32:20 +0200 | <merijn> | And I'd like to silence those, but I don't want to manually add that warning flag to like, 50+ modules ;_; |
| 2023-05-12 16:34:32 +0200 | <merijn> | I don't suppose there's a way to set warnings for TH generated code either |
| 2023-05-12 16:34:56 +0200 | <geekosaur> | nope. nor for regional control. ;_; |
| 2023-05-12 16:36:31 +0200 | <merijn> | bah |
| 2023-05-12 16:37:00 +0200 | <merijn> | Now I'm stuck with, like, 100+ warnings I can't reasonably disable until upstream is fixed ;_; |
| 2023-05-12 16:39:51 +0200 | CalculusCats | (NyaaTheKit@user/calculuscat) |
| 2023-05-12 16:46:42 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-05-12 16:57:02 +0200 | bli2ss | (~quassel@190.78.156.89.rev.sfr.net) (Remote host closed the connection) |
| 2023-05-12 16:58:56 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-05-12 17:06:45 +0200 | <merijn> | geekosaur: Looks like it might be easier to fix the upstream bug then find out how to silence the errors xD |
| 2023-05-12 17:07:07 +0200 | <geekosaur> | yeh, I was wondering if the easier solution was forking upstream 🙂 |
| 2023-05-12 17:07:20 +0200 | barcisz | (~barcisz@79.191.229.20.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 2023-05-12 17:07:26 +0200 | <merijn> | hmm...still some errors... |
| 2023-05-12 17:07:44 +0200 | <geekosaur> | I mean TH already has support for generating new names that can't shadow or capture |
| 2023-05-12 17:07:59 +0200 | <merijn> | geekosaur: Yeah I think I already fixed it |
| 2023-05-12 17:08:55 +0200 | <merijn> | geekosaur: It's basically one loop where it uses the same Name for the field and the field pattern, so I just wrapped a newName around the variable and hopefully that works |
| 2023-05-12 17:16:06 +0200 | <merijn> | https://github.com/yesodweb/persistent/pull/1494/files |
| 2023-05-12 17:16:07 +0200 | pyook | (~puke@user/puke) (Ping timeout: 256 seconds) |
| 2023-05-12 17:24:54 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-05-12 17:25:02 +0200 | user____1 | (~user@dynamic-046-114-179-231.46.114.pool.telefonica.de) |
| 2023-05-12 17:30:04 +0200 | <merijn> | Wait, what |
| 2023-05-12 17:30:11 +0200 | <merijn> | mtl doesn't work with GHC 9.0? |
| 2023-05-12 17:31:45 +0200 | <maerwald> | what? |
| 2023-05-12 17:31:54 +0200 | <maerwald> | mtl is a boot package |
| 2023-05-12 17:32:31 +0200 | <merijn> | maerwald: mtl 2.3.1 has build-depends base <4.15 || >= 4.16 |
| 2023-05-12 17:32:43 +0200 | <merijn> | So 4.15, is excluded |
| 2023-05-12 17:33:01 +0200 | <maerwald> | I see... good riddance anyway |
| 2023-05-12 17:33:22 +0200 | <maerwald> | 9.0 is mostly a useless release |
| 2023-05-12 17:36:09 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:147c:6a57:5765:6fba) |
| 2023-05-12 17:36:40 +0200 | comerijn | (~merijn@185.143.104.11) |
| 2023-05-12 17:37:39 +0200 | vandita | (~vandit@87-97-12-223.pool.digikabel.hu) (Ping timeout: 256 seconds) |
| 2023-05-12 17:38:30 +0200 | user____1 | (~user@dynamic-046-114-179-231.46.114.pool.telefonica.de) (Quit: leaving) |
| 2023-05-12 17:38:53 +0200 | user____1 | (~user@dynamic-046-114-179-231.46.114.pool.telefonica.de) |
| 2023-05-12 17:39:05 +0200 | vandita | (~vandit@92-249-182-54.pool.digikabel.hu) |
| 2023-05-12 17:39:05 +0200 | merijn | (~merijn@195.114.232.94) (Ping timeout: 240 seconds) |
| 2023-05-12 17:39:06 +0200 | user____1 | gurkenglas |
| 2023-05-12 17:41:01 +0200 | comerijn | (~merijn@185.143.104.11) (Ping timeout: 240 seconds) |
| 2023-05-12 17:41:11 +0200 | nick4 | (~nick@wsip-174-78-110-18.pn.at.cox.net) |
| 2023-05-12 17:49:09 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-12 17:50:50 +0200 | econo | (uid147250@user/econo) |
| 2023-05-12 17:51:47 +0200 | shapr | (~user@76.29.230.19) (Remote host closed the connection) |
| 2023-05-12 17:52:58 +0200 | pyook | (~puke@user/puke) |
| 2023-05-12 17:53:33 +0200 | shapr | (~user@76.29.230.19) |
| 2023-05-12 17:54:11 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 264 seconds) |
| 2023-05-12 17:57:53 +0200 | ub | (~Thunderbi@p200300ecdf18b67f18c7c9006c8ee31c.dip0.t-ipconnect.de) |
| 2023-05-12 17:58:01 +0200 | ubert | (~Thunderbi@p548c8bbe.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-05-12 17:58:01 +0200 | ub | ubert |
| 2023-05-12 17:58:01 +0200 | ubert | 080AADNLN |
| 2023-05-12 17:58:01 +0200 | ubert1 | 082AAVI30 |
| 2023-05-12 17:59:05 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2023-05-12 18:04:43 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-05-12 18:08:01 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-05-12 18:09:48 +0200 | akegalj | (~akegalj@78-0-105-212.adsl.net.t-com.hr) |
| 2023-05-12 18:20:55 +0200 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 2023-05-12 18:25:23 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-05-12 18:27:57 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-05-12 18:28:22 +0200 | zeenk | (~zeenk@2a02:2f04:a105:f00::7fe) |
| 2023-05-12 18:30:11 +0200 | wiosna_ | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 2023-05-12 18:32:09 +0200 | cheater | (~Username@user/cheater) |
| 2023-05-12 18:33:45 +0200 | 082AAVI30 | (~Thunderbi@2a02:8109:abc0:6434:f603:934a:b110:2a9e) (Remote host closed the connection) |
| 2023-05-12 18:33:59 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-05-12 18:34:08 +0200 | Typedfern | (~Typedfern@60.red-83-37-32.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2023-05-12 18:34:27 +0200 | Typedfern | (~Typedfern@60.red-83-37-32.dynamicip.rima-tde.net) |
| 2023-05-12 18:34:35 +0200 | Typedfern | (~Typedfern@60.red-83-37-32.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2023-05-12 18:35:00 +0200 | Typedfern | (~Typedfern@60.red-83-37-32.dynamicip.rima-tde.net) |
| 2023-05-12 18:37:20 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-05-12 18:44:50 +0200 | vpan | (~0@mail.elitnet.lt) (Quit: Leaving.) |
| 2023-05-12 18:49:57 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-05-12 18:55:43 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-05-12 18:55:53 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-05-12 18:58:26 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-05-12 18:58:45 +0200 | telser[m] | (~telsermat@2001:470:69fc:105::3:5968) |
| 2023-05-12 19:01:27 +0200 | sm1 | sm |
| 2023-05-12 19:02:08 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:cc57:9e7b:80a:e79c) |
| 2023-05-12 19:02:12 +0200 | Sauvin | (~sauvin@user/Sauvin) (Quit: Leaving) |
| 2023-05-12 19:05:15 +0200 | strugglingCrab | (~strugglin@2a02:a03f:acfa:b800:e7a4:5ce1:a85:e813) |
| 2023-05-12 19:05:41 +0200 | <strugglingCrab> | why is there a class for Foldable but not for Unfoldable? working with trees right now and the notion of unfold seems to me just as useful as the notion of fold |
| 2023-05-12 19:08:03 +0200 | <[exa]> | you typically unfold a function of type (a -> (b,a)), which doesn't make a very interesting typeclass |
| 2023-05-12 19:08:22 +0200 | <c_wraith> | You could use the recursion-schemes package. It's a more principled approach to both folding and unfolding |
| 2023-05-12 19:09:09 +0200 | <[exa]> | +1 ^, if the unfold is properly specified with a recursion scheme, it makes sense |
| 2023-05-12 19:10:42 +0200 | Sauvin | (~sauvin@user/Sauvin) |
| 2023-05-12 19:10:51 +0200 | evincar | (~evincar@user/evincar) |
| 2023-05-12 19:13:41 +0200 | shapr` | (~user@76.29.230.19) |
| 2023-05-12 19:15:11 +0200 | evincar | (~evincar@user/evincar) (Ping timeout: 240 seconds) |
| 2023-05-12 19:15:11 +0200 | shapr | (~user@76.29.230.19) (Ping timeout: 240 seconds) |
| 2023-05-12 19:18:45 +0200 | <fr33domlover> | o/ I've seen 2 implementations of type-level `elem` (that produces a Constraint), one of them using a class and the other a closed type family of type Constraint. Is there a difference? Alternatively, why is AllF needed in sop-core: https://hackage.haskell.org/package/sop-core-0.5.0.2/docs/Data-SOP-Constraint.html#t:All |
| 2023-05-12 19:24:50 +0200 | strugglingCrab | (~strugglin@2a02:a03f:acfa:b800:e7a4:5ce1:a85:e813) (Quit: Client closed) |
| 2023-05-12 19:31:22 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-05-12 19:31:37 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-05-12 19:35:33 +0200 | mbuf | (~Shakthi@49.207.178.186) (Quit: Leaving) |
| 2023-05-12 19:35:53 +0200 | cheater | (~Username@user/cheater) |
| 2023-05-12 19:37:05 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-05-12 19:38:21 +0200 | 080AADNLN | (~Thunderbi@p200300ecdf18b67f18c7c9006c8ee31c.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2023-05-12 19:38:23 +0200 | ubert | (~Thunderbi@p548c8bbe.dip0.t-ipconnect.de) |
| 2023-05-12 19:38:29 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 2023-05-12 19:40:58 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2023-05-12 19:41:45 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2023-05-12 19:44:10 +0200 | fr33domlover | tests in GHC, looks like it works with a closed type family, so no need for a typeclass unless a (value level) method is needed, I suppose |
| 2023-05-12 19:46:50 +0200 | zeenk | (~zeenk@2a02:2f04:a105:f00::7fe) (Quit: Konversation terminated!) |
| 2023-05-12 19:50:40 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-4903-4b2c-0aab-5f3e.rev.sfr.net) |
| 2023-05-12 19:51:55 +0200 | taupiqueur2 | (~taupiqueu@2a02-842a-8180-4601-4903-4b2c-0aab-5f3e.rev.sfr.net) (Quit: WeeChat 3.8) |
| 2023-05-12 19:52:53 +0200 | shapr`` | (~user@76.29.230.19) |
| 2023-05-12 19:53:31 +0200 | <geekosaur> | afaik typeclasses and type families should just be two equivalent ways of doing the same thing |
| 2023-05-12 19:54:16 +0200 | <geekosaur> | closed type families do give you one thing typeclasses don't, by virtue of being closed so nobody can create "surprising" instances |
| 2023-05-12 19:54:23 +0200 | shapr` | (~user@76.29.230.19) (Ping timeout: 240 seconds) |
| 2023-05-12 19:55:18 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-05-12 19:55:38 +0200 | cheater | (~Username@user/cheater) |
| 2023-05-12 19:58:28 +0200 | ub | (~Thunderbi@p200300ecdf18b67f18c7c9006c8ee31c.dip0.t-ipconnect.de) |
| 2023-05-12 19:59:49 +0200 | ubert | (~Thunderbi@p548c8bbe.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2023-05-12 19:59:50 +0200 | ub | ubert |
| 2023-05-12 20:08:35 +0200 | nick4 | (~nick@wsip-174-78-110-18.pn.at.cox.net) (Ping timeout: 264 seconds) |
| 2023-05-12 20:09:06 +0200 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2023-05-12 20:09:17 +0200 | <johnw> | type families don't do "instance resolution", they are just functions at the type level, right? |
| 2023-05-12 20:09:32 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-05-12 20:09:47 +0200 | cheater | (~Username@user/cheater) |
| 2023-05-12 20:10:26 +0200 | ubert | (~Thunderbi@p200300ecdf18b67f18c7c9006c8ee31c.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-05-12 20:10:36 +0200 | ub | (~Thunderbi@p548c8bbe.dip0.t-ipconnect.de) |
| 2023-05-12 20:12:43 +0200 | <int-e> | johnw: Note though that matching type family instance left-hand sides is very similar to matching heads of class instances. |
| 2023-05-12 20:12:54 +0200 | ub | ubert |
| 2023-05-12 20:13:06 +0200 | <int-e> | hmm |
| 2023-05-12 20:13:34 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-05-12 20:16:28 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-05-12 20:17:27 +0200 | <ncf> | what's a type family instance? |
| 2023-05-12 20:18:03 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-05-12 20:18:31 +0200 | <geekosaur> | https://downloads.haskell.org/ghc/9.6.1/docs/users_guide/exts/type_families.html#type-instance-dec… |
| 2023-05-12 20:19:43 +0200 | <int-e> | ncf: "type instance Foo () = Bool" <-- the word "instance" appears here. |
| 2023-05-12 20:20:38 +0200 | <int-e> | Another similarity is that type families are open (closed ones exist as an additional extension). |
| 2023-05-12 20:21:34 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2023-05-12 20:21:38 +0200 | cheater_ | cheater |
| 2023-05-12 20:25:19 +0200 | <ncf> | isn't there also a mechanism to declare an associated type as part of a typeclass? |
| 2023-05-12 20:28:34 +0200 | <fr33domlover> | ncf: Yes, an associated type family. `class C a where type F a` etc. |
| 2023-05-12 20:31:28 +0200 | <int-e> | it's still a type family (it could exist separately from the class, but the compiler restricts how you define instances for it) |
| 2023-05-12 20:32:21 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-05-12 20:32:32 +0200 | <int-e> | (And it enforces that the type instance lhs equals the class instance head. So not only are they similar, there's actually a language feature built on the fact that they are basically the same.) |
| 2023-05-12 20:37:24 +0200 | <ski> | modulo FDs |
| 2023-05-12 20:38:18 +0200 | <int-e> | true |
| 2023-05-12 20:42:42 +0200 | <ncf> | i mean, could you emulate/desugar "standalone" open type families by wrapping them in their own typeclass? |
| 2023-05-12 20:43:22 +0200 | <int-e> | With an associated type? Yes, I think you can. |
| 2023-05-12 20:43:30 +0200 | <dolio> | You probably could, but it makes more sense to do the opposite, which is essentially what happens. |
| 2023-05-12 20:43:45 +0200 | <int-e> | It'll be more typing for no benefit. |
| 2023-05-12 20:44:06 +0200 | <ncf> | the benefit is the number of concepts to worry about |
| 2023-05-12 20:44:11 +0200 | <int-e> | (I mean the mechanical hitting of keys on the keyboard.) |
| 2023-05-12 20:45:03 +0200 | <dolio> | It'll be negative benefit, because it ensures that every definition of one type by cases on others is required to also be associated to a(n empty) record of value level definitions. |
| 2023-05-12 20:45:53 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-05-12 20:49:39 +0200 | <johnw> | int-e: another difference is that type class instance resolution choosing a function to call at runtime, whereas a type family chooses a type to be used at compile time |
| 2023-05-12 20:50:13 +0200 | <johnw> | (although, both happen at compile time, of course) |
| 2023-05-12 20:58:24 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2023-05-12 20:59:20 +0200 | malte | (~malte@mal.tc) |
| 2023-05-12 21:10:01 +0200 | vandita | (~vandit@92-249-182-54.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-05-12 21:10:03 +0200 | ddellacosta | (~ddellacos@143.244.47.84) (Quit: WeeChat 3.8) |
| 2023-05-12 21:12:06 +0200 | vandita | (~vandit@77-234-80-235.pool.digikabel.hu) |
| 2023-05-12 21:16:51 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-05-12 21:20:18 +0200 | czy | (~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection) |
| 2023-05-12 21:22:28 +0200 | shapr`` | shapr |
| 2023-05-12 21:23:45 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 256 seconds) |
| 2023-05-12 21:25:36 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:cc57:9e7b:80a:e79c) (Quit: caryhartline) |
| 2023-05-12 21:26:09 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-05-12 21:28:02 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-05-12 21:29:35 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-4903-4b2c-0aab-5f3e.rev.sfr.net) (Remote host closed the connection) |
| 2023-05-12 21:31:15 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-05-12 21:35:16 +0200 | ddellacosta | (~ddellacos@146.70.165.10) |
| 2023-05-12 21:36:36 +0200 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2023-05-12 21:37:18 +0200 | caryhartline | (~caryhartl@107.140.218.181) |
| 2023-05-12 21:38:02 +0200 | <dminuoso> | johnw: Not necessarily and not in practice either. |
| 2023-05-12 21:38:56 +0200 | <dminuoso> | While there is specialization and you can forcibly expose all unfoldings, polymorphic bindings across packages are (usually) not monomorphized |
| 2023-05-12 21:39:27 +0200 | <dminuoso> | And arguably, the dict passing mechanism in core directly reflects on this |
| 2023-05-12 21:42:25 +0200 | cheater | (~Username@user/cheater) |
| 2023-05-12 21:44:31 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-05-12 21:44:31 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-05-12 21:44:31 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-05-12 21:47:06 +0200 | MajorBiscuit | (~MajorBisc@2001:1c00:2492:e200:e754:387:3dae:3cb) |
| 2023-05-12 21:50:47 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-12 21:55:05 +0200 | bli2ss | (~quassel@190.78.156.89.rev.sfr.net) |
| 2023-05-12 21:55:35 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2023-05-12 21:57:36 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-12 21:57:47 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-05-12 21:58:01 +0200 | u0_a202 | (~u0_a202@47.60.32.137) |
| 2023-05-12 21:58:50 +0200 | u0_a202 | dom0 |
| 2023-05-12 22:01:48 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-12 22:01:59 +0200 | MajorBiscuit | (~MajorBisc@2001:1c00:2492:e200:e754:387:3dae:3cb) (Ping timeout: 264 seconds) |
| 2023-05-12 22:13:01 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-12 22:14:14 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-05-12 22:17:05 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-12 22:19:27 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-05-12 22:24:32 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:d8c8:6fc6:e851:a318) (Quit: use-value) |
| 2023-05-12 22:30:25 +0200 | ddellacosta | (~ddellacos@146.70.165.10) (Ping timeout: 240 seconds) |
| 2023-05-12 22:36:13 +0200 | bli2ss | (~quassel@190.78.156.89.rev.sfr.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2023-05-12 22:40:03 +0200 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2023-05-12 22:40:23 +0200 | shapr | (~user@76.29.230.19) (Ping timeout: 240 seconds) |
| 2023-05-12 22:40:43 +0200 | cheater | (~Username@user/cheater) |
| 2023-05-12 22:45:53 +0200 | dom0 | (~u0_a202@47.60.32.137) (Quit: WeeChat 3.8) |
| 2023-05-12 22:48:30 +0200 | evincar | (~evincar@user/evincar) |
| 2023-05-12 22:53:59 +0200 | jargon | (~jargon@184.101.78.160) |
| 2023-05-12 22:55:10 +0200 | czy | (~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 2023-05-12 22:59:45 +0200 | caryhartline | (~caryhartl@107.140.218.181) (Ping timeout: 240 seconds) |
| 2023-05-12 23:02:33 +0200 | kimiamania | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2023-05-12 23:02:55 +0200 | kimiamania | (~65804703@user/kimiamania) |
| 2023-05-12 23:11:21 +0200 | falafel | (~falafel@2603-8000-d700-115c-f61b-3ffe-7ea8-bd76.res6.spectrum.com) |
| 2023-05-12 23:26:55 +0200 | remexre | (~remexre@user/remexre) (Ping timeout: 268 seconds) |
| 2023-05-12 23:32:37 +0200 | <dsal> | What's the Expr thing lambdabot has, again? |
| 2023-05-12 23:33:06 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-05-12 23:33:17 +0200 | <ncf> | :t a |
| 2023-05-12 23:33:18 +0200 | <lambdabot> | Expr |
| 2023-05-12 23:33:36 +0200 | <ncf> | :i Expr |
| 2023-05-12 23:33:48 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 240 seconds) |
| 2023-05-12 23:34:39 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2023-05-12 23:34:51 +0200 | <dsal> | I mean what's the package? I was trying to use it in a pm and couldn't do the thing I wanted. |
| 2023-05-12 23:35:18 +0200 | <dsal> | someone was asking how `a & f & g & h` evaluates, and I was hoping I could just ask lambdabot to expand it, but it doesn't like that. |
| 2023-05-12 23:35:27 +0200 | <geekosaur> | simple-reflect |
| 2023-05-12 23:36:12 +0200 | <dsal> | Thanks. |
| 2023-05-12 23:37:32 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-05-12 23:37:59 +0200 | vandita | (~vandit@77-234-80-235.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-05-12 23:40:05 +0200 | vandita | (~vandit@92-249-179-75.pool.digikabel.hu) |
| 2023-05-12 23:41:24 +0200 | nschoe | (~q@2a01:e0a:8e:a190:5f57:a70d:d647:c4f3) (Quit: Switching off) |
| 2023-05-12 23:42:11 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 264 seconds) |
| 2023-05-12 23:42:41 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-05-12 23:48:08 +0200 | acidjnk | (~acidjnk@p200300d6e7072f593cb51e255f5d259b.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-05-12 23:50:35 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2023-05-12 23:52:29 +0200 | swistak | (~swistak@185.21.216.141) (Quit: bye bye) |
| 2023-05-12 23:53:42 +0200 | swistak | (~swistak@185.21.216.141) |
| 2023-05-12 23:53:44 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-05-12 23:54:15 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2023-05-12 23:55:31 +0200 | euandreh | (~Thunderbi@189.6.18.7) (Ping timeout: 240 seconds) |
| 2023-05-12 23:57:59 +0200 | rf | (~rf@129.222.137.244) (Ping timeout: 240 seconds) |
| 2023-05-12 23:58:10 +0200 | akegalj | (~akegalj@78-0-105-212.adsl.net.t-com.hr) (Quit: leaving) |