Logs on 2021-05-14 (freenode/#haskell)
| 00:04:05 | <Uter> | Can a Turing machine simulate thought? |
| 00:05:22 | → | stree joins (~stree@68.36.8.116) |
| 00:09:11 | <monochrom> | Wrong channel. |
| 00:09:13 | <davve> | OT: there are drugs that can |
| 00:09:59 | <Uter> | What channel do I go to in order to ask this question? |
| 00:10:20 | <Uter> | Which channel do I go to in order to ask this question? |
| 00:10:31 | <monochrom> | This is not a directory service either. |
| 00:11:43 | <Uter> | monochrom: Are you an operator? |
| 00:14:41 | × | jao quits (jao@pdpc/supporter/professional/jao) (Remote host closed the connection) |
| 00:15:03 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 00:15:37 | → | bennofs__ joins (~quassel@dynamic-089-012-169-079.89.12.pool.telefonica.de) |
| 00:16:28 | → | ddellacosta joins (~ddellacos@86.106.143.176) |
| 00:18:26 | ← | Uter parts (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) () |
| 00:19:06 | × | bennofs_ quits (~quassel@dynamic-078-055-133-039.78.55.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 00:20:41 | × | ddellacosta quits (~ddellacos@86.106.143.176) (Ping timeout: 240 seconds) |
| 00:26:55 | → | tromp joins (~tromp@77.249.230.40) |
| 00:27:33 | × | proofofkeags quits (~proofofke@205.209.28.54) (Ping timeout: 252 seconds) |
| 00:31:40 | × | tromp quits (~tromp@77.249.230.40) (Ping timeout: 268 seconds) |
| 00:31:43 | → | drbean_ joins (~drbean@TC210-63-209-100.static.apol.com.tw) |
| 00:34:49 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 00:46:48 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 00:49:26 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 00:49:49 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving) |
| 00:50:33 | × | viluon quits (uid453725@gateway/web/irccloud.com/x-jjwayfetbamsvluw) (Quit: Connection closed for inactivity) |
| 00:51:00 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 00:52:06 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 00:53:52 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 00:54:58 | × | kupi quits (uid212005@gateway/web/irccloud.com/x-elsgjtlywkhnglxq) (Quit: Connection closed for inactivity) |
| 00:55:43 | × | superstar64 quits (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) (Ping timeout: 240 seconds) |
| 00:57:49 | → | danso joins (~dan@modemcable156.91-20-96.mc.videotron.ca) |
| 00:59:31 | × | sudden quits (~lax@unaffiliated/laxask) (Quit: leaving) |
| 01:01:45 | → | laxask joins (~lax@unaffiliated/laxask) |
| 01:07:45 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 01:10:22 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 01:11:01 | × | shailangsa quits (~shailangs@host86-186-196-136.range86-186.btcentralplus.com) (Ping timeout: 252 seconds) |
| 01:12:56 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:14:02 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:14:09 | × | itai quits (~itai@2a0d:6fc0:804:3500:f50f:77b6:28be:b274) (Remote host closed the connection) |
| 01:15:07 | × | carldd quits (~carldd@90-224-49-113-no56.tbcn.telia.com) (Read error: Connection reset by peer) |
| 01:16:25 | → | carldd joins (~carldd@90-224-49-113-no56.tbcn.telia.com) |
| 01:17:48 | → | Uter joins (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) |
| 01:17:50 | <Uter> | Where are these super smart geniuses that I keep hearing about. |
| 01:17:56 | × | Uter quits (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) (Client Quit) |
| 01:17:59 | ChanServ | sets mode +o monochrom |
| 01:18:05 | monochrom | sets mode +b Uter!*@* |
| 01:18:22 | monochrom | sets mode -b Uter!*@* |
| 01:18:27 | <davve> | i was about to type him a proper response but i figured he was trolling |
| 01:18:27 | monochrom | sets mode -o monochrom |
| 01:20:12 | <davve> | probably was :P |
| 01:25:05 | → | Uter joins (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) |
| 01:25:21 | × | Uter quits (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) (Client Quit) |
| 01:28:04 | → | ddellacosta joins (~ddellacos@86.106.143.241) |
| 01:32:58 | × | carlomagno quits (~cararell@148.87.23.8) (Quit: Leaving.) |
| 01:33:20 | × | ddellacosta quits (~ddellacos@86.106.143.241) (Ping timeout: 268 seconds) |
| 01:33:58 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 01:34:36 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 01:36:53 | → | shailangsa joins (~shailangs@host165-120-169-24.range165-120.btcentralplus.com) |
| 01:38:35 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 01:39:01 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 01:41:25 | → | ddellacosta joins (~ddellacos@86.106.143.33) |
| 01:45:07 | × | chris__ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 01:45:33 | × | m0rphism quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 240 seconds) |
| 01:49:39 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-soowutbnfvimotcf) |
| 01:50:47 | × | ddellacosta quits (~ddellacos@86.106.143.33) (Remote host closed the connection) |
| 01:51:00 | → | ddellacosta joins (~ddellacos@86.106.143.33) |
| 01:51:07 | × | ddellacosta quits (~ddellacos@86.106.143.33) (Remote host closed the connection) |
| 01:51:18 | → | ddellacosta joins (~ddellacos@86.106.143.33) |
| 01:51:55 | × | ddellacosta quits (~ddellacos@86.106.143.33) (Remote host closed the connection) |
| 01:52:06 | → | ddellacosta joins (~ddellacos@86.106.143.33) |
| 01:52:42 | × | ddellacosta quits (~ddellacos@86.106.143.33) (Remote host closed the connection) |
| 01:52:53 | → | ddellacosta joins (~ddellacos@86.106.143.33) |
| 01:53:30 | × | ddellacosta quits (~ddellacos@86.106.143.33) (Remote host closed the connection) |
| 01:53:41 | → | ddellacosta joins (~ddellacos@86.106.143.33) |
| 01:54:18 | × | ddellacosta quits (~ddellacos@86.106.143.33) (Remote host closed the connection) |
| 01:54:29 | → | ddellacosta joins (~ddellacos@86.106.143.33) |
| 01:55:05 | × | ddellacosta quits (~ddellacos@86.106.143.33) (Remote host closed the connection) |
| 01:55:16 | → | ddellacosta joins (~ddellacos@86.106.143.33) |
| 01:55:53 | × | ddellacosta quits (~ddellacos@86.106.143.33) (Remote host closed the connection) |
| 01:56:03 | → | ddellacosta joins (~ddellacos@86.106.143.33) |
| 01:56:40 | × | ddellacosta quits (~ddellacos@86.106.143.33) (Remote host closed the connection) |
| 01:56:51 | → | ddellacosta joins (~ddellacos@86.106.143.33) |
| 01:57:28 | × | ddellacosta quits (~ddellacos@86.106.143.33) (Remote host closed the connection) |
| 01:57:39 | → | ddellacosta joins (~ddellacos@86.106.143.33) |
| 01:58:16 | × | ddellacosta quits (~ddellacos@86.106.143.33) (Remote host closed the connection) |
| 01:59:01 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 276 seconds) |
| 02:00:15 | × | xff0x quits (~xff0x@2001:1a81:527b:7200:224e:16c9:1ab4:ffaa) (Ping timeout: 250 seconds) |
| 02:00:55 | <tapas> | awww it's boring without trolls |
| 02:01:00 | <tapas> | they're the spice of the internet! |
| 02:02:05 | → | xff0x joins (~xff0x@2001:1a81:52b5:6000:e226:e5d3:b52b:6faf) |
| 02:02:15 | × | CrazyPython quits (~crazypyth@206.214.238.6) (Read error: Connection reset by peer) |
| 02:05:21 | × | oxide quits (~lambda@unaffiliated/mclaren) (Ping timeout: 260 seconds) |
| 02:06:32 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 02:08:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 02:09:39 | <hololeap> | ground troll is what makes a curry pop! |
| 02:10:53 | × | nineonine quits (~nineonine@50.216.62.2) (Remote host closed the connection) |
| 02:11:29 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) |
| 02:11:52 | → | nineonine joins (~nineonine@50.216.62.2) |
| 02:13:39 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 02:14:55 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 02:19:13 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds) |
| 02:19:29 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 02:19:58 | → | isovector joins (~isovector@172.103.216.166) |
| 02:24:10 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 02:25:36 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 02:25:36 | finn_elija | is now known as Guest38834 |
| 02:25:36 | FinnElija | is now known as finn_elija |
| 02:26:37 | → | stree joins (~stree@68.36.8.116) |
| 02:27:59 | × | isovector quits (~isovector@172.103.216.166) (Ping timeout: 246 seconds) |
| 02:28:05 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 02:28:21 | × | Guest38834 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 02:29:46 | × | drbean_ quits (~drbean@TC210-63-209-100.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 02:31:53 | × | renzhi quits (~renzhi@2607:fa49:6500:bc00::e7b) (Ping timeout: 250 seconds) |
| 02:40:14 | → | ddellacosta joins (~ddellacos@86.106.143.10) |
| 02:41:01 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-rhpyeuwtpcwsiaqx) () |
| 02:41:19 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Remote host closed the connection) |
| 02:44:49 | → | TK__ joins (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c) |
| 02:45:04 | × | ddellacosta quits (~ddellacos@86.106.143.10) (Ping timeout: 252 seconds) |
| 02:45:16 | → | Uter joins (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) |
| 02:46:09 | × | Uter quits (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) (Client Quit) |
| 02:46:48 | → | chris__ joins (~chris@81.96.113.213) |
| 02:48:10 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 02:48:56 | × | theDon quits (~td@muedsl-82-207-238-236.citykom.de) (Ping timeout: 265 seconds) |
| 02:50:40 | → | theDon joins (~td@muedsl-82-207-238-178.citykom.de) |
| 02:51:35 | → | kayvan joins (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 02:52:29 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 02:54:58 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 02:58:29 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-pdbhajqewdjsgghb) (Quit: Connection closed for inactivity) |
| 03:00:30 | <siraben> | that's an unusual way to troll |
| 03:04:21 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 03:08:10 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 03:11:10 | × | TK__ quits (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c) (Ping timeout: 276 seconds) |
| 03:12:05 | → | wei2912 joins (~wei2912@unaffiliated/wei2912) |
| 03:14:45 | → | petersen joins (~petersen@redhat/juhp) |
| 03:15:57 | × | Iceland_jack quits (~user@95.147.45.92) (Remote host closed the connection) |
| 03:16:53 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 03:17:56 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 03:21:22 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 03:22:11 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 03:29:29 | × | jared-w quits (uid405292@gateway/web/irccloud.com/x-eipenrywlrydjypz) (Quit: Connection closed for inactivity) |
| 03:39:40 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 03:43:22 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 03:43:48 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 03:44:13 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 03:44:23 | × | alx741 quits (~alx741@181.196.68.14) (Quit: alx741) |
| 03:45:21 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 03:48:46 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 03:54:18 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 03:57:11 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 240 seconds) |
| 03:58:25 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 03:58:41 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 04:02:32 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 04:02:51 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 04:03:11 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 268 seconds) |
| 04:04:59 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 04:05:23 | × | xkapastel quits (uid17782@gateway/web/irccloud.com/x-fkhouktirrkpcdzt) (Quit: Connection closed for inactivity) |
| 04:06:06 | × | yahb quits (xsbot@haskell/bot/yahb) (Ping timeout: 260 seconds) |
| 04:06:14 | → | yahb joins (xsbot@178.219.36.155) |
| 04:06:14 | × | yahb quits (xsbot@178.219.36.155) (Changing host) |
| 04:06:14 | → | yahb joins (xsbot@haskell/bot/yahb) |
| 04:07:28 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 04:07:53 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 04:09:29 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 04:09:29 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 04:10:11 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 04:12:52 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 04:22:17 | <hyiltiz> | w |
| 04:24:57 | ← | justsomeguy parts (~justsomeg@unaffiliated/--/x-3805311) ("WeeChat 3.0.1") |
| 04:25:44 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 04:26:13 | × | kiweun quits (~sheepduck@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 04:26:27 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-ahljnfmlpzcempts) (Quit: Connection closed for inactivity) |
| 04:27:31 | × | danso quits (~dan@modemcable156.91-20-96.mc.videotron.ca) (Quit: WeeChat 3.0) |
| 04:30:56 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 04:32:28 | → | sheepduck joins (~sheepduck@2607:fea8:2a60:b700::627f) |
| 04:33:00 | × | elliott_ quits (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 04:33:24 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 04:34:09 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 04:35:04 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 04:39:32 | → | elliott_ joins (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
| 04:43:43 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 04:44:09 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 04:46:55 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 04:47:08 | → | Tario joins (~Tario@201.192.165.173) |
| 04:47:20 | → | stree joins (~stree@68.36.8.116) |
| 04:50:13 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 04:50:18 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 04:51:54 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 04:52:13 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 04:52:33 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 04:53:50 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 04:53:56 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Quit: leaving) |
| 04:54:39 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 04:55:05 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 04:56:44 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 04:57:12 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 04:57:26 | × | Cthalupa quits (~cthulhu@47.186.47.75) (Ping timeout: 246 seconds) |
| 04:58:01 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 04:58:43 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 05:02:07 | → | Cthalupa joins (~cthulhu@47.186.47.75) |
| 05:02:15 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 05:02:26 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 05:03:21 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 05:03:21 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 05:07:18 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 05:08:08 | × | son0p quits (~ff@181.136.122.143) (Ping timeout: 265 seconds) |
| 05:08:18 | → | spider1 joins (~spider@vps-951ce37a.vps.ovh.ca) |
| 05:10:12 | × | sheepduck quits (~sheepduck@2607:fea8:2a60:b700::627f) (Remote host closed the connection) |
| 05:13:47 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 05:16:52 | × | xenon- quits (~bc817c21@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout)) |
| 05:17:29 | × | leonardo1 quits (~leonardo@185.204.1.185) (Remote host closed the connection) |
| 05:18:17 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds) |
| 05:19:54 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 05:28:26 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 05:28:32 | → | alexander joins (~alexander@2a02:587:dc01:3b00:38f4:60b0:4dbb:46) |
| 05:29:01 | alexander | is now known as Guest93721 |
| 05:31:54 | → | nineonin_ joins (~nineonine@2604:3d08:777e:900:6098:71ed:d0b:952b) |
| 05:35:06 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 240 seconds) |
| 05:35:10 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:40:00 | × | xff0x quits (~xff0x@2001:1a81:52b5:6000:e226:e5d3:b52b:6faf) (Remote host closed the connection) |
| 05:40:17 | → | xff0x joins (~xff0x@2001:1a81:52b5:6000:f0a6:872b:1338:809f) |
| 05:42:25 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 05:46:26 | × | mounty quits (~mounty@236.216.214.218.sta.wbroadband.net.au) (Ping timeout: 240 seconds) |
| 05:46:47 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 05:47:16 | → | mbeidler joins (sid216950@gateway/web/irccloud.com/x-zlpuzvxwqrbyloqs) |
| 05:48:06 | × | mbeidler quits (sid216950@gateway/web/irccloud.com/x-zlpuzvxwqrbyloqs) (Client Quit) |
| 05:49:56 | × | boxscape quits (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) (Ping timeout: 260 seconds) |
| 05:50:33 | → | pmj joins (~pmj@p4fe156fa.dip0.t-ipconnect.de) |
| 05:54:07 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 05:57:27 | × | monochrom quits (trebla@216.138.220.146) (Quit: NO CARRIER) |
| 05:58:41 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Ping timeout: 260 seconds) |
| 05:59:07 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 268 seconds) |
| 05:59:51 | × | Shuppiluliuma quits (~shuppilul@153.33.68.161) (Ping timeout: 265 seconds) |
| 06:00:51 | → | werneta_ joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 06:01:04 | × | werneta_ quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Client Quit) |
| 06:01:47 | → | plutoniix joins (~q@node-ugb.pool-125-24.dynamic.totinternet.net) |
| 06:04:46 | → | javie joins (~javie-ubu@81.0.39.87) |
| 06:05:01 | × | javie quits (~javie-ubu@81.0.39.87) (Client Quit) |
| 06:05:26 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 06:08:25 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Remote host closed the connection) |
| 06:08:32 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 06:09:10 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 06:09:55 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Remote host closed the connection) |
| 06:10:11 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 06:11:34 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 06:11:41 | → | kingswim joins (~kevinying@197.210.65.220) |
| 06:12:25 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 06:12:56 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 06:12:57 | → | monochrom joins (trebla@216.138.220.146) |
| 06:13:04 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 06:16:21 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 260 seconds) |
| 06:16:41 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 06:19:07 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 06:21:12 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 06:22:21 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
| 06:25:38 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 268 seconds) |
| 06:28:22 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Ping timeout: 252 seconds) |
| 06:30:11 | × | kayvan quits (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 246 seconds) |
| 06:35:10 | × | jb55 quits (~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection) |
| 06:35:31 | → | jb55 joins (~jb55@gateway/tor-sasl/jb55) |
| 06:39:16 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 06:39:16 | × | hyiltiz quits (~quassel@31.220.5.250) (Changing host) |
| 06:39:16 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 06:52:16 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 06:52:22 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 06:53:46 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 06:55:33 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 06:56:58 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 07:01:11 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 07:01:21 | × | kingswim quits (~kevinying@197.210.65.220) (Read error: Connection reset by peer) |
| 07:01:46 | → | kingswim joins (~kevinying@197.210.65.220) |
| 07:04:31 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 07:06:10 | → | boxscape joins (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) |
| 07:06:35 | → | son0p joins (~ff@181.136.122.143) |
| 07:08:37 | → | stree joins (~stree@68.36.8.116) |
| 07:15:15 | × | Sgeo quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer) |
| 07:23:17 | → | Aquazi joins (uid312403@gateway/web/irccloud.com/x-iqwgqsgfaxvsrekg) |
| 07:24:37 | → | ClaudiusMaximus joins (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) |
| 07:24:37 | × | ClaudiusMaximus quits (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) (Changing host) |
| 07:24:37 | → | ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus) |
| 07:30:20 | → | TK__ joins (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c) |
| 07:31:57 | → | jonatanb joins (~jonatanb@83.24.29.87.ipv4.supernova.orange.pl) |
| 07:32:11 | × | jonatanb quits (~jonatanb@83.24.29.87.ipv4.supernova.orange.pl) (Client Quit) |
| 07:36:57 | × | vgtw quits (~vgtw@gateway/tor-sasl/vgtw) (Remote host closed the connection) |
| 07:39:14 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 07:39:45 | <hololeap> | is there some place where this is defined? instance IsString a => IsString (Maybe a) |
| 07:40:04 | <hololeap> | i ask because i see someone trying to do this in a library |
| 07:40:12 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 07:41:16 | <Rembane> | I guessed Data.String, but it isn't there. |
| 07:41:21 | → | vgtw joins (~vgtw@gateway/tor-sasl/vgtw) |
| 07:42:07 | <hololeap> | No instance for (GHC.Exts.IsList (Maybe Text)) arising from an overloaded list • In the fifth argument of ‘SemVer’, namely ‘[]’ |
| 07:42:32 | <hololeap> | oops, i guess i meant IsList |
| 07:42:33 | <boxscape> | That looks like IsList rather than IsString? |
| 07:42:35 | <boxscape> | okay |
| 07:42:51 | <Rembane> | Common typo. :) |
| 07:43:36 | → | Codaraxis__ joins (Codaraxis@gateway/vpn/mullvad/codaraxis) |
| 07:43:49 | <hololeap> | i wonder if they mean Nothing or (Just []) |
| 07:43:59 | <sshine> | yeah |
| 07:44:16 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 07:44:49 | <sshine> | toList Nothing == ? |
| 07:45:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 07:46:07 | <Rembane> | > toList Nothing |
| 07:46:08 | <lambdabot> | [] |
| 07:46:28 | <Rembane> | > fromList [] :: Maybe Int |
| 07:46:29 | <lambdabot> | error: |
| 07:46:29 | <lambdabot> | • Variable not in scope: fromList :: [a0] -> Maybe Int |
| 07:46:29 | <lambdabot> | • Perhaps you meant one of these: |
| 07:46:33 | <Rembane> | Meh |
| 07:47:07 | <hololeap> | % fromList [] :: Maybe Text |
| 07:47:07 | <yahb> | hololeap: ; <interactive>:55:22: error: Not in scope: type constructor or class `Text' |
| 07:47:26 | × | Codaraxis_ quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 240 seconds) |
| 07:47:59 | <Rembane> | There are analogues in Data.Maybe, but they only work on lists. |
| 07:49:04 | <hololeap> | well this is from https://github.com/purescript/spago/blob/master/src/Spago/Version.hs#L73 |
| 07:49:16 | <hololeap> | i assume it compiles on some systems |
| 07:50:37 | → | Axman6 joins (~Axman6@pdpc/supporter/student/Axman6) |
| 07:52:10 | <boxscape> | hololeap the fifth parameter of SemVer had a different type a while ago https://hackage.haskell.org/package/versions-3.3.1/docs/Data-Versions.html#t:SemVer |
| 07:53:04 | <boxscape> | hololeap looks like it was changed in the latest version, 5.0.0 |
| 07:54:53 | <boxscape> | the spago .cabal file doesn't use upper bounds for most of its dependecies |
| 07:55:37 | <hololeap> | i'll just patch it, but i was wondering what broke it |
| 07:57:46 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 07:57:59 | <hololeap> | boxscape: ah that explains it then :) |
| 07:59:29 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 08:01:00 | × | hololeap quits (~hololeap@gateway/tor-sasl/hololeap) (Remote host closed the connection) |
| 08:01:42 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 08:05:05 | → | hololeap joins (~hololeap@gateway/tor-sasl/hololeap) |
| 08:05:11 | → | chimera joins (~chimera@120-192-113-92.pool.ukrtel.net) |
| 08:05:19 | <hololeap> | boxscape: thanks for finding that |
| 08:05:30 | <boxscape> | np |
| 08:06:28 | → | arahael1 joins (~arahael@203-206-83-196.tpgi.com.au) |
| 08:06:51 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 250 seconds) |
| 08:07:03 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 08:07:21 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 08:08:59 | → | hendursa1 joins (~weechat@gateway/tor-sasl/hendursaga) |
| 08:09:09 | × | hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 08:09:17 | × | Arahael quits (~arahael@114.198.16.164) (Ping timeout: 260 seconds) |
| 08:10:44 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 08:13:10 | → | hendursaga joins (~weechat@gateway/tor-sasl/hendursaga) |
| 08:14:23 | → | xprl-gjf joins (~gavin@98.154.147.147.dyn.plus.net) |
| 08:15:57 | × | hendursa1 quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 08:16:14 | → | oxide joins (~lambda@unaffiliated/mclaren) |
| 08:17:18 | → | kritzefitz joins (~kritzefit@2003:5b:203b:200::10:49) |
| 08:18:31 | → | z88 joins (~z88@82.85-87-220.dynamic.clientes.euskaltel.es) |
| 08:19:14 | → | fendor joins (~fendor@77.119.131.196.wireless.dyn.drei.com) |
| 08:26:04 | <absence> | is there a way to perform a monadic bind on the left side of an either instead of the right, i.e. (e -> Either e' a) -> Either e a -> Either e' a? |
| 08:26:23 | <absence> | other than copying the code for the monad instance and switching left and right |
| 08:26:56 | <Rembane> | :t (=<<) |
| 08:26:58 | <lambdabot> | Monad m => (a -> m b) -> m a -> m b |
| 08:27:00 | <Rembane> | Like that? |
| 08:27:32 | <tomboy64> | when i want [ (a,b) | a <- [1,2], b <- [1,2] ], is there a way so i can conflate the definition of a and b? |
| 08:27:35 | × | nek0 quits (~nek0@mail.nek0.eu) (Remote host closed the connection) |
| 08:27:51 | <tomboy64> | as a,b are created from the same list |
| 08:27:52 | <boxscape> | Hmm, the bifunctors package has Flip but it doesn't have a Monad instance |
| 08:28:04 | <Rembane> | absence: Or is it the Left part you want to interact with? |
| 08:28:38 | <Rembane> | > (,) <$> [1,2,3] <*> [1,2,3] -- tomboy64 |
| 08:28:40 | <lambdabot> | [(1,1),(1,2),(1,3),(2,1),(2,2),(2,3),(3,1),(3,2),(3,3)] |
| 08:29:05 | <absence> | Rembane: left yes |
| 08:29:08 | <tomboy64> | uh, nifty |
| 08:29:13 | <boxscape> | tomboy64 [ (a, b) | let xs = [1,2,3], a <- xs, b <- xs ] |
| 08:29:16 | <tomboy64> | thanks, gonna check that out |
| 08:30:03 | <Rembane> | > first (+2) (Left 3) |
| 08:30:05 | <lambdabot> | error: |
| 08:30:05 | <lambdabot> | • Couldn't match type ‘(b, d)’ with ‘Either a0 b0’ |
| 08:30:05 | <lambdabot> | Expected type: Either a0 b0 -> (b, d) |
| 08:30:10 | <Rembane> | Hm... |
| 08:30:34 | <boxscape> | We have Biapplicative but not Bimonad, eh |
| 08:30:46 | <boxscape> | I imagine there's a mathematical reason for that |
| 08:31:14 | <Rembane> | absence: Do you need Monad or is Applicative enough? |
| 08:31:28 | × | hololeap quits (~hololeap@gateway/tor-sasl/hololeap) (Quit: Bye) |
| 08:32:17 | → | nek0 joins (~nek0@mail.nek0.eu) |
| 08:33:56 | <boxscape> | ...though Either isn't even a Biapplicative so that wouldn't help |
| 08:34:17 | <Rembane> | Oh |
| 08:34:18 | <Rembane> | Meh |
| 08:37:04 | × | berberman__ quits (berberma4@gateway/shell/matrix.org/x-oqwwmsvupcxuxpnp) (Ping timeout: 245 seconds) |
| 08:37:29 | × | anandprabhu-M quits (anandprabh@gateway/shell/kde/matrix/x-knnbylqxaiupdwue) (Ping timeout: 245 seconds) |
| 08:37:43 | <absence> | seems like the "swapped" lens won't do the trick either |
| 08:37:53 | → | kuribas joins (~user@ptr-25vy0i97aequnpt08mb.18120a2.ip6.access.telenet.be) |
| 08:37:54 | × | enya[m] quits (enyaismatr@gateway/shell/matrix.org/x-vbxbmzfxfyfdzpkm) (Ping timeout: 245 seconds) |
| 08:37:54 | × | Noughtmare[m] quits (naughtmare@gateway/shell/matrix.org/x-eudjrzrcgrkbadyq) (Ping timeout: 245 seconds) |
| 08:37:54 | × | jeffcasavant[m] quits (jeffcasava@gateway/shell/matrix.org/x-oykouxifvdgxkysk) (Ping timeout: 245 seconds) |
| 08:37:54 | × | johnnyboy[m] quits (gifumatrix@gateway/shell/matrix.org/x-ygcqfwwgjhaithrv) (Ping timeout: 245 seconds) |
| 08:37:54 | × | JaakkoLuttinen[m quits (jluttinema@gateway/shell/matrix.org/x-kwtghircdmpnsjld) (Ping timeout: 245 seconds) |
| 08:37:54 | × | l-as quits (lasmatrixo@gateway/shell/matrix.org/x-uqygpgsipnzcjvky) (Ping timeout: 245 seconds) |
| 08:37:54 | × | hsiktas[m] quits (hsiktasmat@gateway/shell/matrix.org/x-lxilvmapenritogw) (Ping timeout: 245 seconds) |
| 08:37:54 | × | hyiltiz-M quits (hyiltizkde@gateway/shell/kde/matrix/x-urtbejfwazafnhmf) (Ping timeout: 245 seconds) |
| 08:38:19 | × | maerwald[m] quits (maerwaldma@gateway/shell/matrix.org/x-fklrirjztisrhpuf) (Ping timeout: 245 seconds) |
| 08:38:19 | × | ServerStatsDisco quits (serverstat@gateway/shell/matrix.org/x-fmdpukzknleoofkk) (Ping timeout: 245 seconds) |
| 08:38:19 | × | dyniec[m] quits (dyniecmatr@gateway/shell/matrix.org/x-upahawlsktdxgrvb) (Ping timeout: 245 seconds) |
| 08:39:01 | → | anandprabhu-M joins (anandprabh@gateway/shell/kde/matrix/x-bvhldoupnbmlqysg) |
| 08:39:42 | → | hyiltiz-M joins (hyiltizkde@gateway/shell/kde/matrix/x-zxgylrwrlsislond) |
| 08:39:56 | <boxscape> | maybe there should be a `Symmetrical` class that allows you to get a Monad instance over the first argument if there is one over the second argument |
| 08:40:00 | → | enya[m] joins (enyaismatr@gateway/shell/matrix.org/x-sfvtspwjmmnvmqkn) |
| 08:40:01 | <boxscape> | not sure if that's possible to define though |
| 08:40:46 | → | johnnyboy[m] joins (gifumatrix@gateway/shell/matrix.org/x-ojhxzwohbdrmgjvq) |
| 08:40:47 | → | Noughtmare[m] joins (naughtmare@gateway/shell/matrix.org/x-qigccbyaufimndlg) |
| 08:41:07 | × | _bin quits (~bin@2600:1700:10a1:38d0:4da3:c080:c26c:e9d4) (Quit: ZNC - https://znc.in) |
| 08:41:33 | → | _bin joins (~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net) |
| 08:42:14 | <boxscape> | it should be possible, if this class has a `flip` method and a law that flip is an isomorphism, I guess |
| 08:43:09 | × | vk3wtf quits (~doc@61.68.250.44) (Quit: WeeChat 3.0.1) |
| 08:43:42 | → | vk3wtf joins (~doc@61.68.250.44) |
| 08:43:43 | → | berberman__ joins (berberma4@gateway/shell/matrix.org/x-smsbwwrsnfgurtng) |
| 08:44:09 | → | ServerStatsDisco joins (serverstat@gateway/shell/matrix.org/x-miecketcbzzjnzas) |
| 08:44:52 | → | ubert joins (~Thunderbi@p200300ecdf259d7bca5b76fffe29f233.dip0.t-ipconnect.de) |
| 08:45:27 | → | l-as joins (lasmatrixo@gateway/shell/matrix.org/x-cxrmfjuikklcwojc) |
| 08:45:36 | → | hsiktas[m] joins (hsiktasmat@gateway/shell/matrix.org/x-izewmwhjsrwvknuy) |
| 08:45:57 | → | jespada_ joins (~jespada@87.74.38.78) |
| 08:47:33 | → | JaakkoLuttinen[m joins (jluttinema@gateway/shell/matrix.org/x-btugkmuncsueyjng) |
| 08:47:44 | → | jeffcasavant[m] joins (jeffcasava@gateway/shell/matrix.org/x-cgvaqqcpzrsthsqo) |
| 08:48:19 | → | dyniec[m] joins (dyniecmatr@gateway/shell/matrix.org/x-xljgadiiftwikmko) |
| 08:48:29 | → | maerwald[m] joins (maerwaldma@gateway/shell/matrix.org/x-eftsnltcljcrozqd) |
| 08:49:01 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 08:49:01 | × | jespada quits (~jespada@87.74.37.248) (Ping timeout: 260 seconds) |
| 08:51:50 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 08:57:43 | → | vilpan joins (~0@212.117.1.172) |
| 09:00:18 | × | jchia[m] quits (jchiamatri@gateway/shell/matrix.org/x-cnmbhrrzgpmynneo) (Quit: Idle for 30+ days) |
| 09:00:19 | × | Lurkki[m]1 quits (lurkkipriv@gateway/shell/matrix.org/x-cpeitjulibvdczps) (Quit: Idle for 30+ days) |
| 09:12:01 | → | jespada joins (~jespada@87.74.38.81) |
| 09:12:47 | <kingswim> | it seems -> can apprear in lambda \x->x,and also can apprear in fff:: a->a->a,but donot know it can do like this : data Procedure = InitBoosters (controller->script)? where i can find the origin introduction of ->? |
| 09:13:56 | <boxscape> | kingswim the -> in the lambda syntax is a different -> than the (->) type constructor. They're both built into the language, though ghci will say something if you ask it about the type constructor with :i |
| 09:13:59 | <boxscape> | % :i (->) |
| 09:14:00 | <yahb> | boxscape: type (->) :: * -> * -> *; type (->) = FUN 'Many :: * -> * -> *; -- Defined in `GHC.Types'; infixr -1 ->; instance Applicative ((->) r) -- Defined in `GHC.Base'; instance Functor ((->) r) -- Defined in `GHC.Base'; instance Monad ((->) r) -- Defined in `GHC.Base'; instance Monoid b => Monoid (a -> b) -- Defined in `GHC.Base'; instance Semigroup b => Semigroup (a -> b) -- Defined in `GHC.Base'; instance [s |
| 09:14:06 | × | jespada_ quits (~jespada@87.74.38.78) (Ping timeout: 240 seconds) |
| 09:15:54 | <boxscape> | kingswim similar to how you can have `data A = A`, and overload A to be both a type and data constructor, -> is "overloaded" to be a type constructor for functions, so `a -> b` is the type of functions from a to b, but also as part of the syntax of the function data constructor, so that `\x -> y` is a function of type `a -> b` if (x :: a) and (y :: |
| 09:15:55 | <boxscape> | b) |
| 09:15:58 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 09:16:16 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 09:16:22 | <boxscape> | (though it's a bit different because the `->`s are built into the language, whereas `A` is not.) |
| 09:17:01 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 09:17:19 | <boxscape> | in `data Procedure = InitBoosters (controller -> script)`, you're using the type constructor version, to say that the argument to InitBoosters must be a function of type controller -> script |
| 09:18:43 | <kingswim> | i see,i will list diff and try find out the origin reason. |
| 09:21:19 | × | kingswim quits (~kevinying@197.210.65.220) (Read error: Connection reset by peer) |
| 09:21:23 | → | admin__ joins (~kevinying@197.210.65.220) |
| 09:24:19 | × | tomsmeding quits (~tomsmedin@tomsmeding.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 09:24:20 | × | energizer quits (~energizer@unaffiliated/energizer) (Quit: ZNC 1.7.0+deb0+xenial1 - https://znc.in) |
| 09:24:20 | × | rkrishnan_ quits (~rkrishnan@rkrishnan.org) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 09:24:28 | × | shapr quits (~shapr@haskell/developer/shapr) (Ping timeout: 268 seconds) |
| 09:24:40 | → | energizer joins (~energizer@unaffiliated/energizer) |
| 09:24:44 | → | tomsmeding joins (~tomsmedin@2a03:b0c0:0:1010::767:3001) |
| 09:25:31 | → | rkrishnan joins (~rkrishnan@rkrishnan.org) |
| 09:25:44 | <kuribas> | why does applicativeDo not allow "do a <- x; let b = y; pure Foo x y" |
| 09:25:46 | <kuribas> | ? |
| 09:25:50 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 09:26:07 | <kuribas> | But it allows "do a <- x; b <- pure y; pure Foo x y" |
| 09:26:19 | × | arianvp quits (~weechat@arianvp.me) (Ping timeout: 268 seconds) |
| 09:26:33 | → | shapr joins (~shapr@162.243.9.169) |
| 09:26:34 | shapr | is now known as Guest25767 |
| 09:26:43 | <kuribas> | which is exactly the same |
| 09:26:53 | → | arianvp joins (~weechat@arianvp.me) |
| 09:27:11 | <kuribas> | does ApplicativeDo doesn't do desugaring? |
| 09:29:52 | → | stree joins (~stree@68.36.8.116) |
| 09:29:59 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds) |
| 09:30:37 | × | wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 09:32:25 | × | chimera quits (~chimera@120-192-113-92.pool.ukrtel.net) (Quit: Konversation terminated!) |
| 09:33:07 | × | ubert quits (~Thunderbi@p200300ecdf259d7bca5b76fffe29f233.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 09:33:19 | × | admin__ quits (~kevinying@197.210.65.220) (Ping timeout: 245 seconds) |
| 09:33:24 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 09:33:57 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 250 seconds) |
| 09:37:29 | <boxscape> | huh lambdabot's @undo doesn't support let |
| 09:38:40 | × | cyphase quits (~cyphase@unaffiliated/cyphase) (Ping timeout: 252 seconds) |
| 09:39:56 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 09:39:57 | <boxscape> | kuribas you can see the output with -ddump-ds, which might tell you why it doesn' work |
| 09:40:05 | <enikar> | kuribas: ApllicativeDo does desugaring, but with the rules of Applicative. And if you use a rule that involves Monad, then (>>=) is used, if possible. |
| 09:40:57 | <kuribas> | boxscape: so "let x = y;" cannot be desugared to "x <- pure y"? |
| 09:41:24 | <boxscape> | I think that was meant for enikar |
| 09:41:40 | <kuribas> | no |
| 09:41:42 | <boxscape> | hmm |
| 09:41:46 | <boxscape> | well, I don't know the answer |
| 09:41:49 | × | st8less quits (~st8less@inet-167-224-197-181.isp.ozarksgo.net) (Quit: WeeChat 2.9) |
| 09:42:22 | <kuribas> | even so if the bindings in the let don't depend on the previous bindings, the let can be floated up, and it should still work. |
| 09:44:30 | × | zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving) |
| 09:44:36 | <kuribas> | "do a <- x; let b = y; pure Foo x y" => (\a -> Foo a y) <$> x |
| 09:44:40 | <kuribas> | looks fine to me. |
| 09:45:17 | <boxscape> | that does look pretty applicative |
| 09:45:31 | <boxscape> | functorial even |
| 09:45:59 | <kuribas> | or better: (let b = y in \a -> Foo a y) <$> x |
| 09:46:31 | × | TK__ quits (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c) (Ping timeout: 250 seconds) |
| 09:46:33 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 09:46:58 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 09:48:08 | <boxscape> | (whoops lambdabot's @undo *does* support let, but the `b = y` needs to be surrounded by {}) |
| 09:48:32 | <kuribas> | I don't see any lambdabot output |
| 09:48:48 | <boxscape> | I experimented in private messages |
| 09:48:54 | <kuribas> | @undo do a <- x; let b = y; pure $ Foo x y |
| 09:48:54 | <lambdabot> | <unknown>.hs:1:37:Parse error: EOF |
| 09:49:05 | <kuribas> | @undo do {a <- x; let b = y; pure $ Foo x y} |
| 09:49:06 | <lambdabot> | <unknown>.hs:1:38:Parse error: } |
| 09:49:08 | <boxscape> | @undo do a <- x; let {b = y}; pure $ Foo x y |
| 09:49:08 | <lambdabot> | x >>= \ a -> let { b = y} in pure $ Foo x y |
| 09:49:29 | <boxscape> | but that's without ApplicativeDo |
| 09:51:54 | <kuribas> | oh, this works: do a <- x; pure $ let {b = y} in Foo x y |
| 09:52:30 | → | viluon joins (uid453725@gateway/web/irccloud.com/x-sfbwpdsukvhsninn) |
| 09:52:51 | × | Guest93721 quits (~alexander@2a02:587:dc01:3b00:38f4:60b0:4dbb:46) (Ping timeout: 260 seconds) |
| 09:53:33 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 240 seconds) |
| 09:54:08 | → | m0rphism joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 09:54:15 | <kuribas> | @undo do a <- x; pure $ let {b = y} in Foo x y |
| 09:54:15 | <lambdabot> | x >>= \ a -> pure $ let { b = y} in Foo x y |
| 09:54:46 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9585d94a8a519d1af897.dip0.t-ipconnect.de) |
| 09:55:39 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 09:55:52 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 09:58:56 | arahael1 | is now known as Arahael |
| 10:00:54 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 10:01:13 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 10:02:33 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 10:03:08 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 10:03:41 | × | son0p quits (~ff@181.136.122.143) (Ping timeout: 240 seconds) |
| 10:04:15 | → | cyphase joins (~cyphase@unaffiliated/cyphase) |
| 10:05:45 | → | ddellacosta joins (~ddellacos@86.106.143.111) |
| 10:10:24 | × | ddellacosta quits (~ddellacos@86.106.143.111) (Ping timeout: 245 seconds) |
| 10:10:34 | → | [1]MrMobius joins (~MrMobius@208.58.206.154) |
| 10:10:42 | × | MrMobius quits (~MrMobius@208.58.206.154) (Ping timeout: 265 seconds) |
| 10:10:54 | [1]MrMobius | is now known as MrMobius |
| 10:11:27 | × | cgfbee quits (~bot@oc1.itim-cj.ro) (Quit: cgfbee) |
| 10:12:11 | → | ozzymcduff joins (~textual@81-234-151-21-no94.tbcn.telia.com) |
| 10:12:28 | → | zaquest joins (~notzaques@5.128.210.178) |
| 10:14:37 | × | meck quits (~meck@li1809-18.members.linode.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 10:15:00 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 10:15:01 | <enikar> | kuribas: perhaps, with -foptimal-applicative-do, you'll get better desugaring. |
| 10:15:20 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 10:16:45 | × | ozzymcduff quits (~textual@81-234-151-21-no94.tbcn.telia.com) (Client Quit) |
| 10:17:25 | → | ozzymcduff joins (~textual@81-234-151-21-no94.tbcn.telia.com) |
| 10:18:00 | → | gemmaro joins (~Thunderbi@240f:74:d1f0:1:1bf:3730:3a54:b192) |
| 10:18:34 | → | DavidEichmann joins (~david@156.59.147.147.dyn.plus.net) |
| 10:18:54 | <kuribas> | enikar: that doesn't exist |
| 10:19:16 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 10:19:54 | → | meck joins (~meck@li1809-18.members.linode.com) |
| 10:20:11 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 10:21:06 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 10:21:49 | <enikar> | kuribas: it's in ghc manual, in the section "ApplicativeDo" (since 8.0.1). |
| 10:22:54 | × | gemmaro quits (~Thunderbi@240f:74:d1f0:1:1bf:3730:3a54:b192) (Ping timeout: 245 seconds) |
| 10:23:11 | → | Futty14 joins (53fc4b37@c83-252-75-55.bredband.tele2.se) |
| 10:23:17 | <kuribas> | enikar: ah it does :) I'll try it. |
| 10:23:46 | <kuribas> | It doesn't say anything about let though, it's an alternative desugaring algorithm. |
| 10:29:01 | <enikar> | yes. |
| 10:30:58 | → | alexander joins (~alexander@2a02:587:dc01:3b00:38f4:60b0:4dbb:46) |
| 10:31:28 | alexander | is now known as Guest38393 |
| 10:35:45 | × | xprl-gjf quits (~gavin@98.154.147.147.dyn.plus.net) (Remote host closed the connection) |
| 10:39:02 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 10:39:03 | × | Guest38393 quits (~alexander@2a02:587:dc01:3b00:38f4:60b0:4dbb:46) (Ping timeout: 260 seconds) |
| 10:41:47 | → | chomwitt joins (~alexander@2a02:587:dc0e:4e00:38f4:60b0:4dbb:46) |
| 10:44:34 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 245 seconds) |
| 10:44:36 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 10:45:16 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:48:46 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 10:50:24 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 10:52:40 | × | kritzefitz quits (~kritzefit@2003:5b:203b:200::10:49) (Ping timeout: 276 seconds) |
| 10:54:35 | → | gemmaro joins (~Thunderbi@240f:74:d1f0:1:1bf:3730:3a54:b192) |
| 10:56:11 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 10:56:22 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 10:58:11 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 10:58:36 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 11:00:51 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 11:02:31 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 11:06:34 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 11:07:01 | → | jumper149 joins (~jumper149@80.240.31.34) |
| 11:07:16 | × | RusAlex quits (~Chel@unaffiliated/rusalex) (Ping timeout: 260 seconds) |
| 11:07:44 | × | oxide quits (~lambda@unaffiliated/mclaren) (Ping timeout: 265 seconds) |
| 11:09:29 | → | oxide joins (~lambda@unaffiliated/mclaren) |
| 11:09:49 | × | Guest47543 quits (~textual@2603-7000-3040-0000-d07d-0f62-085c-2849.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 11:10:13 | → | jespada_ joins (~jespada@90.254.244.151) |
| 11:10:21 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 260 seconds) |
| 11:11:47 | → | Xraell joins (~xraell@45.157.15.145) |
| 11:12:41 | × | jespada quits (~jespada@87.74.38.81) (Ping timeout: 260 seconds) |
| 11:13:24 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-87-61.w86-212.abo.wanadoo.fr) |
| 11:13:27 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 11:13:45 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 11:15:09 | → | Codaraxis_ joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 11:15:13 | × | meck quits (~meck@li1809-18.members.linode.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 11:16:12 | × | boxscape quits (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) (Quit: Connection closed) |
| 11:16:53 | → | boxscape joins (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) |
| 11:17:44 | → | nix-on-droid joins (~nix-on-dr@p200300f207194c00b02dadfd35619880.dip0.t-ipconnect.de) |
| 11:18:11 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 11:18:35 | × | Codaraxis__ quits (Codaraxis@gateway/vpn/mullvad/codaraxis) (Ping timeout: 246 seconds) |
| 11:18:44 | × | darjeeling_ quits (~darjeelin@122.245.120.162) (Quit: WeeChat 3.1) |
| 11:19:23 | → | ddellacosta joins (~ddellacos@86.106.143.215) |
| 11:20:03 | → | darjeeling_ joins (~darjeelin@122.245.120.162) |
| 11:22:23 | × | pmj quits (~pmj@p4fe156fa.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 11:23:53 | × | ddellacosta quits (~ddellacos@86.106.143.215) (Ping timeout: 260 seconds) |
| 11:24:54 | × | nix-on-droid quits (~nix-on-dr@p200300f207194c00b02dadfd35619880.dip0.t-ipconnect.de) (Quit: WeeChat 2.9) |
| 11:25:09 | → | meck joins (~meck@li1809-18.members.linode.com) |
| 11:25:13 | → | nix-on-droid joins (~nix-on-dr@p200300f207194c00b02dadfd35619880.dip0.t-ipconnect.de) |
| 11:25:40 | × | Futty14 quits (53fc4b37@c83-252-75-55.bredband.tele2.se) (Quit: Connection closed) |
| 11:26:30 | → | jess joins (jess@freenode/staff/jess) |
| 11:26:43 | × | nix-on-droid quits (~nix-on-dr@p200300f207194c00b02dadfd35619880.dip0.t-ipconnect.de) (Client Quit) |
| 11:31:59 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 11:33:21 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
| 11:34:15 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 11:37:24 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 11:37:46 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 11:38:22 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) |
| 11:39:40 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 252 seconds) |
| 11:40:26 | → | RusAlex joins (~Chel@unaffiliated/rusalex) |
| 11:41:22 | → | drbean_ joins (~drbean@TC210-63-209-210.static.apol.com.tw) |
| 11:43:22 | → | jespada joins (~jespada@90.254.244.151) |
| 11:43:33 | × | meck quits (~meck@li1809-18.members.linode.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 11:43:41 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 11:43:41 | × | hyiltiz quits (~quassel@31.220.5.250) (Changing host) |
| 11:43:41 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 11:45:49 | × | jespada_ quits (~jespada@90.254.244.151) (Ping timeout: 245 seconds) |
| 11:46:33 | → | ppmdo joins (~ppmdo@2a01:c22:7603:3800:536:1f6c:72f2:b240) |
| 11:47:11 | × | darjeeling_ quits (~darjeelin@122.245.120.162) (Ping timeout: 240 seconds) |
| 11:47:49 | → | meck joins (~meck@li1809-18.members.linode.com) |
| 11:47:52 | → | darjeeling_ joins (~darjeelin@122.245.120.162) |
| 11:48:46 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 11:50:20 | → | stree joins (~stree@68.36.8.116) |
| 11:50:51 | → | ddellacosta joins (~ddellacos@86.106.143.100) |
| 11:52:02 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 11:52:52 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 11:54:15 | → | kingswim joins (~kevinying@197.210.47.0) |
| 11:55:05 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-87-61.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 11:55:37 | × | ddellacosta quits (~ddellacos@86.106.143.100) (Ping timeout: 260 seconds) |
| 11:56:47 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 268 seconds) |
| 12:00:34 | → | Alleria joins (~textual@zrcout.mskcc.org) |
| 12:00:58 | Alleria | is now known as Guest16235 |
| 12:01:26 | → | son0p joins (~ff@181.136.122.143) |
| 12:01:39 | × | ppmdo quits (~ppmdo@2a01:c22:7603:3800:536:1f6c:72f2:b240) (Ping timeout: 260 seconds) |
| 12:02:38 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 12:03:02 | × | poljar1 quits (~poljar@93-143-137-156.adsl.net.t-com.hr) (Ping timeout: 246 seconds) |
| 12:04:05 | → | curiousgay joins (~gay@178.217.208.8) |
| 12:04:34 | × | curiousgay quits (~gay@178.217.208.8) (Remote host closed the connection) |
| 12:05:49 | → | curiousgay joins (~gay@178.217.208.8) |
| 12:07:36 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 12:09:47 | × | urdh quits (~urdh@unaffiliated/urdh) (Quit: Boom!) |
| 12:10:30 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 12:10:34 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 12:14:35 | × | nerdypepper quits (znc@152.67.162.71) (Ping timeout: 246 seconds) |
| 12:15:11 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 12:15:30 | → | ppmdo joins (~ppmdo@2a01:c22:7603:3800:c202:4cae:c828:a84e) |
| 12:18:12 | → | nerdypepper joins (znc@152.67.162.71) |
| 12:18:28 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 12:19:43 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 12:22:22 | → | KaitoDaumoto joins (Frat@unaffiliated/kaitodaumoto) |
| 12:26:07 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) |
| 12:26:50 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-87-61.w86-212.abo.wanadoo.fr) |
| 12:27:37 | → | Iceland_jack joins (~user@95.147.45.92) |
| 12:27:54 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-mfyylfhapxbhwkzn) |
| 12:29:03 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 12:31:40 | → | chele joins (~chele@78.128.94.174) |
| 12:32:20 | ← | vilpan parts (~0@212.117.1.172) () |
| 12:32:49 | → | juliagoda joins (~juliagoda@2a02:a31a:e13a:eb00:758f:d455:b475:46e4) |
| 12:33:05 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 12:33:34 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 12:33:59 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 12:34:24 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 268 seconds) |
| 12:34:51 | → | Tario joins (~Tario@201.192.165.173) |
| 12:35:49 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 12:39:05 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 246 seconds) |
| 12:43:35 | × | xsperry quits (~as@unaffiliated/xsperry) () |
| 12:46:08 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 12:46:48 | × | chele quits (~chele@78.128.94.174) (Quit: Leaving) |
| 12:47:05 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 12:48:11 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 240 seconds) |
| 12:48:32 | Lord_of_Life_ | is now known as Lord_of_Life |
| 12:50:57 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 12:51:40 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 12:51:51 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 12:52:06 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 12:54:05 | → | garFF joins (~garff@0x3ec68c59.mobile.telia.dk) |
| 12:55:49 | → | urdh joins (~urdh@unaffiliated/urdh) |
| 12:58:07 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 12:58:29 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 12:59:50 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 13:01:18 | → | ddellac__ joins (~ddellacos@86.106.143.72) |
| 13:01:41 | → | luke joins (~luke@bitnomial/staff/luke) |
| 13:02:12 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 13:03:42 | → | Haskman[m] joins (haskmanmat@gateway/shell/matrix.org/x-laesvsumhqevihza) |
| 13:04:09 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 13:04:13 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 13:04:47 | → | bitmapper joins (uid464869@gateway/web/irccloud.com/x-epzdtnoswnmmefnx) |
| 13:04:59 | × | darjeeling_ quits (~darjeelin@122.245.120.162) (Ping timeout: 245 seconds) |
| 13:05:25 | → | darjeeling_ joins (~darjeelin@122.245.120.162) |
| 13:06:05 | → | Guest_27 joins (56f23588@lfbn-idf1-1-590-136.w86-242.abo.wanadoo.fr) |
| 13:06:16 | × | ddellac__ quits (~ddellacos@86.106.143.72) (Ping timeout: 260 seconds) |
| 13:07:10 | → | carlomagno joins (~cararell@148.87.23.9) |
| 13:07:52 | <Guest_27> | Hi all, I would like to install cabal on ubuntu 20.04 (x86). I am using ansible. I understand I have to use ghcup, right? but is the ghcup install script non interacive? |
| 13:07:54 | × | kingswim quits (~kevinying@197.210.47.0) (Ping timeout: 245 seconds) |
| 13:09:40 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 13:10:06 | → | kingswim joins (~kevinying@197.210.47.0) |
| 13:10:54 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 13:12:23 | → | muttonmitten joins (~muttonmit@unaffiliated/muttonmitten) |
| 13:12:53 | → | zargoertzel joins (~zar@fw1.ciirc.cvut.cz) |
| 13:13:04 | → | noam_ joins (~noam@2a00:a040:195:c240:8996:e291:b3d4:3174) |
| 13:13:06 | × | zariuq quits (~zar@fw1.ciirc.cvut.cz) (Remote host closed the connection) |
| 13:13:06 | → | noam__ joins (~noam@2a00:a040:195:c240:8996:e291:b3d4:3174) |
| 13:13:18 | × | noam__ quits (~noam@2a00:a040:195:c240:8996:e291:b3d4:3174) (Client Quit) |
| 13:14:01 | <geekosaur> | it can be either interactive or not |
| 13:16:26 | <geekosaur> | e.g. "ghcup install ghc 8.10.4 --set", vs. "ghcup tui" for a terminal user interface that lets you pick what to install or set active |
| 13:16:38 | × | kingswim quits (~kevinying@197.210.47.0) (Read error: Connection reset by peer) |
| 13:16:57 | <Guest_27> | hi thanks for the answer |
| 13:17:27 | → | kingswim joins (~kevinying@197.210.47.0) |
| 13:17:31 | <Guest_27> | my question is about getting ghcup ready prior to using it |
| 13:17:51 | <Guest_27> | the install script is prompting for yes/no questions |
| 13:19:38 | <geekosaur> | maerwald, around? |
| 13:21:23 | → | alx741 joins (~alx741@181.196.68.14) |
| 13:23:11 | × | gemmaro quits (~Thunderbi@240f:74:d1f0:1:1bf:3730:3a54:b192) (Ping timeout: 250 seconds) |
| 13:23:34 | → | slack1256 joins (~slack1256@191.125.166.131) |
| 13:25:47 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) |
| 13:25:49 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 245 seconds) |
| 13:27:51 | × | Neuromancer quits (~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 260 seconds) |
| 13:27:54 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 265 seconds) |
| 13:29:29 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 13:30:30 | → | gemmaro joins (~Thunderbi@240f:74:d1f0:1:1877:3fe9:fd3d:7976) |
| 13:30:59 | × | jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.1) |
| 13:31:09 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 13:34:13 | → | Sgeo joins (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 13:34:16 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 13:39:22 | <maerwald> | wat |
| 13:40:26 | → | bone-baboon joins (bone-baboo@gateway/vpn/privateinternetaccess/bone-baboon) |
| 13:40:28 | <maerwald> | Guest_27: ghcup is non-interactive. There's a shell script bootstrapping it, which is interactive though unless you set BOOTSTRAP_HASKELL_NONINTERACTIVE |
| 13:41:33 | <maerwald> | note that when you set that variable, no attempt is made to adjust the PATH |
| 13:41:48 | <maerwald> | so in your ansible script you will have to add ~/.ghcup/bin to PATH |
| 13:42:15 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 13:42:29 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 245 seconds) |
| 13:43:55 | × | Xraell quits (~xraell@45.157.15.145) (Remote host closed the connection) |
| 13:44:06 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 13:44:11 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 13:46:14 | <Guest_27> | awesome! thanks |
| 13:46:29 | <Guest_27> | And it should work on ubuntu 20.04 right? |
| 13:46:41 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 13:47:00 | <maerwald[m]> | If it doesn't then it's a bug |
| 13:47:10 | <Guest_27> | thanks guys |
| 13:47:42 | <geekosaur> | ghcup is working for me on 20.04 |
| 13:47:53 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 13:48:15 | <maerwald[m]> | There is one report of it not working, but i haven't been able to reproduce |
| 13:48:16 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds) |
| 13:48:23 | → | conal_ joins (~conal@64.71.133.70) |
| 13:48:47 | <maerwald[m]> | In docker it's working |
| 13:49:00 | × | noam_ quits (~noam@2a00:a040:195:c240:8996:e291:b3d4:3174) (Quit: Leaving) |
| 13:50:13 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 240 seconds) |
| 13:52:54 | × | drbean_ quits (~drbean@TC210-63-209-210.static.apol.com.tw) (Ping timeout: 245 seconds) |
| 13:52:56 | × | vchlup quits (~vchlup@nat.brnet.cz) (Ping timeout: 246 seconds) |
| 13:53:22 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 13:53:49 | → | bitmagie joins (~Thunderbi@200116b8066be600c105d5f373b248f4.dip.versatel-1u1.de) |
| 13:54:02 | <bone-baboon> | I am using Haskell with Cabal's new commands (ex. new-build) to build Haskell programs. In project <project-name>.cabal files I am using ghc-options: -Weverything -Werror. Is there a way to have Cabal execute GHC's type checking as well as the -Weverything -Werror but not compile the program? I am looking for a flag like `--no-compile`. |
| 13:54:15 | <bone-baboon> | I think this would be useful with a code watching setup that runs the checks and provides and notification about the success of the checks. Having a flag like `--no-compile` would provide faster feedback as it would not need to compile the program. |
| 13:55:07 | <Uniaika> | bone-baboon: ghcid |
| 13:55:21 | <Uniaika> | use this |
| 13:55:57 | <geekosaur> | -fno-code, but what you asked for is what ghcid already does |
| 13:57:04 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 245 seconds) |
| 13:57:24 | → | xenon- joins (~bc817c21@217.29.117.252) |
| 13:57:57 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 13:58:21 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 13:58:59 | <xenon-> | hi. how do I detect windows os using #ifdef? I found this on stackage, but it is several years old thread. #ifdef mingw32_HOST_OS |
| 14:00:00 | → | kayvan joins (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 14:00:57 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 14:01:27 | × | chris__ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 14:02:14 | × | garFF quits (~garff@0x3ec68c59.mobile.telia.dk) (Remote host closed the connection) |
| 14:02:57 | × | Guest16235 quits (~textual@zrcout.mskcc.org) (Quit: Textual IRC Client: www.textualapp.com) |
| 14:03:44 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 245 seconds) |
| 14:04:16 | → | Tario joins (~Tario@201.192.165.173) |
| 14:04:28 | × | kayvan quits (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 252 seconds) |
| 14:04:58 | <bone-baboon> | Uniaika: Thanks |
| 14:05:09 | <bone-baboon> | geekosaur: Thanks |
| 14:05:34 | <Uniaika> | xenon-: yeah I think it's the same |
| 14:05:55 | <xenon-> | is there nothing more generic than that? if, say, in the future, ghc switches from mingw to something else |
| 14:06:28 | <boxscape> | it looks like the hostname package uses `#ifdef WINDOWS` https://hackage.haskell.org/package/hostname-1.0/docs/src/Network-HostName.html , but I can't comment on whether or not that works |
| 14:07:03 | <boxscape> | ...that's also actually pretty old now that I look at it |
| 14:07:49 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 14:08:14 | → | Alleria joins (~textual@mskresolve-a.mskcc.org) |
| 14:08:17 | → | xkapastel joins (uid17782@gateway/web/irccloud.com/x-iktbyznnjwficzkj) |
| 14:08:37 | Alleria | is now known as Guest13341 |
| 14:09:36 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 14:10:20 | × | Rudd0^ quits (~Rudd0@185.189.115.108) (Ping timeout: 252 seconds) |
| 14:10:36 | <xenon-> | same definition is used in base, so I'll go with that. |
| 14:10:43 | <xenon-> | https://hackage.haskell.org/package/base-4.15.0.0/docs/src/System-IO.html |
| 14:11:13 | → | stree joins (~stree@68.36.8.116) |
| 14:11:14 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 14:11:27 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-liycltuwnvlxypmw) |
| 14:11:48 | <boxscape> | huh using #if defined() rather than #ifdef |
| 14:12:17 | <xenon-> | yeah I noticed that too |
| 14:13:01 | × | luke quits (~luke@bitnomial/staff/luke) (Quit: part) |
| 14:15:33 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 14:16:15 | → | ddellac__ joins (~ddellacos@86.106.143.215) |
| 14:16:26 | × | deviantfero quits (~deviantfe@190.150.27.58) (Ping timeout: 240 seconds) |
| 14:17:49 | → | badobb joins (abaolute@unaffiliated/badobb) |
| 14:18:01 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 14:18:36 | × | ukari quits (~ukari@unaffiliated/ukari) (Ping timeout: 260 seconds) |
| 14:19:29 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 14:19:54 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 14:20:40 | × | bitmagie quits (~Thunderbi@200116b8066be600c105d5f373b248f4.dip.versatel-1u1.de) (Quit: bitmagie) |
| 14:21:05 | × | ddellac__ quits (~ddellacos@86.106.143.215) (Ping timeout: 268 seconds) |
| 14:24:33 | × | kingswim quits (~kevinying@197.210.47.0) (Read error: Connection reset by peer) |
| 14:26:14 | → | kingswim joins (~kevinying@197.210.47.0) |
| 14:26:14 | × | gemmaro quits (~Thunderbi@240f:74:d1f0:1:1877:3fe9:fd3d:7976) (Ping timeout: 245 seconds) |
| 14:27:49 | → | sayola joins (~vekto@dslb-088-078-152-174.088.078.pools.vodafone-ip.de) |
| 14:28:59 | <xenon-> | (#ifdef WINDOWS does not work BTW, so that's probably something hostname package defined on its own) |
| 14:29:24 | <boxscape> | ah, interesting |
| 14:29:46 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 14:31:48 | × | Guest_27 quits (56f23588@lfbn-idf1-1-590-136.w86-242.abo.wanadoo.fr) (Quit: Connection closed) |
| 14:31:49 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 14:32:31 | → | Shuppiluliuma joins (~shuppilul@153.33.68.161) |
| 14:33:53 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 14:34:02 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 14:34:11 | × | neiluj quits (~jco@unaffiliated/neiluj) (Ping timeout: 252 seconds) |
| 14:34:48 | → | HannaM joins (~quassel@p54849510.dip0.t-ipconnect.de) |
| 14:34:50 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 14:36:01 | <absence> | if i have data Contrived = Yes | No, is it somehow possible to use the monoid instance for All with it (DerivingVia?), or would it have to be a newtype wrapper around Bool? |
| 14:38:28 | → | lightwave joins (~user@bras-vprn-nwmkon8540w-lp130-19-184-147-249-198.dsl.bell.ca) |
| 14:39:05 | → | mateusz joins (~mateusz@77-254-3-194.adsl.inetia.pl) |
| 14:39:06 | <lightwave> | Hello newbie here! How are you fine folks doing? |
| 14:39:11 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 14:39:24 | <mateusz> | fine, how are you? |
| 14:39:50 | <mniip> | absence, All is a newtype wrapper around Bool. You would have to somehow explain which value you want to be the empty one |
| 14:39:55 | <lightwave> | Doing fine. Enjoying learning Haskell so far |
| 14:40:00 | → | gemmaro joins (~Thunderbi@240f:74:d1f0:1:1bf:3730:3a54:b192) |
| 14:40:07 | <mniip> | what you can do is derive Ord and then derive monoid via Max or Min |
| 14:40:27 | <mniip> | deriving stock Ord will make Yes < No |
| 14:40:55 | <mniip> | deriving newtype Monoid via (Min Contrived) will make Yes <> x = Yes |
| 14:41:50 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 14:41:52 | <mateusz> | Is parametric polimorphism the only way to support multiple types inside single entry record? |
| 14:43:15 | <mniip> | type families? on top of parameteric polymorphism still |
| 14:43:15 | <Uniaika> | mateusz: I'm not sure I fully understand what you mean. Could you post some example code of what you're doing? |
| 14:43:34 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 14:44:21 | × | hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Quit: hendursaga) |
| 14:44:26 | <lightwave> | I'm playing with Haskell using GHC installed from GHCup, but I'm not able to import System.Random. Is it a module I have to install separately? |
| 14:44:33 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 14:44:54 | <geekosaur> | yes, from the package "random" |
| 14:45:12 | → | hendursaga joins (~weechat@gateway/tor-sasl/hendursaga) |
| 14:45:14 | <lightwave> | Ah... how do I install package? |
| 14:45:23 | <geekosaur> | using cabal |
| 14:45:53 | → | ddellac__ joins (~ddellacos@86.106.143.20) |
| 14:46:25 | → | chris___ joins (~chris@81.96.113.213) |
| 14:46:30 | <mateusz> | Uniaika, https://pastebin.com/45csJ7L0 |
| 14:46:59 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-czjyemaoaqihlnkl) |
| 14:47:00 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 14:47:43 | <boxscape> | data Vehicle = Car | Bike | Horse; data CustomType = { field :: String, polymorphicField :: Vehicle } |
| 14:47:49 | <mateusz> | but quick look on type families seems like this is the answer |
| 14:48:05 | <lightwave> | Is there a concept of global package in haskell/cabal so that I don't have to create a cabal project before I install the random package? |
| 14:48:41 | <mateusz> | oh, Car, Bike and Horse are types itselfes like: data Car = Bmw | Fiat; |
| 14:49:02 | <boxscape> | data Vehicle = VCar Car | VBike Bike | VHorse Horse |
| 14:49:06 | <boxscape> | not pretty but a common pattern |
| 14:49:41 | → | dyeplexer joins (~terpin@unaffiliated/terpin) |
| 14:50:42 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 14:50:50 | → | kayvan joins (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 14:51:15 | <mateusz> | thanks boxscape |
| 14:51:41 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Remote host closed the connection) |
| 14:52:04 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 14:52:35 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 14:52:52 | × | seliopou quits (seliopou@entropy.tmok.com) (Ping timeout: 252 seconds) |
| 14:53:45 | × | acidjnk_new quits (~acidjnk@p200300d0c72b9585d94a8a519d1af897.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 14:53:51 | <yushyin> | lightwave: https://cabal.readthedocs.io/en/3.4/cabal-commands.html?highlight=package-env#cabal-v2-install if not stated otherwise it uses a global default |
| 14:55:23 | <yushyin> | lightwave: note: on recent versions of cabal 'v2-install' is the same command as 'install' |
| 14:56:46 | <lightwave> | Thanks yushyin |
| 14:57:08 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 14:59:41 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 15:02:28 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 15:04:11 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 15:04:16 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 15:05:21 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 15:05:36 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Remote host closed the connection) |
| 15:05:51 | <absence> | mniip: interesting! thanks |
| 15:06:39 | × | juliagoda quits (~juliagoda@2a02:a31a:e13a:eb00:758f:d455:b475:46e4) (Quit: Leaving) |
| 15:08:04 | × | viluon quits (uid453725@gateway/web/irccloud.com/x-sfbwpdsukvhsninn) (Quit: Connection closed for inactivity) |
| 15:08:46 | × | xwvvvvwx quits (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) (Ping timeout: 260 seconds) |
| 15:09:19 | → | xwvvvvwx joins (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) |
| 15:10:32 | Guest25767 | is now known as shapr |
| 15:10:46 | × | shapr quits (~shapr@162.243.9.169) (Changing host) |
| 15:10:46 | → | shapr joins (~shapr@haskell/developer/shapr) |
| 15:13:09 | × | kayvan quits (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Remote host closed the connection) |
| 15:15:14 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 15:16:10 | → | guest5 joins (5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) |
| 15:17:26 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Ping timeout: 252 seconds) |
| 15:17:36 | <guest5> | hey guys im trying to get this function to work - https://paste.tomsmeding.com/g53ImtTT |
| 15:17:54 | × | lightwave quits (~user@bras-vprn-nwmkon8540w-lp130-19-184-147-249-198.dsl.bell.ca) (Ping timeout: 245 seconds) |
| 15:18:04 | <guest5> | which would call 'findCityandIndex' using a command like |
| 15:18:16 | → | seliopou joins (seliopou@entropy.tmok.com) |
| 15:18:41 | <guest5> | 'demo 2 = putStrLn(findCityAndIndex (City "Madrid" 2 testData))' |
| 15:18:53 | × | gemmaro quits (~Thunderbi@240f:74:d1f0:1:1bf:3730:3a54:b192) (Ping timeout: 250 seconds) |
| 15:19:39 | <guest5> | at the moment im getting the error - https://paste.tomsmeding.com/CAIsMEEv |
| 15:20:11 | <c_wraith> | well... you've said that findCityAndIndex takes a String and an Int, not a City |
| 15:20:16 | <c_wraith> | But you're passing a City to it |
| 15:20:40 | × | kingswim quits (~kevinying@197.210.47.0) (Read error: Connection reset by peer) |
| 15:20:42 | <boxscape> | guest5 the reason you're getting that error is because `((City n ) -> n == name)` should be `(\(City n) -> n == name)` |
| 15:22:03 | → | kingswim joins (~kevinying@197.210.47.0) |
| 15:22:48 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 15:24:01 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 15:24:04 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 15:25:07 | → | isovector joins (~isovector@172.103.216.166.cable.tpia.cipherkey.com) |
| 15:25:23 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 15:26:22 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 15:26:30 | → | proofofkeags joins (~proofofke@205.209.28.54) |
| 15:27:02 | × | mateusz quits (~mateusz@77-254-3-194.adsl.inetia.pl) (Remote host closed the connection) |
| 15:29:38 | <guest5> | I think im getting somewhere |
| 15:30:53 | <guest5> | this is the error im getting now I've updated the code |
| 15:31:44 | <guest5> | https://paste.tomsmeding.com/TNTvC5Pj - I think its to do with how im passing "Madrid" and 2 and testData to it |
| 15:31:55 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 15:32:18 | → | Tario joins (~Tario@201.192.165.173) |
| 15:32:34 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 15:32:42 | <boxscape> | guest5: you don't need the parentheses to parse multiple arguments, try findCityAndIndex "Madrid" 2 testData |
| 15:33:41 | × | kingswim quits (~kevinying@197.210.47.0) (Ping timeout: 240 seconds) |
| 15:33:53 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 15:34:07 | → | kingswim joins (~kevinying@197.210.47.0) |
| 15:34:09 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 15:34:40 | <boxscape> | s/parse/pass |
| 15:34:42 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 15:34:52 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 15:35:05 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 15:36:02 | → | neiluj joins (~jco@91-167-203-101.subs.proxad.net) |
| 15:36:08 | <guest5> | I've tried that and im getting a similar error - https://paste.tomsmeding.com/CPZdAoYU |
| 15:36:59 | × | chris___ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 15:37:16 | <guest5> | it is definitely to do with the demo 2 and those variables |
| 15:37:18 | <boxscape> | guest5 findCityAndIndex returns an integer, but putStrLn expects a String. You can use `print` instead of `putStrLn` to print anything printable rather than just Strings |
| 15:37:37 | <guest5> | ahhhh |
| 15:38:19 | <guest5> | you're a legend my friend |
| 15:38:22 | <boxscape> | :) |
| 15:39:30 | → | chris__ joins (~chris@81.96.113.213) |
| 15:39:59 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 245 seconds) |
| 15:40:49 | × | neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Client Quit) |
| 15:41:11 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 15:44:17 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1) |
| 15:44:22 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 15:44:51 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 15:46:55 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 15:48:39 | × | xwvvvvwx quits (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) (Ping timeout: 268 seconds) |
| 15:49:03 | → | geekosaur joins (45870322@069-135-003-034.biz.spectrum.com) |
| 15:49:19 | → | Ishutin_ joins (~ishutin@85-238-93-79.pool.digikabel.hu) |
| 15:49:36 | × | ddellac__ quits (~ddellacos@86.106.143.20) (Ping timeout: 260 seconds) |
| 15:50:21 | → | xwvvvvwx joins (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) |
| 15:50:46 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 15:51:27 | → | prasanth joins (74486d8f@116.72.109.143) |
| 15:51:44 | × | prasanth quits (74486d8f@116.72.109.143) (Client Quit) |
| 15:51:54 | × | Ishutin quits (~ishutin@94-21-157-151.pool.digikabel.hu) (Ping timeout: 252 seconds) |
| 15:52:15 | → | prasanth joins (74486d8f@116.72.109.143) |
| 15:53:04 | × | alphabeta1 quits (~kilolympu@5.151.5.177) (Read error: Connection reset by peer) |
| 15:53:43 | × | chris__ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 15:55:34 | <prasanth> | Hi I was trying out pascals triangle in haskell and I wrote this https://paste.tomsmeding.com/8LDQz9zJ and got error, I cannot seem to understand what went wrong but if I do this https://paste.tomsmeding.com/jEzUy10N it works |
| 15:55:42 | × | geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Quit: Ping timeout (120 seconds)) |
| 15:56:29 | → | ep1ctetus joins (~epictetus@rrcs-74-62-210-123.west.biz.rr.com) |
| 15:56:43 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 15:56:44 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 15:57:49 | → | geekosaur joins (45870322@069-135-003-034.biz.spectrum.com) |
| 15:58:00 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 15:58:21 | <monochrom> | Perhaps it means you need parentheses after all, and "$ is for avoiding parentheses" isn't true? |
| 15:58:42 | × | isovector quits (~isovector@172.103.216.166.cable.tpia.cipherkey.com) (Ping timeout: 265 seconds) |
| 15:58:58 | → | chris__ joins (~chris@81.96.113.213) |
| 15:59:12 | <monochrom> | You can use ":info :" and ":info $" to see operator precedence. Or ":info : $" if you don't mind all of it in one go. |
| 16:00:22 | × | xwvvvvwx quits (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) (Ping timeout: 268 seconds) |
| 16:00:36 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 16:00:42 | <monochrom> | "buildRow n (r - 1) : show (binomial n r)" would have been perfect. |
| 16:00:59 | → | poljar joins (~poljar@93-141-135-207.adsl.net.t-com.hr) |
| 16:01:04 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 16:01:11 | <monochrom> | Obsession with $ would XY-problem into "buildRow n (r - 1) : (show $ binomial n r)" which is like the worst of both worlds. |
| 16:01:20 | → | xwvvvvwx joins (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) |
| 16:01:56 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) |
| 16:03:08 | × | chris__ quits (~chris@81.96.113.213) (Ping timeout: 246 seconds) |
| 16:03:59 | → | gnomus joins (~gnomus@185.169.233.10) |
| 16:06:43 | <prasanth> | I don't think that brackets are the problem, I tried some things in gchi and found something weird this works "1": ["2"] but ["1"] : "2" this throws a similar kind of error to what I am getting |
| 16:08:01 | → | isovector joins (~isovector@172.103.216.166) |
| 16:08:15 | <boxscape> | prasanth : is used to add a single element to the beginning of a list. if you have a list of strings like ["foo", "bar"], you can use : to add an element like this: "str" : ["foo", "bar"] |
| 16:09:30 | <prasanth> | yeah, I changed my code accordingly and it works, thanks guys |
| 16:09:34 | <boxscape> | Strings are somwhat confusing here because they are lists of characters, so you can also add a single character to the beginning of a string, as in 'h' : "ello", which results in "hello". But note the difference between single and double quotes. |
| 16:10:29 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 16:12:57 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 16:13:25 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 16:14:39 | × | prasanth quits (74486d8f@116.72.109.143) (Quit: Connection closed) |
| 16:15:13 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 252 seconds) |
| 16:16:34 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 16:17:33 | × | ystael quits (~ystael@209.6.50.55) (Ping timeout: 265 seconds) |
| 16:17:58 | → | fresheyeball joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net) |
| 16:17:59 | × | Adluc quits (~Adluc@83.167.228.130) (Remote host closed the connection) |
| 16:18:26 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 16:19:02 | → | Adluc joins (~Adluc@83.167.228.130) |
| 16:19:03 | → | ystael joins (~ystael@209.6.50.55) |
| 16:19:17 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 16:21:41 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 16:22:03 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 16:22:08 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 16:23:48 | × | ystael quits (~ystael@209.6.50.55) (Ping timeout: 252 seconds) |
| 16:24:21 | × | kuribas quits (~user@ptr-25vy0i97aequnpt08mb.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 16:24:41 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 16:24:43 | → | ystael joins (~ystael@209.6.50.55) |
| 16:24:53 | × | muttonmitten quits (~muttonmit@unaffiliated/muttonmitten) (Quit: leaving) |
| 16:25:16 | × | kingswim quits (~kevinying@197.210.47.0) (Read error: Connection reset by peer) |
| 16:26:12 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 16:26:26 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 16:26:54 | → | kingswim joins (~kevinying@197.210.47.0) |
| 16:27:23 | → | Uter joins (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) |
| 16:27:35 | ← | Uter parts (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) () |
| 16:29:38 | → | tricklynch joins (~tricklync@216-180-94-57.starry-inc.net) |
| 16:30:01 | × | boxscape quits (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) (Quit: Connection closed) |
| 16:31:23 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 16:32:14 | → | stree joins (~stree@68.36.8.116) |
| 16:34:49 | → | ddellac__ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 16:36:05 | → | Uter joins (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) |
| 16:36:18 | <Uter> | Take a genetics test to see if you are black... |
| 16:36:30 | ← | Uter parts (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) () |
| 16:37:04 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 16:37:32 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 16:37:35 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 16:38:15 | <guest5> | anyone have any idea why this code is outputting the data but instead of breaking the lines at "\n" is just printing out \n? |
| 16:38:22 | <guest5> | https://paste.tomsmeding.com/czvDkRaL |
| 16:38:55 | <guest5> | this is the output - https://paste.tomsmeding.com/GatsSjlU |
| 16:40:16 | <lyxia> | because print uses show which turns all nonprintable characters to escape sequences |
| 16:40:38 | <lyxia> | use putStrLn |
| 16:40:40 | <guest5> | ahh, so putStrLn will word |
| 16:40:46 | <guest5> | got you, thanks |
| 16:41:14 | → | Uter joins (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) |
| 16:41:16 | <Uter> | https://www.youtube.com/watch?v=yaS5VIGsS0E |
| 16:41:25 | × | Uter quits (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) (Client Quit) |
| 16:42:11 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 16:43:03 | × | xff0x quits (~xff0x@2001:1a81:52b5:6000:f0a6:872b:1338:809f) (Ping timeout: 260 seconds) |
| 16:44:20 | × | isovector quits (~isovector@172.103.216.166) (Ping timeout: 252 seconds) |
| 16:44:51 | → | xff0x joins (~xff0x@2001:1a81:52d0:2800:727d:1405:3867:9cdc) |
| 16:45:01 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds) |
| 16:46:01 | × | kingswim quits (~kevinying@197.210.47.0) (Ping timeout: 252 seconds) |
| 16:46:26 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 16:47:44 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 16:48:22 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 16:48:53 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 16:50:07 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) |
| 16:51:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 16:51:22 | → | neiluj joins (~jco@91-167-203-101.subs.proxad.net) |
| 16:51:22 | × | neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Changing host) |
| 16:51:22 | → | neiluj joins (~jco@unaffiliated/neiluj) |
| 16:51:54 | × | tricklynch quits (~tricklync@216-180-94-57.starry-inc.net) (Quit: Quit) |
| 16:53:25 | → | Uter joins (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) |
| 16:53:37 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 16:54:03 | × | guest5 quits (5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) (Ping timeout: 240 seconds) |
| 16:54:07 | → | mxu joins (~user@ip5b40dfb7.dynamic.kabel-deutschland.de) |
| 16:54:17 | <Uter> | Take a genetics test to see if you're black. Some of these white people have black genes... |
| 16:54:22 | → | ddellaco_ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 16:54:24 | × | Uter quits (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) (Client Quit) |
| 16:56:28 | → | Uter joins (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) |
| 16:56:31 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 16:56:36 | <Uter> | https://www.youtube.com/watch?v=Yurel80x_wA |
| 16:56:47 | × | ddellac__ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 16:56:54 | × | Uter quits (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) (Client Quit) |
| 16:58:08 | → | ddellac__ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 16:58:26 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 246 seconds) |
| 16:59:07 | × | ddellaco_ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 17:00:58 | ChanServ | sets mode +o monochrom |
| 17:01:18 | monochrom | sets mode +b *!467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118 |
| 17:03:10 | monochrom | sets mode -o monochrom |
| 17:05:52 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 240 seconds) |
| 17:06:08 | → | Lycurgus joins (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) |
| 17:06:08 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 246 seconds) |
| 17:10:23 | × | geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Ping timeout: 240 seconds) |
| 17:10:54 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 17:11:49 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 17:12:25 | → | boxscape joins (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) |
| 17:12:26 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 246 seconds) |
| 17:12:32 | → | danso joins (~dan@modemcable156.91-20-96.mc.videotron.ca) |
| 17:13:15 | <boxscape> | I wonder if it would be feasible to allow ghci to import local definitions, as long as they could be floated to the top level |
| 17:13:22 | <boxscape> | seems like it would be extremely useful |
| 17:13:48 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 17:14:15 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 17:14:56 | × | robotmay quits (~beepboop@2001:8b0:7af0:2580:f0c2:ac37:d419:2dbf) (Remote host closed the connection) |
| 17:15:11 | <boxscape> | though it gets a bit murky when you think about how it works when you go more than one level deep... |
| 17:15:15 | → | Scorpions joins (Scorpions@2401:4900:52f9:e8a4:81ee:3b13:8c19:6a32) |
| 17:16:03 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1) |
| 17:16:14 | → | robotmay joins (~beepboop@2001:8b0:7af0:2580:817:9e04:8c77:45e2) |
| 17:16:23 | → | poljar1 joins (~poljar@78-2-35-208.adsl.net.t-com.hr) |
| 17:16:50 | → | guest5 joins (5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) |
| 17:16:50 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 268 seconds) |
| 17:16:58 | <mxu> | |
| 17:16:58 | <mxu> | Hi, I am currently on the search for a haskell library for symbolic math, something like https://github.com/JuliaSymbolics/SymbolicUtils.jl for julia. |
| 17:16:59 | <mxu> | Which allows, aside from "polynomial terms with simplification", the definition of custom function symbols and rewrite rules for them. |
| 17:16:59 | <mxu> | |
| 17:17:01 | <mxu> | There doesn't seem to be quite such a library, but maybe someone here knows something what google doesn't? |
| 17:19:55 | × | poljar quits (~poljar@93-141-135-207.adsl.net.t-com.hr) (Ping timeout: 268 seconds) |
| 17:20:26 | <guest5> | I have a function that converts a list of ints to a string, is there a way I could divide each integer by a thousand? this would turn it into a float |
| 17:20:50 | <guest5> | each integer is a number in thousands so 1324 is actually 1324000 |
| 17:21:09 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 17:21:11 | <guest5> | and I want to output it as 1.324, all to 3dmp |
| 17:21:23 | <guest5> | this is what ive got so far - https://paste.tomsmeding.com/QpGJvpdo |
| 17:21:29 | <guest5> | it just converts the ints to string |
| 17:21:46 | × | stree quits (~stree@68.36.8.116) (Quit: Caught exception) |
| 17:21:55 | → | Deide joins (~Deide@217.155.19.23) |
| 17:22:10 | → | stree joins (~stree@68.36.8.116) |
| 17:23:05 | → | geekosaur joins (45870322@069-135-003-034.biz.spectrum.com) |
| 17:25:31 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 17:25:59 | <Lycurgus> | mxu: ftr, you can find that query responded to multiple times in the log for this channel |
| 17:26:04 | <monochrom> | replace "show x" by "show (div x 100)"? |
| 17:26:24 | <monochrom> | and of course s/100/1000/ |
| 17:26:44 | → | ddellaco_ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 17:27:44 | <monochrom> | OK sorry, I was not doing floats. |
| 17:28:07 | <guest5> | yeah that works it just doesn't go to float |
| 17:29:28 | <monochrom> | import Numeric. listToString (x : xs) = showFFloat (Just 3) (fromIntegral x / 1000) (listToString xs) |
| 17:30:21 | → | chimera joins (~chimera@120-192-113-92.pool.ukrtel.net) |
| 17:31:14 | × | ddellaco_ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds) |
| 17:31:41 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 17:32:06 | <monochrom> | oh oops, forgot the space. |
| 17:32:29 | <monochrom> | err more problem than that. |
| 17:33:08 | <monochrom> | listToString (x : xs) = showFFloat (Just 3) (fromIntegral x / 1000) (" " ++ listToString xs) |
| 17:34:19 | <guest5> | when I say hero |
| 17:34:27 | <guest5> | I cannot thank you enough |
| 17:34:46 | <monochrom> | :) |
| 17:35:54 | <guest5> | that worked so well, is there a way to use printf with it so they'd line up? |
| 17:36:20 | <guest5> | like printf %+10s% showFFloat (Just 3) (fromIntegral x / 1000) (" " ++ listToString XS) |
| 17:36:54 | <monochrom> | printf is in Text.Printf. With printf you won't need Numeric's showFFloat |
| 17:37:33 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 17:38:08 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 17:39:27 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Max SendQ exceeded) |
| 17:40:09 | <guest5> | okay, thank you so much |
| 17:40:58 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 17:42:03 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 17:42:22 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 17:42:36 | → | chris__ joins (~chris@81.96.113.213) |
| 17:42:46 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 17:43:52 | × | chris__ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 17:43:59 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving) |
| 17:44:09 | × | Lycurgus quits (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 17:44:53 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 17:46:38 | → | sphi joins (~sphi@unaffiliated/sphi) |
| 17:47:24 | → | a6a45081-2b83 joins (~aditya@27.58.160.217) |
| 17:48:33 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 17:48:58 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 17:50:52 | → | mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl) |
| 17:50:52 | × | mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 17:50:52 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 17:51:30 | <mxu> | Lycurgus: Thanks, I will look through the logs. But if we are already at it, is there a better method than downloading them from http://tunes.org/~nef/logs/haskell/ ? |
| 17:52:04 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 17:52:05 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 17:53:19 | × | ddellac__ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 17:53:43 | × | a6a45081-2b83 quits (~aditya@27.58.160.217) (Quit: Konversation terminated!) |
| 17:53:59 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 17:54:08 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 17:54:29 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 17:54:30 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 17:55:26 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 17:57:04 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 17:57:44 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 17:59:10 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds) |
| 17:59:26 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 17:59:31 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 17:59:58 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 18:01:22 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 18:02:02 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 18:02:51 | → | aiken joins (~aiken@76.2.143.150.dyn.plus.net) |
| 18:03:33 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 18:03:44 | × | mxu quits (~user@ip5b40dfb7.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 18:04:15 | × | jespada quits (~jespada@90.254.244.151) (Quit: Leaving) |
| 18:04:37 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 18:05:45 | × | slack1256 quits (~slack1256@191.125.166.131) (Remote host closed the connection) |
| 18:05:49 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds) |
| 18:06:09 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Max SendQ exceeded) |
| 18:06:53 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 18:07:02 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 18:07:04 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 18:08:22 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) |
| 18:09:03 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 18:09:04 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Max SendQ exceeded) |
| 18:09:34 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 18:10:31 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 18:11:35 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) (Client Quit) |
| 18:12:04 | ← | heck-to-the-gnom parts (heck-to-th@gateway/shell/matrix.org/x-dkeyhpdeslcfjwpp) ("User left") |
| 18:13:33 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 18:13:43 | × | guest5 quits (5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) (Ping timeout: 240 seconds) |
| 18:14:10 | → | knupfer joins (~Thunderbi@200116b82bc56d00fdb13f5931a68ceb.dip.versatel-1u1.de) |
| 18:14:13 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 18:18:02 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-qvhnnxxbarmvcrtm) |
| 18:18:21 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:fb4d:5a47:92ec:2ac2) |
| 18:18:33 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 18:19:00 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 18:20:33 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 240 seconds) |
| 18:20:45 | → | wallymathieu joins (~textual@81-234-151-21-no94.tbcn.telia.com) |
| 18:22:53 | × | ozzymcduff quits (~textual@81-234-151-21-no94.tbcn.telia.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 18:22:53 | × | wallymathieu quits (~textual@81-234-151-21-no94.tbcn.telia.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 18:23:03 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 18:23:22 | → | ozzymcduff joins (~ozzymcduf@81-234-151-21-no94.tbcn.telia.com) |
| 18:23:38 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 18:23:45 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 18:24:33 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 18:26:39 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 18:26:39 | × | ppmdo quits (~ppmdo@2a01:c22:7603:3800:c202:4cae:c828:a84e) (Ping timeout: 260 seconds) |
| 18:27:06 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 18:27:57 | → | ppmdo joins (~ppmdo@2a01:c22:7a40:9a00:2078:e48:f536:b045) |
| 18:30:15 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 18:30:33 | × | p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 240 seconds) |
| 18:30:33 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 18:30:34 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 18:30:44 | × | Scorpions quits (Scorpions@2401:4900:52f9:e8a4:81ee:3b13:8c19:6a32) (Quit: Leaving) |
| 18:31:30 | → | p8m joins (p8m@gateway/vpn/protonvpn/p8m) |
| 18:31:44 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 18:32:08 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 18:33:07 | × | dyeplexer quits (~terpin@unaffiliated/terpin) (Remote host closed the connection) |
| 18:35:02 | × | shailangsa quits (~shailangs@host165-120-169-24.range165-120.btcentralplus.com) (Ping timeout: 246 seconds) |
| 18:35:16 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 18:37:05 | <sphi> | https://pastebin.com/nM64mXzw |
| 18:37:25 | <sphi> | can anyone help me with lines 57-61 ? |
| 18:37:45 | <sphi> | i've overloaded strings, but still it wont typecheck unless i T.pack each literal |
| 18:38:06 | × | Aquazi quits (uid312403@gateway/web/irccloud.com/x-iqwgqsgfaxvsrekg) (Quit: Connection closed for inactivity) |
| 18:38:44 | × | p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 252 seconds) |
| 18:38:58 | → | ddellac__ joins (~ddellacos@86.106.143.137) |
| 18:40:08 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 18:40:29 | → | p8m joins (p8m@gateway/vpn/protonvpn/p8m) |
| 18:40:42 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 18:42:04 | × | knupfer quits (~Thunderbi@200116b82bc56d00fdb13f5931a68ceb.dip.versatel-1u1.de) (Ping timeout: 245 seconds) |
| 18:42:06 | → | hi joins (cdfbe9b3@205.251.233.179) |
| 18:42:19 | <lyxia> | sphi: what error do you get |
| 18:42:23 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-soowutbnfvimotcf) (Quit: Connection closed for inactivity) |
| 18:42:56 | <sphi> | lyxia: cant match string / [char] with Text |
| 18:43:10 | <sphi> | literals seem to be taken as string |
| 18:43:41 | <lyxia> | sphi: are you sure you didn't remove the T.pack on the "show" expression, which is not a literal |
| 18:43:57 | × | ddellac__ quits (~ddellacos@86.106.143.137) (Ping timeout: 260 seconds) |
| 18:44:01 | × | hi quits (cdfbe9b3@205.251.233.179) (Quit: Connection closed) |
| 18:44:05 | <sphi> | lyxia: it works fine, what i've pasted |
| 18:44:18 | <lyxia> | can you paste the code that does not work |
| 18:44:22 | <sphi> | i was just wondering if there is a way to remove all those T.packs |
| 18:44:49 | <sphi> | lyxia: ah, ok, wait a sec. |
| 18:44:55 | <lyxia> | AFAICT you can remove all of them except one |
| 18:47:19 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:47:39 | <sphi> | lyxia: you are... |
| 18:47:42 | <sphi> | right |
| 18:48:29 | <sphi> | funny. that's what i thought i could do, but when i ran it. type errors, type errors everywhere. i just ran again and it worked... wtf? |
| 18:48:35 | × | ppmdo quits (~ppmdo@2a01:c22:7a40:9a00:2078:e48:f536:b045) (Ping timeout: 260 seconds) |
| 18:50:27 | <lyxia> | yeah, weird stuff happens |
| 18:52:06 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 18:52:29 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 18:52:43 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 18:57:14 | → | knupfer joins (~Thunderbi@200116b82bc56d00a029beefcb04ea03.dip.versatel-1u1.de) |
| 19:01:03 | → | shailangsa joins (~shailangs@host86-186-191-113.range86-186.btcentralplus.com) |
| 19:01:04 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-liycltuwnvlxypmw) (Quit: Connection closed for inactivity) |
| 19:01:16 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 19:01:31 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Ping timeout: 260 seconds) |
| 19:04:51 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 19:07:15 | → | TK__ joins (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c) |
| 19:07:43 | × | shailangsa quits (~shailangs@host86-186-191-113.range86-186.btcentralplus.com) (Read error: Connection reset by peer) |
| 19:08:46 | × | elliott_ quits (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 19:10:35 | → | elliott_ joins (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
| 19:12:22 | → | ddellac__ joins (~ddellacos@86.106.143.59) |
| 19:15:17 | × | curiousgay quits (~gay@178.217.208.8) (Ping timeout: 246 seconds) |
| 19:16:18 | → | chris__ joins (~chris@81.96.113.213) |
| 19:17:21 | × | ddellac__ quits (~ddellacos@86.106.143.59) (Ping timeout: 265 seconds) |
| 19:18:08 | → | curiousgay joins (~gay@178.217.208.8) |
| 19:19:46 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 265 seconds) |
| 19:25:22 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 19:26:12 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 19:29:07 | × | xenon- quits (~bc817c21@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout)) |
| 19:29:47 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 19:30:39 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 19:34:08 | → | shailangsa joins (~shailangs@host86-186-191-113.range86-186.btcentralplus.com) |
| 19:36:12 | × | ep1ctetus quits (~epictetus@rrcs-74-62-210-123.west.biz.rr.com) (Ping timeout: 268 seconds) |
| 19:37:05 | → | ep1ctetus joins (~epictetus@rrcs-74-62-210-123.west.biz.rr.com) |
| 19:37:24 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 19:37:26 | × | juri_ quits (~juri@178.63.35.222) (Remote host closed the connection) |
| 19:39:12 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 19:41:18 | × | lawid quits (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) (Quit: lawid) |
| 19:41:47 | × | nvmd quits (~nvmd@177.30.111.232) (Quit: Later nerds.) |
| 19:43:13 | → | stree joins (~stree@68.36.8.116) |
| 19:44:19 | × | sphi quits (~sphi@unaffiliated/sphi) (Remote host closed the connection) |
| 19:46:13 | → | ddellac__ joins (~ddellacos@86.106.143.100) |
| 19:47:48 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 19:51:06 | × | ddellac__ quits (~ddellacos@86.106.143.100) (Ping timeout: 260 seconds) |
| 19:51:07 | → | sanchess joins (~sanchess@bl6-198-42.dsl.telepac.pt) |
| 19:52:55 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 19:53:34 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 19:55:25 | ← | sanchess parts (~sanchess@bl6-198-42.dsl.telepac.pt) () |
| 19:56:47 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 19:57:29 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 245 seconds) |
| 20:00:12 | × | ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 20:00:41 | → | phaul joins (~phaul@ruby/staff/phaul) |
| 20:00:57 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Ping timeout: 260 seconds) |
| 20:01:49 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 20:02:11 | × | oxide quits (~lambda@unaffiliated/mclaren) (Ping timeout: 260 seconds) |
| 20:02:25 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 20:03:17 | × | ggVGc quits (~ggVGc@a.lowtech.earth) (Changing host) |
| 20:03:17 | → | ggVGc joins (~ggVGc@unaffiliated/walt) |
| 20:04:36 | × | tsaka__ quits (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 246 seconds) |
| 20:08:44 | → | oxide joins (~lambda@unaffiliated/mclaren) |
| 20:09:50 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 20:10:13 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 20:10:34 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 20:11:37 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 20:13:07 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 20:16:09 | → | viluon joins (uid453725@gateway/web/irccloud.com/x-ooryghxdatknmzqr) |
| 20:18:26 | × | gnomus quits (~gnomus@185.169.233.10) (Remote host closed the connection) |
| 20:18:30 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 20:22:55 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 20:24:48 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 20:24:57 | × | p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Remote host closed the connection) |
| 20:28:27 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 20:28:59 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 20:29:36 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 20:31:21 | → | falafel joins (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) |
| 20:32:04 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 245 seconds) |
| 20:33:06 | × | chomwitt quits (~alexander@2a02:587:dc0e:4e00:38f4:60b0:4dbb:46) (Remote host closed the connection) |
| 20:34:01 | → | tlyu joins (~tlyu@138.199.47.158) |
| 20:36:37 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9577d94a8a519d1af897.dip0.t-ipconnect.de) |
| 20:36:50 | × | zyeri quits (zyeri@tilde.team/users/zyeri) (Quit: ZNC 1.8.1 - https://znc.in) |
| 20:37:53 | × | ozzymcduff quits (~ozzymcduf@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 20:37:53 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 20:38:15 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 20:38:25 | → | ozzymcduff joins (~ozzymcduf@81-234-151-21-no94.tbcn.telia.com) |
| 20:38:26 | × | ozzymcduff quits (~ozzymcduf@81-234-151-21-no94.tbcn.telia.com) (Client Quit) |
| 20:39:10 | → | juri_ joins (~juri@178.63.35.222) |
| 20:39:38 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 20:39:51 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 20:41:18 | × | geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Quit: Ping timeout (120 seconds)) |
| 20:41:28 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 20:43:25 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 20:43:56 | → | geekosaur joins (45870322@069-135-003-034.biz.spectrum.com) |
| 20:45:05 | → | hexfive joins (~hexfive@50.35.83.177) |
| 20:45:51 | → | p8m joins (p8m@gateway/vpn/protonvpn/p8m) |
| 20:46:32 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 240 seconds) |
| 20:47:04 | → | zyeri joins (zyeri@gateway/shell/tilde.team/x-dsqnvnrhfkgunaho) |
| 20:47:04 | × | zyeri quits (zyeri@gateway/shell/tilde.team/x-dsqnvnrhfkgunaho) (Changing host) |
| 20:47:04 | → | zyeri joins (zyeri@tilde.team/users/zyeri) |
| 20:48:12 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 20:48:50 | × | conal_ quits (~conal@64.71.133.70) (Read error: Connection reset by peer) |
| 20:51:02 | → | conal joins (~conal@64.71.133.70) |
| 20:52:05 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 20:52:33 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 20:53:19 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 20:53:23 | × | aiken quits (~aiken@76.2.143.150.dyn.plus.net) (Disconnected by services) |
| 20:53:47 | → | aiken joins (~aiken@76.2.143.150.dyn.plus.net) |
| 20:54:26 | × | aiken quits (~aiken@76.2.143.150.dyn.plus.net) (Disconnected by services) |
| 20:54:51 | → | aiken joins (~aiken@76.2.143.150.dyn.plus.net) |
| 20:54:52 | → | ppmdo joins (~ppmdo@46.183.103.17) |
| 20:55:31 | × | aiken quits (~aiken@76.2.143.150.dyn.plus.net) (Disconnected by services) |
| 20:55:51 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 20:55:54 | → | aiken joins (~aiken@76.2.143.150.dyn.plus.net) |
| 20:56:39 | × | Guest13341 quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 245 seconds) |
| 20:56:56 | → | ddellac__ joins (~ddellacos@86.106.143.72) |
| 20:57:13 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 20:57:14 | aiken | is now known as Guest738 |
| 20:57:14 | × | Guest738 quits (~aiken@76.2.143.150.dyn.plus.net) (Killed (karatkievich.freenode.net (Nickname regained by services))) |
| 20:57:38 | → | Guest738 joins (~aiken@76.2.143.150.dyn.plus.net) |
| 20:57:43 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 20:58:17 | → | alexander joins (~alexander@2a02:587:dc0e:4e00:b99e:844c:2855:e92a) |
| 20:58:46 | alexander | is now known as Guest71106 |
| 20:59:06 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 20:59:50 | → | tsaka__ joins (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
| 21:00:49 | × | ep1ctetus quits (~epictetus@rrcs-74-62-210-123.west.biz.rr.com) (Ping timeout: 245 seconds) |
| 21:01:09 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 21:01:14 | × | ddellac__ quits (~ddellacos@86.106.143.72) (Ping timeout: 245 seconds) |
| 21:02:29 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 21:03:12 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) |
| 21:04:55 | × | hexfive quits (~hexfive@50.35.83.177) (Quit: i must go. my people need me.) |
| 21:07:02 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 21:09:27 | × | knupfer quits (~Thunderbi@200116b82bc56d00a029beefcb04ea03.dip.versatel-1u1.de) (Ping timeout: 250 seconds) |
| 21:10:55 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 21:11:25 | → | Alleria joins (~textual@2603-7000-3040-0000-506c-ff9b-4211-af98.res6.spectrum.com) |
| 21:11:48 | Alleria | is now known as Guest22204 |
| 21:11:59 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 21:12:16 | × | carldd quits (~carldd@90-224-49-113-no56.tbcn.telia.com) (Read error: Connection reset by peer) |
| 21:12:25 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 21:12:56 | → | carldd joins (~carldd@90-224-49-113-no56.tbcn.telia.com) |
| 21:13:32 | × | Guest738 quits (~aiken@76.2.143.150.dyn.plus.net) (Quit: Leaving) |
| 21:13:43 | × | Guest71106 quits (~alexander@2a02:587:dc0e:4e00:b99e:844c:2855:e92a) (Ping timeout: 260 seconds) |
| 21:14:04 | × | geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Quit: Connection closed) |
| 21:14:23 | → | geekosaur joins (45870322@069-135-003-034.biz.spectrum.com) |
| 21:15:49 | × | Guest22204 quits (~textual@2603-7000-3040-0000-506c-ff9b-4211-af98.res6.spectrum.com) (Ping timeout: 245 seconds) |
| 21:18:23 | × | tsaka__ quits (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 260 seconds) |
| 21:22:21 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 21:25:33 | × | mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 21:27:27 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 21:29:11 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 21:30:57 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 21:31:05 | × | z88 quits (~z88@82.85-87-220.dynamic.clientes.euskaltel.es) (Ping timeout: 246 seconds) |
| 21:31:11 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 21:31:27 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 21:34:11 | <Andriamanitra> | i hate that there's only one read function that handles million different types and then type inference can't do its job and i get compilation errors |
| 21:34:25 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-epzdtnoswnmmefnx) (Quit: Connection closed for inactivity) |
| 21:34:33 | <Andriamanitra> | frustration: rising |
| 21:34:50 | <c_wraith> | in general you shouldn't be using read anyway... |
| 21:35:19 | <Andriamanitra> | what's the good way to read user inputs into integers then? |
| 21:35:52 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 21:36:00 | → | bitmagie joins (~Thunderbi@200116b8066be600c105d5f373b248f4.dip.versatel-1u1.de) |
| 21:36:03 | <Andriamanitra> | (the input is guaranteed to be well formed, so i don't care about error handling) |
| 21:36:19 | → | J_ joins (9b04de74@h-155-4-222-116.NA.cust.bahnhof.se) |
| 21:38:27 | → | inkbottle[m] joins (inkbottlem@gateway/shell/matrix.org/x-kjnrrszdshqslixw) |
| 21:39:47 | <Iceland_jack> | Andriamanitra: Specifying a type is the same with any approach, I suggest you use the -XTypeApplications extension: read @[Int] :: String -> [Int] |
| 21:40:17 | <Iceland_jack> | The difficulty lies in the polymorphic return type which is not determined by any visible argument |
| 21:40:34 | × | J_ quits (9b04de74@h-155-4-222-116.NA.cust.bahnhof.se) (Client Quit) |
| 21:40:49 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 245 seconds) |
| 21:40:56 | → | xenon- joins (~bc817c21@217.29.117.252) |
| 21:41:14 | × | ppmdo quits (~ppmdo@46.183.103.17) (Ping timeout: 245 seconds) |
| 21:41:15 | <Iceland_jack> | We don't have that capability, but the type should be a visible argument to those kinds of functions |
| 21:42:06 | × | DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Read error: Connection reset by peer) |
| 21:42:10 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 21:44:31 | <monochrom> | (read xxx :: [Int]) would work for me. |
| 21:45:10 | <Andriamanitra> | i think i tried something like that but maybe i had the type or parens in the wrong place |
| 21:45:18 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 21:45:31 | <geekosaur> | or (read :: String -> [Int]) |
| 21:45:34 | <monochrom> | To be sure, (readMaybe xxx :: Maybe [Int]) would be annoying enough, but you are emphatically not in this case. |
| 21:45:44 | <c_wraith> | I do occasionally use read for Int/Integer, but always as part of parsing into domain types that specify what they actually contain, so inference is kept local and doesn't get messed up by refactoring. |
| 21:46:31 | <monochrom> | In reality I don't need to write (read xxx :: [Int]). |
| 21:47:05 | <monochrom> | I write "f (read xxx)" but f already enjoys a handwritten type sig "f :: [Int] -> Bool" so it all works out very nicely. |
| 21:48:10 | <Andriamanitra> | coming from dynamic languages i'm just used to running code frequently and printing everything to see what i have, and print is obviously another function that takes just whatever |
| 21:48:15 | × | xwvvvvwx quits (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 21:48:20 | <monochrom> | or "case readMaybe xxx of Nothing -> ... ; Just ys -> f ys" |
| 21:48:34 | <monochrom> | Debug.Trace |
| 21:48:52 | <c_wraith> | Eh, Debug.Trace is solving a different problem. |
| 21:49:01 | → | xwvvvvwx joins (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) |
| 21:49:06 | <monochrom> | http://www.vex.net/~trebla/haskell/tracing.html |
| 21:49:07 | <c_wraith> | The problem here is having no clue what type your values are. |
| 21:49:20 | <c_wraith> | Which is a deep problem, because types come before values in Haskell |
| 21:49:52 | <monochrom> | My "Debug.Trace" was answering "printing everything to see what i have" |
| 21:50:12 | <Andriamanitra> | but doesn't the code first needs to compile before it can be debugged |
| 21:50:15 | <c_wraith> | but the problem wasn't "IO everywhere" it was "can't infer read constraints" |
| 21:50:32 | <monochrom> | -fdefer-type-errors |
| 21:51:07 | <monochrom> | To be sure it doesn't defer "if ... then True else 5" |
| 21:51:16 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 21:51:25 | <monochrom> | But there is always "undefined" as a stub. |
| 21:51:58 | <monochrom> | "if True then True else undefined" allows you to test one branch right away. |
| 21:52:44 | <monochrom> | or s/undefined/error "TODO"/ if you like |
| 21:53:17 | × | bitmagie quits (~Thunderbi@200116b8066be600c105d5f373b248f4.dip.versatel-1u1.de) (Quit: bitmagie) |
| 21:54:14 | → | Alleria__ joins (~textual@2603-7000-3040-0000-506c-ff9b-4211-af98.res6.spectrum.com) |
| 21:54:19 | <monochrom> | -fdefer-type-errors is so deep that if you have "if True then True else f 10" and you haven't even started defining f yet, it's OK. |
| 21:54:50 | <Andriamanitra> | interesting |
| 21:58:55 | → | CrazyPython joins (~crazypyth@206.214.238.7) |
| 22:00:00 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 22:00:09 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 22:02:25 | → | Guest87676 joins (~laudiacay@45.162.228.190) |
| 22:02:56 | × | CrazyPython quits (~crazypyth@206.214.238.7) (Remote host closed the connection) |
| 22:03:31 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-87-61.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 22:04:09 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 22:04:31 | → | stree joins (~stree@68.36.8.116) |
| 22:05:09 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 22:05:34 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 252 seconds) |
| 22:05:55 | ← | cmburnett parts (~Charlie_B@c-73-37-184-238.hsd1.mn.comcast.net) () |
| 22:08:33 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 22:09:31 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 22:09:50 | → | CrazyPython joins (~crazypyth@206.214.238.7) |
| 22:10:08 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 22:10:24 | → | cmburnett1 joins (~cmburnett@c-73-37-184-31.hsd1.mn.comcast.net) |
| 22:11:36 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 22:11:43 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 22:12:31 | <cmburnett1> | Is there a recommended way to access raw bytes (i.e. for interacting with embedded stuff) or do you just call C as a foreign function? |
| 22:12:33 | × | geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Quit: Connection closed) |
| 22:12:50 | × | Guest87676 quits (~laudiacay@45.162.228.190) (Ping timeout: 268 seconds) |
| 22:12:53 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 22:13:04 | → | geekosaur joins (45870322@069-135-003-034.biz.spectrum.com) |
| 22:13:30 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 22:13:31 | <monochrom> | Look into Foreign.Ptr etc |
| 22:14:05 | <monochrom> | and Foreign.Storable |
| 22:14:18 | → | aerona joins (~aerona@2600:6c54:4600:f300:b5ff:7564:82ff:9355) |
| 22:15:07 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 22:15:17 | <monochrom> | and Foreign.Marshal.* |
| 22:16:32 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 22:17:03 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 22:20:12 | <cmburnett1> | Okie dokey, thanks! That looks exactly like what I was looking for |
| 22:20:29 | <davean> | cmburnett1: accessing raw bytes with Haskell works smoothly IME |
| 22:20:30 | × | DavidEichmann quits (~david@156.59.147.147.dyn.plus.net) (Remote host closed the connection) |
| 22:20:47 | <cmburnett1> | IME? |
| 22:21:22 | <davean> | In My Experience |
| 22:22:07 | × | CrazyPython quits (~crazypyth@206.214.238.7) (Remote host closed the connection) |
| 22:24:17 | → | CrazyPython joins (~crazypyth@206.214.238.7) |
| 22:24:39 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 22:25:16 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 22:27:13 | <cmburnett1> | Oh duh, sorry |
| 22:27:47 | → | nighmi joins (~felix@port-92-196-15-14.dynamic.as20676.net) |
| 22:29:13 | × | CrazyPython quits (~crazypyth@206.214.238.7) (Remote host closed the connection) |
| 22:29:22 | × | cyphase quits (~cyphase@unaffiliated/cyphase) (Ping timeout: 252 seconds) |
| 22:30:34 | → | CrazyPython joins (~crazypyth@206.214.238.7) |
| 22:33:44 | → | Guest87676 joins (~laudiacay@45.162.228.190) |
| 22:35:26 | × | RusAlex quits (~Chel@unaffiliated/rusalex) (Ping timeout: 240 seconds) |
| 22:35:33 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 22:36:38 | × | xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection) |
| 22:37:03 | → | xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar) |
| 22:37:49 | ← | cmburnett1 parts (~cmburnett@c-73-37-184-31.hsd1.mn.comcast.net) () |
| 22:38:41 | × | proofofkeags quits (~proofofke@205.209.28.54) (Ping timeout: 240 seconds) |
| 22:39:09 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 245 seconds) |
| 22:39:34 | <maerwald> | a pretty common internet expression :p |
| 22:39:47 | → | RusAlex joins (~Chel@unaffiliated/rusalex) |
| 22:40:01 | × | falafel quits (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 22:40:47 | <monochrom> | YMMV IANAL TIA KTHXBYE |
| 22:42:19 | → | cyphase joins (~cyphase@unaffiliated/cyphase) |
| 22:49:03 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 22:49:49 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 22:50:11 | × | Guest87676 quits (~laudiacay@45.162.228.190) (Ping timeout: 260 seconds) |
| 22:51:58 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 22:54:24 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) (Remote host closed the connection) |
| 22:54:28 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 22:54:31 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 22:54:33 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 22:55:02 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) |
| 22:56:35 | → | gemmaro joins (~Thunderbi@240f:74:d1f0:1:8859:feb:afd:2b9d) |
| 22:56:53 | × | alx741 quits (~alx741@181.196.68.14) (Ping timeout: 240 seconds) |
| 22:56:57 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 22:58:33 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 22:58:42 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 22:59:09 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) (Ping timeout: 245 seconds) |
| 22:59:13 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
| 22:59:41 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 23:01:40 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 23:08:49 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 23:09:39 | → | chimera_ joins (~chimera@120-192-113-92.pool.ukrtel.net) |
| 23:10:15 | → | alx741 joins (~alx741@186.178.108.187) |
| 23:10:50 | × | chimera quits (~chimera@120-192-113-92.pool.ukrtel.net) (Ping timeout: 246 seconds) |
| 23:11:54 | → | lawid joins (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) |
| 23:14:26 | × | carlomagno quits (~cararell@148.87.23.9) (Quit: Leaving.) |
| 23:18:32 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) |
| 23:20:50 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 23:22:54 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) (Ping timeout: 245 seconds) |
| 23:24:53 | × | CrazyPython quits (~crazypyth@206.214.238.7) (Remote host closed the connection) |
| 23:25:17 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 23:27:46 | → | CrazyPython joins (~crazypyth@206.214.238.7) |
| 23:29:44 | × | CrazyPython quits (~crazypyth@206.214.238.7) (Remote host closed the connection) |
| 23:30:16 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 23:36:35 | × | chimera_ quits (~chimera@120-192-113-92.pool.ukrtel.net) (Quit: Konversation terminated!) |
| 23:36:39 | × | boxscape quits (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) (Quit: Connection closed) |
| 23:37:26 | → | CrazyPython joins (~crazypyth@206.214.238.7) |
| 23:49:07 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 23:53:58 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 268 seconds) |
| 23:55:06 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 240 seconds) |
| 23:56:57 | → | fendor_ joins (~fendor@91.141.1.123.wireless.dyn.drei.com) |
| 23:57:24 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 23:59:08 | × | fendor quits (~fendor@77.119.131.196.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
All times are in UTC on 2021-05-14.