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