Logs: liberachat/#haskell
| 2021-07-08 13:44:42 | × | Martinsos quits (~Martinsos@cpe-188-129-56-84.dynamic.amis.hr) (Remote host closed the connection) |
| 2021-07-08 13:45:38 | → | ray joins (~ray@user/re) |
| 2021-07-08 13:47:48 | → | drd joins (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 2021-07-08 13:47:55 | × | warnz quits (~warnz@2600:1700:77c0:5610:edd9:472d:4b89:9ab8) (Remote host closed the connection) |
| 2021-07-08 13:49:17 | → | chris-the-slurpa joins (~chris@81.96.113.213) |
| 2021-07-08 13:50:07 | → | warnz joins (~warnz@2600:1700:77c0:5610:edd9:472d:4b89:9ab8) |
| 2021-07-08 13:51:17 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-07-08 13:51:20 | → | Pickchea joins (~private@user/pickchea) |
| 2021-07-08 13:53:02 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-07-08 13:58:09 | → | Kirat joins (~Gill@157.39.129.34) |
| 2021-07-08 13:58:21 | × | Kirat quits (~Gill@157.39.129.34) (Client Quit) |
| 2021-07-08 14:00:16 | → | argento joins (~argent0@168-227-97-29.ptr.westnet.com.ar) |
| 2021-07-08 14:03:10 | → | chomwitt joins (~Pitsikoko@athedsl-16082.home.otenet.gr) |
| 2021-07-08 14:08:34 | × | xff0x quits (~xff0x@2001:1a81:53dc:b800:8c77:48f3:1e3:3060) (Ping timeout: 240 seconds) |
| 2021-07-08 14:09:18 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-07-08 14:09:32 | ← | zyklotomic parts (~ethan@2604:a880:800:10::79f:8001) (WeeChat 2.8) |
| 2021-07-08 14:10:12 | → | hexreel joins (~hr@69.233.98.238) |
| 2021-07-08 14:11:19 | × | shredder quits (~user@user/shredder) (Quit: quitting) |
| 2021-07-08 14:13:09 | → | shredder joins (~user@user/shredder) |
| 2021-07-08 14:13:21 | → | xff0x joins (~xff0x@2001:1a81:53dc:b800:8c77:48f3:1e3:3060) |
| 2021-07-08 14:13:24 | × | dunkeln quits (~dunkeln@94.129.65.28) (Quit: leaving) |
| 2021-07-08 14:18:43 | → | Obo joins (~roberto@122.red-83-38-248.dynamicip.rima-tde.net) |
| 2021-07-08 14:27:22 | × | wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 2021-07-08 14:27:57 | → | ptr_frac7al joins (~longlong@user/ptr-frac7al/x-0038398) |
| 2021-07-08 14:29:15 | × | nsilv quits (~nsilv@212.103.198.210) (Ping timeout: 268 seconds) |
| 2021-07-08 14:30:16 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-07-08 14:31:00 | → | nsilv joins (~nsilv@212.103.198.210) |
| 2021-07-08 14:32:57 | × | ptr_frac7al quits (~longlong@user/ptr-frac7al/x-0038398) (Ping timeout: 268 seconds) |
| 2021-07-08 14:34:15 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-07-08 14:35:11 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:44e3:e9f0:ea4d:f039) |
| 2021-07-08 14:39:22 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:44e3:e9f0:ea4d:f039) (Ping timeout: 240 seconds) |
| 2021-07-08 14:40:52 | → | chase joins (~chase@89.45.224.218) |
| 2021-07-08 14:41:01 | × | chase quits (~chase@89.45.224.218) (Client Quit) |
| 2021-07-08 14:42:08 | × | ubert1 quits (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2021-07-08 14:48:28 | × | euandreh quits (~euandreh@2804:14c:33:9fe5:547e:4393:1b6c:3477) (Ping timeout: 256 seconds) |
| 2021-07-08 14:49:18 | → | derelict joins (~derelict@user/derelict) |
| 2021-07-08 14:49:21 | → | euandreh joins (~euandreh@2804:14c:33:9fe5:3720:61ec:ee32:2ddc) |
| 2021-07-08 14:51:19 | → | MrVulcan joins (~MrVulcan@101.175.88.138) |
| 2021-07-08 14:51:50 | × | andreabedini quits (~andreabed@8s8kj6nl13s474s8p7bh.ip6.superloop.com) (Quit: WeeChat 3.2) |
| 2021-07-08 14:56:34 | × | michalz quits (~michalz@185.246.204.121) (Remote host closed the connection) |
| 2021-07-08 14:57:27 | × | hatz_ quits (~user@2a05:f480:1400:f44:5400:3ff:fe6d:f349) (Quit: hatz_) |
| 2021-07-08 14:57:51 | <lechner> | Hi, if 'a $ b c' is the same as 'a (b c)' why, please, does this give an error bind responder ("tcp://*:" ++ show $ port config) while this does not bind responder ("tcp://*:" ++ show (port config)) |
| 2021-07-08 14:59:46 | → | dut joins (~dut@user/dut) |
| 2021-07-08 15:01:21 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-07-08 15:01:36 | <geekosaur> | because `a $ b c` is only half the story |
| 2021-07-08 15:01:51 | <geekosaur> | a b $ c d is the same as (a b) (c d) |
| 2021-07-08 15:02:18 | <geekosaur> | so yoiu're trying to append the function `show` to a string |
| 2021-07-08 15:02:31 | <lechner> | ah |
| 2021-07-08 15:02:38 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 265 seconds) |
| 2021-07-08 15:02:40 | × | dut quits (~dut@user/dut) (Client Quit) |
| 2021-07-08 15:03:04 | <lechner> | so (show $ port config) is perhaps a better way to write that |
| 2021-07-08 15:03:19 | <geekosaur> | yes |
| 2021-07-08 15:03:52 | → | hatz_ joins (~user@2a05:f480:1400:f44:5400:3ff:fe6d:f349) |
| 2021-07-08 15:04:02 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-07-08 15:05:06 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:44e3:e9f0:ea4d:f039) |
| 2021-07-08 15:05:22 | × | ray quits (~ray@user/re) (Quit: WeeChat 3.2) |
| 2021-07-08 15:05:42 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-08 15:06:02 | → | ray joins (~ray@user/re) |
| 2021-07-08 15:09:46 | × | azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 240 seconds) |
| 2021-07-08 15:11:25 | × | MoC quits (~moc@user/moc) (Quit: Konversation terminated!) |
| 2021-07-08 15:12:44 | → | azeem joins (~azeem@176.200.191.45) |
| 2021-07-08 15:12:54 | niko | is now known as o |
| 2021-07-08 15:13:14 | × | MrVulcan quits (~MrVulcan@101.175.88.138) (Ping timeout: 252 seconds) |
| 2021-07-08 15:14:16 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-07-08 15:15:19 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-07-08 15:16:19 | × | neurocyte40 quits (~neurocyte@user/neurocyte) (Quit: The Lounge - https://thelounge.chat) |
| 2021-07-08 15:17:47 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-07-08 15:18:17 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-07-08 15:18:45 | × | Obo quits (~roberto@122.red-83-38-248.dynamicip.rima-tde.net) (Quit: WeeChat 2.8) |
| 2021-07-08 15:19:06 | × | Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 240 seconds) |
| 2021-07-08 15:19:24 | × | azeem quits (~azeem@176.200.191.45) (Ping timeout: 252 seconds) |
| 2021-07-08 15:20:52 | → | azeem joins (~azeem@176.201.8.194) |
| 2021-07-08 15:20:54 | → | Obo joins (~roberto@122.red-83-38-248.dynamicip.rima-tde.net) |
| 2021-07-08 15:22:07 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-07-08 15:23:14 | → | neurocyte40 joins (~neurocyte@45.93.108.182) |
| 2021-07-08 15:23:14 | × | neurocyte40 quits (~neurocyte@45.93.108.182) (Changing host) |
| 2021-07-08 15:23:14 | → | neurocyte40 joins (~neurocyte@user/neurocyte) |
| 2021-07-08 15:23:28 | <monochrom> | ("tcp://*:" ++ show (port config)) |
| 2021-07-08 15:24:03 | <monochrom> | Since the cause of "I hate parentheses" is lost anyway, why keep $ around? |
| 2021-07-08 15:24:14 | → | rostero joins (uid236576@id-236576.tooting.irccloud.com) |
| 2021-07-08 15:25:17 | <lechner> | the other set or parentheses corresponds to %s in the formatting string |
| 2021-07-08 15:25:49 | <lechner> | that could help when there are more than one |
| 2021-07-08 15:26:16 | <monochrom> | But there is no %s. |
| 2021-07-08 15:26:33 | × | lortabac quits (~lortabac@95.138.56.124) (Quit: WeeChat 2.8) |
| 2021-07-08 15:26:38 | <monochrom> | printf "%s" (show whatever) I would agree. |
| 2021-07-08 15:27:06 | <monochrom> | You have an infix operator ++ instead. |
| 2021-07-08 15:27:18 | <lechner> | you are right! i was thinking two lines down in my code |
| 2021-07-08 15:28:38 | <lechner> | i am starting to like this haskelling |
| 2021-07-08 15:30:11 | × | spruit11_ quits (~quassel@86-82-44-193.fixed.kpn.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-07-08 15:30:37 | → | spruit11 joins (~quassel@2a02:a467:ccd6:1:f403:cf1e:97b5:1c9b) |
| 2021-07-08 15:32:14 | → | Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius) |
| 2021-07-08 15:35:38 | × | azeem quits (~azeem@176.201.8.194) (Read error: Connection reset by peer) |
| 2021-07-08 15:36:30 | <wroathe> | What would you call a function that does something like [a -> b] -> a -> b |
| 2021-07-08 15:36:51 | <wroathe> | well, actually it's [a -> ()] -> a -> () |
| 2021-07-08 15:37:01 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-08 15:37:15 | <wroathe> | Just takes a list of functions and calls them in sequence by applying a to each and ignoring the result |
| 2021-07-08 15:38:11 | <monochrom> | head |
| 2021-07-08 15:39:39 | <monochrom> | const () (map ($ your_a) your_list) |
| 2021-07-08 15:39:59 | → | ptr_frac7al joins (~longlong@user/ptr-frac7al/x-0038398) |
| 2021-07-08 15:40:40 | × | norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Remote host closed the connection) |
All times are in UTC.