| 2023-05-31 00:00:03 +0200 | ubert | (~Thunderbi@p200300ecdf00029cf94c40b268cbf3ca.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2023-05-31 00:00:05 +0200 | ub | (~Thunderbi@p548c91e0.dip0.t-ipconnect.de) |
| 2023-05-31 00:02:22 +0200 | ub | ubert |
| 2023-05-31 00:03:50 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) (Ping timeout: 246 seconds) |
| 2023-05-31 00:04:17 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) |
| 2023-05-31 00:09:12 +0200 | foul_owl | (~kerry@45.143.82.39) (Ping timeout: 268 seconds) |
| 2023-05-31 00:16:17 +0200 | gurkenglas | (~user@dynamic-046-114-181-050.46.114.pool.telefonica.de) (Ping timeout: 250 seconds) |
| 2023-05-31 00:21:29 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) (Ping timeout: 250 seconds) |
| 2023-05-31 00:25:36 +0200 | mncheck | (~mncheck@193.224.205.254) (Ping timeout: 248 seconds) |
| 2023-05-31 00:26:15 +0200 | merijn | (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2023-05-31 00:30:16 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-a566-5e72-30af-bdfe.rev.sfr.net) |
| 2023-05-31 00:35:34 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-a566-5e72-30af-bdfe.rev.sfr.net) |
| 2023-05-31 00:35:53 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-05-31 00:37:06 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-05-31 00:37:24 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-05-31 00:39:30 +0200 | mei | (~mei@user/mei) |
| 2023-05-31 00:40:21 +0200 | pyook | (~puke@user/puke) |
| 2023-05-31 00:41:05 +0200 | forell | (~forell@user/forell) (Ping timeout: 240 seconds) |
| 2023-05-31 00:41:51 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-05-31 00:43:44 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 265 seconds) |
| 2023-05-31 00:44:07 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-05-31 00:44:15 +0200 | mei | (~mei@user/mei) |
| 2023-05-31 00:46:42 +0200 | forell | (~forell@user/forell) |
| 2023-05-31 00:47:18 +0200 | Guest66 | (~Guest83@2a02:8070:8e83:c500:aa1d:72d7:e754:bd20) |
| 2023-05-31 00:50:06 +0200 | CalculusCats | (NyaaTheKit@user/calculuscat) (Quit: Meow Meow Meow Meow Meow Meow Meow Meow) |
| 2023-05-31 00:51:50 +0200 | CalculusCats | (NyaaTheKit@user/calculuscat) |
| 2023-05-31 00:52:11 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-05-31 00:53:00 +0200 | merijn | (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) |
| 2023-05-31 00:54:01 +0200 | oo_miguel | (~Thunderbi@77.252.47.84) (Ping timeout: 240 seconds) |
| 2023-05-31 00:54:18 +0200 | zeenk | (~zeenk@2a02:2f04:a105:f00::7fe) |
| 2023-05-31 00:59:29 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-05-31 01:10:31 +0200 | acidjnk | (~acidjnk@p200300d6e7072f08c511281507bd955a.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-05-31 01:12:45 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3dda:98a9:2443:29bc) |
| 2023-05-31 01:12:55 +0200 | Guest66 | (~Guest83@2a02:8070:8e83:c500:aa1d:72d7:e754:bd20) (Quit: Client closed) |
| 2023-05-31 01:14:19 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-05-31 01:14:20 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) (Read error: Connection reset by peer) |
| 2023-05-31 01:16:48 +0200 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 240 seconds) |
| 2023-05-31 01:17:20 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3dda:98a9:2443:29bc) (Ping timeout: 248 seconds) |
| 2023-05-31 01:17:38 +0200 | son0p | (~ff@181.136.122.143) |
| 2023-05-31 01:18:23 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-05-31 01:19:25 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) |
| 2023-05-31 01:20:00 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 248 seconds) |
| 2023-05-31 01:20:00 +0200 | mauke_ | mauke |
| 2023-05-31 01:20:33 +0200 | xff0x_ | (~xff0x@ai098135.d.east.v6connect.net) |
| 2023-05-31 01:23:15 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-05-31 01:26:30 +0200 | merijn | (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2023-05-31 01:33:43 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) (Remote host closed the connection) |
| 2023-05-31 01:34:06 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) |
| 2023-05-31 01:34:21 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-05-31 01:34:21 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-05-31 01:34:21 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-05-31 01:34:55 +0200 | _xor | (~xor@nw-esr1-72-49-97-201.fuse.net) (Read error: Connection reset by peer) |
| 2023-05-31 01:36:31 +0200 | _xor | (~xor@nw-esr1-72-49-97-201.fuse.net) |
| 2023-05-31 01:36:56 +0200 | machinedgod | (~machinedg@93-138-3-195.adsl.net.t-com.hr) (Ping timeout: 246 seconds) |
| 2023-05-31 01:37:12 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-05-31 01:38:46 +0200 | jero98772 | (~jero98772@190.158.28.80) |
| 2023-05-31 01:40:00 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) (Remote host closed the connection) |
| 2023-05-31 01:40:24 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) |
| 2023-05-31 01:40:57 +0200 | _xor6 | (~xor@nw-esr1-72-49-97-201.fuse.net) |
| 2023-05-31 01:42:31 +0200 | _xor | (~xor@nw-esr1-72-49-97-201.fuse.net) (Ping timeout: 250 seconds) |
| 2023-05-31 01:42:31 +0200 | _xor6 | _xor |
| 2023-05-31 01:48:10 +0200 | _xor | (~xor@nw-esr1-72-49-97-201.fuse.net) (Ping timeout: 250 seconds) |
| 2023-05-31 01:50:42 +0200 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Remote host closed the connection) |
| 2023-05-31 01:50:42 +0200 | myxokeph | (~myxokeph@cpe-65-28-251-121.cinci.res.rr.com) (Remote host closed the connection) |
| 2023-05-31 01:52:49 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2023-05-31 01:54:20 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Client Quit) |
| 2023-05-31 01:57:44 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2023-05-31 02:08:32 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) (Ping timeout: 250 seconds) |
| 2023-05-31 02:11:32 +0200 | jargon | (~jargon@184.101.77.79) |
| 2023-05-31 02:13:52 +0200 | vandita | (~vandit@193-110-63-63.cable-modem.hdsnet.hu) (Ping timeout: 248 seconds) |
| 2023-05-31 02:15:52 +0200 | vandita | (~vandit@94-21-48-22.pool.digikabel.hu) |
| 2023-05-31 02:15:52 +0200 | Nosrep | (~Nosrep@user/nosrep) |
| 2023-05-31 02:16:03 +0200 | zeenk | (~zeenk@2a02:2f04:a105:f00::7fe) (Quit: Konversation terminated!) |
| 2023-05-31 02:16:15 +0200 | _xor | (~xor@nw-esr1-72-49-97-201.fuse.net) |
| 2023-05-31 02:20:26 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-05-31 02:24:33 +0200 | ijqq | (uid603979@id-603979.helmsley.irccloud.com) |
| 2023-05-31 02:24:49 +0200 | <ijqq> | Hello |
| 2023-05-31 02:26:10 +0200 | <Axman6> | Hello! |
| 2023-05-31 02:26:32 +0200 | <ijqq> | How's it going? |
| 2023-05-31 02:27:23 +0200 | <ijqq> | I am here because I would like some advice on how to learn haskell. I need to learn it because I want to write my own programming language in Haskell. |
| 2023-05-31 02:28:27 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 250 seconds) |
| 2023-05-31 02:36:24 +0200 | <jackdk> | https://haskellbook.com/ was the book that got me over the hump, but it costs money and is extremely thorough. (I did all of the exercises over several months.) https://www.seas.upenn.edu/~cis1940/spring13/ is probably the best general-purpose free resource, but maybe given your goals https://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours could be of interest (I haven't read it) |
| 2023-05-31 02:38:59 +0200 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-05-31 02:39:20 +0200 | myxokeph | (~myxokeph@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-05-31 02:42:05 +0200 | <ijqq> | Ah okay, thank you |
| 2023-05-31 02:50:48 +0200 | foul_owl | (~kerry@71.212.137.212) |
| 2023-05-31 02:50:54 +0200 | thegeekinside | (~thegeekin@189.180.38.64) |
| 2023-05-31 02:54:01 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-05-31 03:00:34 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2023-05-31 03:00:48 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 248 seconds) |
| 2023-05-31 03:02:19 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2023-05-31 03:03:37 +0200 | quarkyalice | (~alice@user/quarkyalice) (Quit: Leaving) |
| 2023-05-31 03:05:11 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-31 03:05:41 +0200 | czy | (~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 2023-05-31 03:12:30 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-05-31 03:17:20 +0200 | forell | (~forell@user/forell) (Ping timeout: 248 seconds) |
| 2023-05-31 03:18:28 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-05-31 03:18:38 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-05-31 03:20:00 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2023-05-31 03:20:03 +0200 | cheater_ | cheater |
| 2023-05-31 03:22:23 +0200 | mikoto-chan | (~mikoto-ch@ip-213-49-58-19.dsl.scarlet.be) |
| 2023-05-31 03:23:01 +0200 | forell | (~forell@user/forell) |
| 2023-05-31 03:23:13 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-05-31 03:42:15 +0200 | AlexNoo_ | (~AlexNoo@178.34.163.104) (Read error: Connection reset by peer) |
| 2023-05-31 03:43:02 +0200 | AlexNoo_ | (~AlexNoo@178.34.163.104) |
| 2023-05-31 03:46:00 +0200 | byte | (~byte@user/byte) (Quit: Quitting...) |
| 2023-05-31 03:47:37 +0200 | byte | (~byte@user/byte) |
| 2023-05-31 03:50:57 +0200 | byte | (~byte@user/byte) (Client Quit) |
| 2023-05-31 03:51:36 +0200 | byte | (~byte@user/byte) |
| 2023-05-31 03:55:39 +0200 | Sciencentistguy7 | (~sciencent@hacksoc/ordinary-member) |
| 2023-05-31 03:57:48 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 240 seconds) |
| 2023-05-31 03:57:49 +0200 | Sciencentistguy7 | Sciencentistguy |
| 2023-05-31 03:58:02 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds) |
| 2023-05-31 04:04:39 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 250 seconds) |
| 2023-05-31 04:04:48 +0200 | xff0x_ | (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 265 seconds) |
| 2023-05-31 04:16:54 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-31 04:17:42 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-05-31 04:20:00 +0200 | mikoto-chan | (~mikoto-ch@ip-213-49-58-19.dsl.scarlet.be) (Quit: WeeChat 3.8) |
| 2023-05-31 04:22:35 +0200 | <probie> | I'm not sure if this is better asked here or in #ghc, but how can I make rewrite rules play nicely with composition? I've got https://play.haskell.org/saved/lxt7XaoJ, and if you look at the core, sumFirstN and sumFirstN' generate code with rather different performance characteristics |
| 2023-05-31 04:23:32 +0200 | <Lycurgus> | you know about th, right? |
| 2023-05-31 04:23:55 +0200 | <Lycurgus> | (didn look at the stuff) |
| 2023-05-31 04:24:40 +0200 | <probie> | what's the relevance of th here? |
| 2023-05-31 04:24:50 +0200 | <Lycurgus> | rewrite |
| 2023-05-31 04:26:37 +0200 | <cheater> | if i have f x a b c d e, and now i want to make g xs a b c d e = map (\x -> f x a b c d e) xs, is there a pointfree way to do this? |
| 2023-05-31 04:26:43 +0200 | <cheater> | @pointfree f = g |
| 2023-05-31 04:26:43 +0200 | <lambdabot> | Unknown command, try @list |
| 2023-05-31 04:26:45 +0200 | <cheater> | @list |
| 2023-05-31 04:26:45 +0200 | <lambdabot> | What module? Try @listmodules for some ideas. |
| 2023-05-31 04:26:48 +0200 | <cheater> | @pl |
| 2023-05-31 04:26:48 +0200 | <lambdabot> | (line 1, column 1): |
| 2023-05-31 04:26:48 +0200 | <lambdabot> | unexpected end of input |
| 2023-05-31 04:26:48 +0200 | <lambdabot> | expecting white space, "()", natural, identifier, lambda abstraction or expression |
| 2023-05-31 04:27:00 +0200 | <cheater> | @pl g xs a b c d e = map (\x -> f x a b c d e) |
| 2023-05-31 04:27:00 +0200 | <lambdabot> | g = const ((((((((map .) . flip) .) . flip) .) . flip) .) . flip . flip f) |
| 2023-05-31 04:27:14 +0200 | <cheater> | @pl g a b c d e xs = map (\x -> f a b c d e x) |
| 2023-05-31 04:27:14 +0200 | <lambdabot> | g = (((((const . map) .) .) .) .) . f |
| 2023-05-31 04:27:57 +0200 | <probie> | When I say rewrite, I mean https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/rewrite_rules.html I don't see how th helps here |
| 2023-05-31 04:28:01 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-05-31 04:28:27 +0200 | <cheater> | this is kinda ugly |
| 2023-05-31 04:29:41 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-05-31 04:30:01 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) |
| 2023-05-31 04:31:07 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3dda:98a9:2443:29bc) |
| 2023-05-31 04:42:15 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) (Ping timeout: 256 seconds) |
| 2023-05-31 04:42:47 +0200 | jero98772 | (~jero98772@190.158.28.80) (Ping timeout: 250 seconds) |
| 2023-05-31 04:44:32 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-05-31 04:44:32 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-05-31 04:44:32 +0200 | finn_elija | FinnElija |
| 2023-05-31 04:46:19 +0200 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-05-31 04:50:17 +0200 | scrungus | (~scrungus@bras-base-aurron9127w-grc-63-70-24-87-21.dsl.bell.ca) (Quit: WeeChat 3.8) |
| 2023-05-31 04:51:53 +0200 | vandita | (~vandit@94-21-48-22.pool.digikabel.hu) (Ping timeout: 246 seconds) |
| 2023-05-31 04:53:51 +0200 | vandita | (~vandit@77-234-64-159.pool.digikabel.hu) |
| 2023-05-31 04:55:38 +0200 | <EvanR> | cheater, looks like an unfortunate positioning of the x argument |
| 2023-05-31 04:55:51 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) |
| 2023-05-31 04:56:01 +0200 | <cheater> | i could put it anywhere else |
| 2023-05-31 04:56:17 +0200 | <EvanR> | if it was last, you could write map (f a b c d e) xs |
| 2023-05-31 04:56:23 +0200 | <cheater> | yes |
| 2023-05-31 04:56:30 +0200 | <cheater> | but that only allows me to point-free remove the xs |
| 2023-05-31 04:56:39 +0200 | <cheater> | i want to point-free remove a b c d e |
| 2023-05-31 04:56:43 +0200 | <cheater> | that's the one i really care about |
| 2023-05-31 04:56:58 +0200 | hsw_ | (~hsw@112-104-11-46.adsl.dynamic.seed.net.tw) |
| 2023-05-31 04:57:19 +0200 | <cheater> | ones* |
| 2023-05-31 04:57:20 +0200 | hsw_ | (~hsw@112-104-11-46.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 2023-05-31 04:57:24 +0200 | <EvanR> | if xs is last in g, then g a b c d e = map (f a b c d e) |
| 2023-05-31 04:57:38 +0200 | <cheater> | sure |
| 2023-05-31 04:57:46 +0200 | <EvanR> | or if you are into .:::: thingies |
| 2023-05-31 04:57:50 +0200 | <cheater> | i'm not |
| 2023-05-31 04:57:53 +0200 | <EvanR> | g = map .::::: f xD |
| 2023-05-31 04:58:01 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Ping timeout: 240 seconds) |
| 2023-05-31 04:58:09 +0200 | <cheater> | but i mean |
| 2023-05-31 04:58:10 +0200 | <cheater> | ... |
| 2023-05-31 04:58:10 +0200 | <EvanR> | yeah |
| 2023-05-31 04:58:12 +0200 | <cheater> | you know |
| 2023-05-31 04:58:16 +0200 | <EvanR> | just use variables |
| 2023-05-31 04:58:34 +0200 | <cheater> | yeah but the problem is those variables each are 20 letters |
| 2023-05-31 04:58:43 +0200 | <cheater> | so the line is like five monitors long |
| 2023-05-31 04:58:49 +0200 | td_ | (~td@i53870907.versanet.de) (Ping timeout: 250 seconds) |
| 2023-05-31 04:58:54 +0200 | hsw | (~hsw@112-104-11-46.adsl.dynamic.seed.net.tw) |
| 2023-05-31 04:59:22 +0200 | <EvanR> | I aggressively use multiple lines to make sure code fits in <strikethrough>80</> 40 columns |
| 2023-05-31 05:00:46 +0200 | td_ | (~td@i53870935.versanet.de) |
| 2023-05-31 05:00:52 +0200 | <int-e> | do you use that to fit two lines of code on a single punched card? |
| 2023-05-31 05:00:54 +0200 | <cheater> | ah, i see you program on an ntsc tv. |
| 2023-05-31 05:01:01 +0200 | <cheater> | a man of honor. |
| 2023-05-31 05:07:05 +0200 | Batzy | (~quassel@user/batzy) (Ping timeout: 240 seconds) |
| 2023-05-31 05:12:51 +0200 | <[Leary]> | cheater: If your function takes that many arguments, and better, shares them with at least one other function, it might be time to use a record. Then it becomes `f Args{arg1,arg2,...} x = ...`; `g args xs = f args <$> xs`. |
| 2023-05-31 05:13:10 +0200 | <cheater> | hmm yeah maybe |
| 2023-05-31 05:13:22 +0200 | <cheater> | but it's only one function that this is being shared, not more |
| 2023-05-31 05:14:30 +0200 | <cheater> | oh hmm |
| 2023-05-31 05:14:48 +0200 | <cheater> | if i define f inside a where inside g's body |
| 2023-05-31 05:14:50 +0200 | <probie> | Does that imply that `f` is local to your function? In which case why do you need to pass the arguments to it in the first place? |
| 2023-05-31 05:14:57 +0200 | <cheater> | then i don't necessarily need to take arguments in f, right? |
| 2023-05-31 05:15:02 +0200 | <cheater> | right i was just thinking that |
| 2023-05-31 05:15:25 +0200 | xameer | (~xameer@144.48.224.57) |
| 2023-05-31 05:15:27 +0200 | xameer | (~xameer@144.48.224.57) (Client Quit) |
| 2023-05-31 05:19:23 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2023-05-31 05:48:12 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3dda:98a9:2443:29bc) (Remote host closed the connection) |
| 2023-05-31 05:49:52 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-05-31 05:50:58 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-05-31 05:52:32 +0200 | bilegeek | (~bilegeek@2600:1008:b09b:c4b4:7afa:ef19:5ec6:a9f7) |
| 2023-05-31 05:54:02 +0200 | merijn | (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) |
| 2023-05-31 05:57:45 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) (Ping timeout: 250 seconds) |
| 2023-05-31 05:59:55 +0200 | merijn | (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2023-05-31 06:01:45 +0200 | <cheater> | yeah, that's a really good approach |
| 2023-05-31 06:01:57 +0200 | <cheater> | thanks probie and rest |
| 2023-05-31 06:08:59 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-05-31 06:33:43 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2023-05-31 06:35:34 +0200 | merijn | (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) |
| 2023-05-31 06:40:47 +0200 | merijn | (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2023-05-31 06:40:54 +0200 | leungbk | (~user@2603-8000-1201-2dd2-bef6-2a16-62b5-90ff.res6.spectrum.com) |
| 2023-05-31 06:43:20 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-05-31 06:44:01 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-05-31 06:45:02 +0200 | kluk_ | (~arrowhead@cpe-74-66-76-151.nyc.res.rr.com) |
| 2023-05-31 06:45:32 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-05-31 06:46:11 +0200 | zer0bitz_ | (~zer0bitz@user/zer0bitz) |
| 2023-05-31 06:47:38 +0200 | cheater__ | (~Username@user/cheater) |
| 2023-05-31 06:47:39 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-05-31 06:48:01 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 250 seconds) |
| 2023-05-31 06:48:35 +0200 | zer0bitz__ | (~zer0bitz@user/zer0bitz) |
| 2023-05-31 06:49:04 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 248 seconds) |
| 2023-05-31 06:50:12 +0200 | cheater___ | (~Username@user/cheater) |
| 2023-05-31 06:50:12 +0200 | cheater___ | cheater |
| 2023-05-31 06:51:03 +0200 | cheater_ | (~Username@user/cheater) (Ping timeout: 250 seconds) |
| 2023-05-31 06:51:07 +0200 | zer0bitz_ | (~zer0bitz@user/zer0bitz) (Ping timeout: 240 seconds) |
| 2023-05-31 06:52:07 +0200 | cheater__ | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-05-31 06:53:55 +0200 | mbuf | (~Shakthi@49.207.178.186) |
| 2023-05-31 06:58:54 +0200 | _xor6 | (~xor@50.216.161.66.ded-dsl.fuse.net) |
| 2023-05-31 07:01:13 +0200 | _xor | (~xor@nw-esr1-72-49-97-201.fuse.net) (Ping timeout: 265 seconds) |
| 2023-05-31 07:01:14 +0200 | _xor6 | _xor |
| 2023-05-31 07:06:15 +0200 | trev | (~trev@user/trev) |
| 2023-05-31 07:10:24 +0200 | simendsjo | (~user@84.211.91.241) (Ping timeout: 265 seconds) |
| 2023-05-31 07:19:10 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) |
| 2023-05-31 07:23:23 +0200 | _xor1 | (~xor@nw-esr1-72-49-97-201.fuse.net) |
| 2023-05-31 07:24:48 +0200 | _xor | (~xor@50.216.161.66.ded-dsl.fuse.net) (Ping timeout: 240 seconds) |
| 2023-05-31 07:24:48 +0200 | _xor1 | _xor |
| 2023-05-31 07:25:17 +0200 | ddellacosta | (~ddellacos@143.244.47.74) (Ping timeout: 250 seconds) |
| 2023-05-31 07:26:54 +0200 | kluk_ | (~arrowhead@cpe-74-66-76-151.nyc.res.rr.com) () |
| 2023-05-31 07:37:37 +0200 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds) |
| 2023-05-31 07:39:37 +0200 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-05-31 07:40:11 +0200 | leungbk | (~user@2603-8000-1201-2dd2-bef6-2a16-62b5-90ff.res6.spectrum.com) (Quit: ERC 5.6-git (IRC client for GNU Emacs 30.0.50)) |
| 2023-05-31 07:43:52 +0200 | fiddlerwoaroof | (~fiddlerwo@user/fiddlerwoaroof) |
| 2023-05-31 07:44:39 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-05-31 07:45:57 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-05-31 07:46:32 +0200 | vandita | (~vandit@77-234-64-159.pool.digikabel.hu) (Ping timeout: 250 seconds) |
| 2023-05-31 07:48:07 +0200 | vandita | (~vandit@78-131-74-0.pool.digikabel.hu) |
| 2023-05-31 07:50:28 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2023-05-31 08:00:23 +0200 | foul_owl | (~kerry@71.212.137.212) (Quit: WeeChat 2.3) |
| 2023-05-31 08:06:15 +0200 | oo_miguel | (~Thunderbi@77.252.47.84) |
| 2023-05-31 08:11:42 +0200 | echoreply | (~echoreply@45.32.163.16) (Quit: WeeChat 2.8) |
| 2023-05-31 08:12:13 +0200 | echoreply | (~echoreply@45.32.163.16) |
| 2023-05-31 08:14:28 +0200 | fiddlerwoaroof | (~fiddlerwo@user/fiddlerwoaroof) (Remote host closed the connection) |
| 2023-05-31 08:15:48 +0200 | mxs | (~mxs@user/mxs) (Ping timeout: 240 seconds) |
| 2023-05-31 08:16:52 +0200 | APic | (apic@apic.name) (Ping timeout: 250 seconds) |
| 2023-05-31 08:27:57 +0200 | acidjnk | (~acidjnk@p200300d6e7072f60497b3233a309ba1a.dip0.t-ipconnect.de) |
| 2023-05-31 08:31:00 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-05-31 08:34:40 +0200 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) (Ping timeout: 248 seconds) |
| 2023-05-31 08:35:12 +0200 | Jonno_FTW | (~come@api.carswap.me) |
| 2023-05-31 08:35:12 +0200 | Jonno_FTW | (~come@api.carswap.me) (Changing host) |
| 2023-05-31 08:35:12 +0200 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) |
| 2023-05-31 08:35:28 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 265 seconds) |
| 2023-05-31 08:35:28 +0200 | chele | (~chele@user/chele) |
| 2023-05-31 08:40:32 +0200 | mncheck | (~mncheck@193.224.205.254) |
| 2023-05-31 08:42:40 +0200 | pyook | (~puke@user/puke) (Ping timeout: 248 seconds) |
| 2023-05-31 08:51:27 +0200 | fiddlerwoaroof_ | (~fiddlerwo@user/fiddlerwoaroof) |
| 2023-05-31 08:51:43 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:3e30:d1db:17eb:3fe6) |
| 2023-05-31 08:55:06 +0200 | fiddlerwoaroof_ | (~fiddlerwo@user/fiddlerwoaroof) (Client Quit) |
| 2023-05-31 08:56:27 +0200 | fiddlerwoaroof_ | (~fiddlerwo@user/fiddlerwoaroof) |
| 2023-05-31 09:00:47 +0200 | foul_owl | (~kerry@71.212.137.212) |
| 2023-05-31 09:10:01 +0200 | foul_owl | (~kerry@71.212.137.212) (Quit: WeeChat 2.3) |
| 2023-05-31 09:12:20 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-05-31 09:21:36 +0200 | bilegeek | (~bilegeek@2600:1008:b09b:c4b4:7afa:ef19:5ec6:a9f7) (Quit: Leaving) |
| 2023-05-31 09:21:59 +0200 | bilegeek | (~bilegeek@2600:1008:b09b:c4b4:7afa:ef19:5ec6:a9f7) |
| 2023-05-31 09:22:01 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-05-31 09:23:38 +0200 | hsw | (~hsw@112-104-11-46.adsl.dynamic.seed.net.tw) (Quit: Leaving) |
| 2023-05-31 09:23:51 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2023-05-31 09:28:00 +0200 | machinedgod | (~machinedg@93-136-182-237.adsl.net.t-com.hr) |
| 2023-05-31 09:28:10 +0200 | mmhat | (~mmh@p200300f1c706686dee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-05-31 09:28:33 +0200 | mmhat | (~mmh@p200300f1c706686dee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-05-31 09:33:46 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-05-31 09:34:01 +0200 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2023-05-31 09:34:37 +0200 | michalz | (~michalz@185.246.204.89) |
| 2023-05-31 09:42:20 +0200 | hisa383 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) |
| 2023-05-31 09:42:21 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-05-31 09:44:01 +0200 | hisa38 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-05-31 09:44:01 +0200 | hisa383 | hisa38 |
| 2023-05-31 09:46:27 +0200 | CiaoSen | (~Jura@145.224.73.17) |
| 2023-05-31 09:47:57 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-05-31 09:52:31 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-05-31 09:59:26 +0200 | maerwald | (~maerwald@user/maerwald) (Quit: gone) |
| 2023-05-31 10:00:17 +0200 | maerwald | (~maerwald@mail.hasufell.de) |
| 2023-05-31 10:00:45 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-05-31 10:05:36 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 2023-05-31 10:10:16 +0200 | foul_owl | (~kerry@71.212.137.212) |
| 2023-05-31 10:11:15 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-05-31 10:12:16 +0200 | EvanR | (~EvanR@user/evanr) (Ping timeout: 248 seconds) |
| 2023-05-31 10:12:37 +0200 | bilegeek | (~bilegeek@2600:1008:b09b:c4b4:7afa:ef19:5ec6:a9f7) (Quit: Leaving) |
| 2023-05-31 10:13:11 +0200 | acidjnk | (~acidjnk@p200300d6e7072f60497b3233a309ba1a.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2023-05-31 10:13:17 +0200 | EvanR | (~EvanR@user/evanr) |
| 2023-05-31 10:16:48 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Ping timeout: 240 seconds) |
| 2023-05-31 10:20:05 +0200 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2023-05-31 10:24:33 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-05-31 10:26:58 +0200 | Deide | (~deide@user/deide) (Remote host closed the connection) |
| 2023-05-31 10:32:26 +0200 | foul_owl | (~kerry@71.212.137.212) (Quit: WeeChat 2.3) |
| 2023-05-31 10:33:26 +0200 | talismanick | (~user@2601:204:ef01:8ca0::a680) |
| 2023-05-31 10:35:45 +0200 | eugenrh | (~eugenrh@2a01:4f9:c011:265::1) (Quit: WeeChat 3.7.1) |
| 2023-05-31 10:36:25 +0200 | eugenrh | (~eugenrh@2a01:4f9:c011:265::1) |
| 2023-05-31 10:36:58 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-05-31 10:40:02 +0200 | foul_owl | (~kerry@71.212.137.212) |
| 2023-05-31 10:42:49 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3dda:98a9:2443:29bc) |
| 2023-05-31 10:43:20 +0200 | foul_owl | (~kerry@71.212.137.212) (Client Quit) |
| 2023-05-31 10:46:42 +0200 | <probie> | Are there limitations on when single constructor elimination can fire? I've seen GHC generate some core where there are two functions in a letrec, and the first is calling the second with a regular tuple (which the first constructs), which the second immediately deconstructs |
| 2023-05-31 10:47:08 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3dda:98a9:2443:29bc) (Ping timeout: 240 seconds) |
| 2023-05-31 10:49:45 +0200 | merijn | (~merijn@145.136.142.121) |
| 2023-05-31 10:54:24 +0200 | merijn | (~merijn@145.136.142.121) (Ping timeout: 248 seconds) |
| 2023-05-31 10:54:56 +0200 | barcisz | (~barcisz@83.6.194.51.ipv4.supernova.orange.pl) |
| 2023-05-31 10:57:14 +0200 | jonathan_ | (~jonathan@193.234.101.122) |
| 2023-05-31 10:57:30 +0200 | foul_owl | (~kerry@71.212.137.212) |
| 2023-05-31 10:57:56 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2023-05-31 10:58:46 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-05-31 11:00:11 +0200 | <jonathan_> | I'm considering attending the ghc developer's workshop remotely. In the registration form they said to please get an accout on the gch gitlab. I asked for access a few weeks ago, but it's still pending admin approval. How should I go about getting access? |
| 2023-05-31 11:00:50 +0200 | <geekosaur> | generally you have to ask in #ghc, and an admin should be able to help you |
| 2023-05-31 11:05:01 +0200 | trillp | (~trillp@216.128.139.100) |
| 2023-05-31 11:06:32 +0200 | trillp | (~trillp@216.128.139.100) (WeeChat 3.8) |
| 2023-05-31 11:08:35 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-05-31 11:14:37 +0200 | <talismanick> | Why might loading test/Spec.hs in GHCi error with "Could not load module ‘Test.Hspec’... member of hidden package" when it's clearly listed in the build-depends for the test suite? |
| 2023-05-31 11:15:15 +0200 | <c_wraith> | talismanick: did you start ghci in the context of the test suite? |
| 2023-05-31 11:15:37 +0200 | acidjnk | (~acidjnk@p200300d6e7072f60497b3233a309ba1a.dip0.t-ipconnect.de) |
| 2023-05-31 11:15:43 +0200 | <talismanick> | c_wraith: I loaded the file inside Emacs with C-c C-l, so... presumably so? |
| 2023-05-31 11:15:56 +0200 | <c_wraith> | Oh. Definitely not, then |
| 2023-05-31 11:16:21 +0200 | <geekosaur> | [25 23:37:58] <Artem[m]> <fgaz> "or just `cabal test` if you don..." <- Infamously, you may have to do `cabal test --enable-tests`. I wish I learned the ticket number by heart by now... |
| 2023-05-31 11:17:06 +0200 | <c_wraith> | talismanick: that will just run a bare `cabal repl` |
| 2023-05-31 11:17:18 +0200 | <talismanick> | huh, it's doing something different from `cabal run name-of-test` |
| 2023-05-31 11:17:22 +0200 | <c_wraith> | Maybe telling it about your source file |
| 2023-05-31 11:17:33 +0200 | CiaoSen | (~Jura@145.224.73.17) (Ping timeout: 250 seconds) |
| 2023-05-31 11:17:48 +0200 | <talismanick> | c_wraith: how might I do that? |
| 2023-05-31 11:18:25 +0200 | <talismanick> | Is there some knob I need to configure for HLS to handle this for me automatically? It handles the rest of project management pretty well |
| 2023-05-31 11:18:50 +0200 | <talismanick> | (insofar as importing dependencies for lookup while editing goes ) |
| 2023-05-31 11:20:16 +0200 | ubert1 | (~Thunderbi@2a02:8109:abc0:6434:490c:faf5:667:6a2e) |
| 2023-05-31 11:21:22 +0200 | <c_wraith> | No idea how to get HLS to do the right thing. |
| 2023-05-31 11:27:32 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 268 seconds) |
| 2023-05-31 11:31:51 +0200 | gurkenglas | (~user@dynamic-046-114-183-195.46.114.pool.telefonica.de) |
| 2023-05-31 11:32:46 +0200 | maerwald | (~maerwald@mail.hasufell.de) (Quit: gone) |
| 2023-05-31 11:33:05 +0200 | maerwald | (~maerwald@mail.hasufell.de) |
| 2023-05-31 11:40:16 +0200 | thegeekinside | (~thegeekin@189.180.38.64) (Ping timeout: 248 seconds) |
| 2023-05-31 11:44:47 +0200 | pointlessslippe1 | (~pointless@212.82.82.3) (Remote host closed the connection) |
| 2023-05-31 11:47:12 +0200 | oo_miguel | (~Thunderbi@77.252.47.84) (Quit: oo_miguel) |
| 2023-05-31 11:47:38 +0200 | oo_miguel | (~Thunderbi@77.252.47.84) |
| 2023-05-31 11:50:45 +0200 | zeenk | (~zeenk@2a02:2f04:a105:f00::7fe) |
| 2023-05-31 11:51:30 +0200 | lottaquestions | (~nick@2607:fa49:503f:6d00:b491:99a4:aba0:ca2f) (Quit: Konversation terminated!) |
| 2023-05-31 11:52:07 +0200 | lottaquestions | (~nick@2607:fa49:503f:6d00:2ffc:724d:26ca:ea57) |
| 2023-05-31 11:54:36 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-05-31 11:55:41 +0200 | pointlessslippe1 | (~pointless@212.82.82.3) |
| 2023-05-31 11:57:21 +0200 | merijn | (~merijn@145.136.142.121) |
| 2023-05-31 12:04:21 +0200 | merijn | (~merijn@145.136.142.121) (Ping timeout: 250 seconds) |
| 2023-05-31 12:09:59 +0200 | jonathan_ | (~jonathan@193.234.101.122) (Ping timeout: 250 seconds) |
| 2023-05-31 12:11:07 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 240 seconds) |
| 2023-05-31 12:14:09 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-05-31 12:14:17 +0200 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 246 seconds) |
| 2023-05-31 12:18:25 +0200 | acidjnk | (~acidjnk@p200300d6e7072f60497b3233a309ba1a.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2023-05-31 12:21:11 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2023-05-31 12:21:47 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-05-31 12:23:35 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-05-31 12:24:39 +0200 | APic | (apic@apic.name) |
| 2023-05-31 12:27:25 +0200 | acidjnk | (~acidjnk@p200300d6e7072f60212d131971c47e8e.dip0.t-ipconnect.de) |
| 2023-05-31 12:30:31 +0200 | tstat | (~user@user/tstat) |
| 2023-05-31 12:33:07 +0200 | gurkenglas | (~user@dynamic-046-114-183-195.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2023-05-31 12:33:19 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) (Read error: Connection reset by peer) |
| 2023-05-31 12:34:21 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2023-05-31 12:39:44 +0200 | gurkenglas | (~user@dynamic-046-114-183-195.46.114.pool.telefonica.de) |
| 2023-05-31 12:40:20 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-05-31 12:52:44 +0200 | ft | (~ft@p4fc2a88b.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-05-31 13:02:48 +0200 | maerwald | (~maerwald@mail.hasufell.de) (Quit: gone) |
| 2023-05-31 13:03:05 +0200 | maerwald | (~maerwald@mail.hasufell.de) |
| 2023-05-31 13:03:37 +0200 | supersven | (sid501114@id-501114.ilkley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-05-31 13:04:55 +0200 | mxs | (~mxs@user/mxs) |
| 2023-05-31 13:06:12 +0200 | xff0x_ | (~xff0x@ai098135.d.east.v6connect.net) |
| 2023-05-31 13:15:41 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-a566-5e72-30af-bdfe.rev.sfr.net) (Remote host closed the connection) |
| 2023-05-31 13:16:44 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-05-31 13:19:07 +0200 | barcisz | (~barcisz@83.6.194.51.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 2023-05-31 13:19:25 +0200 | barcisz | (~barcisz@83.6.194.51.ipv4.supernova.orange.pl) |
| 2023-05-31 13:23:14 +0200 | merijn | (~merijn@145.136.142.121) |
| 2023-05-31 13:26:47 +0200 | kilolympus | (~kilolympu@213.144.144.24) |
| 2023-05-31 13:27:37 +0200 | merijn | (~merijn@145.136.142.121) (Ping timeout: 240 seconds) |
| 2023-05-31 13:33:56 +0200 | barcisz | (~barcisz@83.6.194.51.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 2023-05-31 13:37:36 +0200 | jonathan_ | (~jonathan@193.234.101.122) |
| 2023-05-31 13:39:48 +0200 | gurkenglas | (~user@dynamic-046-114-183-195.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2023-05-31 13:40:48 +0200 | machinedgod | (~machinedg@93-136-182-237.adsl.net.t-com.hr) (Ping timeout: 248 seconds) |
| 2023-05-31 13:52:29 +0200 | dcleonarski | (~user@2804:d51:4793:c800:b0e2:a2e8:89a0:4c46) |
| 2023-05-31 13:55:43 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2023-05-31 13:58:37 +0200 | zer0bitz__ | (~zer0bitz@user/zer0bitz) (Ping timeout: 240 seconds) |
| 2023-05-31 14:08:37 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 240 seconds) |
| 2023-05-31 14:16:00 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-05-31 14:36:54 +0200 | user__ | (~user@dynamic-046-114-183-195.46.114.pool.telefonica.de) |
| 2023-05-31 14:37:22 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-05-31 14:41:01 +0200 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::a9c3) |
| 2023-05-31 14:58:32 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 2023-05-31 15:00:43 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2023-05-31 15:05:31 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) |
| 2023-05-31 15:15:48 +0200 | <Las[m]1> | What do people usually use to write academic papers on Haskell? |
| 2023-05-31 15:17:14 +0200 | <mzg> | LaTeX? |
| 2023-05-31 15:17:39 +0200 | <jade[m]> | do you mean what software to write papers? |
| 2023-05-31 15:30:55 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-05-31 15:32:54 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-05-31 15:36:00 +0200 | <juri_> | laTeX. |
| 2023-05-31 15:38:59 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-05-31 15:38:59 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-05-31 15:38:59 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-05-31 15:44:14 +0200 | bliminse | (~bliminse@user/bliminse) |
| 2023-05-31 15:44:45 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-05-31 15:46:37 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-05-31 15:47:14 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3dda:98a9:2443:29bc) |
| 2023-05-31 15:50:29 +0200 | tstat | (~user@user/tstat) (Remote host closed the connection) |
| 2023-05-31 15:51:28 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3dda:98a9:2443:29bc) (Ping timeout: 248 seconds) |
| 2023-05-31 15:58:17 +0200 | acidjnk | (~acidjnk@p200300d6e7072f60212d131971c47e8e.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-05-31 15:58:37 +0200 | tstat | (~user@user/tstat) |
| 2023-05-31 15:59:39 +0200 | user__ | (~user@dynamic-046-114-183-195.46.114.pool.telefonica.de) (Ping timeout: 250 seconds) |
| 2023-05-31 15:59:59 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Ping timeout: 256 seconds) |
| 2023-05-31 16:00:50 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) |
| 2023-05-31 16:04:13 +0200 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::a9c3) (Remote host closed the connection) |
| 2023-05-31 16:05:20 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-05-31 16:05:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-05-31 16:05:56 +0200 | dtman34 | (~dtman34@2601:447:d000:93c9:165c:a993:55fe:cf4b) (Ping timeout: 265 seconds) |
| 2023-05-31 16:08:53 +0200 | user__ | (~user@dynamic-046-114-183-195.46.114.pool.telefonica.de) |
| 2023-05-31 16:09:28 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) (Ping timeout: 240 seconds) |
| 2023-05-31 16:10:11 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) |
| 2023-05-31 16:10:58 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-05-31 16:21:24 +0200 | <somerandomnick[m> | alex + happy |
| 2023-05-31 16:22:30 +0200 | <somerandomnick[m> | ADTs closely reflect the BNF and disallow invalid values |
| 2023-05-31 16:22:41 +0200 | caubert_ | (~caubert@user/caubert) (Quit: WeeChat 3.8) |
| 2023-05-31 16:22:51 +0200 | caubert | (~caubert@user/caubert) |
| 2023-05-31 16:23:22 +0200 | thegeekinside | (~thegeekin@189.180.38.64) |
| 2023-05-31 16:24:28 +0200 | <somerandomnick[m> | the compiler will warn you for every unmatched patterns in functions over AST then |
| 2023-05-31 16:24:57 +0200 | <somerandomnick[m> | I read "parsers" not "papers" XD |
| 2023-05-31 16:25:02 +0200 | <somerandomnick[m> | obv the answer is latex |
| 2023-05-31 16:25:19 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-05-31 16:27:19 +0200 | <sm> | or pandoc ? |
| 2023-05-31 16:31:16 +0200 | acidjnk | (~acidjnk@p200300d6e7072f60212d131971c47e8e.dip0.t-ipconnect.de) |
| 2023-05-31 16:31:37 +0200 | pavonia_ | (~user@user/siracusa) (Quit: Bye!) |
| 2023-05-31 16:43:45 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-05-31 16:46:07 +0200 | n0den1te | (~~.~@157.119.87.13) |
| 2023-05-31 16:49:02 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-05-31 16:49:26 +0200 | CiaoSen | (~Jura@145.224.73.17) |
| 2023-05-31 16:50:31 +0200 | AlexNoo_ | AlexNoo |
| 2023-05-31 16:51:41 +0200 | <tomsmeding> | LaTeX here :p |
| 2023-05-31 16:52:01 +0200 | <tomsmeding> | also, like, basically all the relevant publication venues require LaTeX, so it's not like we have much choice |
| 2023-05-31 16:52:19 +0200 | <n0den1te> | sorry, what's latex? unless you mean those sweatingly fiendish pants |
| 2023-05-31 16:52:20 +0200 | dtman34 | (~dtman34@76.156.89.180) |
| 2023-05-31 16:52:50 +0200 | n0den1te | says no need to answer, I'm just joking |
| 2023-05-31 16:53:32 +0200 | <n0den1te> | I know academics have a thing for it, apparently |
| 2023-05-31 16:54:11 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:89bf:2c1e:724:8d14) (Remote host closed the connection) |
| 2023-05-31 16:54:51 +0200 | <geekosaur> | mostly because that's where it originated |
| 2023-05-31 17:01:11 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) (Ping timeout: 250 seconds) |
| 2023-05-31 17:04:02 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) (Remote host closed the connection) |
| 2023-05-31 17:04:24 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) |
| 2023-05-31 17:07:35 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Quit: WeeChat 3.8) |
| 2023-05-31 17:10:33 +0200 | pharonix71 | (~pharonix7@user/pharonix71) (Remote host closed the connection) |
| 2023-05-31 17:10:58 +0200 | pharonix71 | (~pharonix7@user/pharonix71) |
| 2023-05-31 17:12:31 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 256 seconds) |
| 2023-05-31 17:13:04 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) |
| 2023-05-31 17:13:25 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-05-31 17:14:56 +0200 | vandita | (~vandit@78-131-74-0.pool.digikabel.hu) (Ping timeout: 246 seconds) |
| 2023-05-31 17:16:33 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) (Remote host closed the connection) |
| 2023-05-31 17:16:53 +0200 | vandita | (~vandit@92-249-182-18.pool.digikabel.hu) |
| 2023-05-31 17:16:56 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) |
| 2023-05-31 17:19:16 +0200 | econo | (uid147250@user/econo) |
| 2023-05-31 17:19:33 +0200 | merijn | (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) |
| 2023-05-31 17:22:04 +0200 | comerijn | (~merijn@86.86.29.250) |
| 2023-05-31 17:22:32 +0200 | merijn | Guest826 |
| 2023-05-31 17:22:52 +0200 | comerijn | merijn |
| 2023-05-31 17:26:08 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3dda:98a9:2443:29bc) |
| 2023-05-31 17:26:37 +0200 | Guest826 | (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-05-31 17:32:34 +0200 | zeenk | (~zeenk@2a02:2f04:a105:f00::7fe) (Quit: Konversation terminated!) |
| 2023-05-31 17:34:56 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-05-31 17:39:38 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3dda:98a9:2443:29bc) (Remote host closed the connection) |
| 2023-05-31 17:40:16 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3dda:98a9:2443:29bc) |
| 2023-05-31 17:40:45 +0200 | mauke | (~mauke@user/mauke) |
| 2023-05-31 17:41:52 +0200 | AlexZenon | (~alzenon@178.34.163.104) (Ping timeout: 248 seconds) |
| 2023-05-31 17:42:31 +0200 | Alex_test_ | (~al_test@178.34.163.104) (Ping timeout: 240 seconds) |
| 2023-05-31 17:49:05 +0200 | Alex_test | (~al_test@178.34.163.104) |
| 2023-05-31 17:49:52 +0200 | AlexZenon | (~alzenon@178.34.163.104) |
| 2023-05-31 17:49:55 +0200 | CiaoSen | (~Jura@145.224.73.17) (Ping timeout: 256 seconds) |
| 2023-05-31 18:05:19 +0200 | user__ | (~user@dynamic-046-114-183-195.46.114.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 2023-05-31 18:09:37 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3dda:98a9:2443:29bc) (Remote host closed the connection) |
| 2023-05-31 18:10:31 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) (Ping timeout: 250 seconds) |
| 2023-05-31 18:10:53 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-05-31 18:12:15 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2023-05-31 18:13:04 +0200 | ubert1 | (~Thunderbi@2a02:8109:abc0:6434:490c:faf5:667:6a2e) (Remote host closed the connection) |
| 2023-05-31 18:15:27 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-05-31 18:17:09 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-05-31 18:19:46 +0200 | ddellacosta | (~ddellacos@146.70.168.162) |
| 2023-05-31 18:22:42 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) |
| 2023-05-31 18:24:39 +0200 | ddellacosta | (~ddellacos@146.70.168.162) (Ping timeout: 265 seconds) |
| 2023-05-31 18:26:04 +0200 | ddellacosta | (~ddellacos@143.244.47.85) |
| 2023-05-31 18:26:04 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-05-31 18:31:56 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-05-31 18:33:43 +0200 | totbwf | (sid402332@id-402332.uxbridge.irccloud.com) |
| 2023-05-31 18:34:21 +0200 | mei | (~mei@user/mei) |
| 2023-05-31 18:35:20 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-05-31 18:37:44 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-05-31 18:43:28 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) (Ping timeout: 250 seconds) |
| 2023-05-31 18:48:30 +0200 | talismanick | (~user@2601:204:ef01:8ca0::a680) (Remote host closed the connection) |
| 2023-05-31 18:51:58 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2023-05-31 18:52:23 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3dda:98a9:2443:29bc) |
| 2023-05-31 18:53:39 +0200 | n0den1te | (~~.~@157.119.87.13) () |
| 2023-05-31 18:57:10 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-05-31 18:59:26 +0200 | turlando | (~turlando@user/turlando) (Read error: Connection reset by peer) |
| 2023-05-31 18:59:55 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-05-31 18:59:57 +0200 | user__ | (~user@dynamic-046-114-183-195.46.114.pool.telefonica.de) |
| 2023-05-31 19:00:14 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-05-31 19:02:20 +0200 | mei | (~mei@user/mei) |
| 2023-05-31 19:03:15 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 268 seconds) |
| 2023-05-31 19:03:50 +0200 | turlando | (~turlando@user/turlando) |
| 2023-05-31 19:04:07 +0200 | vandita | (~vandit@92-249-182-18.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-05-31 19:04:58 +0200 | captnemo | (~captnemo@193.32.127.232) |
| 2023-05-31 19:06:02 +0200 | vandita | (~vandit@217-197-189-6.pool.digikabel.hu) |
| 2023-05-31 19:12:37 +0200 | troydm | (~troydm@user/troydm) |
| 2023-05-31 19:20:32 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-31 19:21:12 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) (Ping timeout: 265 seconds) |
| 2023-05-31 19:23:01 +0200 | malte | (~malte@mal.tc) (Ping timeout: 240 seconds) |
| 2023-05-31 19:24:05 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2023-05-31 19:25:08 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2023-05-31 19:26:45 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2023-05-31 19:30:34 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-05-31 19:31:10 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2023-05-31 19:34:09 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) |
| 2023-05-31 19:38:33 +0200 | reach | (~reach@cpe30b7d4bc76e3-cm30b7d4bc76e0.cpe.net.cable.rogers.com) |
| 2023-05-31 19:39:47 +0200 | <zero> | uh oh i think i messed something up. ghci is presenting me with this message: https://paste.jrvieira.com/1685554732088 |
| 2023-05-31 19:40:07 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-05-31 19:42:31 +0200 | <geekosaur> | do you have `NoImplicitPrelude` somewhere? |
| 2023-05-31 19:42:54 +0200 | <zero> | no |
| 2023-05-31 19:44:08 +0200 | <zero> | ghc-pkg base gives me this: https://paste.jrvieira.com/1685555036621 |
| 2023-05-31 19:46:37 +0200 | <zero> | * ghc-pkg list base |
| 2023-05-31 19:47:07 +0200 | reach | (~reach@cpe30b7d4bc76e3-cm30b7d4bc76e0.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds) |
| 2023-05-31 19:48:13 +0200 | <merijn> | zero: See line 105 |
| 2023-05-31 19:48:36 +0200 | <merijn> | You have a .ghci file that is (presumably) messing with your prompt |
| 2023-05-31 19:51:06 +0200 | <merijn> | and potentially also a default package environment wreaking havoc (line 1) |
| 2023-05-31 19:54:56 +0200 | <zups> | http://paste.dy.fi/HeD |
| 2023-05-31 19:55:02 +0200 | <zups> | anyone know why i get this error message |
| 2023-05-31 19:55:22 +0200 | <zups> | i don't understand since measure is only applied to one argument and not two like it says |
| 2023-05-31 19:55:54 +0200 | <geekosaur> | (measure a) is applied to (measure b) |
| 2023-05-31 19:56:00 +0200 | <zups> | aha hmm |
| 2023-05-31 19:56:12 +0200 | <geekosaur> | ($) is not magical; it works by precedence |
| 2023-05-31 19:56:40 +0200 | <EvanR> | I'm heavily questioning the $ there |
| 2023-05-31 19:56:51 +0200 | <geekosaur> | yes, it should just be removed |
| 2023-05-31 19:57:40 +0200 | <zups> | max (measure a) (measure b) |
| 2023-05-31 19:57:43 +0200 | <zups> | so this is more right? :) |
| 2023-05-31 19:57:47 +0200 | <geekosaur> | yes |
| 2023-05-31 19:57:54 +0200 | <geekosaur> | :t max |
| 2023-05-31 19:57:55 +0200 | <lambdabot> | Ord a => a -> a -> a |
| 2023-05-31 19:58:06 +0200 | <geekosaur> | don't need a $ |
| 2023-05-31 19:58:20 +0200 | <zups> | yeah, i feel like adding the $ prolly too much everywhere and not fully understanding it :) |
| 2023-05-31 19:58:35 +0200 | <EvanR> | a good rule of thumb is to just not using it at all |
| 2023-05-31 19:58:55 +0200 | <EvanR> | outsiders gripe haskell uses "too many operators" |
| 2023-05-31 19:58:59 +0200 | <zups> | :D i see, i thought people loved it in haskell! |
| 2023-05-31 19:59:04 +0200 | <EvanR> | and $ is often unnecessary |
| 2023-05-31 19:59:15 +0200 | <zups> | it is but i like it though! |
| 2023-05-31 19:59:28 +0200 | <EvanR> | by all means, put $ everywhere you can then xD |
| 2023-05-31 19:59:35 +0200 | <EvanR> | f $ x $ y $ z $ w |
| 2023-05-31 19:59:44 +0200 | <zups> | heh |
| 2023-05-31 20:00:28 +0200 | <zups> | is there a way to pattern match if some parameter x is an array |
| 2023-05-31 20:00:41 +0200 | <zups> | when x has type of a |
| 2023-05-31 20:00:47 +0200 | <zups> | as in it can be anything |
| 2023-05-31 20:01:11 +0200 | <EvanR> | how would you do "can be anything" in the first place |
| 2023-05-31 20:01:28 +0200 | <EvanR> | haskell uses static types |
| 2023-05-31 20:01:31 +0200 | <zups> | i don't know but i meant this: maxBy :: (a -> Int) -> a -> a -> a |
| 2023-05-31 20:01:36 +0200 | <EvanR> | oh |
| 2023-05-31 20:01:52 +0200 | <zups> | and i'd like to know if one of those parameters that has "type" a is an array/list |
| 2023-05-31 20:02:04 +0200 | <EvanR> | yeah with that type you can't do dynamic type checks |
| 2023-05-31 20:02:12 +0200 | <zups> | mmm i see |
| 2023-05-31 20:02:32 +0200 | <EvanR> | there's this :: Typeable a => (a -> Int) -> a -> a -> a |
| 2023-05-31 20:02:48 +0200 | <EvanR> | the Typeable brings in the ability to do dynamic type checks |
| 2023-05-31 20:02:58 +0200 | <EvanR> | but consider whether you really want that |
| 2023-05-31 20:03:41 +0200 | <zups> | yeah, i prolly don't need that for this but good to know |
| 2023-05-31 20:05:13 +0200 | <zups> | ok got it working, thanks for the help! :) |
| 2023-05-31 20:07:11 +0200 | mbuf | (~Shakthi@49.207.178.186) (Quit: Leaving) |
| 2023-05-31 20:07:56 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2023-05-31 20:09:39 +0200 | <zero> | merijn: thanks. i had a rogue ~/.ghc folder that had to be deleted |
| 2023-05-31 20:10:02 +0200 | <zero> | because some stupid apt package decided it was a good idea to have ghc as a dependency |
| 2023-05-31 20:11:00 +0200 | <zero> | and i have it on .ghcup |
| 2023-05-31 20:16:25 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-05-31 20:16:32 +0200 | <mauke> | <EvanR> outsiders gripe haskell uses "too many operators" <- that's what BlockArguments is for |
| 2023-05-31 20:16:39 +0200 | <mauke> | f do x do y do z do w |
| 2023-05-31 20:16:47 +0200 | <dy> | Reminded of my PR from almost a decade ago: |
| 2023-05-31 20:16:51 +0200 | <dy> | https://github.com/haskell/cabal/issues/2308 |
| 2023-05-31 20:16:54 +0200 | <dy> | *issue not PR |
| 2023-05-31 20:17:41 +0200 | <EvanR> | oh good call |
| 2023-05-31 20:18:48 +0200 | zxrom | (~zxrom@mm-22-38-212-37.vitebsk.dynamic.pppoe.byfly.by) |
| 2023-05-31 20:19:25 +0200 | <merijn> | mauke: call me a grumpy curmudgeon, but I find BlockArguments a terrible idea >.> |
| 2023-05-31 20:19:29 +0200 | <mauke> | (and yes, I've seen very similar code in a production code base) |
| 2023-05-31 20:19:47 +0200 | <mauke> | merijn: why? |
| 2023-05-31 20:20:00 +0200 | <merijn> | dy: cabal shouldn't touch .ghc, I don't think? |
| 2023-05-31 20:20:21 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-05-31 20:20:40 +0200 | <merijn> | mauke: The rules for how it gets parsed are too unclear for my brain and it's one of those "death by a thousand papercuts of semantically uninteresting syntax change churn" |
| 2023-05-31 20:20:41 +0200 | captnemo | (~captnemo@193.32.127.232) (Quit: WeeChat 3.8) |
| 2023-05-31 20:21:06 +0200 | <merijn> | I *might* be convinced it's a good idea if we were designing a grammar from scratch |
| 2023-05-31 20:21:37 +0200 | <merijn> | but the gain in expressive power (near zero) doesn't seem worth the syntax churn |
| 2023-05-31 20:21:49 +0200 | <merijn> | And people keep proposing an endless barrage of minor syntax churn extensions |
| 2023-05-31 20:22:05 +0200 | <mauke> | speaking as a perl programmer, it makes perfect sense to me :-D |
| 2023-05-31 20:22:13 +0200 | <mauke> | I never understood why it was disallowed in the first place |
| 2023-05-31 20:22:35 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-05-31 20:22:48 +0200 | <merijn> | mauke: A lot of the syntax suggestions I don't think are bad per-se, but the churn and fracturing into a million "almost, but not quite" extension dialects is bad, imo |
| 2023-05-31 20:23:39 +0200 | <merijn> | Anyway...back to somehow managing to cut 25% of the LOC in my TIS-100 results :p |
| 2023-05-31 20:24:20 +0200 | <EvanR> | too many versions of haskell, someone should make a universal standard to encompass all of them at once |
| 2023-05-31 20:24:49 +0200 | <mauke> | I expect it'll congeal into a new standard at some point |
| 2023-05-31 20:25:01 +0200 | <merijn> | Haskell Prime? :p |
| 2023-05-31 20:25:12 +0200 | <mauke> | Haskell Plus! |
| 2023-05-31 20:25:22 +0200 | <merijn> | mauke: Problem is you can't really to it properly without breaking a lot of backwards compat |
| 2023-05-31 20:25:26 +0200 | <EvanR> | haskell prime plus |
| 2023-05-31 20:25:52 +0200 | <merijn> | Hot take: operators should require whitespace around them, that's solve both the unary minus (remove it and make it part of lexing of literals) *and* record dot issue |
| 2023-05-31 20:26:08 +0200 | <merijn> | but you can never retrofit that sensibly' |
| 2023-05-31 20:26:12 +0200 | <mauke> | technically you could use your argument to argue against hierarchical module names |
| 2023-05-31 20:26:49 +0200 | <merijn> | mauke: those weren't backwards incompatible, though |
| 2023-05-31 20:26:53 +0200 | <mauke> | weird parsing rules, near zero gain in expressive power, not backwards compatible |
| 2023-05-31 20:27:12 +0200 | <mauke> | oh, that's a plus? |
| 2023-05-31 20:27:14 +0200 | <merijn> | mauke: with backwards compat I mean: doesn't break old code |
| 2023-05-31 20:27:41 +0200 | <merijn> | i.e. adding hierarchical module names kept all existing code as valid subset |
| 2023-05-31 20:27:46 +0200 | zero | zzz |
| 2023-05-31 20:27:50 +0200 | zzz | yin |
| 2023-05-31 20:27:58 +0200 | <mauke> | Just.id |
| 2023-05-31 20:28:14 +0200 | <mauke> | no, wait |
| 2023-05-31 20:28:18 +0200 | <mauke> | Prelude.Just.id |
| 2023-05-31 20:28:22 +0200 | <merijn> | mauke: That's another reason I think we shoulda had spaces around operators :p |
| 2023-05-31 20:30:38 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-05-31 20:33:49 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) |
| 2023-05-31 20:36:08 +0200 | tstat | (~user@user/tstat) (Remote host closed the connection) |
| 2023-05-31 20:36:59 +0200 | vandita | (~vandit@217-197-189-6.pool.digikabel.hu) (Ping timeout: 250 seconds) |
| 2023-05-31 20:38:56 +0200 | vandita | (~vandit@92-249-141-191.pool.digikabel.hu) |
| 2023-05-31 20:43:39 +0200 | <yin> | merijn: +1 for whitespace around operators. i have always been a proponent |
| 2023-05-31 20:45:37 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 240 seconds) |
| 2023-05-31 20:46:56 +0200 | pavonia | (~user@user/siracusa) |
| 2023-05-31 20:52:10 +0200 | <merijn> | yin: I mean, I'm not a proponent of changing this in Haskell, but certainly if I'd design a grammar from scratch that is the right way to go |
| 2023-05-31 20:53:18 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3dda:98a9:2443:29bc) (Remote host closed the connection) |
| 2023-05-31 20:56:55 +0200 | Techcable | (~Techcable@user/Techcable) (Ping timeout: 256 seconds) |
| 2023-05-31 21:01:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-05-31 21:02:24 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-05-31 21:04:09 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2023-05-31 21:05:41 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3dda:98a9:2443:29bc) |
| 2023-05-31 21:08:46 +0200 | cheater | (~Username@user/cheater) |
| 2023-05-31 21:08:48 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Ping timeout: 240 seconds) |
| 2023-05-31 21:15:48 +0200 | acidjnk | (~acidjnk@p200300d6e7072f60212d131971c47e8e.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-05-31 21:15:58 +0200 | acidjnk | (~acidjnk@p200300d6e7072f606840ba95ce8ed5e1.dip0.t-ipconnect.de) |
| 2023-05-31 21:16:16 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-05-31 21:19:01 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 250 seconds) |
| 2023-05-31 21:25:42 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-05-31 21:26:07 +0200 | vandita | (~vandit@92-249-141-191.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-05-31 21:28:02 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-a566-5e72-30af-bdfe.rev.sfr.net) (Quit: WeeChat 3.8) |
| 2023-05-31 21:28:07 +0200 | vandita | (~vandit@84-236-21-40.pool.digikabel.hu) |
| 2023-05-31 21:28:55 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2023-05-31 21:30:09 +0200 | puke | (~puke@user/puke) (Quit: puke) |
| 2023-05-31 21:32:29 +0200 | puke | (~puke@user/puke) |
| 2023-05-31 21:32:34 +0200 | puke | (~puke@user/puke) (Max SendQ exceeded) |
| 2023-05-31 21:33:00 +0200 | puke | (~puke@user/puke) |
| 2023-05-31 21:35:08 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3dda:98a9:2443:29bc) (Remote host closed the connection) |
| 2023-05-31 21:35:40 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-a5ba-1479-0efa-11e0.rev.sfr.net) |
| 2023-05-31 21:46:24 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-05-31 21:48:21 +0200 | KabeloMsobomvuMo | (~elevenkb@2001:470:69fc:105::2:cb89) |
| 2023-05-31 21:50:22 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 2023-05-31 21:59:43 +0200 | malte | (~malte@mal.tc) |
| 2023-05-31 22:04:45 +0200 | KabeloMsobomvuMo | elevenkb |
| 2023-05-31 22:05:15 +0200 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2023-05-31 22:06:23 +0200 | ft | (~ft@p4fc2a88b.dip0.t-ipconnect.de) |
| 2023-05-31 22:07:00 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-05-31 22:09:22 +0200 | Techcable | (~Techcable@user/Techcable) |
| 2023-05-31 22:10:39 +0200 | vgtw | (~vgtw@user/vgtw) |
| 2023-05-31 22:15:43 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-05-31 22:17:58 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) (Ping timeout: 250 seconds) |
| 2023-05-31 22:19:17 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Quit: use-value) |
| 2023-05-31 22:19:53 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-05-31 22:21:54 +0200 | elevenkb | (~elevenkb@2001:470:69fc:105::2:cb89) (Remote host closed the connection) |
| 2023-05-31 22:22:49 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2023-05-31 22:32:30 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-05-31 22:33:34 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-05-31 22:34:51 +0200 | Feuermagier_ | (~Feuermagi@user/feuermagier) (Ping timeout: 250 seconds) |
| 2023-05-31 22:35:38 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3dda:98a9:2443:29bc) |
| 2023-05-31 22:35:45 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2023-05-31 22:36:37 +0200 | vandita | (~vandit@84-236-21-40.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-05-31 22:38:39 +0200 | vandita | (~vandit@193-226-238-253.pool.digikabel.hu) |
| 2023-05-31 22:40:03 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3dda:98a9:2443:29bc) (Ping timeout: 256 seconds) |
| 2023-05-31 22:41:50 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2023-05-31 22:49:27 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 2023-05-31 22:52:08 +0200 | jonathan_ | (~jonathan@193.234.101.122) (Ping timeout: 240 seconds) |
| 2023-05-31 22:53:06 +0200 | machinedgod | (~machinedg@93-136-182-237.adsl.net.t-com.hr) |
| 2023-05-31 22:55:07 +0200 | foul_owl | (~kerry@71.212.137.212) (Quit: WeeChat 2.3) |
| 2023-05-31 22:57:16 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-05-31 22:59:07 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 250 seconds) |
| 2023-05-31 23:01:18 +0200 | mechap | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 2023-05-31 23:04:25 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-05-31 23:05:49 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) |
| 2023-05-31 23:09:31 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 250 seconds) |
| 2023-05-31 23:12:08 +0200 | ski | (~ski@remote11.chalmers.se) (Ping timeout: 250 seconds) |
| 2023-05-31 23:12:36 +0200 | ski | (~ski@remote11.chalmers.se) |
| 2023-05-31 23:17:37 +0200 | scrungus | (~scrungus@bras-base-aurron9127w-grc-46-70-31-27-241.dsl.bell.ca) |
| 2023-05-31 23:18:11 +0200 | oo_miguel | (~Thunderbi@77.252.47.84) (Remote host closed the connection) |
| 2023-05-31 23:19:15 +0200 | merijn | (~merijn@86.86.29.250) (Quit: leaving) |
| 2023-05-31 23:21:04 +0200 | texasmynsted | (~username@99.96.221.112) |
| 2023-05-31 23:21:10 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-05-31 23:22:07 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-31 23:26:37 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |