Logs: liberachat/#haskell
| 2021-06-19 14:27:59 | → | Pickchea joins (~private@user/pickchea) |
| 2021-06-19 14:29:01 | → | chddr joins (~Thunderbi@31.148.23.125) |
| 2021-06-19 14:29:16 | × | xff0x quits (~xff0x@185.65.135.235) (Ping timeout: 258 seconds) |
| 2021-06-19 14:30:19 | → | involans joins (~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) |
| 2021-06-19 14:31:09 | → | xff0x joins (~xff0x@2001:1a81:5339:fe00:214:efbd:9851:b8b5) |
| 2021-06-19 14:37:51 | × | fabfianda quits (~fabfianda@mob-5-90-241-140.net.vodafone.it) (Read error: Connection reset by peer) |
| 2021-06-19 14:38:00 | → | fabfianda joins (~fabfianda@net-109-116-251-109.cust.vodafonedsl.it) |
| 2021-06-19 14:39:48 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-19 14:40:23 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-06-19 14:40:49 | × | Hanicef quits (~gustaf@81-229-9-108-no92.tbcn.telia.com) (Quit: leaving) |
| 2021-06-19 14:41:37 | → | bitmapper joins (uid464869@id-464869.tooting.irccloud.com) |
| 2021-06-19 14:41:47 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 244 seconds) |
| 2021-06-19 14:42:11 | → | favonia joins (~favonia@user/favonia) |
| 2021-06-19 14:43:46 | → | AgentM joins (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) |
| 2021-06-19 14:45:58 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-19 14:46:04 | × | noddy quits (~user@user/noddy) (Quit: WeeChat 3.1) |
| 2021-06-19 14:49:10 | → | noddy joins (~user@user/noddy) |
| 2021-06-19 14:50:53 | → | byorgey joins (~byorgey@155.138.238.211) |
| 2021-06-19 14:56:35 | × | elf_fortrez quits (~elf_fortr@adsl-64-237-239-58.prtc.net) (Quit: Client closed) |
| 2021-06-19 14:56:41 | × | AkechiShiro quits (~licht@user/akechishiro) (Ping timeout: 252 seconds) |
| 2021-06-19 14:56:46 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 244 seconds) |
| 2021-06-19 14:57:09 | → | favonia joins (~favonia@user/favonia) |
| 2021-06-19 14:57:18 | × | Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 264 seconds) |
| 2021-06-19 14:57:34 | → | AkechiShiro joins (~licht@user/akechishiro) |
| 2021-06-19 14:57:38 | × | nilof quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 258 seconds) |
| 2021-06-19 14:57:45 | → | elf_fortrez joins (~elf_fortr@adsl-64-237-239-58.prtc.net) |
| 2021-06-19 14:58:39 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 2021-06-19 14:58:42 | → | aplainze1akind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-06-19 14:58:56 | → | Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius) |
| 2021-06-19 15:00:05 | → | Scotty_Trees joins (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) |
| 2021-06-19 15:01:07 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-19 15:01:43 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3-dev) |
| 2021-06-19 15:01:51 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 258 seconds) |
| 2021-06-19 15:01:58 | × | fabfianda quits (~fabfianda@net-109-116-251-109.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 2021-06-19 15:02:04 | × | Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:5da5:d011:e09d:f192) (Ping timeout: 265 seconds) |
| 2021-06-19 15:02:13 | → | fabfianda joins (~fabfianda@mob-5-90-241-140.net.vodafone.it) |
| 2021-06-19 15:04:16 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-06-19 15:05:42 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 264 seconds) |
| 2021-06-19 15:06:13 | × | aplainze1akind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 2021-06-19 15:08:07 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-06-19 15:08:37 | <Lycurgus> | retrie is copyright facebook, glad it's not part of anything that could go out the door |
| 2021-06-19 15:08:46 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit) |
| 2021-06-19 15:10:07 | → | favonia joins (~favonia@user/favonia) |
| 2021-06-19 15:10:24 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-06-19 15:10:48 | <phaazon> | what’s the literal name of <$ / $> ? |
| 2021-06-19 15:11:05 | <dminuoso> | Of what? |
| 2021-06-19 15:11:12 | <phaazon> | mapping with const |
| 2021-06-19 15:11:12 | <dminuoso> | Oh. Haha. I read that as a single operator. |
| 2021-06-19 15:11:22 | <phaazon> | I’m implementing a similar thing in Rust |
| 2021-06-19 15:11:28 | <phaazon> | and since we don’t have custom operators… :D |
| 2021-06-19 15:11:34 | <phaazon> | I plan to call that const_map |
| 2021-06-19 15:11:36 | <phaazon> | but meh |
| 2021-06-19 15:11:38 | <phaazon> | too long! |
| 2021-06-19 15:12:14 | <dminuoso> | Mmm, I had never pondered about it. Personally, I might call it fconst perhaps. |
| 2021-06-19 15:12:18 | <dminuoso> | (both of them) |
| 2021-06-19 15:12:33 | <dminuoso> | Though I never used $> before. Just a lot of <$ |
| 2021-06-19 15:12:54 | → | Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:8d64:c14b:88a:5ff6) |
| 2021-06-19 15:13:06 | × | juhp quits (~juhp@128.106.188.66) (Quit: juhp) |
| 2021-06-19 15:13:08 | Lycurgus | thought / was part of the thing at first |
| 2021-06-19 15:13:20 | → | juhp joins (~juhp@128.106.188.66) |
| 2021-06-19 15:13:23 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit) |
| 2021-06-19 15:13:27 | → | acairncross joins (~aiken@33.2.143.150.dyn.plus.net) |
| 2021-06-19 15:13:35 | <tomsmeding> | @hoogle <$/$> |
| 2021-06-19 15:13:36 | <lambdabot> | No results found |
| 2021-06-19 15:13:41 | tomsmeding | is disappointed |
| 2021-06-19 15:14:22 | <tomsmeding> | phaazon: probably bad name, but in my mind I call it "replace" |
| 2021-06-19 15:14:30 | × | acairncross quits (~aiken@33.2.143.150.dyn.plus.net) (Client Quit) |
| 2021-06-19 15:15:00 | → | nilof joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-06-19 15:15:02 | <tomsmeding> | (possibly replace_with) |
| 2021-06-19 15:15:11 | × | hendursa1 quits (~weechat@user/hendursaga) (Quit: hendursa1) |
| 2021-06-19 15:15:34 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-06-19 15:16:50 | <phaazon> | I’ll stick around const_map :P |
| 2021-06-19 15:17:05 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-06-19 15:17:06 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-06-19 15:17:36 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit) |
| 2021-06-19 15:19:23 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-06-19 15:19:57 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 265 seconds) |
| 2021-06-19 15:20:57 | → | favonia joins (~favonia@user/favonia) |
| 2021-06-19 15:25:18 | → | johnli joins (~jl@c83-252-118-64.bredband.tele2.se) |
| 2021-06-19 15:27:14 | × | fef quits (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-06-19 15:27:51 | → | fef joins (~thedawn@user/thedawn) |
| 2021-06-19 15:29:26 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-19 15:32:58 | → | Bartosz joins (~textual@24.35.90.211) |
| 2021-06-19 15:34:21 | × | noddy quits (~user@user/noddy) (Quit: WeeChat 3.2) |
| 2021-06-19 15:35:29 | → | noddy joins (~user@user/noddy) |
| 2021-06-19 15:36:21 | × | mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 244 seconds) |
| 2021-06-19 15:44:01 | → | ddellaco_ joins (~ddellacos@86.106.121.100) |
| 2021-06-19 15:44:38 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 265 seconds) |
| 2021-06-19 15:45:02 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Read error: No route to host) |
| 2021-06-19 15:47:18 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 252 seconds) |
| 2021-06-19 15:49:08 | × | ddellaco_ quits (~ddellacos@86.106.121.100) (Ping timeout: 252 seconds) |
| 2021-06-19 15:52:53 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:1543:9aaf:78fa:158) |
| 2021-06-19 15:54:10 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-19 15:55:24 | → | mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2021-06-19 15:56:37 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-19 15:57:13 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:1543:9aaf:78fa:158) (Ping timeout: 244 seconds) |
| 2021-06-19 15:59:22 | → | egoist joins (~egoist@186.235.85.86) |
| 2021-06-19 16:00:33 | → | Hanicef joins (~gustaf@81-229-9-108-no92.tbcn.telia.com) |
| 2021-06-19 16:02:25 | × | fef quits (~thedawn@user/thedawn) (Ping timeout: 252 seconds) |
| 2021-06-19 16:02:32 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
All times are in UTC.