Home liberachat/#haskell: Logs Calendar

Logs on 2022-03-01 (liberachat/#haskell)

00:00:03 × zopsi quits (~zopsi@104-237-136-227.ip.linodeusercontent.com) (Quit: Oops)
00:00:30 <pavonia> Guest96: I would probably use let/where bindings to define the two values used for the final result to avod those parentheses
00:00:50 <Guest96> Could you show me an example?
00:01:12 → zopsi joins (~zopsi@104-237-136-227.ip.linodeusercontent.com)
00:03:02 <pavonia> Something like this: https://paste.tomsmeding.com/jDbUttWj
00:03:41 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
00:03:47 <Guest96> thats much simpler, ty
00:06:07 → jgeerds joins (~jgeerds@d53600c5.access.ecotel.net)
00:08:24 × zachel quits (~zachel@user/zachel) (Read error: Connection reset by peer)
00:08:55 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
00:08:56 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
00:12:09 → zachel joins (~zachel@user/zachel)
00:12:26 × mmhat quits (~mmh@55d467a0.access.ecotel.net) (Quit: WeeChat 3.4)
00:12:57 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
00:13:00 × merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
00:13:17 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
00:16:57 × sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 240 seconds)
00:18:24 × Pickchea quits (~private@user/pickchea) (Quit: Leaving)
00:20:03 × justAstache quits (~justache@user/justache) (Read error: Connection reset by peer)
00:21:01 → justAstache joins (~justache@user/justache)
00:22:56 × ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
00:23:22 → alp joins (~alp@user/alp)
00:27:40 × Tuplanolla quits (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) (Quit: Leaving.)
00:29:11 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
00:31:55 <Axman6> Guest96: I can guarantee that unless your lecturer has specifically asked you to comment each line of code, the only comments they would want to see will be one explaining what the function does (and not how it does it). We can read the code, but might need context to understand why the code exists.
00:33:53 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds)
00:34:20 <Guest96> Axman6: I do tend to go overboard with comments as I just want to make sure that there's no miscommunication. The context of the code is provided elsewhere. I am just looking for better solutions as I've been told that the way I have added the case and if is unusual. (functional, but unusual?) could you explain why it's unusual?
00:39:19 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
00:39:47 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
00:42:58 × zeenk quits (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) (Quit: Konversation terminated!)
00:43:51 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds)
00:44:47 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
00:47:00 × agumonkey quits (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Ping timeout: 240 seconds)
00:49:51 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
00:50:02 → wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com)
00:50:02 × wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
00:50:02 → wroathe joins (~wroathe@user/wroathe)
00:51:06 × pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4)
00:52:39 <Axman6> well, for one, they're quite large expressions, leading to one very large expression. naming the parts like pavoniasuggested definitely makes it both easier to read and more understandable. I will sometimes do things like foo + (if x then y else z) but they tend not to end up in my finaly code
00:52:40 × gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer)
00:53:02 <geekosaur> I will use those but only if they're short
00:53:04 × justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4)
00:54:33 → sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
00:54:55 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
00:56:16 <Axman6> yeah, if it was anything longer I wouldn't do it
00:58:51 → gentauro joins (~gentauro@user/gentauro)
00:59:36 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
00:59:53 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
01:04:03 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
01:05:02 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
01:08:51 × jgeerds quits (~jgeerds@d53600c5.access.ecotel.net) (Ping timeout: 256 seconds)
01:09:17 × Midjak quits (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
01:10:06 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
01:14:17 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
01:17:57 × albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
01:23:27 → jeetelongname joins (~jeet@eduroam-public-33.nat.port.ac.uk)
01:24:03 → albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
01:25:48 × Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 240 seconds)
01:30:57 → Null_A joins (~null_a@c-98-210-133-39.hsd1.ca.comcast.net)
01:31:51 × burnsidesLlama quits (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection)
01:32:20 → Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
01:35:49 × Null_A quits (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
01:38:35 × Guest96 quits (~Guest96@144-124-99-115.pip.aber.ac.uk) (Quit: Client closed)
01:38:53 × alp quits (~alp@user/alp) (Ping timeout: 250 seconds)
01:41:43 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 256 seconds)
01:44:07 → lainon joins (~lainon@2601:7c0:c500:4d20::ae8)
01:44:36 × tdcly^ quits (~tdcly@12.163.216.98) (Remote host closed the connection)
01:47:44 → Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
01:48:52 ← lainon parts (~lainon@2601:7c0:c500:4d20::ae8) ()
01:49:22 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds)
01:49:23 × cynomys quits (~cynomys@user/cynomys) (Ping timeout: 256 seconds)
01:52:37 → andreabedini[m] joins (~andreabed@2001:470:69fc:105::c821)
01:56:03 → lainon joins (~lainon@2601:7c0:c500:4d20::ae8)
01:56:36 × kritzefitz quits (~kritzefit@debian/kritzefitz) (Ping timeout: 240 seconds)
01:58:41 → kritzefitz joins (~kritzefit@debian/kritzefitz)
02:06:06 × Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 260 seconds)
02:06:07 → dsrt^ joins (~dsrt@12.163.216.98)
02:09:16 → burnsidesLlama joins (~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
02:09:33 → merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
02:11:34 × pavonia quits (~user@user/siracusa) (Read error: Connection reset by peer)
02:14:26 → pavonia joins (~user@user/siracusa)
02:14:37 → yauhsien joins (~yauhsien@61-231-39-29.dynamic-ip.hinet.net)
02:14:53 × burnsidesLlama quits (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 256 seconds)
02:18:53 × jeetelongname quits (~jeet@eduroam-public-33.nat.port.ac.uk) (Ping timeout: 256 seconds)
02:19:07 × yauhsien quits (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
02:19:48 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
02:25:21 × shailangsa_ quits (~shailangs@host86-186-133-59.range86-186.btcentralplus.com) ()
02:30:31 → cynomys joins (~cynomys@user/cynomys)
02:34:40 → Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
02:39:22 × Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 250 seconds)
02:39:50 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:40:05 → lavaman joins (~lavaman@98.38.249.169)
02:40:10 × vicfred quits (~vicfred@user/vicfred) (Quit: Leaving)
02:40:12 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:40:27 → lavaman joins (~lavaman@98.38.249.169)
02:40:29 × justAstache quits (~justache@user/justache) (Remote host closed the connection)
02:40:33 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:40:47 → lavaman joins (~lavaman@98.38.249.169)
02:40:55 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:41:09 → lavaman joins (~lavaman@98.38.249.169)
02:41:17 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:41:26 → justAstache joins (~justache@user/justache)
02:41:32 → lavaman joins (~lavaman@98.38.249.169)
02:41:40 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:41:54 → lavaman joins (~lavaman@98.38.249.169)
02:42:02 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:42:16 → lavaman joins (~lavaman@98.38.249.169)
02:42:24 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:42:39 → lavaman joins (~lavaman@98.38.249.169)
02:42:47 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:43:00 → lavaman joins (~lavaman@98.38.249.169)
02:43:08 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:43:25 → lavaman joins (~lavaman@98.38.249.169)
02:43:32 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:43:46 → lavaman joins (~lavaman@98.38.249.169)
02:43:53 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:44:07 → lavaman joins (~lavaman@98.38.249.169)
02:44:15 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:44:28 × merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds)
02:44:29 → lavaman joins (~lavaman@98.38.249.169)
02:44:38 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:44:52 → lavaman joins (~lavaman@98.38.249.169)
02:45:00 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:45:14 → lavaman joins (~lavaman@98.38.249.169)
02:45:23 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:45:38 → lavaman joins (~lavaman@98.38.249.169)
02:45:46 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:46:03 → lavaman joins (~lavaman@98.38.249.169)
02:46:11 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:46:28 → lavaman joins (~lavaman@98.38.249.169)
02:46:35 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:46:48 → lavaman joins (~lavaman@98.38.249.169)
02:46:56 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:46:56 × wroathe quits (~wroathe@user/wroathe) (Quit: Lost terminal)
02:47:11 → lavaman joins (~lavaman@98.38.249.169)
02:47:11 × gdown quits (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection)
02:47:19 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:47:33 → lavaman joins (~lavaman@98.38.249.169)
02:47:40 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:47:56 → lavaman joins (~lavaman@98.38.249.169)
02:48:03 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:48:19 → lavaman joins (~lavaman@98.38.249.169)
02:48:26 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:48:44 → lavaman joins (~lavaman@98.38.249.169)
02:48:51 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:49:05 → lavaman joins (~lavaman@98.38.249.169)
02:49:13 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:49:27 → lavaman joins (~lavaman@98.38.249.169)
02:49:34 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:49:48 × xff0x quits (~xff0x@2001:1a81:52ca:1900:497a:5e58:ec47:2e84) (Ping timeout: 240 seconds)
02:49:50 → lavaman joins (~lavaman@98.38.249.169)
02:49:58 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:50:13 → lavaman joins (~lavaman@98.38.249.169)
02:50:20 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:50:35 → lavaman joins (~lavaman@98.38.249.169)
02:50:42 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:50:55 → lavaman joins (~lavaman@98.38.249.169)
02:51:03 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:51:20 → lavaman joins (~lavaman@98.38.249.169)
02:51:27 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:51:42 → lavaman joins (~lavaman@98.38.249.169)
02:51:50 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:51:56 → xff0x joins (~xff0x@2001:1a81:5304:bc00:c812:9ab6:82db:6d9c)
02:52:04 → lavaman joins (~lavaman@98.38.249.169)
02:52:12 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:52:27 → lavaman joins (~lavaman@98.38.249.169)
02:52:35 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:52:48 → lavaman joins (~lavaman@98.38.249.169)
02:52:56 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:57:41 → alMalsamo joins (~alMalsamo@gateway/tor-sasl/almalsamo)
02:59:03 alMalsamo is now known as lumberjack
03:05:16 → shailangsa joins (~shailangs@host86-186-133-59.range86-186.btcentralplus.com)
03:06:02 → ub joins (~Thunderbi@p200300ecdf3be9cb0930a09fd733e6d6.dip0.t-ipconnect.de)
03:06:11 × ubert quits (~Thunderbi@p200300ecdf3be90c0930a09fd733e6d6.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
03:06:11 ub is now known as ubert
03:09:24 → Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
03:10:55 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
03:11:26 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
03:11:26 → finn_elija joins (~finn_elij@user/finn-elija/x-0085643)
03:11:26 finn_elija is now known as FinnElija
03:11:33 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
03:13:49 × Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds)
03:17:15 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
03:18:02 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
03:19:45 × td_ quits (~td@94.134.91.216) (Ping timeout: 256 seconds)
03:21:18 → td_ joins (~td@muedsl-82-207-238-074.citykom.de)
03:23:33 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
03:23:37 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
03:27:48 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
03:28:10 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
03:31:25 × Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 256 seconds)
03:33:35 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
03:37:16 → lainon_ joins (~lainon@c-68-46-201-40.hsd1.al.comcast.net)
03:37:48 × emf quits (~emf@2620:10d:c090:400::5:b0af) (Ping timeout: 240 seconds)
03:38:11 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
03:39:54 × lainon quits (~lainon@2601:7c0:c500:4d20::ae8) (Ping timeout: 260 seconds)
03:40:29 → emf joins (~emf@2620:10d:c090:400::5:46f7)
03:43:18 × emf quits (~emf@2620:10d:c090:400::5:46f7) (Client Quit)
03:43:18 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
03:43:52 → burnsidesLlama joins (~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
03:44:01 → Null_A joins (~null_a@c-98-210-133-39.hsd1.ca.comcast.net)
03:44:06 → emf joins (~emf@2620:10d:c090:400::5:46f7)
03:45:10 × emf quits (~emf@2620:10d:c090:400::5:46f7) (Client Quit)
03:47:37 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
03:48:27 × burnsidesLlama quits (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 272 seconds)
03:48:41 × lainon_ quits (~lainon@c-68-46-201-40.hsd1.al.comcast.net) (Remote host closed the connection)
03:48:57 × Null_A quits (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
03:57:32 → lavaman joins (~lavaman@98.38.249.169)
04:00:56 → yauhsien joins (~yauhsien@61-231-39-29.dynamic-ip.hinet.net)
04:02:18 × Techcable quits (~Techcable@168.235.93.147) (Ping timeout: 252 seconds)
04:03:32 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
04:03:32 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
04:05:32 × yauhsien quits (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 272 seconds)
04:08:43 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
04:08:43 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
04:08:53 → Guest63 joins (~Guest63@ip70-181-188-175.sd.sd.cox.net)
04:14:14 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
04:18:51 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
04:21:24 × waleee quits (~waleee@h-178-174-193-77.NA.cust.bahnhof.se) (Ping timeout: 240 seconds)
04:22:06 → [_] joins (~itchyjunk@user/itchyjunk/x-7353470)
04:24:13 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
04:24:35 [itchyjunk] is now known as Guest49
04:24:35 [_] is now known as [itchyjunk]
04:24:36 → emf joins (~emf@2620:10d:c090:400::5:46f7)
04:25:24 × Guest49 quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds)
04:26:42 × whatsupdoc quits (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
04:28:37 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
04:28:51 → mbuf joins (~Shakthi@223.184.53.123)
04:31:05 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
04:32:01 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
04:32:17 × mvk quits (~mvk@2607:fea8:5cc3:7e00::8c21) (Ping timeout: 240 seconds)
04:34:20 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
04:35:38 × bitmapper quits (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity)
04:36:54 → arjun joins (~arjun@user/arjun)
04:38:36 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
04:39:05 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
04:39:23 × xsarnik quits (xsarnik@lounge.fi.muni.cz) (Quit: Ping timeout (120 seconds))
04:39:58 → xsarnik joins (xsarnik@lounge.fi.muni.cz)
04:40:07 → merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
04:44:27 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
04:45:05 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
04:48:36 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
04:49:17 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
04:55:11 × Unicorn_Princess quits (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection)
04:58:07 × mbuf quits (~Shakthi@223.184.53.123) (Ping timeout: 272 seconds)
05:00:17 × zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!)
05:04:41 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
05:04:43 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
05:05:50 → mbuf joins (~Shakthi@223.184.53.123)
05:08:02 → fef joins (~thedawn@user/thedawn)
05:08:41 → Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
05:08:57 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
05:09:30 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
05:11:28 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
05:11:42 → c209e6dc-4d76-47 joins (~aditya@2601:249:4300:1296:195:dac6:592c:a55a)
05:11:50 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
05:11:55 × emf quits (~emf@2620:10d:c090:400::5:46f7) (Quit: emf)
05:14:12 × merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
05:20:13 → burnsidesLlama joins (~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
05:21:36 × c209e6dc-4d76-47 quits (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) (Quit: Konversation terminated!)
05:23:27 × Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 272 seconds)
05:23:56 → sh9 joins (~sh9@softbank060116136158.bbtec.net)
05:25:01 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
05:25:02 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
05:26:38 → lavaman joins (~lavaman@98.38.249.169)
05:27:24 → emf joins (~emf@2620:10d:c090:400::5:46f7)
05:29:20 → Guest|74 joins (~Guest|74@c-73-70-253-203.hsd1.ca.comcast.net)
05:29:24 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
05:29:24 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
05:30:07 × Guest|74 quits (~Guest|74@c-73-70-253-203.hsd1.ca.comcast.net) (Client Quit)
05:31:46 → bitmapper joins (uid464869@id-464869.lymington.irccloud.com)
05:35:43 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
05:39:10 → deadmarshal joins (~deadmarsh@95.38.228.22)
05:40:01 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
05:40:16 → Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
05:41:38 × emf quits (~emf@2620:10d:c090:400::5:46f7) (Quit: emf)
05:43:42 × LiaoTao_ quits (~LiaoTao@gateway/tor-sasl/liaotao) (Remote host closed the connection)
05:43:42 × hololeap quits (~hololeap@user/hololeap) (Read error: Connection reset by peer)
05:43:42 × adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Read error: Connection reset by peer)
05:43:42 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Write error: Connection reset by peer)
05:43:42 × lumberjack quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Read error: Connection reset by peer)
05:43:42 × fef quits (~thedawn@user/thedawn) (Read error: Connection reset by peer)
05:43:42 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Read error: Connection reset by peer)
05:43:42 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Read error: Connection reset by peer)
05:43:42 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Read error: Connection reset by peer)
05:43:42 × wyrd quits (~wyrd@gateway/tor-sasl/wyrd) (Read error: Connection reset by peer)
05:43:42 × stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Read error: Connection reset by peer)
05:43:42 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Read error: Connection reset by peer)
05:44:37 × Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds)
05:45:12 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
05:45:24 → adanwan joins (~adanwan@gateway/tor-sasl/adanwan)
05:46:09 → azimut joins (~azimut@gateway/tor-sasl/azimut)
05:46:12 → hololeap joins (~hololeap@user/hololeap)
05:46:26 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
05:46:33 → LiaoTao joins (~LiaoTao@gateway/tor-sasl/liaotao)
05:46:37 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
05:47:00 → chexum joins (~quassel@gateway/tor-sasl/chexum)
05:47:04 → stiell_ joins (~stiell@gateway/tor-sasl/stiell)
05:47:09 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
05:48:55 → wyrd joins (~wyrd@gateway/tor-sasl/wyrd)
05:48:56 → lumberjack joins (~alMalsamo@gateway/tor-sasl/almalsamo)
05:49:39 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
05:53:13 → fef joins (~thedawn@user/thedawn)
05:55:19 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
06:00:10 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
06:05:26 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
06:06:15 × xkuru quits (~xkuru@user/xkuru) (Read error: Connection reset by peer)
06:08:37 × sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 240 seconds)
06:09:20 → bahamas joins (~lucian@84.232.140.52)
06:10:19 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
06:12:12 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
06:15:33 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
06:20:33 → motherfsck joins (~motherfsc@user/motherfsck)
06:20:37 × hololeap quits (~hololeap@user/hololeap) (Remote host closed the connection)
06:20:37 × adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Read error: Connection reset by peer)
06:20:37 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
06:20:37 × wyrd quits (~wyrd@gateway/tor-sasl/wyrd) (Remote host closed the connection)
06:20:37 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Write error: Connection reset by peer)
06:20:37 × fef quits (~thedawn@user/thedawn) (Write error: Connection reset by peer)
06:20:37 × LiaoTao quits (~LiaoTao@gateway/tor-sasl/liaotao) (Write error: Connection reset by peer)
06:20:37 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Write error: Connection reset by peer)
06:20:37 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Write error: Connection reset by peer)
06:20:37 × stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
06:20:37 × lumberjack quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Read error: Connection reset by peer)
06:20:37 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Read error: Connection reset by peer)
06:20:49 → chexum joins (~quassel@gateway/tor-sasl/chexum)
06:20:51 → LiaoTao joins (~LiaoTao@gateway/tor-sasl/liaotao)
06:20:51 → lumberjack joins (~alMalsamo@gateway/tor-sasl/almalsamo)
06:20:52 → wyrd joins (~wyrd@gateway/tor-sasl/wyrd)
06:20:54 → adanwan joins (~adanwan@gateway/tor-sasl/adanwan)
06:20:55 → azimut joins (~azimut@gateway/tor-sasl/azimut)
06:20:58 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
06:21:00 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
06:21:01 → stiell_ joins (~stiell@gateway/tor-sasl/stiell)
06:21:05 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
06:21:07 → fef joins (~thedawn@user/thedawn)
06:21:37 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
06:22:05 → hololeap joins (~hololeap@user/hololeap)
06:26:07 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
06:26:09 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
06:28:17 → alfonsox joins (~quassel@103.87.57.104)
06:30:14 × arjun quits (~arjun@user/arjun) (Remote host closed the connection)
06:30:39 → arjun joins (~arjun@user/arjun)
06:30:57 × arjun quits (~arjun@user/arjun) (Remote host closed the connection)
06:31:01 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
06:31:12 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
06:34:00 → michalz joins (~michalz@185.246.204.93)
06:36:37 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
06:41:00 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
06:42:48 × sh9 quits (~sh9@softbank060116136158.bbtec.net) (Quit: WeeChat 3.3)
06:42:54 → yauhsien joins (~yauhsien@61-231-39-29.dynamic-ip.hinet.net)
06:44:39 → kenran joins (~kenran@ip-037-024-119-190.um08.pools.vodafone-ip.de)
06:45:46 → lavaman joins (~lavaman@98.38.249.169)
06:46:23 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
06:48:57 × cajun quits (~cajun@user/cajun) (Ping timeout: 240 seconds)
06:49:00 × dwt_ quits (~dwt_@c-98-198-103-176.hsd1.tx.comcast.net) (Ping timeout: 240 seconds)
06:49:06 → dwt__ joins (~dwt_@c-98-198-103-176.hsd1.tx.comcast.net)
06:50:13 × deadmarshal quits (~deadmarsh@95.38.228.22) (Ping timeout: 272 seconds)
06:50:25 × burnsidesLlama quits (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection)
06:51:17 × bahamas quits (~lucian@84.232.140.52) (Ping timeout: 240 seconds)
06:51:29 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
06:53:59 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
06:56:47 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
06:57:01 → burnsidesLlama joins (~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
06:58:46 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
07:01:19 × burnsidesLlama quits (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 256 seconds)
07:01:19 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
07:02:22 → polezaivsani joins (~polezaivs@orangeshoelaces.net)
07:03:41 × jonathanx__ quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
07:03:58 → jonathanx__ joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
07:04:22 → dhruvasagar joins (~dhruvasag@49.207.194.244)
07:05:01 → komikat joins (~komikat@27.57.144.183)
07:06:36 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
07:06:55 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
07:06:59 → tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
07:09:01 → coot joins (~coot@213.134.190.95)
07:10:54 → merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
07:10:57 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
07:11:45 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
07:12:30 → cajun joins (~cajun@ip98-163-218-217.no.no.cox.net)
07:14:15 × motherfsck quits (~motherfsc@user/motherfsck) (Quit: quit)
07:14:32 → motherfsck joins (~motherfsc@user/motherfsck)
07:17:14 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
07:18:51 × tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
07:22:01 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
07:26:56 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds)
07:27:14 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
07:27:31 × tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
07:29:16 × xff0x quits (~xff0x@2001:1a81:5304:bc00:c812:9ab6:82db:6d9c) (Ping timeout: 250 seconds)
07:30:07 → xff0x joins (~xff0x@2001:1a81:5304:bc00:74fb:d1a:e96e:1578)
07:32:14 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
07:32:28 → yauhsienhuangtw joins (~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net)
07:32:53 → yauhsie__ joins (~yauhsien@61-231-39-29.dynamic-ip.hinet.net)
07:33:20 × yauhsien quits (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Read error: Connection reset by peer)
07:34:10 → yauhsien joins (~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net)
07:34:11 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
07:34:35 × yauhsien quits (~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net) (Read error: Connection reset by peer)
07:35:03 × yauhsien_ quits (~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
07:36:22 → yauhsien joins (~Yau-Hsien@61-231-37-5.dynamic-ip.hinet.net)
07:37:00 × yauhsienhuangtw quits (~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
07:37:01 → yauhsien_ joins (~yauhsien@61-231-37-5.dynamic-ip.hinet.net)
07:38:15 → yauhsienhuangtw joins (~Yau-Hsien@61-231-37-5.dynamic-ip.hinet.net)
07:38:30 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
07:38:36 × yauhsie__ quits (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
07:38:41 → chexum joins (~quassel@gateway/tor-sasl/chexum)
07:38:59 × Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 272 seconds)
07:40:36 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
07:40:43 → gehmehgeh joins (~user@user/gehmehgeh)
07:40:57 × yauhsien quits (~Yau-Hsien@61-231-37-5.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
07:41:29 → tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
07:41:37 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
07:43:02 × yauhsien_ quits (~yauhsien@61-231-37-5.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
07:44:02 × xff0x quits (~xff0x@2001:1a81:5304:bc00:74fb:d1a:e96e:1578) (Ping timeout: 240 seconds)
07:45:31 × merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
07:47:21 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
07:50:07 → cfricke joins (~cfricke@user/cfricke)
07:50:42 → lortabac joins (~lortabac@2a01:e0a:541:b8f0:e55d:32e3:1339:eefc)
07:52:03 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
07:57:06 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
07:58:02 → dhouthoo joins (~dhouthoo@178-117-36-167.access.telenet.be)
08:01:36 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 245 seconds)
08:02:39 → Erutuon joins (~Erutuon@user/erutuon)
08:06:43 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
08:07:53 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
08:08:21 × analognoise quits (~analognoi@185.229.59.133) (Read error: Connection reset by peer)
08:09:47 → MajorBiscuit joins (~MajorBisc@2a02:a461:129d:1:193d:75d8:745d:e91e)
08:10:49 → jtomas joins (~jtomas@210.red-88-24-179.staticip.rima-tde.net)
08:12:12 → Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
08:16:36 × Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds)
08:21:45 → chele joins (~chele@user/chele)
08:22:58 → ProfSimm joins (~ProfSimm@87.227.196.109)
08:23:15 → fendor joins (~fendor@77.119.204.89.wireless.dyn.drei.com)
08:24:43 → vysn joins (~vysn@user/vysn)
08:27:44 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection)
08:28:09 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
08:29:53 → Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
08:35:02 → cosimone joins (~user@93-47-229-38.ip115.fastwebnet.it)
08:38:57 × Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds)
08:47:53 × MajorBiscuit quits (~MajorBisc@2a02:a461:129d:1:193d:75d8:745d:e91e) (Ping timeout: 250 seconds)
08:49:41 → mc47 joins (~mc47@xmonad/TheMC47)
08:49:57 → machinedgod joins (~machinedg@24.105.81.50)
08:50:01 → MajorBiscuit joins (~MajorBisc@c-001-025-058.client.tudelft.eduvpn.nl)
08:55:27 → jgeerds joins (~jgeerds@d53600c5.access.ecotel.net)
08:59:50 × coot quits (~coot@213.134.190.95) (Quit: coot)
09:00:15 × SridharRatnakuma quits (~sridmatri@2001:470:69fc:105::1c2) (Quit: You have been kicked for being idle)
09:00:15 → coot joins (~coot@213.134.190.95)
09:00:29 × JoseC[m] quits (~jmcardonm@2001:470:69fc:105::1:7539) (Quit: You have been kicked for being idle)
09:01:26 → alp joins (~alp@user/alp)
09:01:29 → ccntrq joins (~Thunderbi@2a01:e34:eccb:b060:c032:2cc6:e2e1:8524)
09:03:55 × komikat quits (~komikat@27.57.144.183) (Remote host closed the connection)
09:05:27 → merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
09:08:11 → Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
09:10:11 → mastarija joins (~mastarija@188.252.198.63)
09:10:50 → jespada joins (~jespada@185.69.145.16)
09:10:55 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:8402:4dae:2872:582c) (Remote host closed the connection)
09:12:36 × Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds)
09:15:54 → Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
09:16:47 → lavaman joins (~lavaman@98.38.249.169)
09:25:28 × coot quits (~coot@213.134.190.95) (Quit: coot)
09:27:37 → epolanski joins (uid312403@id-312403.helmsley.irccloud.com)
09:29:33 × Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 256 seconds)
09:30:56 → deadmarshal_ joins (~deadmarsh@95.38.112.52)
09:37:18 × tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
09:37:20 → bahamas joins (~lucian@84.232.140.52)
09:40:23 → Null_A joins (~null_a@c-98-210-133-39.hsd1.ca.comcast.net)
09:41:56 × ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection)
09:42:07 → komikat joins (~komikat@27.57.144.183)
09:42:25 × komikat quits (~komikat@27.57.144.183) (Read error: Connection reset by peer)
09:42:54 → komikat joins (~komikat@27.57.144.183)
09:43:03 × komikat quits (~komikat@27.57.144.183) (Remote host closed the connection)
09:44:12 × zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection)
09:44:18 → komikat joins (~komikat@27.57.144.183)
09:44:34 → waleee joins (~waleee@h-178-174-193-77.NA.cust.bahnhof.se)
09:45:21 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 245 seconds)
09:45:39 × Null_A quits (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 272 seconds)
09:46:14 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 260 seconds)
09:47:33 × mastarija quits (~mastarija@188.252.198.63) (Ping timeout: 272 seconds)
09:47:55 <turlando> What's the suggested method of parsing and writing binary data in Haskell? I've tried Data.Binary but aparently doesn't support reading/writing individual bits
09:48:28 <dminuoso> turlando: attoparsec
09:48:35 <dminuoso> And for individual bits you have to take care using Data.Bits
09:48:59 <dminuoso> though `binary` is fine for binary data as well
09:49:14 <merijn> I used megaparsec for bits for AoC
09:49:26 <merijn> It...was a bit more prep work than expected, though xD
09:50:48 <turlando> Could you elaborate a bit more on the Data.Bits side of things (pun intended) I'd love to be able to do something like foo <- readBits 3 instead of reading whole words and shifting/xoring them as I would do in C
09:51:07 <merijn> turlando: Data.Bits would be the C way :p
09:51:15 <turlando> IIRC it is really simple in erlang, just do <<Foo:3>> or something like that
09:51:30 <merijn> turlando: So, AoC had a puzzle where ascii text was to be interpreted as a bit string
09:51:35 <dminuoso> turlando: You can use testBit
09:51:51 <merijn> I made a rough "Text to BitSequence" implementation
09:52:04 <merijn> It was actually super nice...after the pain of making it work :p
09:52:08 × acidsys quits (~LSD@2a03:4000:55:d20::3) (Excess Flood)
09:52:20 <merijn> turlando: AOC spoilers, obviously: https://github.com/merijn/AdventOfCode/blob/master/Day16.hs
09:52:29 <dminuoso> turlando: Keep endianness in mind when working with non-Word8 signed numbers.
09:52:39 → acidsys joins (~LSD@2a03:4000:55:d20::3)
09:52:50 <merijn> turlando: That does let you do things like "count 3 bitP" to parse 3 bits
09:53:53 <merijn> Fair bit of boilerplate, though
09:53:53 → tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
09:54:53 <turlando> Thanks merijn, it looks pretty handy, unfortunately I would be entirely on my own for writing back the binary data. Also, I'd really love to be able to write back only parts of it (e.g. my binary structure is segmented, find out where the segment I need is, make changes, write back only such segment and not the entire file)
09:55:26 <dminuoso> turlando: Do you care about performance at all?
09:55:36 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
09:55:37 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
09:55:42 <turlando> dminuoso: yup, fortunately what I'm trying to parse is well-documented, unfortunately it's almost everything BE but for few corner cases
09:55:45 → pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
09:55:48 × waleee quits (~waleee@h-178-174-193-77.NA.cust.bahnhof.se) (Ping timeout: 240 seconds)
09:55:57 <dminuoso> turlando: Then go with binary/attoparsec and deal with Data.Bits.
09:56:09 <turlando> dminuoso: I might need to write files in the order of 50-100MB, so it would be handy to write them back partially
09:56:15 <dminuoso> Computers are good at dealing with word-sized data, they are terrible at dealing with bit-sized data.
09:56:46 <dminuoso> You can use things like .|., unsafeShiftL/R, testBit
09:56:55 <dminuoso> The whole module is of interest to you
09:57:09 <turlando> I can tell you Erlang can do it pretty well and efficiently, so for sure it is doable at least
09:57:26 <dminuoso> You mean getting the nth bit?
09:57:33 <dminuoso> Like I said. testBit
09:57:38 <dminuoso> % import Data.Bits
09:57:38 <yahb> dminuoso:
09:57:42 <dminuoso> % :t testBit
09:57:42 <yahb> dminuoso: Bits a => a -> Int -> Bool
09:57:51 → zaquest joins (~notzaques@5.130.79.72)
09:58:21 <dminuoso> Or do you mean a bitstring?
09:58:27 <turlando> I mean a bitstring :)
09:58:45 <turlando> Trying to find an example in Erlang just for completeness
09:58:49 <merijn> Oh, wait
09:58:55 <merijn> Have you seen the bit vector thing?
09:58:59 <dminuoso> To be fair, erlang is the pet language of telco carriers who do a lot of protocol decoding with it.
09:59:33 <merijn> @hackage bit-vector
09:59:33 <lambdabot> https://hackage.haskell.org/package/bit-vector
09:59:46 <dminuoso> https://hackage.haskell.org/package/bitvec
10:00:09 <dminuoso> bitvec seems much more efficient than bit-vector
10:00:20 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 252 seconds)
10:00:20 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 252 seconds)
10:00:21 <merijn> ah, wait, yeah bitvec was the one I was looking for
10:00:47 <dminuoso> Though, both appear to be using unboxed vectors at least
10:00:50 → coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
10:01:09 <dminuoso> But bit-vector is even advertised as just a pedagogic package. :)
10:01:28 → kuribas joins (~user@ptr-25vy0i8or7bys2zu5w9.18120a2.ip6.access.telenet.be)
10:01:32 → Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
10:01:33 → ubert1 joins (~Thunderbi@ip5b40751a.dynamic.kabel-deutschland.de)
10:01:37 <turlando> Will check them, even though I was hoping for an unified solution for serializing and deserializing since handling this kind of binary stuff is not the main point of the stuff I'm trying to do
10:02:51 <dminuoso> turlando: bitvec gets you there already.
10:03:00 <dminuoso> together with monad of attoparsec/binary
10:03:27 <dminuoso> r <- cloneFromByteString <$> buf; ...
10:03:32 → agumonkey joins (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7)
10:03:52 <dminuoso> Not entirely sure what more "unified" you want
10:03:54 <turlando> dibblego: if I understand correctly this method it implies aligned data structure, which might not be my case, brb checking
10:03:55 → _ht joins (~quassel@231-169-21-31.ftth.glasoperator.nl)
10:04:20 <turlando> (by aligned I mean, read one byte, handle the single bits with bitvec)
10:04:32 → Katarushisu joins (~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net)
10:06:14 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
10:06:14 <turlando> So yeah, this structure is composed, enumerating the fields size in bits: 16, 16, 24, 24, 20, 3, 5 36, 128
10:06:20 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
10:06:56 <turlando> So I might read byte by byte 16, 16, 24, 34, then read 3+5 as a single byte, then destructure them with bitvec, and so on
10:07:46 <turlando> (or just right-shift and xor, without habing another library around)
10:08:13 <turlando> s/or/and/
10:08:39 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
10:09:12 dminuoso would simply Data.Bits my way out of this
10:10:01 → mastarija joins (~mastarija@2a05:4f46:e04:6000:243e:7d5b:b412:8e7b)
10:10:46 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 245 seconds)
10:10:58 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
10:11:17 × Katarushisu quits (~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat)
10:11:25 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb)
10:12:29 → Katarushisu joins (~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net)
10:13:14 → Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
10:15:51 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) (Ping timeout: 250 seconds)
10:18:01 × Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 250 seconds)
10:21:14 × Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 260 seconds)
10:22:22 × Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 272 seconds)
10:23:12 → niekvandepas joins (~niekvande@77.161.122.185)
10:23:17 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
10:23:53 → Erutuon joins (~Erutuon@user/erutuon)
10:26:27 × dhruvasagar quits (~dhruvasag@49.207.194.244) (Ping timeout: 256 seconds)
10:27:24 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
10:27:32 × niekvandepas quits (~niekvande@77.161.122.185) (Ping timeout: 240 seconds)
10:27:48 → dhruvasagar joins (~dhruvasag@49.207.194.244)
10:29:06 × mastarija quits (~mastarija@2a05:4f46:e04:6000:243e:7d5b:b412:8e7b) (Ping timeout: 245 seconds)
10:32:05 → deadmars- joins (~deadmarsh@95.38.112.78)
10:32:25 × dhruvasagar quits (~dhruvasag@49.207.194.244) (Ping timeout: 256 seconds)
10:32:25 × deadmarshal_ quits (~deadmarsh@95.38.112.52) (Ping timeout: 256 seconds)
10:33:17 → dhruvasagar joins (~dhruvasag@49.207.194.244)
10:33:26 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
10:33:28 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
10:35:11 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
10:35:24 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
10:36:15 <lechner> Hi, should Debian's build system for Haskell packages run ghc with -ignore-dot-ghci ? https://bugs.debian.org/845368
10:36:31 × komikat quits (~komikat@27.57.144.183) (Remote host closed the connection)
10:37:10 → komikat joins (~komikat@27.57.144.183)
10:37:47 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
10:37:47 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
10:38:13 × dhruvasagar quits (~dhruvasag@49.207.194.244) (Ping timeout: 272 seconds)
10:38:50 → dhruvasagar joins (~dhruvasag@49.207.194.244)
10:41:29 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds)
10:41:29 × Akiva quits (~Akiva@user/Akiva) (Ping timeout: 256 seconds)
10:43:01 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
10:43:06 × polyphem_ quits (~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17) (Quit: WeeChat 3.4)
10:43:21 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
10:44:25 × Kaiepi quits (~Kaiepi@156.34.47.253) (Remote host closed the connection)
10:44:47 → Kaiepi joins (~Kaiepi@156.34.47.253)
10:46:27 → polyphem joins (~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17)
10:46:31 → Null_A joins (~null_a@c-98-210-133-39.hsd1.ca.comcast.net)
10:47:42 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
10:47:49 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
10:49:49 × dhruvasagar quits (~dhruvasag@49.207.194.244) (Ping timeout: 240 seconds)
10:51:23 × Null_A quits (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
10:51:23 → burnsidesLlama joins (~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
10:55:43 × burnsidesLlama quits (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 250 seconds)
10:55:48 × merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
10:58:08 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
10:58:48 → merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
10:58:54 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
10:59:46 → zeenk joins (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5)
11:00:31 → dextaa_ joins (~dextaa@user/dextaa)
11:00:52 <turlando> Might be a silly question, but I'm having an hard time trying to convert a ByteString to an Int: what's the best way?
11:01:31 <Hecate> ouch
11:02:26 <Hecate> turlando: what is happening here? Are you convering a binary payload to an Int? Are you parsing text?
11:03:55 <turlando> Yes, it's a binary payload, specifically I'm trying to convert a 24 bits unsigned integer to an Int. I've read those 24 bits into a ByteString
11:05:23 <merijn> If you're not using any of the parsec you have to do kinda whacky hacks
11:05:25 <Hecate> okay so as you know, a ByteString is a vector of Word8
11:05:47 <Hecate> so, since 24/8 = 3 I think you could take the first three Word8 of the bytestring?
11:06:34 → Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
11:06:42 <turlando> Yep, I meant that I have a ByteString as in a [Word8] of size 3, I'd love to present it to the user as an Int
11:06:43 × komikat quits (~komikat@27.57.144.183) (Remote host closed the connection)
11:07:25 → komikat joins (~komikat@27.57.144.183)
11:07:45 turlando is a bit ashamed
11:08:37 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:e55d:32e3:1339:eefc) (Ping timeout: 240 seconds)
11:08:49 → mastarija joins (~mastarija@2a05:4f46:e04:6000:cbf:170b:f1f8:6cd5)
11:10:22 <tomsmeding> ByteString /= [Word8] :p
11:10:56 <tomsmeding> toInt24 [a, b, c] = fromIntegral a * 256 * 256 + fromIntegral b * 256 + fromIntegral c :: Int
11:11:03 <tomsmeding> if it's in big endian, reverse otherwise :p
11:11:38 <tomsmeding> with Data.Bits you can also use (`shiftLeft` 16) in place of (*256*256) but eh
11:11:43 <tomsmeding> correction shiftL
11:12:16 <Hecate> tomsmeding: it's interesting because the documentation says " A space-efficient representation of a 'Word8' vector"
11:12:28 <Hecate> but the datatype refers to a single Word8
11:12:31 <tomsmeding> yes, which means it's not the same as a Word8 :p
11:12:43 <tomsmeding> wut?
11:12:47 <turlando> Thank you tomsmeding, I was writing that myself, I was hoping for something from the stdlib
11:12:49 <Hecate> data ByteString = BS {-# UNPACK #-} !(ForeignPtr Word8) -- payload
11:12:58 <tomsmeding> heh, Hecate ever programmed C?
11:13:09 × Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
11:13:10 <Hecate> tomsmeding: not really
11:13:15 <tomsmeding> the second Word8 is (ptr `plusPtr` 1)
11:13:16 × dextaa_ quits (~dextaa@user/dextaa) (Remote host closed the connection)
11:13:16 <Hecate> I come from Erlang ;)
11:13:31 <tomsmeding> presumably there's a length somewhere too
11:13:40 <merijn> ForeignPtr embed length
11:13:43 <Hecate> oh, contiguous pointers
11:14:01 <Hecate> merijn: ByteString also has a length field of the whole payload
11:14:07 <Hecate> tomsmeding: okay I see thanks
11:14:21 <merijn> Hecate: No, it's just one pointer to a dense block of Word8. Which is why it's "space efficient", since Word8 is normally a machine word
11:14:34 <maerwald> people should use more ShortByteString
11:14:37 <merijn> Hecate: Because ByteString's can refer to subsection of the underlying ForeignPtr :)
11:14:41 <maerwald> most of the time ByteString is overkill
11:14:59 <merijn> Hecate: That's also why it has an offset
11:15:01 <tomsmeding> I guess people are scared their strings are too long to be Short
11:15:18 <merijn> tomsmeding: More crucially, ByteString is pinned and safe to use with C code
11:15:19 <maerwald> tomsmeding: well, ShortByteString is maybe not a correct naming
11:15:24 <merijn> tomsmeding: ShortByteString is not pinned
11:15:25 <maerwald> it's more about pinned vs unpinned
11:15:35 <tomsmeding> merijn: I know, but the name doesn't quite make that clear
11:15:57 <tomsmeding> just trying to find a reason why people would not use a thing :p
11:16:06 <merijn> tbh, we should make a new package "bytes" that re-exports everything from ByteString, except the type and instead uses an alias "Bytes"
11:16:08 <maerwald> well, if you have very large ShortByteStrings, some operations will be slow, because most of them incure memcpy
11:16:24 <merijn> and deprecate ByteString :p
11:17:25 × komikat quits (~komikat@27.57.144.183) (Remote host closed the connection)
11:17:47 × econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity)
11:17:49 × bjourne quits (~bjourne@2001:6b0:1:1140:42bf:ff4:f8fa:50e5) (Ping timeout: 250 seconds)
11:17:57 → fendor_ joins (~fendor@178.165.161.199.wireless.dyn.drei.com)
11:18:26 → komikat joins (~komikat@27.57.144.183)
11:18:27 → Vajb joins (~Vajb@2001:999:600:5133:28cb:83bf:5ecf:4314)
11:19:22 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
11:20:12 × fendor quits (~fendor@77.119.204.89.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
11:20:36 → Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
11:21:08 → dhruvasagar joins (~dhruvasag@49.207.194.244)
11:21:17 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds)
11:21:17 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds)
11:21:27 <maerwald> is there a general pattern with e.g. lens to descend into nested Maps and run a function at the innermost map with all outer keys available?
11:21:51 <maerwald> right now I just have 3 nested forM, just wondering if there's something else
11:23:07 × komikat quits (~komikat@27.57.144.183) (Ping timeout: 256 seconds)
11:23:41 → komikat joins (~komikat@27.57.144.183)
11:25:17 × Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds)
11:27:48 → burnsidesLlama joins (~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
11:28:10 × dhruvasagar quits (~dhruvasag@49.207.194.244) (Ping timeout: 268 seconds)
11:31:48 → ph88 joins (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de)
11:32:41 × burnsidesLlama quits (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 272 seconds)
11:34:10 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
11:34:11 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
11:39:02 × Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 240 seconds)
11:39:38 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 260 seconds)
11:39:53 × Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 256 seconds)
11:40:06 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 260 seconds)
11:42:05 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
11:42:57 × bahamas quits (~lucian@84.232.140.52) (Ping timeout: 256 seconds)
11:43:23 → CiaoSen joins (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
11:47:15 × mastarija quits (~mastarija@2a05:4f46:e04:6000:cbf:170b:f1f8:6cd5) (Ping timeout: 256 seconds)
11:48:41 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 252 seconds)
11:49:08 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
11:49:08 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
11:49:11 → waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
11:51:24 <idnar> % itoListOf (ifolded <.> ifolded) (Map.fromList [('a',Map.fromList [(42,Map.fromList [])])])
11:51:24 <yahb> idnar: ; <interactive>:12:34: error:; Not in scope: `Map.fromList'; Perhaps you meant one of these: `M.fromList' (imported from Data.Map), `Seq.fromList' (imported from Data.Sequence), `IS.fromList' (imported from Data.IntSet); No module named `Map' is imported.; <interactive>:12:53: error:; Not in scope: `Map.fromList'; Perhaps you meant one of these: `M.fromList' (imported from Data.Map),
11:52:15 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
11:52:27 <idnar> % itoListOf (ifolded <.> ifolded) (M.fromList [('a',M.fromList [(42,M.fromList [])])])
11:52:28 <yahb> idnar: [(('a',42),fromList [])]
11:53:27 → Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
11:54:03 <idnar> maerwald: ^ like so?
11:54:44 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 252 seconds)
11:55:45 → alMalsamo joins (~alMalsamo@gateway/tor-sasl/almalsamo)
11:55:50 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 252 seconds)
11:56:19 alMalsamo is now known as lumberjack123
11:56:44 → Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
11:57:48 × Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds)
11:58:50 → DNH joins (~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08)
12:00:04 × mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection)
12:00:07 × lumberjack quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection)
12:00:18 → lumberjack joins (~alMalsamo@gateway/tor-sasl/almalsamo)
12:00:45 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
12:02:36 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
12:06:03 → lavaman joins (~lavaman@98.38.249.169)
12:10:31 → dhruvasagar joins (~dhruvasag@49.207.194.244)
12:13:26 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb)
12:14:00 → InternetCitizen joins (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net)
12:15:34 × waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds)
12:15:45 × dhruvasagar quits (~dhruvasag@49.207.194.244) (Ping timeout: 272 seconds)
12:16:11 → dhruvasagar joins (~dhruvasag@49.207.194.244)
12:17:37 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) (Ping timeout: 240 seconds)
12:18:43 → lortabac joins (~lortabac@2a01:e0a:541:b8f0:a14b:acb1:9879:1652)
12:19:47 → Techcable joins (~Techcable@168.235.93.147)
12:20:42 → bjourne joins (~bjourne@2001:6b0:1:1140:42bf:ff4:f8fa:50e5)
12:20:55 × dhruvasagar quits (~dhruvasag@49.207.194.244) (Ping timeout: 256 seconds)
12:21:48 × merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
12:22:25 → ardell joins (~ardell@user/ardell)
12:22:45 → merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
12:27:31 → Cena joins (~cena@c-107-4-204-12.hsd1.mn.comcast.net)
12:29:13 → yauhsien_ joins (~Yau-Hsien@61-231-37-5.dynamic-ip.hinet.net)
12:32:17 × yauhsienhuangtw quits (~Yau-Hsien@61-231-37-5.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
12:33:12 × kaph quits (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer)
12:33:25 → kaph joins (~kaph@net-109-116-124-149.cust.vodafonedsl.it)
12:34:06 × cfricke quits (~cfricke@user/cfricke) (Ping timeout: 272 seconds)
12:39:23 × bjourne quits (~bjourne@2001:6b0:1:1140:42bf:ff4:f8fa:50e5) (Ping timeout: 256 seconds)
12:40:29 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
12:40:36 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
12:41:47 → Kevin578_ joins (~Kevin578@188.126.94.119)
12:42:24 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
12:42:26 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
12:45:01 × Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 256 seconds)
12:46:48 → bahamas joins (~lucian@84.232.140.52)
12:46:59 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
12:47:22 × DNH quits (~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08) (Quit: My MacBook has gone to sleep. ZZZzzz…)
12:47:25 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
12:47:58 × albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
12:49:09 → jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
12:50:46 → DNH joins (~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08)
12:50:54 → hseg joins (~hseg@195.192.226.33)
12:51:51 × bahamas quits (~lucian@84.232.140.52) (Ping timeout: 272 seconds)
12:52:28 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.4)
12:52:48 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
12:52:49 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
12:54:04 → albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
12:55:17 ← hseg parts (~hseg@195.192.226.33) ()
12:57:45 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
12:58:18 × swistak quits (~swistak@185.21.216.141) (Quit: bye bye)
12:58:45 → swistak joins (~swistak@185.21.216.141)
13:03:54 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
13:04:02 → Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
13:07:41 × Kevin578_ quits (~Kevin578@188.126.94.119) (Ping timeout: 272 seconds)
13:07:50 × cynomys quits (~cynomys@user/cynomys) (Ping timeout: 260 seconds)
13:14:36 yauhsien_ is now known as yauhsien
13:15:29 × alfonsox quits (~quassel@103.87.57.104) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
13:27:02 × justAstache quits (~justache@user/justache) (Read error: Connection reset by peer)
13:27:37 × jespada quits (~jespada@185.69.145.16) (Read error: Connection reset by peer)
13:28:00 → justAstache joins (~justache@user/justache)
13:33:58 × hueso_ quits (~root@user/hueso) (Ping timeout: 268 seconds)
13:34:54 → vorpuni joins (~pvorp@2001:861:3881:c690:ea9e:d5fd:3f85:b044)
13:35:11 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
13:36:35 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
13:36:35 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
13:36:52 × komikat quits (~komikat@27.57.144.183) (Remote host closed the connection)
13:37:07 → Null_A joins (~null_a@c-98-210-133-39.hsd1.ca.comcast.net)
13:39:14 <shapr> Is there a way to convert nested Maps to equal sized tuples? That would need some way to extend a tuple like a list, right?
13:41:15 → bahamas joins (~lucian@84.232.140.52)
13:41:31 → cfricke joins (~cfricke@user/cfricke)
13:43:13 <kuribas> In idris multi-ary tuples are nested.
13:43:15 → Midjak joins (~Midjak@82.66.147.146)
13:43:44 <kuribas> But I think you want the other way: \(x, (y, z)) -> (((x, y), z)
13:44:34 <kuribas> convert to list, swap elems, then convert back.
13:45:23 → yauhsien_ joins (~yauhsien@61-231-37-5.dynamic-ip.hinet.net)
13:46:20 shapr thinks about that
13:46:28 <shapr> hm, yeah
13:46:50 <kuribas> Not swap, rearrange.
13:48:13 × jgeerds quits (~jgeerds@d53600c5.access.ecotel.net) (Ping timeout: 240 seconds)
13:48:58 <shapr> that makes sense because the new 'key' is (x,y)
13:49:42 × yauhsien_ quits (~yauhsien@61-231-37-5.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
13:50:36 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds)
13:50:57 × yahb quits (xsbot@user/mniip/bot/yahb) (Ping timeout: 240 seconds)
13:51:18 → hueso joins (~root@user/hueso)
13:52:54 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
13:53:12 × ardell quits (~ardell@user/ardell) (Ping timeout: 250 seconds)
13:55:02 → methylene[m] joins (~methylene@2001:470:69fc:105::1:ccc0)
13:55:33 × Null_A quits (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 250 seconds)
13:56:42 → doyougnu joins (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com)
13:56:44 × Kaiepi quits (~Kaiepi@156.34.47.253) (Remote host closed the connection)
13:57:00 → Kaiepi joins (~Kaiepi@156.34.47.253)
13:57:13 → dhruvasagar joins (~dhruvasag@49.207.194.244)
13:57:25 × epolanski quits (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
13:57:49 × hueso quits (~root@user/hueso) (Ping timeout: 256 seconds)
13:58:21 × mniip quits (mniip@libera/staff/mniip) (Ping timeout: 604 seconds)
13:59:30 → blacked joins (~blacked@user/blacked)
13:59:37 <blacked> oh tail recursion
13:59:42 <blacked> oh monad
13:59:48 <blacked> oh monad oh monad
13:59:52 → ardell joins (~ardell@user/ardell)
13:59:56 <blacked> it should be mantra of haskellers
14:00:00 <blacked> :)
14:00:17 → niekvandepas joins (~niekvande@77.161.122.185)
14:00:18 → niekvand1pas joins (~niekvande@77.161.122.185)
14:03:19 × ardell quits (~ardell@user/ardell) (Client Quit)
14:04:32 × niekvand1pas quits (~niekvande@77.161.122.185) (Ping timeout: 240 seconds)
14:04:32 × niekvandepas quits (~niekvande@77.161.122.185) (Ping timeout: 240 seconds)
14:06:29 × tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
14:07:46 → hueso joins (~root@user/hueso)
14:10:46 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
14:12:00 × rembo10 quits (~rembo10@remulis.com) (Quit: ZNC 1.8.2 - https://znc.in)
14:12:35 × kenran quits (~kenran@ip-037-024-119-190.um08.pools.vodafone-ip.de) (Quit: WeeChat info:version)
14:12:46 → komikat joins (~komikat@27.57.144.183)
14:13:52 <Logio> "Oh monoid in the category of endofunctors" would have more liturgical gravitas
14:14:39 → ProfSimm joins (~ProfSimm@87.227.196.109)
14:14:54 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb)
14:15:00 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
14:17:02 × komikat quits (~komikat@27.57.144.183) (Ping timeout: 240 seconds)
14:17:15 → Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
14:18:23 <blacked> Lord_of_Life :)
14:18:29 blacked is now known as monad
14:18:33 <monad> ah
14:18:35 <monad> hehe
14:18:39 <monad> ok lets chant
14:18:45 <monad> "monad......"
14:19:00 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) (Ping timeout: 240 seconds)
14:20:24 → rembo10 joins (~rembo10@2a01:4f9:c010:b5b9::1)
14:24:36 → jespada joins (~jespada@185.69.145.16)
14:25:00 → Null_A joins (~null_a@c-98-210-133-39.hsd1.ca.comcast.net)
14:26:52 → tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
14:30:19 × justAstache quits (~justache@user/justache) (Read error: Connection reset by peer)
14:30:34 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
14:30:35 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
14:31:17 → justAstache joins (~justache@user/justache)
14:34:54 → geranim0 joins (~geranim0@modemcable242.171-178-173.mc.videotron.ca)
14:35:02 × vysn quits (~vysn@user/vysn) (Ping timeout: 240 seconds)
14:36:09 monad is now known as blacked
14:36:36 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 240 seconds)
14:43:20 → waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
14:43:43 × Null_A quits (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
14:46:04 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds)
14:46:30 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds)
14:49:57 → mvk joins (~mvk@2607:fea8:5cc3:7e00::45ee)
14:51:33 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
14:51:33 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
14:55:03 → lavaman joins (~lavaman@98.38.249.169)
14:56:37 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
14:56:42 <ProfSimm> Is it fair to say Haskell is a wave function that only collapses when we observe it :P
14:56:54 <geekosaur> o.O
14:57:09 <ProfSimm> Well, no expression gets evaluated until it gets observed
14:57:14 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
14:58:20 → xff0x joins (~xff0x@dslb-094-222-029-254.094.222.pools.vodafone-ip.de)
15:02:15 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
15:02:19 <geekosaur> that's not entirely true or no Haskell program would ever do anything :)
15:02:46 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
15:03:32 <ProfSimm> geekosaur: I don't know. Isn't it true.
15:05:09 <janus> ProfSimm: depends on whether you count the RTS as observing the unit from main or not, i guess?
15:05:10 <geekosaur> the runtime specifically forces evaluation of `main` (which is one reason we have a designated entry point instead of just falling through the source like perl or python) to kick things off
15:05:15 <ProfSimm> geekosaur: a program runs when you execute it, you give it the impulse to execute, it doesn't do anything on its own
15:05:34 <ProfSimm> geekosaur: Haskell extends this a bit.
15:06:37 → stef204 joins (~stef204@user/stef204)
15:06:41 × stef204 quits (~stef204@user/stef204) (Client Quit)
15:07:01 <janus> hmmm i wonder what will happen if i make main return a fake unit though unsafeCoerce... hehe
15:07:09 <ProfSimm> In Haskell, when you assign x = 5 + 5, you assign the expression 5 + 5, not 10
15:07:58 <ProfSimm> It's like an AST avalanche that collapses when you need a result for a side-effect, like output to stdout
15:07:58 <merijn> There's not really anything like assignment. And also, what you're saying is all basically unspecified
15:08:16 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 245 seconds)
15:08:27 <ProfSimm> merijn: I can accept that
15:08:41 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 245 seconds)
15:09:13 <merijn> Nothing stops a Haskell implementation from replacing "5 + 5" with "10" at compile time
15:09:31 <janus> hmm does unit even have a runtime footprint? it wouldn't need one. or maybe it would because of Typeable?
15:10:25 <ProfSimm> merijn: well true but in an ideal sense Haskell evals lazily
15:10:26 <geekosaur> if you care about implementation, there's a thing called an info table
15:10:45 <ProfSimm> merijn: code kinda depends on that doesn't it
15:10:48 <janus> geekosaur: what does the info constitute?
15:10:55 <merijn> ProfSimm: No, Haskell's evaluation isn't specified beyond "non-strict"
15:11:14 <merijn> this is the key pedantic point about people saying Haskell is non-strict vs saying haskell is lazy
15:11:28 <ProfSimm> merijn: if you make an infinite list of numbers you kinda rely on it evaluating lazily no
15:11:52 <merijn> ProfSimm: Non-strict just means "if it would work when lazy, it has to work". It does *not* mean/require everything is lazy
15:11:58 <geekosaur> https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/rts/storage/heap-objects#info-tables
15:12:10 <merijn> Compilers are allowed (and do!) make things strict when it doesn't affect behaviour
15:12:24 → Null_A joins (~null_a@c-98-210-133-39.hsd1.ca.comcast.net)
15:12:31 <geekosaur> it's an internal detail of how ghc works
15:15:10 <ProfSimm> I wonder what would we tweak about Haskell's execution model if we wanted to optionally permit mutable variables.
15:15:36 <ProfSimm> We'd need to explicitly state where we "force" results. Vs where they stay non-strict
15:16:15 → jpds joins (~jpds@gateway/tor-sasl/jpds)
15:16:33 <merijn> Haskell doesn't have an execution model, that's my point :)
15:16:41 <ProfSimm> Well it'd need one
15:16:45 <ProfSimm> If we have mutable vars
15:17:29 <geekosaur> atre we talking about "Haskell", or about GHC?
15:17:31 × Null_A quits (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 272 seconds)
15:17:41 × CiaoSen quits (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
15:18:23 × DNH quits (~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08) (Quit: My MacBook has gone to sleep. ZZZzzz…)
15:19:54 → notzmv joins (~zmv@user/notzmv)
15:20:35 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
15:20:36 × Cena quits (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
15:20:39 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
15:20:44 <ProfSimm> geekosaur: since it changes the explicit semantics of the language, I'd say either
15:21:07 × pooryorick quits (~pooryoric@87-119-174-173.tll.elisa.ee) (Ping timeout: 256 seconds)
15:22:04 → pooryorick joins (~pooryoric@87-119-174-173.tll.elisa.ee)
15:25:02 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 260 seconds)
15:25:15 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds)
15:25:24 × bahamas quits (~lucian@84.232.140.52) (Ping timeout: 252 seconds)
15:27:05 → Unicorn_Princess joins (~Unicorn_P@93-103-228-248.dynamic.t-2.net)
15:27:58 → stef204 joins (~stef204@user/stef204)
15:29:55 <geekosaur> one of the things about Haskell is it has no defined semantics; those are left to the implementation. ghc, hugs, and jhc (among others) have different semantics
15:30:24 → DNH joins (~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08)
15:30:27 → tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net)
15:30:29 <geekosaur> (also, which semantics? I seem to recall a lot of complaining that haskell has no… denotational semantics, iirc?)
15:30:39 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
15:31:05 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
15:31:09 → Sgeo joins (~Sgeo@user/sgeo)
15:31:46 <geekosaur> I'dalso note that ghc has several ways to "force" results: unboxed values, `!`, etc.
15:32:17 → Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
15:33:55 <kuribas> ProfSimm: "If we have mutable varsIf we have mutable vars" <= if you need order of evaluation, that is exactly what IO gives.
15:35:04 <geekosaur> janus, re `fake unit`, you'll note that Haskell actually specifies `main :: IO a`, therefore it must throw out the actual result value
15:35:10 <merijn> geekosaur: wait, what? Haskell has defined semantics
15:35:18 <merijn> Not a proper denotational semantics
15:35:18 × dsrt^ quits (~dsrt@12.163.216.98) (Remote host closed the connection)
15:35:29 <merijn> But the report *obviously* specifies the semantics of expressions
15:35:42 <merijn> It does not have any *operational* semantics
15:35:50 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 252 seconds)
15:35:58 <merijn> i.e. how the specified behaviour is implemented is entirely unspecified
15:36:00 <ProfSimm> kuribas: not quite. I wanna integrate this into haskell itself.
15:36:13 <merijn> ProfSimm: IO *is* haskell
15:36:20 <ProfSimm> Yeah yeah.
15:36:31 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
15:36:36 <ProfSimm> I wanna increment a binding, from 10 to 11 how about that ;-)
15:36:37 × Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds)
15:36:43 <janus> geekosaur: oh, how deep is it evaluated then? can i make main return an infinite list?
15:37:12 <geekosaur> you can make it produce anything you want. it can't evaluate it since it can't know what `a` you chose
15:37:21 → comerijn joins (~merijn@c-001-001-019.client.esciencecenter.eduvpn.nl)
15:37:28 → joegard joins (~joegard@18.141-0-76.customer.lyse.net)
15:37:34 <kuribas> ProfSimm: mutable variables outside of IO sound like a disaster to happen. Not you can already do it with unsafePerformIO.
15:37:41 <janus> whoh, i could have "main :: IO Void" hahaha
15:37:52 <joegard> Hey, hello everyone!
15:38:57 <shapr> hi joe!
15:39:01 × rtsn quits (~nstr@user/rtsn) (Ping timeout: 240 seconds)
15:39:01 <shapr> How you doin?
15:39:05 <shapr> writing any cool code?
15:39:18 <ProfSimm> kuribas: they're a disaster because the language relies on them not being avail. Hence me asking what should we do to Haskell if we wanted that.
15:39:59 <shapr> joegard: har du nån fragor?
15:40:14 → comerijn_ joins (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
15:40:27 <kuribas> ProfSimm: No, because lazyness and side-effects don't work well together.
15:40:41 × merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
15:40:41 × Vajb quits (~Vajb@2001:999:600:5133:28cb:83bf:5ecf:4314) (Read error: Connection reset by peer)
15:40:51 → Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
15:40:56 <kuribas> "if we wanted that" => use a strict mutable FP language, like ocaml.
15:41:08 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
15:41:09 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
15:41:16 <kuribas> or SML or scala.
15:41:21 <kuribas> well... maybe not scala :)
15:43:17 blacked gets blacked
15:43:21 <blacked> haha
15:43:28 <geekosaur> ProfSimm, as kuribas said, what you do to the language is make it strict instead iof lazy
15:43:32 × comerijn quits (~merijn@c-001-001-019.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds)
15:43:51 <geekosaur> you can play with unsafePerformIO to fdind out what mutability does in the presence of laziness
15:44:03 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
15:44:11 <geekosaur> hint: it's "unsafe" for a reason
15:44:36 blacked uses emacs
15:45:47 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
15:45:51 <geekosaur> actually inlinePerformIO (aka accursedUnutterablePerformIO) is an even better example of what goes wrong; unsafePerformIO actually still has some safeties around it
15:46:17 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
15:46:55 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
15:47:07 blacked says what is monad guys?
15:48:26 → __monty__ joins (~toonn@user/toonn)
15:49:00 → Cena joins (~cena@c-107-4-204-12.hsd1.mn.comcast.net)
15:51:32 <joegard> Yeah, I recently found out a library called Polysemy, some people recommended it.
15:51:42 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
15:52:12 <joegard> is anyone here familiar with that?
15:52:44 <joegard> I want to try to code something, but I don't really see the uses, any thoughts?
15:53:37 <geekosaur> not enormously familiar, but it's a semantic effects library (an alternative to mtl)
15:54:41 → sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
15:55:03 <Hecate> joegard: I know Polysemy, but I'd like to know what's your profficiency in Haskell first
15:56:00 blacked :)
15:56:57 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
15:57:32 → mmalter joins (~mmalter@88.126.10.237)
15:57:51 <joegard> I've been reading Haskell code, but just that. Which means, I understand the main ideas BUT haven't actually sat down and code.
15:58:48 ChanServ sets mode +q *!*@user/blacked
15:59:12 ← blacked parts (~blacked@user/blacked) ()
16:00:07 ChanServ sets mode -q *!*@user/blacked
16:02:00 → mastarija joins (~mastarija@188.252.198.63)
16:02:38 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
16:02:49 → shapr` joins (~user@pool-173-73-44-186.washdc.fios.verizon.net)
16:03:12 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
16:03:56 × shapr quits (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Read error: Connection reset by peer)
16:06:05 → Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
16:06:38 → zebrag joins (~chris@user/zebrag)
16:07:01 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
16:07:23 → vysn joins (~vysn@user/vysn)
16:08:10 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
16:10:12 × Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds)
16:11:41 comerijn_ is now known as merijn
16:13:01 × coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
16:13:07 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
16:13:11 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
16:14:12 → Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
16:15:14 × joegard quits (~joegard@18.141-0-76.customer.lyse.net) (Quit: Client closed)
16:15:17 × tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
16:15:38 × DNH quits (~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08) (Quit: My MacBook has gone to sleep. ZZZzzz…)
16:16:07 <__monty__> Polysemy is definitely diving in at the deep end.
16:16:15 → rtsn joins (~nstr@h-98-128-229-174.NA.cust.bahnhof.se)
16:16:30 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb)
16:17:24 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
16:17:26 shapr` is now known as shapr
16:17:47 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
16:18:41 × Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 256 seconds)
16:20:12 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 240 seconds)
16:21:02 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) (Ping timeout: 260 seconds)
16:21:30 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb)
16:24:01 → lbseale joins (~ep1ctetus@user/ep1ctetus)
16:25:47 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:a14b:acb1:9879:1652) (Quit: WeeChat 2.8)
16:25:48 × jinsun quits (~jinsun@user/jinsun) (Ping timeout: 240 seconds)
16:28:10 → jinsun joins (~jinsun@user/jinsun)
16:29:57 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
16:30:30 × ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection)
16:30:49 → ProfSimm joins (~ProfSimm@87.227.196.109)
16:32:00 → ec joins (~ec@gateway/tor-sasl/ec)
16:34:34 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 260 seconds)
16:37:16 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds)
16:37:24 → chexum_ joins (~quassel@gateway/tor-sasl/chexum)
16:37:26 × AWizzArd quits (~code@user/awizzard) (Ping timeout: 252 seconds)
16:37:59 → AWizzArd joins (~code@gehrels.uberspace.de)
16:38:58 fendor_ is now known as fendor
16:40:03 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
16:41:26 → notzmv joins (~zmv@user/notzmv)
16:44:43 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
16:48:40 → wombat875 joins (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net)
16:48:50 → Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
16:50:04 × tomku quits (~tomku@user/tomku) (Ping timeout: 268 seconds)
16:50:17 × stef204 quits (~stef204@user/stef204) (Quit: WeeChat 3.4)
16:51:42 → tomku joins (~tomku@user/tomku)
16:53:23 × Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 252 seconds)
16:53:53 → bahamas joins (~lucian@84.232.140.52)
16:53:58 × cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.3)
16:55:55 × ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection)
16:56:13 → ProfSimm joins (~ProfSimm@87.227.196.109)
16:58:58 → DNH joins (~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08)
17:03:35 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
17:03:50 → mikoto-chan joins (~mikoto-ch@213.177.151.239)
17:04:11 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
17:06:11 → coot joins (~coot@213.134.190.95)
17:07:42 × vysn quits (~vysn@user/vysn) (Ping timeout: 252 seconds)
17:08:21 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
17:08:31 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
17:08:51 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
17:08:56 → [_] joins (~itchyjunk@user/itchyjunk/x-7353470)
17:09:31 × ubert1 quits (~Thunderbi@ip5b40751a.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
17:09:57 × mikoto-chan quits (~mikoto-ch@213.177.151.239) (Quit: mikoto-chan)
17:10:23 [_] is now known as [itchyjunk]
17:12:39 × thaumavorio quits (~thaumavor@thaumavor.io) (Quit: ZNC 1.8.2 - https://znc.in)
17:13:09 × mbuf quits (~Shakthi@223.184.53.123) (Quit: Leaving)
17:13:21 → thaumavorio joins (~thaumavor@thaumavor.io)
17:14:20 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
17:16:23 → k8yun joins (~k8yun@user/k8yun)
17:17:18 × ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection)
17:17:31 → ProfSimm joins (~ProfSimm@87.227.196.109)
17:18:28 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) (Remote host closed the connection)
17:19:24 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
17:20:23 → Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
17:21:16 → tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
17:24:57 × Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds)
17:25:18 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb)
17:25:38 × bitmapper quits (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity)
17:28:06 × ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection)
17:28:19 → ProfSimm joins (~ProfSimm@87.227.196.109)
17:28:23 × bahamas quits (~lucian@84.232.140.52) (Ping timeout: 256 seconds)
17:30:12 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
17:31:08 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
17:31:24 → dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net)
17:34:23 → bahamas joins (~lucian@84.232.140.52)
17:34:31 × Cale quits (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (Remote host closed the connection)
17:34:49 × ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection)
17:35:08 → ProfSimm joins (~ProfSimm@87.227.196.109)
17:35:59 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
17:36:13 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
17:40:09 × tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
17:41:10 × dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3)
17:41:28 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
17:41:46 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
17:43:44 → lavaman joins (~lavaman@98.38.249.169)
17:43:57 → tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
17:46:11 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
17:46:11 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
17:49:00 → Akiva joins (~Akiva@user/Akiva)
17:51:13 × wombat875 quits (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) (Quit: WeeChat 2.2-dev)
17:51:37 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
17:52:46 → econo joins (uid147250@user/econo)
17:53:42 → Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
17:54:35 × merijn quits (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds)
17:56:18 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds)
17:56:41 × Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 256 seconds)
17:58:17 × Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 252 seconds)
18:00:28 → Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
18:00:32 → emf joins (~emf@2620:10d:c090:400::5:d9eb)
18:01:24 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
18:02:03 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
18:05:50 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds)
18:06:36 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
18:16:57 × chele quits (~chele@user/chele) (Remote host closed the connection)
18:17:14 × DNH quits (~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08) (Quit: My MacBook has gone to sleep. ZZZzzz…)
18:17:24 × coot quits (~coot@213.134.190.95) (Quit: coot)
18:20:06 × alp quits (~alp@user/alp) (Remote host closed the connection)
18:20:26 → alp joins (~alp@user/alp)
18:21:12 → DNH joins (~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08)
18:22:46 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
18:26:24 → Guest16 joins (~Guest16@200116b8663ca8002868c744e04e463d.dip.versatel-1u1.de)
18:26:24 <Guest16> why
18:26:27 → neurocyte0917090 joins (~neurocyte@user/neurocyte)
18:27:13 → Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
18:27:31 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
18:28:22 → merijn joins (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
18:32:25 → spacenautx joins (~spacenaut@user/spacenautx)
18:32:36 × Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds)
18:33:51 × Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 272 seconds)
18:34:06 × Guest16 quits (~Guest16@200116b8663ca8002868c744e04e463d.dip.versatel-1u1.de) (Quit: Client closed)
18:34:12 × merijn quits (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
18:35:34 × tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
18:37:39 × xff0x quits (~xff0x@dslb-094-222-029-254.094.222.pools.vodafone-ip.de) (Ping timeout: 272 seconds)
18:37:57 × szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
18:37:57 → moet joins (~moet@mobile-166-137-177-061.mycingular.net)
18:38:10 → xkuru joins (~xkuru@user/xkuru)
18:38:49 → Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
18:39:09 → xff0x joins (~xff0x@dslb-094-222-029-254.094.222.pools.vodafone-ip.de)
18:42:53 → joegard joins (~joegard@18.141-0-76.customer.lyse.net)
18:47:23 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
18:47:45 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
18:48:31 × xff0x quits (~xff0x@dslb-094-222-029-254.094.222.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
18:50:32 → xff0x joins (~xff0x@dslb-094-222-029-254.094.222.pools.vodafone-ip.de)
18:51:55 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
18:52:29 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
18:55:11 → komikat joins (~komikat@27.57.144.183)
18:55:12 × Psybur quits (~Psybur@mobile-166-170-32-247.mycingular.net) (Remote host closed the connection)
18:56:29 × jtomas quits (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 268 seconds)
18:56:36 × fef quits (~thedawn@user/thedawn) (Remote host closed the connection)
19:00:40 × joegard quits (~joegard@18.141-0-76.customer.lyse.net) (Quit: Client closed)
19:01:40 → Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
19:01:49 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
19:02:26 → azimut joins (~azimut@gateway/tor-sasl/azimut)
19:04:18 × wingsorc quits (~wingsorc@user/wingsorc) (Quit: Leaving)
19:07:31 → wombat875 joins (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net)
19:08:01 × mastarija quits (~mastarija@188.252.198.63) (Quit: Leaving)
19:08:40 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
19:08:49 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
19:10:29 × MajorBiscuit quits (~MajorBisc@c-001-025-058.client.tudelft.eduvpn.nl) (Quit: WeeChat 3.4)
19:12:19 × deadmars- quits (~deadmarsh@95.38.112.78) (Ping timeout: 256 seconds)
19:12:51 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 245 seconds)
19:13:16 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 245 seconds)
19:15:46 → merijn joins (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
19:15:46 × Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
19:18:01 → jgeerds joins (~jgeerds@d53600c5.access.ecotel.net)
19:25:47 × justAstache quits (~justache@user/justache) (Ping timeout: 272 seconds)
19:28:19 → Cale joins (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com)
19:29:32 → tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
19:30:10 × Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Remote host closed the connection)
19:31:03 ← Inst[m] parts (~instrmatr@2001:470:69fc:105::1:903e) ()
19:31:49 → zincy_ joins (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
19:32:26 → burnsidesLlama joins (~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
19:34:30 × moet quits (~moet@mobile-166-137-177-061.mycingular.net) (Quit: leaving)
19:39:31 × zincy_ quits (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
19:40:25 → zincy_ joins (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
19:41:09 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) (Remote host closed the connection)
19:42:08 × Cena quits (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
19:44:22 × zincy_ quits (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
19:46:05 → deadmarshal_ joins (~deadmarsh@95.38.112.78)
19:46:32 → Null_A joins (~null_a@c-98-210-133-39.hsd1.ca.comcast.net)
19:47:58 × kuribas quits (~user@ptr-25vy0i8or7bys2zu5w9.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
19:49:00 × bahamas quits (~lucian@84.232.140.52) (Ping timeout: 240 seconds)
19:49:27 × merijn quits (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
19:49:33 → Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
19:51:03 × alp quits (~alp@user/alp) (Ping timeout: 252 seconds)
19:51:07 × deadmarshal_ quits (~deadmarsh@95.38.112.78) (Ping timeout: 272 seconds)
19:51:32 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
19:51:38 → Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
19:54:13 → zincy_ joins (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
19:54:24 Lord_of_Life_ is now known as Lord_of_Life
19:55:00 × komikat quits (~komikat@27.57.144.183) (Remote host closed the connection)
19:58:11 → jinsun__ joins (~jinsun@user/jinsun)
19:58:12 → Sgeo_ joins (~Sgeo@user/sgeo)
19:58:17 → qhong_ joins (~qhong@rescomp-21-400677.stanford.edu)
19:58:24 × dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.4)
19:59:54 → justAstache joins (~justache@user/justache)
19:59:54 × sajith quits (~sajith@user/sajith) (Ping timeout: 260 seconds)
20:00:40 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
20:00:55 → sajith joins (~sajith@user/sajith)
20:01:11 × qhong quits (~qhong@rescomp-21-400677.stanford.edu) (Ping timeout: 245 seconds)
20:01:18 × jinsun quits (~jinsun@user/jinsun) (Ping timeout: 260 seconds)
20:02:36 → bitmapper joins (uid464869@id-464869.lymington.irccloud.com)
20:03:06 → komikat joins (~komikat@27.57.144.183)
20:04:01 × zincy_ quits (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
20:04:23 → zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com)
20:04:45 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb)
20:05:03 × Null_A quits (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 272 seconds)
20:05:25 × fendor quits (~fendor@178.165.161.199.wireless.dyn.drei.com) (Remote host closed the connection)
20:05:34 × DNH quits (~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08) (Quit: My MacBook has gone to sleep. ZZZzzz…)
20:06:40 × burnsidesLlama quits (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection)
20:07:05 → cynomys joins (~cynomys@user/cynomys)
20:08:33 → DNH joins (~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08)
20:09:19 → burnsidesLlama joins (~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
20:09:23 × flupe quits (~baboum@radon.sbi.re) (Read error: Connection reset by peer)
20:09:32 → Cena joins (~cena@c-107-4-204-12.hsd1.mn.comcast.net)
20:09:38 → flupe joins (~baboum@radon.sbi.re)
20:10:01 × neurocyte0917090 quits (~neurocyte@user/neurocyte) (Quit: The Lounge - https://thelounge.chat)
20:11:15 × pooryorick quits (~pooryoric@87-119-174-173.tll.elisa.ee) (Ping timeout: 250 seconds)
20:11:41 × earthy quits (~arthurvl@2001:984:275b:1:ba27:ebff:fea0:40b0) (Ping timeout: 250 seconds)
20:11:56 × Ferdirand quits (~somebody@2001:4c78:2012:5000::2) (Ping timeout: 252 seconds)
20:12:31 → alp joins (~alp@user/alp)
20:12:54 → neurocyte0917090 joins (~neurocyte@IP-212232094231.dynamic.medianet-world.de)
20:12:54 × neurocyte0917090 quits (~neurocyte@IP-212232094231.dynamic.medianet-world.de) (Changing host)
20:12:54 → neurocyte0917090 joins (~neurocyte@user/neurocyte)
20:16:21 × burnsidesLlama quits (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection)
20:17:18 × agumonkey quits (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Remote host closed the connection)
20:18:00 → pooryorick joins (~pooryoric@87-119-174-173.tll.elisa.ee)
20:19:08 → burnsidesLlama joins (~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
20:19:48 → Ferdirand joins (~somebody@2001:4c78:2012:5000::2)
20:20:55 <ProfSimm> Say I have a function like Int -> Int -> Int but also has overload Int -> Int, how would I differentiate partial application of the first, vs full application of the second
20:21:59 × piele quits (~piele@tbonesteak.creativeserver.net) (Remote host closed the connection)
20:22:39 → Erutuon joins (~Erutuon@user/erutuon)
20:23:00 <lyxia> the only way seems to be to look at the expected return type
20:23:11 <lyxia> but it's also not clear why you absolutely want to do that
20:23:11 → piele joins (~piele@tbonesteak.creativeserver.net)
20:23:23 × simeon quits (~pi@dslb-090-186-003-168.090.186.pools.vodafone-ip.de) (Ping timeout: 250 seconds)
20:23:24 <ProfSimm> lyxia: is there different syntax for both or?
20:24:08 → simeon joins (~pi@dslb-090-186-003-168.090.186.pools.vodafone-ip.de)
20:24:11 <ProfSimm> lyxia: I mean how to a bind both variants to vars
20:24:22 → niekvandepas joins (~niekvande@77.161.122.185)
20:24:33 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
20:24:55 → earthy joins (~arthurvl@deban2.xs4all.space)
20:25:00 × zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection)
20:26:38 <lyxia> class Like a where like :: Int -> a ; instance Like Int where ... ; instance Like (Int -> Int) where ...
20:27:16 → zincy_ joins (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b)
20:28:32 × niekvandepas quits (~niekvande@77.161.122.185) (Ping timeout: 240 seconds)
20:29:07 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
20:29:10 × burnsidesLlama quits (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection)
20:29:26 → burnsidesLlama joins (~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
20:29:51 × zincy_ quits (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) (Remote host closed the connection)
20:30:34 × dhruvasagar quits (~dhruvasag@49.207.194.244) (Quit: WeeChat 3.4)
20:31:00 → zincy_ joins (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
20:33:00 × ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection)
20:33:19 → ProfSimm joins (~ProfSimm@87.227.196.109)
20:35:00 → Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
20:36:41 → phma_ joins (phma@2001:5b0:211c:1ab8:337e:48b8:44a6:cbd6)
20:37:12 × zincy_ quits (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
20:37:28 → zincy_ joins (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
20:37:34 × komikat quits (~komikat@27.57.144.183) (Remote host closed the connection)
20:39:02 → komikat joins (~komikat@27.57.144.183)
20:39:40 × Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 250 seconds)
20:40:29 × phma quits (phma@2001:5b0:211c:1ab8:fe78:9588:6bf8:c889) (Ping timeout: 256 seconds)
20:42:47 × zincy_ quits (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
20:43:32 → zincy_ joins (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
20:44:07 × polezaivsani quits (~polezaivs@orangeshoelaces.net) (Ping timeout: 256 seconds)
20:48:06 × zincy_ quits (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
20:48:23 → zincy_ joins (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
20:49:17 × Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 240 seconds)
20:51:26 → Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
20:52:17 <ProfSimm> lyxia: I mean when calling how do I differentiate both.
20:52:25 <ProfSimm> lyxia: thx
20:52:29 <ProfSimm> how do I do both basically
20:57:53 × zincy_ quits (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
20:58:22 → zincy_ joins (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
20:58:35 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
21:00:02 <geekosaur> you don't, basically. unless you use the hacky typeclassmethod and it uses surronding context to figure out if the typeclass should resolve as (Int -> Int) or as Int
21:00:12 <geekosaur> see Text.Printf.printf
21:00:19 × zincy_ quits (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
21:00:31 <geekosaur> this is not C++
21:01:20 → coot joins (~coot@213.134.190.95)
21:02:50 → Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius)
21:03:50 → zincy_ joins (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
21:05:16 <geekosaur> as to what's going on here: remember that (Int -> Int -> Int) is the same as (Int -> (Int -> Int))
21:05:49 × zincy_ quits (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
21:06:06 <geekosaur> and technically a function that takes two parameters is actually a function that takes one parameter and produces a function which takes one parameter
21:06:26 → pavonia joins (~user@user/siracusa)
21:07:05 × pooryorick quits (~pooryoric@87-119-174-173.tll.elisa.ee) (Ping timeout: 256 seconds)
21:07:31 <ProfSimm> geekosaur: but...
21:07:41 <ProfSimm> geekosaur: if I have both definitions which will be used
21:08:11 <geekosaur> the one that fits. and you will get odd errors if ghc can't figure out which instance to use
21:08:15 × cynomys quits (~cynomys@user/cynomys) (Quit: Lost terminal)
21:08:32 <geekosaur> again, go look at PrintfType in Text.Printf
21:08:34 <ProfSimm> geekosaur: Haskell matches on return type too?
21:08:38 <geekosaur> sure
21:08:45 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
21:09:01 → pooryorick joins (~pooryoric@87-119-174-173.tll.elisa.ee)
21:09:12 <ProfSimm> geekosaur: I can imagine ambiguous situations
21:09:36 <geekosaur> and they happen and you get odd errors. partially applying such a function is really difficult, for example
21:09:50 <geekosaur> it's the price you pay for abusing the type system this much
21:10:15 → zincy_ joins (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
21:11:19 × Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 256 seconds)
21:13:54 × motherfsck quits (~motherfsc@user/motherfsck) (Ping timeout: 250 seconds)
21:14:37 <ProfSimm> geekosaur: I don't want to abuse the type system per se, I just imagine the following situation: bar foo <--- returns the foo of bar bar foo options <--- returns the foo of bar with filters/sorting, whatever
21:15:06 <geekosaur> you have to abuse the type system to do this
21:15:20 <ProfSimm> I mean it's just an apply chain
21:16:49 <geekosaur> the chain is in the wrong direction for that. "apply chain" would have (bar foo) produce a function to be applied to the options (in fact that is what the (Int -> Int) case of the typeclass would be doing), but you need the options first
21:17:35 × zincy_ quits (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
21:17:37 <cajun> im having a strange error with Text. with `-XOverloadedStrings` enabled, `<>` is not working. `"foo" <> "bar"` gives the error "variable not in scope: (<>) :: Text -> [Char] -> Text" (foo is actually a variable :: Text). `T.append` works, but even when i put ("bar" :: Text) it will say <> :: Text -> Text -> Text is not in scope. ive never had this happen before, any ideas?
21:17:38 <ProfSimm> geekosaur: wat do
21:17:41 <geekosaur> I think most people who do this end up with bar Foo {val = foo, opts = whatever }
21:17:52 → zincy_ joins (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
21:18:26 → Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
21:18:45 <geekosaur> cajun, what version of ghc? any chance it's a version from before <> was added to Prelude?
21:19:05 <cajun> oh maybe, im using stack for this, so how would i check?
21:19:09 <geekosaur> or that `import Prelude hiding ((<>))` had been done?
21:19:45 <geekosaur> compiler is part of the resolver. check the specified resolver and look it up on stackage.org. that said it'd have to be pretty old (7.x series iirc) for this to be an issue
21:19:54 × burnsidesLlama quits (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection)
21:20:39 <cajun> resolver is lts-9.4
21:21:04 <cajun> base is >= 4.7 && < 5
21:21:05 <geekosaur> ProfSimm, optional parameters do not work in Haskell in the general case because that can't be specified inthe typesystem except using weird hacks like the PrintfType-style one I've been describing
21:21:20 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
21:21:20 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
21:21:37 <geekosaur> "optional" in Haskell is done with Maybe, not implicitly
21:22:09 × zincy_ quits (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
21:22:31 → zincy_ joins (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
21:22:31 × _ht quits (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection)
21:22:36 <cajun> ah its ghc-8.0.2
21:23:01 <geekosaur> 8.0.2 should have <> I think.
21:23:12 <ProfSimm> geekosaur: shame
21:24:00 × SoF quits (~skius@user/skius) (Ping timeout: 252 seconds)
21:24:00 <geekosaur> huh, it doesn't.
21:24:01 × michalz quits (~michalz@185.246.204.93) (Remote host closed the connection)
21:24:06 × drdo quits (~drdo@roach0.drdo.eu) (Read error: Connection reset by peer)
21:24:13 × TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 272 seconds)
21:24:14 → drdo6 joins (~drdo@roach0.drdo.eu)
21:24:31 → vicfred joins (~vicfred@user/vicfred)
21:24:35 → SoF joins (~skius@user/skius)
21:24:44 <geekosaur> cajun,import Data.Monoid
21:25:08 <geekosaur> or define it yourself: <> = mappend
21:25:26 <cajun> that works, thanks. there is a reason i dont like using stack lol
21:25:28 <ProfSimm> geekosaur: in some OOP languages, those are equivalent: foo(bar) bar.foo() bar.foo
21:25:39 <ProfSimm> geekosaur: I'm trying to get this expressive flexibility
21:26:24 <geekosaur> you don't even start on that until9.2.1's RecordDotSyntax, and I think that still doesn't give you much of it
21:27:21 <ProfSimm> geekosaur: well I don't need the dot per se, just something of a similar feel
21:28:59 <awpr> the way I see it, Haskell is already like that: field accessors, standalone functions, and typeclass methods are all applied by the same syntax. or are you saying you _want_ the three redundant syntaxes?
21:29:44 × cosimone quits (~user@93-47-229-38.ip115.fastwebnet.it) (Quit: ERC (IRC client for Emacs 27.1))
21:29:48 → TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker)
21:30:11 <geekosaur> > let f a b = a + b; x # y = y x in (f 2 3, 2#f 3, 2#f(3)) -- hm
21:30:13 <lambdabot> error:
21:30:13 <lambdabot> • Couldn't match expected type ‘(a0 -> a0 -> a0) -> t0 -> b’
21:30:13 <lambdabot> with actual type ‘GHC.Prim.Int#’
21:30:48 <geekosaur> @let {#- LANGUAGE NoMagicHash #-}
21:30:48 <lambdabot> Parse failed: Parse error: #-
21:30:54 <geekosaur> @let {-# LANGUAGE NoMagicHash #-}
21:30:55 <lambdabot> Defined.
21:30:58 <geekosaur> > let f a b = a + b; x # y = y x in (f 2 3, 2#f 3, 2#f(3)) -- hm
21:31:00 <lambdabot> error:
21:31:00 <lambdabot> • Couldn't match expected type ‘(a0 -> a0 -> a0) -> t0 -> b’
21:31:00 <lambdabot> with actual type ‘GHC.Prim.Int#’
21:31:12 <geekosaur> bah
21:31:51 <geekosaur> > let f a b = a + b; x ^ y = y x in (f 2 3, 2^f 3, 2^f(3)) -- hm
21:31:53 <lambdabot> (5,5,5)
21:33:26 × zincy_ quits (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
21:33:56 → zincy_ joins (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
21:35:16 × jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
21:36:49 → Tuplanolla joins (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi)
21:38:01 × zincy_ quits (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
21:38:19 phma_ is now known as phma
21:38:54 → jpds joins (~jpds@gateway/tor-sasl/jpds)
21:39:32 <geekosaur> shoulda named `f` `add`
21:39:42 geekosaur did use (^) with malice aforethought, though
21:40:03 × doyougnu quits (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) (Ping timeout: 272 seconds)
21:41:13 → zincy_ joins (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
21:41:22 ← kawpuh parts (~kawpuh@66.42.81.80) (The Lounge - https://thelounge.chat)
21:42:16 × wyrd quits (~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds)
21:45:01 × zincy_ quits (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
21:45:15 → zincy_ joins (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
21:45:33 → merijn joins (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
21:47:14 × zincy_ quits (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
21:47:20 → agumonkey joins (~user@88.163.231.79)
21:47:34 × jespada quits (~jespada@185.69.145.16) (Read error: Connection reset by peer)
21:47:41 × lavaman quits (~lavaman@98.38.249.169) (Read error: Connection reset by peer)
21:48:12 → lavaman joins (~lavaman@98.38.249.169)
21:48:50 → zincy_ joins (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
21:49:22 → wyrd joins (~wyrd@gateway/tor-sasl/wyrd)
21:50:52 × vorpuni quits (~pvorp@2001:861:3881:c690:ea9e:d5fd:3f85:b044) (Read error: Connection reset by peer)
21:51:06 × zincy_ quits (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
21:52:26 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 245 seconds)
21:53:49 → zincy_ joins (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
21:56:16 → ober joins (~ober@c-73-68-74-41.hsd1.ma.comcast.net)
21:56:20 → burnsidesLlama joins (~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
21:56:27 × ober quits (~ober@c-73-68-74-41.hsd1.ma.comcast.net) (Client Quit)
21:56:47 → ober joins (~ober@c-73-68-74-41.hsd1.ma.comcast.net)
21:57:46 → jespada joins (~jespada@185.69.145.16)
21:58:42 × zincy_ quits (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
21:58:58 → zincy_ joins (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
22:00:02 × jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
22:00:23 → jpds joins (~jpds@gateway/tor-sasl/jpds)
22:00:46 × burnsidesLlama quits (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 245 seconds)
22:02:43 × zincy_ quits (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
22:04:18 × ccntrq quits (~Thunderbi@2a01:e34:eccb:b060:c032:2cc6:e2e1:8524) (Remote host closed the connection)
22:08:10 <texasmynsted> Is there a Haskell-specific book or other resource devoted to parsing especially using Megaparsec?
22:08:19 → jtomas joins (~jtomas@210.red-88-24-179.staticip.rima-tde.net)
22:09:00 × Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 240 seconds)
22:09:01 × ubert quits (~Thunderbi@p200300ecdf3be9cb0930a09fd733e6d6.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
22:09:02 → ub joins (~Thunderbi@p548c8d84.dip0.t-ipconnect.de)
22:09:19 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) (Remote host closed the connection)
22:10:42 <ober> How do I make cabal repl read my .ghci file?
22:11:20 ub is now known as ubert
22:12:08 <geekosaur> --repl-options="-ghci-script=$HOME/.ghci" or similar
22:12:22 <geekosaur> if this breaks cabal repl you get to keep the pieces
22:12:36 <tomsmeding> (my cabal repl reads my $HOME/.ghci just fine)
22:12:51 × waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 256 seconds)
22:12:58 <ober> I mean the project local .ghci file, it already reads my home one
22:13:19 → Guest33 joins (~Guest33@139.red-79-146-225.dynamicip.rima-tde.net)
22:13:21 <monochrom> texasmynsted: I think I heard of https://markkarpov.com/tutorial/megaparsec.html from Haskell Weekly News.
22:13:23 <geekosaur> then point to that instead
22:13:31 × Guest33 quits (~Guest33@139.red-79-146-225.dynamicip.rima-tde.net) (Client Quit)
22:13:31 → cynomys joins (~cynomys@user/cynomys)
22:13:42 <hololeap> https://wiki.haskell.org/Typeclassopedia#Failure_and_choice:_Alternative.2C_MonadPlus.2C_ArrowPlus
22:13:46 <hololeap> http://dev.stephendiehl.com/hask/#parsing
22:13:51 <hololeap> ^ I would start with those, texasmynsted
22:14:07 <tomsmeding> ober: same, I just tried putting a .ghci in a cabal project, then running 'cabal repl' reads that just fine
22:14:10 <texasmynsted> Mark Karpov's tutorial is good.
22:14:15 <monochrom> :)
22:14:37 × komikat quits (~komikat@27.57.144.183) (Remote host closed the connection)
22:15:32 × coot quits (~coot@213.134.190.95) (Quit: coot)
22:15:37 <texasmynsted> It just seems like this could be a larger topic. Mix streaming and applicative parsing together for a rich topic
22:15:38 → Guest|61 joins (~Guest|61@cpe-174-100-18-36.neo.res.rr.com)
22:15:49 <ober> tomsmeding: it doesn't read my local one for some reason
22:15:51 → komikat joins (~komikat@27.57.144.183)
22:16:02 <tomsmeding> ober: is it in the current working directory when you invoke cabal repl?
22:16:13 <ober> tomsmeding: yes
22:16:32 <tomsmeding> does geekosaur's workaround work? (without the $HOME/, obviously)
22:17:04 <texasmynsted> Oh Stephen Diehl's is nice. I did not think to look there.
22:17:16 <Guest|61> On installing Haskell I'm getting "_eghcup upgrade" failed!
22:17:20 <geekosaur> a bit old but http://book.realworldhaskell.org/read/using-parsec.html
22:17:33 <geekosaur> megaparsec is parsec with some improvements
22:17:55 <geekosaur> there's also a chapter on binary parsing
22:17:55 × jespada quits (~jespada@185.69.145.16) (Read error: Connection reset by peer)
22:17:59 <ober> :tomsmeding it doesn't work
22:18:22 <tomsmeding> ober: does it print an error?
22:18:24 <geekosaur> sounds like you may be in the wrong directory then? ghci, unlike cabal, does not search fora ghci file
22:18:27 × Guest|61 quits (~Guest|61@cpe-174-100-18-36.neo.res.rr.com) (Client Quit)
22:18:47 <geekosaur> the way cabal searches for a cabal.project
22:18:56 <ober> tomsmeding: it does not print an error
22:18:59 <geekosaur> er, to clarify, cabal repldoes not search for a project ghci file
22:19:38 <texasmynsted> hmm. I wonder if Graham Hutton has something also. (Thank you for the realworld haskell suggestion also)
22:19:45 <ober> it doesn't even seem to error when I do -ghci-script=somenonexistentfile
22:19:52 × spacenautx quits (~spacenaut@user/spacenautx) (Quit: WeeChat 3.4)
22:19:54 × merijn quits (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds)
22:19:59 → waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
22:20:40 <tomsmeding> ... I get the same, no error message if you pass a non-existent file there
22:21:41 <tomsmeding> so that's the most likely situation, cabal somehow thinks the file is not there -- check the obvious things first, typos in file name, correct directory; perhaps cabal's working directory is changed to the directory containing the cabal.project (I don't know, but check)
22:21:56 <ober> :tomsmeding this is really weird, when I do cabal repl in another project that has only one package, it works fine
22:21:58 → Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
22:22:19 <texasmynsted> ober show your full command
22:22:23 <tomsmeding> ober: check that cabal doesn't chdir() to the directory containing your cabal.project, or the other way round, to the directory containing the project you're loading
22:24:01 → dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net)
22:24:36 <ober> :tomsmeding I fixed it, the .ghci file had to be in the same package that I was targeting cabal repl with
22:24:57 → lavaman joins (~lavaman@98.38.249.169)
22:25:17 <tomsmeding> the behaviour is logical from _some_ perspective, but I guess it could be nicer
22:25:46 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
22:25:58 → lavaman joins (~lavaman@98.38.249.169)
22:26:42 × dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit)
22:27:51 <ober> It seems like the whole working directory for cabal repl is changed to the package, so if I pass --repl-options and -ghci-script I have to adjust the path
22:29:10 → dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net)
22:29:10 <geekosaur> [01 22:18:23] <geekosaur> sounds like you may be in the wrong directory then?
22:29:27 <geekosaur> I should hhave suggested you do :cd in the repl to see what directory it ran from
22:29:28 × dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit)
22:31:14 <ober> geekosaur: it is not based on the working directory though
22:32:12 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb)
22:33:14 × pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4)
22:33:33 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 268 seconds)
22:33:37 → dfg joins (~dfg@dfg.rocks)
22:33:37 × dfg quits (~dfg@dfg.rocks) (Changing host)
22:33:37 → dfg joins (~dfg@user/dfg)
22:35:12 × DNH quits (~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08) (Quit: My MacBook has gone to sleep. ZZZzzz…)
22:35:59 → qhong joins (~qhong@rescomp-21-400677.stanford.edu)
22:36:06 × tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
22:38:27 × wombat875 quits (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) (Quit: WeeChat 2.2-dev)
22:38:57 → ober_ joins (~ober@c-73-68-74-41.hsd1.ma.comcast.net)
22:39:20 → DNH joins (~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08)
22:39:23 → burnsidesLlama joins (~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
22:39:24 × qhong_ quits (~qhong@rescomp-21-400677.stanford.edu) (Ping timeout: 240 seconds)
22:41:50 × ober quits (~ober@c-73-68-74-41.hsd1.ma.comcast.net) (Ping timeout: 260 seconds)
22:43:14 × gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving)
22:43:28 → ober__ joins (~ober@c-73-68-74-41.hsd1.ma.comcast.net)
22:43:34 × ober__ quits (~ober@c-73-68-74-41.hsd1.ma.comcast.net) (Client Quit)
22:45:05 → benthumb2000 joins (~paul@2400:4052:10a1:f200:9e17:dd43:3aaf:590b)
22:45:17 × burnsidesLlama quits (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 272 seconds)
22:46:32 × ober_ quits (~ober@c-73-68-74-41.hsd1.ma.comcast.net) (Ping timeout: 272 seconds)
22:47:38 <benthumb2000> whois acarrico
22:48:02 → alp_ joins (~alp@user/alp)
22:48:19 → telser_ joins (~quassel@user/telser)
22:48:31 → nek02 joins (~nek0@nek0.eu)
22:48:42 → ncopa3 joins (~ncopa@gbr2-dev1.alpinelinux.org)
22:48:46 → bollu6 joins (~bollu@159.65.151.13)
22:48:48 → dextaa7 joins (~DV@user/dextaa)
22:49:05 × lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Ping timeout: 256 seconds)
22:49:05 × c_wraith quits (~c_wraith@adjoint.us) (Ping timeout: 256 seconds)
22:49:05 × loonycyborg quits (~loonycybo@wesnoth/developer/loonycyborg) (Ping timeout: 256 seconds)
22:49:05 × jtmar quits (~james@jtmar.me) (Ping timeout: 256 seconds)
22:49:15 → jpneverwas joins (jpneverwas@swissbox.unperson.link)
22:49:23 → loonycyborg_ joins (loonycybor@chantal.wesnoth.org)
22:49:32 × nek0 quits (~nek0@nek0.eu) (Killed (NickServ (GHOST command used by nek02)))
22:49:35 → jamestmartin joins (~james@jtmar.me)
22:49:44 nek02 is now known as nek0
22:49:45 → maerwald_ joins (~maerwald@mail.hasufell.de)
22:49:47 → red-snail1 joins (~snail@static.151.210.203.116.clients.your-server.de)
22:49:50 → Taneb0 joins (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0)
22:49:53 → Philonous_ joins (~Philonous@user/philonous)
22:50:13 × aforemny quits (~aforemny@static.248.158.34.188.clients.your-server.de) (Ping timeout: 256 seconds)
22:50:13 × Taneb quits (~Taneb@runciman.hacksoc.org) (Ping timeout: 256 seconds)
22:50:13 × Me-me quits (~me-me@user/me-me) (Ping timeout: 256 seconds)
22:50:13 × shachaf quits (~shachaf@user/shachaf) (Ping timeout: 256 seconds)
22:50:13 × wz1000 quits (~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 256 seconds)
22:50:13 × dminuoso quits (~dminuoso@user/dminuoso) (Ping timeout: 256 seconds)
22:50:13 × juri_ quits (~juri@178.63.35.222) (Ping timeout: 256 seconds)
22:50:13 × neverwas quits (jpneverwas@swissbox.unperson.link) (Ping timeout: 256 seconds)
22:50:13 × TMA quits (~tma@twin.jikos.cz) (Ping timeout: 256 seconds)
22:50:26 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer)
22:50:41 → dminuoso joins (~dminuoso@static.88-198-218-68.clients.your-server.de)
22:50:47 × alp quits (~alp@user/alp) (Ping timeout: 256 seconds)
22:50:47 × kmein quits (~weechat@user/kmein) (Ping timeout: 256 seconds)
22:50:47 × lechner quits (~lechner@debian/lechner) (Ping timeout: 256 seconds)
22:50:47 × dextaa quits (~DV@user/dextaa) (Ping timeout: 256 seconds)
22:50:47 × telser quits (~quassel@user/telser) (Ping timeout: 256 seconds)
22:50:47 × ncopa quits (~ncopa@gbr2-dev1.alpinelinux.org) (Ping timeout: 256 seconds)
22:50:47 × bollu quits (~bollu@159.65.151.13) (Ping timeout: 256 seconds)
22:50:47 × cross quits (~cross@spitfire.i.gajendra.net) (Ping timeout: 256 seconds)
22:50:47 × anderson quits (~ande@user/anderson) (Ping timeout: 256 seconds)
22:50:47 × Philonous quits (~Philonous@user/philonous) (Ping timeout: 256 seconds)
22:50:47 × maerwald quits (~maerwald@user/maerwald) (Ping timeout: 256 seconds)
22:50:47 × red-snail quits (~snail@static.151.210.203.116.clients.your-server.de) (Ping timeout: 256 seconds)
22:50:47 dextaa7 is now known as dextaa
22:50:47 ncopa3 is now known as ncopa
22:50:47 × robertm quits (~robertm@lattice.rojoma.com) (Ping timeout: 256 seconds)
22:50:47 × stvc quits (~stvc@192.241.166.39) (Ping timeout: 256 seconds)
22:50:47 × cls quits (~cls@chalk.lubutu.com) (Ping timeout: 256 seconds)
22:50:47 × statusfailed quits (~statusfai@statusfailed.com) (Ping timeout: 256 seconds)
22:50:47 × tolt quits (~weechat-h@li219-154.members.linode.com) (Ping timeout: 256 seconds)
22:50:47 × mmaruseacph2 quits (~mihai@198.199.100.72) (Ping timeout: 256 seconds)
22:50:47 × meejah quits (~meejah@rutas.meejah.ca) (Ping timeout: 256 seconds)
22:50:47 × andjjj23_ quits (~irc@107.170.228.47) (Ping timeout: 256 seconds)
22:50:47 × n3t quits (n3t@user/n3t) (Ping timeout: 256 seconds)
22:50:48 bollu6 is now known as bollu
22:50:48 → aforemny joins (~aforemny@static.248.158.34.188.clients.your-server.de)
22:50:52 → lambdabot joins (~lambdabot@silicon.int-e.eu)
22:50:52 × lambdabot quits (~lambdabot@silicon.int-e.eu) (Changing host)
22:50:52 → lambdabot joins (~lambdabot@haskell/bot/lambdabot)
22:51:38 → shachaf joins (~shachaf@user/shachaf)
22:51:46 → TMA joins (tma@twin.jikos.cz)
22:52:05 → juri_ joins (~juri@178.63.35.222)
22:52:13 → meejah joins (~meejah@rutas.meejah.ca)
22:52:16 → cls joins (~cls@chalk.lubutu.com)
22:52:29 → mmaruseacph2 joins (~mihai@198.199.100.72)
22:52:34 → cross joins (~cross@spitfire.i.gajendra.net)
22:52:37 → tolt joins (~weechat-h@li219-154.members.linode.com)
22:52:41 → statusfailed joins (~statusfai@statusfailed.com)
22:52:47 → kmein joins (~weechat@user/kmein)
22:53:03 → anderson joins (~ande@user/anderson)
22:53:04 → n3t joins (n3t@s45.mydevil.net)
22:53:49 → lechner joins (~lechner@debian/lechner)
22:54:58 → c_wraith joins (~c_wraith@adjoint.us)
22:55:53 × niko quits (~niko@libera/staff/niko) (Ping timeout: 606 seconds)
23:00:54 × komikat quits (~komikat@27.57.144.183) (Remote host closed the connection)
23:03:05 × kaph quits (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer)
23:03:28 → stvc joins (~stvc@192.241.166.39)
23:03:51 → wz1000 joins (~zubin@static.11.113.47.78.clients.your-server.de)
23:03:52 → niko joins (~niko@libera/staff/niko)
23:04:02 → andjjj23_ joins (~irc@107.170.228.47)
23:04:23 → robertm joins (robertm@lattice.rojoma.com)
23:06:08 → analognoise joins (~analognoi@ip98-176-154-48.sd.sd.cox.net)
23:06:28 → komikat joins (~komikat@27.57.144.183)
23:07:26 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 245 seconds)
23:07:26 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 245 seconds)
23:09:07 × neurocyte0917090 quits (~neurocyte@user/neurocyte) (Read error: Connection reset by peer)
23:09:37 → neurocyte0917090 joins (~neurocyte@ip-212232094231.dynamic.medianet-world.de)
23:09:37 × neurocyte0917090 quits (~neurocyte@ip-212232094231.dynamic.medianet-world.de) (Changing host)
23:09:37 → neurocyte0917090 joins (~neurocyte@user/neurocyte)
23:11:14 × komikat quits (~komikat@27.57.144.183) (Ping timeout: 260 seconds)
23:15:25 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
23:17:17 × Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
23:17:24 → joegard joins (~joegard@18.141-0-76.customer.lyse.net)
23:19:04 × k8yun quits (~k8yun@user/k8yun) (Read error: Connection reset by peer)
23:19:34 → k8yun joins (~k8yun@user/k8yun)
23:23:14 × joegard quits (~joegard@18.141-0-76.customer.lyse.net) (Quit: Client closed)
23:23:55 × k8yun quits (~k8yun@user/k8yun) (Ping timeout: 256 seconds)
23:24:53 <jackdk> if GHC HEAD is on text-1.2.4.2 (according to https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/libraries/version-history ) and text is a boot library, how can I test my package for compatibility with text ^>= 2.0, which `cabal outdated` says is available on hackage?
23:25:13 → wombat875 joins (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net)
23:26:18 → komikat joins (~komikat@27.57.144.183)
23:31:48 × benthumb2000 quits (~paul@2400:4052:10a1:f200:9e17:dd43:3aaf:590b) (Quit: WeeChat 3.3)
23:32:28 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
23:33:49 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
23:34:29 → niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net)
23:37:32 × ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection)
23:37:51 → ProfSimm joins (~ProfSimm@87.227.196.109)
23:38:13 <geekosaur> it's safe to use a later version of text
23:38:23 <geekosaur> ghc only bumps its when it needs to
23:38:34 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) (Remote host closed the connection)
23:38:36 <geekosaur> both stack and cabal v2+ will get this right for you
23:39:04 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds)
23:39:13 × niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
23:39:36 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
23:39:37 → azimut_ joins (~azimut@gateway/tor-sasl/azimut)
23:40:19 × Cena quits (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
23:41:33 → kaph joins (~kaph@net-109-116-124-149.cust.vodafonedsl.it)
23:42:27 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
23:42:40 <jackdk> okay cool, thanks geekosaur
23:42:42 → lavaman joins (~lavaman@98.38.249.169)
23:42:50 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
23:43:04 → lavaman joins (~lavaman@98.38.249.169)
23:43:12 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
23:43:27 → lavaman joins (~lavaman@98.38.249.169)
23:43:34 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
23:43:36 × Guest63 quits (~Guest63@ip70-181-188-175.sd.sd.cox.net) (Quit: Client closed)
23:43:37 <geekosaur> the realworry is when ghc exposes apis from boot packages
23:43:49 → lavaman joins (~lavaman@98.38.249.169)
23:43:52 <geekosaur> but no ghc api uses Text so you're fine
23:43:56 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
23:44:11 → lavaman joins (~lavaman@98.38.249.169)
23:44:17 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
23:44:35 → lavaman joins (~lavaman@98.38.249.169)
23:44:41 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
23:44:56 → lavaman joins (~lavaman@98.38.249.169)
23:45:03 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
23:45:17 → lavaman joins (~lavaman@98.38.249.169)
23:45:24 → motherfsck joins (~motherfsc@user/motherfsck)
23:45:25 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
23:45:43 → lavaman joins (~lavaman@98.38.249.169)
23:45:46 ChanServ sets mode +o litharge
23:45:47 litharge sets mode +b *!*@98.38.249.169
23:45:48 lavaman is kicked by litharge (You are banned from this channel (by geekosaur))
23:45:58 litharge sets mode -o litharge
23:46:09 <geekosaur> huh, it's a bit more verbose now. wish it gave the reason
23:46:19 <geekosaur> (instability)
23:46:21 <Axman6> If only we could do that with real lava :(
23:46:29 <jackdk> I'd settle for doing it with rain
23:46:48 <monochrom> I want bat >:)
23:47:03 <Axman6> good luck jackdk!
23:47:13 <monochrom> lalalalalalalala {lava, bat}man!
23:48:08 <monochrom> Poll: Which one do you prefer, "(la)^n lavaman!" or "(la)^n batman!"? >:)
23:48:33 <Axman6> la => lavaman, na => batman
23:49:44 × cynomys quits (~cynomys@user/cynomys) (Ping timeout: 252 seconds)
23:49:59 <monochrom> That's nicer :)
23:50:33 × Techcable quits (~Techcable@168.235.93.147) (Ping timeout: 256 seconds)
23:50:50 × jtomas quits (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 252 seconds)
23:51:20 → Me-me joins (~me-me@tunnel690570-pt.tunnel.tserv12.mia1.ipv6.he.net)
23:52:30 × motherfsck quits (~motherfsc@user/motherfsck) (Quit: quit)
23:54:06 → niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
23:58:50 × niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 260 seconds)
23:59:45 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb)

All times are in UTC on 2022-03-01.