Logs on 2021-05-13 (freenode/#haskell)
| 00:00:05 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
| 00:01:00 | → | finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 00:01:16 | → | elliott_ joins (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
| 00:05:07 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 00:06:00 | → | cyclosa joins (~cyclosa@2603-6011-4a41-8ada-3d44-ff2a-130a-5b15.res6.spectrum.com) |
| 00:08:05 | → | jb55 joins (~jb55@gateway/tor-sasl/jb55) |
| 00:14:01 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 00:17:01 | → | bennofs_ joins (~quassel@dynamic-078-055-133-039.78.55.pool.telefonica.de) |
| 00:17:41 | → | stree joins (~stree@68.36.8.116) |
| 00:18:49 | → | MidAutumnHotaru joins (~MidAutumn@unaffiliated/midautumnhotaru) |
| 00:18:52 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 00:21:11 | × | bennofs__ quits (~quassel@dynamic-077-011-002-207.77.11.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 00:27:13 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-14-70-54-77-172.dsl.bell.ca) |
| 00:28:34 | × | xcmw quits (~textual@2603-6011-2200-f103-e9cf-0f11-7f01-6470.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 00:34:01 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 00:34:06 | × | Synthetica quits (uid199651@gateway/web/irccloud.com/x-yluktxymatxbguna) (Quit: Connection closed for inactivity) |
| 00:35:30 | → | xcmw joins (~textual@2603-6011-2200-f103-e9cf-0f11-7f01-6470.res6.spectrum.com) |
| 00:38:40 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds) |
| 00:39:02 | × | Cajun quits (62a3d370@ip98-163-211-112.no.no.cox.net) (Quit: Connection closed) |
| 00:41:24 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-aelfljififmrzyjq) |
| 00:41:36 | → | ryanbooker joins (uid4340@gateway/web/irccloud.com/x-ipaioypvtkpwqeps) |
| 00:45:26 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 00:45:53 | → | falafel joins (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) |
| 00:48:24 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 00:49:31 | → | ddellacosta joins (~ddellacos@86.106.143.215) |
| 00:50:53 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 00:52:51 | → | dedz joins (~ubuntu@unaffiliated/dedz) |
| 00:53:20 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 268 seconds) |
| 00:54:11 | × | ddellacosta quits (~ddellacos@86.106.143.215) (Ping timeout: 240 seconds) |
| 00:54:54 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 00:55:38 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 00:57:55 | × | isovector quits (~isovector@172.103.216.166) (Ping timeout: 252 seconds) |
| 01:05:46 | → | isovector joins (~isovector@172.103.216.166) |
| 01:09:01 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-87-61.w86-212.abo.wanadoo.fr) |
| 01:10:10 | × | isovector quits (~isovector@172.103.216.166) (Ping timeout: 252 seconds) |
| 01:11:21 | → | nighmi joins (~felix@port-92-196-83-28.dynamic.as20676.net) |
| 01:12:54 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:13:14 | × | bennofs_ quits (~quassel@dynamic-078-055-133-039.78.55.pool.telefonica.de) (Read error: Connection reset by peer) |
| 01:13:30 | → | bennofs_ joins (~quassel@dynamic-078-055-133-039.78.55.pool.telefonica.de) |
| 01:14:01 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:16:06 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 240 seconds) |
| 01:16:07 | × | gzj quits (~gzj@unaffiliated/gzj) (Read error: Connection reset by peer) |
| 01:16:27 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 01:17:22 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 01:20:40 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 01:24:46 | → | Guest87676 joins (~laudiacay@45.162.228.190) |
| 01:25:24 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 01:28:44 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 01:30:23 | × | falafel quits (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 01:33:11 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 01:36:12 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds) |
| 01:40:10 | × | nighmi quits (~felix@port-92-196-83-28.dynamic.as20676.net) (Quit: WeeChat 3.0.1) |
| 01:43:01 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 01:44:44 | × | cyclosa quits (~cyclosa@2603-6011-4a41-8ada-3d44-ff2a-130a-5b15.res6.spectrum.com) (Quit: computer broke) |
| 01:45:00 | × | m0rphism quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 252 seconds) |
| 01:45:57 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 01:47:08 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 01:52:32 | × | shiraeeshi quits (~shiraeesh@109.166.58.127) (Ping timeout: 240 seconds) |
| 01:53:36 | × | chimera quits (~chimera@120-192-113-92.pool.ukrtel.net) (Quit: Konversation terminated!) |
| 01:53:51 | × | mcglk quits (~textual@131.191.49.120) (Read error: Connection reset by peer) |
| 01:56:56 | <Iceland_jack> | ski: Seeing this first now, my proposal never went anywhere because it needed some sigil to distinguish the argument passed to a pattern and a part of the pattern. Let me know if you figure it out |
| 02:00:32 | → | drbean_ joins (~drbean@TC210-63-209-188.static.apol.com.tw) |
| 02:01:35 | × | xff0x quits (~xff0x@2001:1a81:523e:f300:f7bd:d435:471d:3982) (Ping timeout: 250 seconds) |
| 02:02:12 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 02:02:32 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 02:03:33 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 240 seconds) |
| 02:03:43 | → | xff0x joins (~xff0x@2001:1a81:527b:7200:224e:16c9:1ab4:ffaa) |
| 02:04:06 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 02:05:13 | × | oxide quits (~lambda@unaffiliated/mclaren) (Ping timeout: 240 seconds) |
| 02:06:46 | × | CrazyPython quits (~crazypyth@206.214.238.6) (Read error: Connection reset by peer) |
| 02:07:13 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 02:07:29 | → | oxide joins (~lambda@unaffiliated/mclaren) |
| 02:07:44 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-87-61.w86-212.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:07:52 | → | nbao joins (~nbao@187.20.162.127) |
| 02:09:32 | → | ddellacosta joins (~ddellacos@86.106.143.215) |
| 02:10:52 | → | nineonin_ joins (~nineonine@2604:3d08:777e:900:3c49:5975:3fc2:6871) |
| 02:12:16 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:9d88:fa76:8cb0:666d) |
| 02:12:41 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Ping timeout: 240 seconds) |
| 02:13:33 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 260 seconds) |
| 02:14:22 | × | ddellacosta quits (~ddellacos@86.106.143.215) (Ping timeout: 252 seconds) |
| 02:15:19 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-icphufxyhvaabbaa) () |
| 02:24:30 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 02:25:42 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 02:26:09 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 02:26:09 | finn_elija | is now known as Guest9973 |
| 02:26:09 | FinnElija | is now known as finn_elija |
| 02:26:12 | → | renzhi joins (~renzhi@2607:fa49:6500:bc00::e7b) |
| 02:29:06 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 02:29:33 | × | Guest9973 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 02:30:52 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 252 seconds) |
| 02:33:05 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 02:36:51 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 02:38:15 | → | stree joins (~stree@68.36.8.116) |
| 02:38:38 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 02:38:47 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 02:43:00 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 02:43:11 | × | shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:591c:cf3a:df6d:ebe7) (Ping timeout: 250 seconds) |
| 02:43:12 | × | plutoniix quits (~q@node-uom.pool-125-24.dynamic.totinternet.net) (Quit: Leaving) |
| 02:44:37 | × | nbao quits (~nbao@187.20.162.127) (Quit: leaving) |
| 02:45:13 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds) |
| 02:47:41 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 260 seconds) |
| 02:48:20 | → | ozzymcduff joins (~textual@81-234-151-21-no94.tbcn.telia.com) |
| 02:49:10 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 02:49:24 | → | shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:9164:4bfe:a653:ddb6) |
| 02:49:34 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 02:49:46 | × | theDon quits (~td@94.134.91.159) (Ping timeout: 240 seconds) |
| 02:51:55 | → | theDon joins (~td@muedsl-82-207-238-236.citykom.de) |
| 02:52:57 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 02:53:08 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 02:54:31 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 02:58:06 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 02:58:13 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds) |
| 02:58:28 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 02:58:28 | → | hololeap joins (~hololeap@gateway/tor-sasl/hololeap) |
| 02:58:33 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-14-70-54-77-172.dsl.bell.ca) (Ping timeout: 240 seconds) |
| 03:00:02 | × | haasn quits (~nand@mpv/developer/haasn) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 03:00:39 | × | xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection) |
| 03:00:58 | → | xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar) |
| 03:01:03 | → | mayleesia joins (~mayleesia@x4dbfe091.dyn.telefonica.de) |
| 03:01:09 | → | nyd joins (~nyd@unaffiliated/elysian) |
| 03:02:04 | → | haasn joins (~nand@mpv/developer/haasn) |
| 03:02:59 | → | Xxxxxxx joins (6dc32326@109.195.35.38) |
| 03:03:55 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 03:04:34 | × | maylee quits (~mayleesia@dynamic-077-011-198-038.77.11.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 03:04:36 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 03:05:07 | × | Xxxxxxx quits (6dc32326@109.195.35.38) (Quit: Connection closed) |
| 03:07:10 | × | sw1nn quits (~sw1nn@host86-188-65-1.range86-188.btcentralplus.com) (Ping timeout: 252 seconds) |
| 03:08:58 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 03:09:45 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 03:11:42 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 03:14:33 | → | wei2912 joins (~wei2912@unaffiliated/wei2912) |
| 03:15:41 | × | deviantfero quits (~deviantfe@190.150.27.58) (Ping timeout: 240 seconds) |
| 03:15:46 | × | Guest87676 quits (~laudiacay@45.162.228.190) (Ping timeout: 240 seconds) |
| 03:18:50 | → | spatchkaa joins (~spatchkaa@S010600fc8da47b63.gv.shawcable.net) |
| 03:20:16 | → | sw1nn joins (~sw1nn@2a00:23c7:622f:2c00:b3c5:5aba:31d5:7216) |
| 03:21:02 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 03:23:46 | → | coot joins (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 03:25:27 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 03:26:59 | × | ozzymcduff quits (~textual@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 03:27:57 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 03:30:16 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 03:32:04 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 03:32:32 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-vjqtfwrecllquhqt) |
| 03:32:59 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 03:36:08 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 03:37:12 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 03:37:41 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Ping timeout: 240 seconds) |
| 03:39:55 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-adzrjzdemregudmd) (Quit: Connection closed for inactivity) |
| 03:40:26 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 03:42:50 | × | alx741 quits (~alx741@181.196.68.14) (Quit: alx741) |
| 03:45:00 | → | Guest87676 joins (~laudiacay@45.162.228.190) |
| 03:45:56 | → | ozzymcduff joins (~textual@81-234-151-21-no94.tbcn.telia.com) |
| 03:47:23 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 03:49:55 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 250 seconds) |
| 03:50:22 | × | xkapastel quits (uid17782@gateway/web/irccloud.com/x-tetrcihgsohjyxmd) (Quit: Connection closed for inactivity) |
| 03:50:40 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 03:51:44 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 03:52:14 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 03:52:56 | × | jiribenes quits (~jiribenes@rosa.jiribenes.com) (Remote host closed the connection) |
| 03:53:05 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 03:53:51 | → | cmburnett joins (~Charlie_B@c-73-37-184-31.hsd1.mn.comcast.net) |
| 03:55:01 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 03:57:00 | × | horatiohb quits (~horatiohb@165.227.100.221) (Ping timeout: 252 seconds) |
| 03:58:14 | <cmburnett> | I'm reading through the haskell standard- I'm sorry if this a stupid question but as someone coming from C/C++ (mainly C), module in effect is similar to namespace right? Please go easy on me :-D |
| 03:58:57 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 268 seconds) |
| 03:59:13 | → | qbshill joins (~ian@cpe9050cac7da83-cm9050cac7da80.cpe.net.cable.rogers.com) |
| 04:00:26 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 04:00:46 | × | drbean_ quits (~drbean@TC210-63-209-188.static.apol.com.tw) (Ping timeout: 240 seconds) |
| 04:01:20 | → | ddellacosta joins (~ddellacos@86.106.143.241) |
| 04:02:42 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 04:03:20 | <monochrom> | module is both namespace and import/export-control. On actual compilers, is furthermore file organization --- one file per module, though the standard doesn't require it. |
| 04:04:54 | → | proofofkeags joins (~proofofke@97-118-239-55.hlrn.qwest.net) |
| 04:04:57 | <monochrom> | C and C++ have no modules. You will never find a correct analogy there. |
| 04:05:46 | × | ddellacosta quits (~ddellacos@86.106.143.241) (Ping timeout: 240 seconds) |
| 04:07:04 | <monochrom> | The way real people organize their *.c files has a correspondence to modules, but it is by self discipline not language requirements. |
| 04:08:16 | <pavonia> | Wait, you could have several Haskell modules in one file? |
| 04:08:22 | × | Guest87676 quits (~laudiacay@45.162.228.190) (Ping timeout: 252 seconds) |
| 04:08:43 | <monochrom> | Haskell 2010 (or 98, or 1.4, or ...) makes no commitment either way. |
| 04:08:49 | <monochrom> | No compiler has allowed it yet. |
| 04:09:10 | <monochrom> | But one day some mad scientist might. |
| 04:09:15 | <pavonia> | Ah okay |
| 04:09:44 | × | cmburnett quits (~Charlie_B@c-73-37-184-31.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 04:10:01 | × | Techcable quits (~Techcable@168.235.93.147) (Quit: ZNC - https://znc.in) |
| 04:10:08 | <monochrom> | If mad scientists can invent whitespace languages, |
| 04:10:26 | <monochrom> | then mad scientists can invent Haskell compilers that allow multiple modules per file |
| 04:10:43 | → | Techcable joins (~Techcable@168.235.93.147) |
| 04:10:56 | <monochrom> | and perhaps finally also support mutual importing without user intervention too. |
| 04:11:05 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 04:11:18 | × | renzhi quits (~renzhi@2607:fa49:6500:bc00::e7b) (Ping timeout: 246 seconds) |
| 04:11:56 | × | shailangsa quits (~shailangs@host86-186-196-136.range86-186.btcentralplus.com) () |
| 04:12:01 | → | cmburnett joins (~Charlie_B@c-73-37-184-238.hsd1.mn.comcast.net) |
| 04:12:16 | × | qbshill quits (~ian@cpe9050cac7da83-cm9050cac7da80.cpe.net.cable.rogers.com) (Quit: WeeChat 3.1) |
| 04:16:01 | → | pfurla_ joins (~pfurla@64.15.195.173.client.static.strong-in52.as13926.net) |
| 04:16:07 | → | qbshill joins (~ian@cpe9050cac7da83-cm9050cac7da80.cpe.net.cable.rogers.com) |
| 04:17:08 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 04:17:24 | <qbshill> | >whitespace languages |
| 04:17:30 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 04:17:44 | <qbshill> | are those hard to make? is it not the same as any other language but now with whitespaces? im not actually familiar with bf |
| 04:18:41 | <monochrom> | I don't know about hard. |
| 04:18:41 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 04:19:03 | <monochrom> | I know about mad scientists having no life and making things no one actually use in anger. |
| 04:19:31 | <davean> | qbshill: no, just whitespace |
| 04:20:03 | <qbshill> | lol ah that makes sense, ty |
| 04:20:19 | <qbshill> | but then again whats the fun in making things people actually use |
| 04:23:55 | <davean> | Users are the worst |
| 04:24:02 | <cmburnett> | bf languages? sorry my computer wigged out and had to restart |
| 04:26:06 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 04:26:20 | <qbshill> | sorry i was thinking of whitespace, not brianf***, i thought it was implied writing a whitespace character only language was hard so i was curious |
| 04:26:26 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 04:27:56 | <cmburnett> | as in... only using space, tab, and newline instead of letters? I imagine it'd be pretty rough |
| 04:29:43 | <qbshill> | yeah... lol... it'd be pretty tough but then at the same time I feel like actually making the language itself wouldn't be so bad, maybe you need to add new rules to whatever linter you're using |
| 04:32:21 | <qbshill> | I'd imagine debugging will be a massive nightmare though. I'm kind of intrigued though but I should probably learn asm first |
| 04:34:31 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 04:35:10 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 04:35:25 | × | xcmw quits (~textual@2603-6011-2200-f103-e9cf-0f11-7f01-6470.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 04:36:26 | <cmburnett> | I mean it'd basically be like programming in binary so probably not fun |
| 04:36:36 | <cmburnett> | trinary i guess if you include newlines |
| 04:36:44 | → | xchg111 joins (~xchg111@pool-71-245-243-39.nycmny.fios.verizon.net) |
| 04:36:45 | × | carlomagno quits (~cararell@148.87.23.8) (Quit: Leaving.) |
| 04:36:57 | <Axman6> | ternary |
| 04:37:30 | <Axman6> | https://en.wikipedia.org/wiki/Whitespace_%28programming_language%29 for your reference |
| 04:38:12 | <cmburnett> | ah yes sorry bad at english |
| 04:38:17 | × | proofofkeags quits (~proofofke@97-118-239-55.hlrn.qwest.net) (Ping timeout: 246 seconds) |
| 04:38:18 | <cmburnett> | I mean it's my first language |
| 04:38:23 | <cmburnett> | I'm just bad at it |
| 04:38:41 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 04:39:07 | → | shailangsa joins (~shailangs@host86-186-196-136.range86-186.btcentralplus.com) |
| 04:39:30 | <Axman6> | all good, it's a logical extension of binary, you're far freom being the first person to do it |
| 04:39:37 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 260 seconds) |
| 04:39:55 | <Axman6> | wait, Whitespace was invented by Edwin Brady??? crazy |
| 04:40:15 | → | tsaka__ joins (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
| 04:41:18 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 04:41:59 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 04:42:15 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 04:42:59 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-gdqogcpuvytwnnml) (Quit: Connection closed for inactivity) |
| 04:43:00 | → | erayo joins (94426938@56.105.66.148.dsl.dyn.mana.pf) |
| 04:44:17 | <erayo> | I know you can get runtime statistics about the GC in GHC.Stats, is there a way to get additional metrics from the RTS ? I'd be really interested in active lightweight thread count, specifically |
| 04:44:36 | × | pfurla_ quits (~pfurla@64.15.195.173.client.static.strong-in52.as13926.net) (Ping timeout: 265 seconds) |
| 04:45:46 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds) |
| 04:46:41 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 04:46:45 | <Axman6> | have a look at the ekg package |
| 04:48:07 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 04:48:27 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 04:48:36 | <erayo> | I'll take a look, ty Axman6 |
| 04:49:14 | <Axman6> | I can't remember if it has any thing more than GHC.Stats, but poking around in its code might be helpful |
| 04:53:24 | → | ram19890 joins (~ram@49.205.82.36) |
| 04:55:26 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 04:55:34 | → | Tario joins (~Tario@201.192.165.173) |
| 04:56:37 | → | bitmagie joins (~Thunderbi@200116b8063274004dbaea6bd427ccca.dip.versatel-1u1.de) |
| 04:58:11 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 04:58:18 | × | mayleesia quits (~mayleesia@x4dbfe091.dyn.telefonica.de) (Remote host closed the connection) |
| 04:59:36 | → | stree joins (~stree@68.36.8.116) |
| 05:01:07 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 05:01:27 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 05:01:48 | <jackdk> | Question: `Void` is to `Either` as ??? is to `Data.Functor.Sum.Sum`? |
| 05:01:58 | × | xchg111 quits (~xchg111@pool-71-245-243-39.nycmny.fios.verizon.net) (Quit: Leaving) |
| 05:02:16 | <jackdk> | Axman6: Yeah whitespace is by far his best-known work. Not sure what else he's done ;-) |
| 05:02:22 | <Axman6> | '[Void] >_> |
| 05:02:29 | <Axman6> | ha |
| 05:02:49 | <jackdk> | I'm not sure that's true. I think I want `data Void1 a` |
| 05:03:27 | <jackdk> | does it exist anywhere already? |
| 05:07:16 | → | ddellacosta joins (~ddellacos@86.106.143.33) |
| 05:11:33 | × | ddellacosta quits (~ddellacos@86.106.143.33) (Ping timeout: 240 seconds) |
| 05:17:30 | <Axman6> | https://hackage.haskell.org/package/generic-lens-core-2.1.0.0/docs/Data-Generics-Internal-Void.html#t:Void1 |
| 05:18:44 | × | bitmagie quits (~Thunderbi@200116b8063274004dbaea6bd427ccca.dip.versatel-1u1.de) (Quit: bitmagie) |
| 05:22:20 | → | texasmynsted_ joins (~texasmyns@99.96.221.112) |
| 05:24:06 | <jackdk> | so not in a canonical place |
| 05:24:14 | × | texasmynsted quits (~texasmyns@99.96.221.112) (Ping timeout: 265 seconds) |
| 05:24:40 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 252 seconds) |
| 05:32:04 | × | zaquest quits (~notzaques@5.128.210.178) (Ping timeout: 268 seconds) |
| 05:33:58 | → | zaquest joins (~notzaques@5.128.210.178) |
| 05:35:24 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 05:37:07 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 05:38:48 | → | plutoniix joins (~q@cm-119-76-33-155.revip17.asianet.co.th) |
| 05:39:32 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 05:40:26 | × | Sgeo quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer) |
| 05:40:57 | × | ryanbooker quits (uid4340@gateway/web/irccloud.com/x-ipaioypvtkpwqeps) (Quit: Connection closed for inactivity) |
| 05:41:41 | → | johannes_ joins (~johannes@mue-88-130-62-129.dsl.tropolys.de) |
| 05:41:41 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 05:41:49 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 05:42:17 | × | solidus-river quits (~mike@174.127.249.180) (Remote host closed the connection) |
| 05:42:23 | johannes_ | is now known as kenran |
| 05:42:26 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:9d88:fa76:8cb0:666d) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 05:43:57 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 05:45:01 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 05:45:52 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 05:45:53 | × | mounty quits (~mounty@236.216.214.218.sta.wbroadband.net.au) (Ping timeout: 240 seconds) |
| 05:47:25 | × | viluon quits (uid453725@gateway/web/irccloud.com/x-mitaxlcfeovagyrl) (Quit: Connection closed for inactivity) |
| 05:48:52 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 05:52:19 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 05:52:30 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 05:53:16 | → | pfurla_ joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 05:55:31 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 05:56:07 | <edwardk> | jackdk: GHC.Generics.V1 |
| 05:56:27 | <edwardk> | that is the version i use whenever i need it |
| 05:57:02 | × | erayo quits (94426938@56.105.66.148.dsl.dyn.mana.pf) (Quit: Connection closed) |
| 05:57:05 | <jackdk> | edwardk: thanks. I'm probably going to have to derive Eq1 Show1 etc, so I might make my own -- I'm allergic to orphans |
| 05:57:10 | <edwardk> | though I tend to pair it with (:+:) rather than Sum |
| 05:57:21 | <edwardk> | i think those are in base-orphans |
| 05:57:23 | → | isovector joins (~isovector@172.103.216.166.cable.tpia.cipherkey.com) |
| 06:00:47 | <jackdk> | Hm, doesn't look like it. |
| 06:02:38 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 06:04:24 | → | alexander joins (~alexander@2a02:587:dc01:3b00:3556:2d31:d0c8:431a) |
| 06:04:33 | × | Shuppiluliuma quits (~shuppilul@153.33.68.161) (Ping timeout: 260 seconds) |
| 06:04:54 | alexander | is now known as Guest47744 |
| 06:05:28 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 06:07:05 | → | killsushi joins (~killsushi@2607:fea8:3d40:767:1ced:a9b2:1ba9:5b56) |
| 06:16:13 | <edwardk> | ah, maybe they never made it into base? |
| 06:16:16 | <edwardk> | yeah looks like it |
| 06:16:17 | <edwardk> | https://github.com/ekmett/hkd/blob/main/src/Data/HKD/Orphans.hs#L26 |
| 06:16:31 | <edwardk> | i have a few of them myself with an intention to move them to base and base-orphans |
| 06:17:38 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 06:18:01 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 06:18:14 | <jackdk> | you don't happen to have a n-way functor sum type kicking around, like HList's `Variant` lifted to `Variant1` or something? |
| 06:21:53 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 06:21:56 | <edwardk> | https://github.com/ekmett/hkd/blob/main/src/Data/HKD/Index/Internal.hs is the index part. https://github.com/ekmett/distributive/blob/a606a9efd2f3e0458fb5808c70445333fdaae34b/src/Data/Rep/Internal.hs#L2184 is the variant |
| 06:22:20 | <edwardk> | i could make it a separate type, but haven't yet |
| 06:23:08 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 06:23:58 | <edwardk> | FVariant (Rec '[a,b,c]) f sounds kind of like what you are hunting for? which is a DSum (Index '[a,b,c]) f |
| 06:26:36 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 06:27:11 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
| 06:27:22 | × | kenran quits (~johannes@mue-88-130-62-129.dsl.tropolys.de) (Quit: Lost terminal) |
| 06:27:58 | → | johannes_ joins (~johannes@mue-88-130-62-129.dsl.tropolys.de) |
| 06:28:08 | johannes_ | is now known as kenran |
| 06:29:01 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 06:29:11 | × | nerdypepper quits (znc@152.67.162.71) (Ping timeout: 240 seconds) |
| 06:29:28 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 06:34:03 | → | nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 06:34:25 | → | jiribenes joins (~jiribenes@rosa.jiribenes.com) |
| 06:34:48 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 06:38:43 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 06:38:45 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 06:38:54 | × | echoreply quits (~echoreply@unaffiliated/echoreply) (Quit: WeeChat 1.9.1) |
| 06:39:21 | → | echoreply joins (~echoreply@unaffiliated/echoreply) |
| 06:40:26 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 06:46:17 | × | EvilMagix quits (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Quit: WeeChat 3.1) |
| 06:51:10 | × | MrMobius quits (~MrMobius@208.58.206.154) (Read error: Connection reset by peer) |
| 06:56:43 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 06:57:08 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 06:57:28 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 07:00:25 | × | petersen quits (~petersen@redhat/juhp) (Quit: petersen) |
| 07:01:05 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 07:03:32 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 07:03:46 | × | ram19890 quits (~ram@49.205.82.36) (Ping timeout: 240 seconds) |
| 07:05:01 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-vnlzmngtivqzgqpc) (Quit: Connection closed for inactivity) |
| 07:07:13 | <jackdk> | I think so, but it may be too wild for colleagues. I may do `data Variant1 (fs :: [Type -> Type]) a = Variant1 !Int Any` |
| 07:07:41 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 07:07:46 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 07:11:31 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 07:13:35 | × | thunderrd quits (~thunderrd@183.182.115.120) (Remote host closed the connection) |
| 07:14:13 | → | dorkside1 joins (~tdbgamer@208.190.197.222) |
| 07:14:14 | × | bennofs_ quits (~quassel@dynamic-078-055-133-039.78.55.pool.telefonica.de) (Read error: Connection reset by peer) |
| 07:14:36 | → | bennofs_ joins (~quassel@dynamic-078-055-133-039.78.55.pool.telefonica.de) |
| 07:14:47 | × | dorkside quits (~tdbgamer@208.190.197.222) (Read error: Connection reset by peer) |
| 07:14:47 | dorkside1 | is now known as dorkside |
| 07:19:34 | × | thomasjm quits (~thomasjm@c-76-103-226-2.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 07:20:58 | → | stree joins (~stree@68.36.8.116) |
| 07:22:07 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 07:22:30 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 07:24:13 | → | Meh joins (ca0e785e@202.14.120.94) |
| 07:24:35 | Meh | is now known as Guest53521 |
| 07:25:00 | × | Guest53521 quits (ca0e785e@202.14.120.94) (Client Quit) |
| 07:25:32 | → | Nobita joins (ca0e785e@202.14.120.94) |
| 07:26:30 | × | ozzymcduff quits (~textual@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 07:26:35 | × | Nobita quits (ca0e785e@202.14.120.94) (Client Quit) |
| 07:26:41 | × | cgfbee quits (~bot@oc1.itim-cj.ro) (Ping timeout: 240 seconds) |
| 07:26:44 | × | ulidtko|k quits (~ulidtko@194.54.80.38) (Ping timeout: 252 seconds) |
| 07:27:03 | × | hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Read error: Connection reset by peer) |
| 07:28:22 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 07:30:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 07:32:25 | → | CrazyPython joins (~crazypyth@206.214.238.6) |
| 07:32:56 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 07:34:49 | → | ixlun joins (~user@109.249.184.235) |
| 07:35:02 | → | cgfbee joins (~bot@oc1.itim-cj.ro) |
| 07:35:13 | × | RusAlex quits (~Chel@unaffiliated/rusalex) (Ping timeout: 265 seconds) |
| 07:38:24 | <ixlun> | Hi all, can anyone remeber the language extension that allows a record to be constructed in do-notation by binding variables with the same name as those in the object? |
| 07:39:06 | <jackdk> | it doesn't require do-notation but you may be thinking of RecordWildCards |
| 07:40:15 | × | hexo- quits (~hexo@2a01:430:17:1::ffff:328) (Ping timeout: 246 seconds) |
| 07:40:20 | × | Adluc quits (~Adluc@2a01:430:17:1::ffff:328) (Ping timeout: 258 seconds) |
| 07:42:05 | <ixlun> | Yeah, I think that's it. It means you don't have to write code like R { a = a, b = b, c = c } |
| 07:42:55 | → | thomasjm joins (~thomasjm@c-76-103-226-2.hsd1.ca.comcast.net) |
| 07:43:29 | <jackdk> | `let { a = ...; b = ...; c = ... } in R{..}` |
| 07:43:54 | <jackdk> | I think it's NamedFieldPuns that lets you write `... in R{ a, b, c }` |
| 07:44:03 | <jackdk> | which some people like better because it's explicit |
| 07:45:12 | <ixlun> | I didn't know about NamedFieldPuns, I'll do some reading. Thanks! |
| 07:46:19 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 07:52:25 | → | Adluc joins (~Adluc@83.167.228.130) |
| 07:52:29 | <jackdk> | I gave up, I think I'm just going to use classy prisms instead for my colleagues' sanity, and because I can't make the typechecker accept instance (i ~ ElemIndex f fs, AsFoo (f a) b) => AsFoo (Variant1 fs a) b |
| 07:56:44 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 07:57:33 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 07:57:59 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 07:58:24 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 07:58:39 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 250 seconds) |
| 07:59:05 | → | hexo_ joins (~hexo@2a01:430:17:1::ffff:328) |
| 08:01:50 | → | RusAlex joins (~Chel@unaffiliated/rusalex) |
| 08:02:29 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 08:03:31 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 08:05:08 | × | qbshill quits (~ian@cpe9050cac7da83-cm9050cac7da80.cpe.net.cable.rogers.com) (Ping timeout: 246 seconds) |
| 08:05:37 | × | oxide quits (~lambda@unaffiliated/mclaren) (Ping timeout: 268 seconds) |
| 08:06:22 | × | isovector quits (~isovector@172.103.216.166.cable.tpia.cipherkey.com) (Ping timeout: 252 seconds) |
| 08:07:21 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 08:09:19 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 268 seconds) |
| 08:09:24 | → | oxide joins (~lambda@unaffiliated/mclaren) |
| 08:09:33 | × | hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 08:10:33 | → | deejaytee joins (~deejaytee@cpc91196-cmbg18-2-0-cust215.5-4.cable.virginm.net) |
| 08:11:08 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 08:11:53 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-vjqtfwrecllquhqt) (Quit: Connection closed for inactivity) |
| 08:12:02 | → | hendursaga joins (~weechat@gateway/tor-sasl/hendursaga) |
| 08:13:45 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 08:15:06 | × | Guest47744 quits (~alexander@2a02:587:dc01:3b00:3556:2d31:d0c8:431a) (Remote host closed the connection) |
| 08:18:41 | × | ixlun quits (~user@109.249.184.235) (Read error: Connection reset by peer) |
| 08:18:43 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 08:18:57 | → | ixlun joins (~user@109.249.184.235) |
| 08:24:02 | → | deejaetee joins (~deejaytee@193.46-255-62.static.virginmediabusiness.co.uk) |
| 08:24:22 | → | garFF joins (~garff@0x3e2c86d9.mobile.telia.dk) |
| 08:25:23 | → | fendor joins (~fendor@77.119.130.61.wireless.dyn.drei.com) |
| 08:25:38 | → | kuribas joins (~user@ptr-25vy0i87sxakfqtxjgf.18120a2.ip6.access.telenet.be) |
| 08:26:26 | <kuribas> | why is composition better? It is often assumed f = g . h is better than f x = g $ h x, but why is that? |
| 08:26:26 | × | deejaytee quits (~deejaytee@cpc91196-cmbg18-2-0-cust215.5-4.cable.virginm.net) (Ping timeout: 240 seconds) |
| 08:27:11 | <Rembane> | I think it's prettier and fewer characters to type and read, but that's my very subjective and non-scientific take on composition vs. application. |
| 08:27:26 | <kuribas> | It's nice in a HOF |
| 08:27:51 | <kuribas> | I prefer (g . h) over (\x -> g (h x)), however for a declaration I am not convinced. |
| 08:28:18 | <Rembane> | What's a HOF? |
| 08:29:07 | → | shad0w_ joins (~shad0w@160.202.37.82) |
| 08:29:12 | <Rembane> | I'm feeling way too clever when I do it in declarations which I suppose adds to you not feeling convinced. :) |
| 08:29:14 | × | shad0w_ quits (~shad0w@160.202.37.82) (Remote host closed the connection) |
| 08:29:25 | <kuribas> | higher order function |
| 08:29:56 | <Rembane> | Got it. |
| 08:30:26 | ← | deejaetee parts (~deejaytee@193.46-255-62.static.virginmediabusiness.co.uk) ("Leaving") |
| 08:32:48 | → | deejaytee joins (~deejaytee@193.46-255-62.static.virginmediabusiness.co.uk) |
| 08:33:50 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 08:34:22 | → | kiweun joins (~sheepduck@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) |
| 08:34:37 | × | sheepduck quits (~sheepduck@2607:fea8:2a62:9600::9ba6) (Ping timeout: 250 seconds) |
| 08:35:41 | × | wz1000 quits (~wz1000@static.11.113.47.78.clients.your-server.de) (Ping timeout: 252 seconds) |
| 08:36:20 | → | ddellacosta joins (~ddellacos@86.106.143.33) |
| 08:36:54 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 08:40:50 | × | ddellacosta quits (~ddellacos@86.106.143.33) (Ping timeout: 246 seconds) |
| 08:42:35 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 08:46:15 | → | xenon- joins (~bc817c21@217.29.117.252) |
| 08:47:39 | → | nut1 joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 08:47:52 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 08:47:58 | <xenon-> | hi. how do I support arbitrary number of arguments in optparse-applicative? so myprog <arg1> <arg2> .. <argN> should be stored to progOptionsArguments :: [String] |
| 08:48:22 | <xenon-> | I only see argument Parser, not arguments or something similar |
| 08:48:27 | <Taneb> | :t many |
| 08:48:28 | <lambdabot> | Alternative f => f a -> f [a] |
| 08:48:37 | <xenon-> | oh? nice |
| 08:48:49 | × | mrus quits (~mrus@149.28.61.155) (Quit: Surfing the great wave off Kanagawa) |
| 08:49:00 | → | mrus joins (~mrus@2001:19f0:5:3fd4:5400:3ff:fe48:1820) |
| 08:49:19 | <xenon-> | that's many from base, not from optparse-aplicative, right? |
| 08:49:25 | <Taneb> | Yes |
| 08:50:20 | <Taneb> | If you want at least one, you can use 'some' instead |
| 08:50:57 | × | NinjaTrappeur quits (~ninja@unaffiliated/ninjatrappeur) (Quit: WeeChat 3.1) |
| 08:51:47 | → | NinjaTrappeur joins (~ninja@unaffiliated/ninjatrappeur) |
| 08:52:13 | × | gzj quits (~gzj@unaffiliated/gzj) (Ping timeout: 240 seconds) |
| 08:56:24 | → | wz1000 joins (~wz1000@static.11.113.47.78.clients.your-server.de) |
| 08:57:28 | <xenon-> | it worked nicely |
| 08:57:32 | <xenon-> | I love this library |
| 09:00:10 | → | ram19890 joins (~ram@49.205.82.36) |
| 09:00:13 | × | M9ndres[m] quits (m9ndresmat@gateway/shell/matrix.org/x-uatuolvhgiuajapn) (Quit: Idle for 30+ days) |
| 09:00:34 | × | CrazyPython quits (~crazypyth@206.214.238.6) (Read error: Connection reset by peer) |
| 09:00:40 | × | vchlup_ quits (~vchlup@nat.brnet.cz) (Remote host closed the connection) |
| 09:01:56 | → | CrazyPython joins (~crazypyth@206.214.238.6) |
| 09:03:16 | × | CrazyPython quits (~crazypyth@206.214.238.6) (Read error: Connection reset by peer) |
| 09:03:20 | → | vchlup joins (~vchlup@nat.brnet.cz) |
| 09:06:28 | → | ulidtko joins (~ulidtko@31.133.98.244) |
| 09:07:27 | × | larsan1 quits (~larsan@37.120.211.188) (Remote host closed the connection) |
| 09:07:58 | × | wz1000 quits (~wz1000@static.11.113.47.78.clients.your-server.de) (Ping timeout: 252 seconds) |
| 09:10:41 | × | ulidtko quits (~ulidtko@31.133.98.244) (Ping timeout: 240 seconds) |
| 09:11:42 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 09:12:11 | × | neiluj quits (~jco@unaffiliated/neiluj) (Quit: leaving) |
| 09:13:58 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 09:14:07 | → | wz1000 joins (~wz1000@static.11.113.47.78.clients.your-server.de) |
| 09:16:14 | × | ixlun quits (~user@109.249.184.235) (Ping timeout: 265 seconds) |
| 09:17:02 | → | DavidEichmann joins (~david@156.59.147.147.dyn.plus.net) |
| 09:17:14 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 09:17:44 | × | DavidEichmann quits (~david@156.59.147.147.dyn.plus.net) (Remote host closed the connection) |
| 09:18:41 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 09:19:57 | → | DavidEichmann joins (~david@156.59.147.147.dyn.plus.net) |
| 09:21:34 | → | ixlun joins (~user@109.249.184.235) |
| 09:22:51 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 09:25:41 | → | pagnol joins (~user@014198154145.ctinets.com) |
| 09:26:07 | × | ixlun quits (~user@109.249.184.235) (Ping timeout: 252 seconds) |
| 09:28:53 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 09:29:12 | → | guest5 joins (5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) |
| 09:29:35 | → | guest512 joins (561c8089@cpc143858-cosh20-2-0-cust136.6-1.cable.virginm.net) |
| 09:30:19 | <guest512> | data City = City String Int Int [Int] |
| 09:30:20 | <guest512> | deriving Show |
| 09:30:20 | <guest512> | testData :: City |
| 09:30:21 | <guest512> | testData = [ City "Amsterdam" 52 5 [1158, 1149, 1140, 1132] |
| 09:30:21 | <guest512> | City "Athens" 38 23 [3153, 3153, 3154, 3156] |
| 09:30:22 | <guest512> | City "Berlin" 53 13 [3567, 3562, 3557, 3552] |
| 09:30:22 | <guest512> | City "Brussels" 51 4 [2096, 2081, 2065, 2050] |
| 09:30:23 | × | guest512 quits (561c8089@cpc143858-cosh20-2-0-cust136.6-1.cable.virginm.net) (Killed (Sigyn (Spam is off topic on freenode.))) |
| 09:30:36 | <Uniaika> | bwahaha |
| 09:30:48 | <Uniaika> | that's why we ask to paste code in a dedicated service |
| 09:30:49 | <deejaytee> | oof |
| 09:31:08 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 09:31:10 | <guest5> | where's that? |
| 09:31:19 | <deejaytee> | in the topic |
| 09:31:34 | <deejaytee> | paste.tomsmeding.com |
| 09:32:23 | <guest5> | got you cheerrs |
| 09:32:27 | <Uniaika> | let it be a reminder of proper IRC etiquette to read the topic before speaking :P |
| 09:33:49 | → | Kaeipi joins (~Kaiepi@47.54.252.148) |
| 09:34:09 | <guest5> | what do you do with the |
| 09:34:15 | <guest5> | paste once you've made it? |
| 09:34:25 | × | Merfont quits (~Kaiepi@47.54.252.148) (Read error: Connection reset by peer) |
| 09:34:46 | × | Kaeipi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 09:35:11 | → | pera_ joins (~pera_@94.0.111.239) |
| 09:35:16 | → | Kaeipi joins (~Kaiepi@47.54.252.148) |
| 09:36:00 | <deejaytee> | Copy the link into chat, it has an identifier in the link so it'll point to your paste and not someone else's |
| 09:37:52 | <xenon-> | I have a function that returns IO, can I just stick error in there, or should I use throwIO? |
| 09:38:42 | × | son0p quits (~ff@181.136.122.143) (Ping timeout: 245 seconds) |
| 09:40:29 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 09:41:05 | × | Kaeipi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 09:41:30 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 09:42:27 | → | stree joins (~stree@68.36.8.116) |
| 09:43:45 | <deejaytee> | I'm not terribly familiar with *all* the ways to throw errors in IO, but my assumption is that `error` ought to be used only for situations that cannot happen - if your use case is "rare but normal issue that should abort computation but be handled / recovered from later" use something else, e.g. throwIO |
| 09:44:28 | Rembane | agrees with deejaytee |
| 09:44:45 | × | Iceland_jack quits (~user@95.147.45.92) (Ping timeout: 265 seconds) |
| 09:45:27 | <xenon-> | is there some exception in base that I can already use to report invalid program options (using two options that shouldn't be used together)? or some generic function that accepts a string? or should I just create my own exception |
| 09:45:54 | <pagnol> | xenon-: you mean on the command line? |
| 09:46:00 | <xenon-> | yes |
| 09:46:05 | → | rond_ joins (531cdf3e@bmd62.neoplus.adsl.tpnet.pl) |
| 09:46:06 | → | shiraeeshi joins (~shiraeesh@109.166.58.127) |
| 09:47:32 | <pagnol> | can't you just have a branch in your main and abort further execution if both options are present? |
| 09:47:39 | × | jjhoo quits (jahakala@dsl-trebng21-b048b5-171.dhcp.inet.fi) (Remote host closed the connection) |
| 09:47:48 | <pagnol> | I don't see why you would need to work with exceptions at all |
| 09:48:20 | → | ddellacosta joins (~ddellacos@86.106.143.228) |
| 09:48:21 | <xenon-> | I guess I can report error and call exitFailure |
| 09:49:23 | × | mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 09:50:07 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 09:51:26 | → | jjhoo joins (~jahakala@dsl-trebng21-b048b5-171.dhcp.inet.fi) |
| 09:51:32 | × | mrchampion quits (~mrchampio@38.18.109.23) (Ping timeout: 246 seconds) |
| 09:52:33 | × | ddellacosta quits (~ddellacos@86.106.143.228) (Ping timeout: 240 seconds) |
| 09:56:46 | × | shiraeeshi quits (~shiraeesh@109.166.58.127) (Ping timeout: 240 seconds) |
| 09:56:50 | × | nut1 quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Quit: WeeChat 2.8) |
| 09:57:54 | <guest5> | https://paste.tomsmeding.com/R6DugDL9#file-1 |
| 09:58:04 | <guest5> | have I used the right custom class in this? |
| 09:58:33 | <guest5> | custom data type* |
| 10:01:31 | <deejaytee> | There are two issues with your code, and neither of them have to do with your data type. 1. You need commas between the elements in your array. 2. The type annotation `testData :: City` is wrong - testData is a list of City, not a City |
| 10:01:35 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 10:01:57 | → | m0rphism joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 10:03:17 | <guest5> | thank you so much |
| 10:03:19 | → | raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 10:04:35 | × | guest5 quits (5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) (Quit: Connection closed) |
| 10:04:36 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 10:04:54 | → | shiraeeshi joins (~shiraeesh@109.166.58.127) |
| 10:05:12 | <deejaytee> | welp and they're gone before I can tell them about compiler error messages :/ |
| 10:06:39 | → | guest5 joins (5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) |
| 10:09:25 | <deejaytee> | quest5: the giant error message you were getting was because of the lack of commas - Haskell was trying to pass everything after your first use of the `City` word to it, which was a lot of arguments, so it gave that big function type |
| 10:10:11 | → | ozzymcduff joins (~textual@81-234-151-21-no94.tbcn.telia.com) |
| 10:10:19 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 10:10:31 | → | nerdypepper joins (znc@152.67.162.71) |
| 10:10:34 | × | plutoniix quits (~q@cm-119-76-33-155.revip17.asianet.co.th) (Quit: Leaving) |
| 10:13:06 | → | malumore_ joins (~malumore@151.62.117.209) |
| 10:14:04 | × | killsushi quits (~killsushi@2607:fea8:3d40:767:1ced:a9b2:1ba9:5b56) (Quit: Leaving) |
| 10:15:40 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 10:15:53 | <guest5> | I've added all the commas but i'm getting a message still about the type. this is the updated code and the error - the error is repeated loads for each element |
| 10:15:56 | <guest5> | https://paste.tomsmeding.com/jom2DyA2 |
| 10:17:37 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 10:19:05 | <deejaytee> | you've added too many commas now :P In Haskell, arguments to functions do not need to be separated by commas. Only elements in lists need to be. |
| 10:22:39 | <guest5> | deejaytee ahh I've got you, so no commas at the end of each line? |
| 10:22:56 | × | shiraeeshi quits (~shiraeesh@109.166.58.127) (Ping timeout: 265 seconds) |
| 10:23:58 | → | xft0 joins (~xft0@185.234.208.208.r.toneticgroup.pl) |
| 10:24:26 | <deejaytee> | The opposite - you have a list of Cities here, each one being created by invoking the `City` function on five arguments. Currently, you're separating the five arguments from those function calls |
| 10:24:47 | <deejaytee> | with commas, so to fix that those commas need to go |
| 10:26:18 | <deejaytee> | If you don't mind my asking, how are you going about learning Haskell? |
| 10:27:52 | × | kenran quits (~johannes@mue-88-130-62-129.dsl.tropolys.de) (Quit: leaving) |
| 10:28:42 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 10:30:15 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:30:36 | <guest5> | university, but the resources we've been given aren't very good |
| 10:30:43 | <guest5> | that's worked though, thank you very much for your help |
| 10:30:52 | <deejaytee> | No worries, but before you leave... |
| 10:31:11 | × | ozzymcduff quits (~textual@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 10:31:19 | <guest5> | yes |
| 10:31:52 | <deejaytee> | Maybe pick up Learn You a Haskell for Great Good (online free textbook) and learn Haskell from there - it seems that you're having trouble with syntax and it'll probably fill you in on that |
| 10:32:31 | <guest5> | okay, thanks very much |
| 10:32:35 | <guest5> | good idea probably |
| 10:33:12 | → | ppmdo joins (~ppmdo@2a01:c22:7604:4200:b94d:c153:2823:9259) |
| 10:33:13 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 10:33:14 | <deejaytee> | pretty important that you get the syntax first :) The compiler's messages can get very confusing if you have syntax errors |
| 10:35:15 | <guest5> | yeah definitely, thanks again |
| 10:35:20 | <deejaytee> | np |
| 10:35:56 | → | martin02 joins (silas@hund.fs.lmu.de) |
| 10:38:03 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Quit: WeeChat 2.8) |
| 10:38:56 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 10:38:59 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 10:39:56 | → | shiraeeshi joins (~shiraeesh@109.166.58.127) |
| 10:41:33 | → | a6a45081-2b83 joins (~aditya@27.58.160.217) |
| 10:43:10 | × | Xnuk quits (~xnuk@45.76.202.58) (Quit: ZNC - https://znc.in) |
| 10:43:28 | → | Xnuk joins (~xnuk@45.76.202.58) |
| 10:43:43 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 10:44:36 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 10:46:08 | × | pagnol quits (~user@014198154145.ctinets.com) (Ping timeout: 246 seconds) |
| 10:49:28 | × | guest5 quits (5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
| 10:49:42 | → | CrazyPython joins (~crazypyth@206.214.238.6) |
| 10:49:42 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 10:51:10 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-wurzaxiwxfwflzzd) |
| 10:53:34 | × | oxide quits (~lambda@unaffiliated/mclaren) (Ping timeout: 252 seconds) |
| 10:54:11 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 10:54:38 | → | oxide joins (~lambda@unaffiliated/mclaren) |
| 10:56:27 | × | wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 10:56:38 | → | Rudd0^ joins (~Rudd0@185.189.115.108) |
| 10:59:01 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 260 seconds) |
| 11:00:13 | × | Guest88435 quits (~textual@2603-7000-3040-0000-c4a1-9300-65ca-16c5.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 11:02:56 | × | shiraeeshi quits (~shiraeesh@109.166.58.127) (Ping timeout: 246 seconds) |
| 11:04:27 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 11:05:05 | → | gemmaro joins (~Thunderbi@240f:74:d1f0:1:1bf:3730:3a54:b192) |
| 11:05:38 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 252 seconds) |
| 11:05:50 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 11:05:51 | × | hyiltiz quits (~quassel@31.220.5.250) (Changing host) |
| 11:05:51 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 11:06:28 | → | ddellacosta joins (~ddellacos@86.106.143.202) |
| 11:06:33 | × | Alleria_ quits (~AllahuAkb@2603-7000-3040-0000-a19f-b6a7-57ef-17ab.res6.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 11:10:01 | <xenon-> | windows has additional timestamp for each file, created time. does any package have this function, or do I have to resort to winapi? System.Directory only has setAccessTime and setModificationTime |
| 11:11:08 | × | ddellacosta quits (~ddellacos@86.106.143.202) (Ping timeout: 252 seconds) |
| 11:11:34 | → | Alleria_ joins (~AllahuAkb@2603-7000-3040-0000-d8dd-a59c-b7cb-51fa.res6.spectrum.com) |
| 11:12:46 | × | Rudd0^ quits (~Rudd0@185.189.115.108) (Ping timeout: 240 seconds) |
| 11:14:43 | × | a6a45081-2b83 quits (~aditya@27.58.160.217) (Quit: Konversation terminated!) |
| 11:16:54 | × | nerdypepper quits (znc@152.67.162.71) (Quit: bye) |
| 11:16:57 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 11:17:48 | → | hiroaki joins (~hiroaki@2a02:908:4b18:8c40:4cef:b6bf:385e:9b4c) |
| 11:19:03 | × | ppmdo quits (~ppmdo@2a01:c22:7604:4200:b94d:c153:2823:9259) (Ping timeout: 260 seconds) |
| 11:19:51 | → | nerdypepper joins (znc@152.67.162.71) |
| 11:23:37 | → | mrchampion joins (~mrchampio@38.18.109.23) |
| 11:23:38 | × | fryguybob quits (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Quit: leaving) |
| 11:23:52 | → | Aquazi joins (uid312403@gateway/web/irccloud.com/x-usvcyuofqnageprn) |
| 11:26:43 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 11:26:44 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 11:26:47 | → | fryguybob joins (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) |
| 11:31:47 | → | Lycurgus joins (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) |
| 11:33:23 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 11:34:38 | × | malthe_ quits (~mborch@46.101.103.63) (Quit: leaving) |
| 11:36:34 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) |
| 11:37:46 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 276 seconds) |
| 11:37:56 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 11:40:02 | × | reactormonk1 quits (~reactormo@mehl.schokokeks.org) (Quit: WeeChat 2.7.1) |
| 11:43:04 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 11:47:03 | × | raehik1 quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.1) |
| 11:47:15 | → | son0p joins (~ff@181.136.122.143) |
| 11:47:22 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 11:47:48 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 11:48:53 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 11:49:37 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 11:50:46 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 11:53:41 | × | gzj quits (~gzj@unaffiliated/gzj) (Ping timeout: 260 seconds) |
| 11:58:06 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 11:59:24 | → | Qwerky joins (~qwerky@178.197.228.14) |
| 12:00:02 | → | Alleria joins (~textual@2603-7000-3040-0000-c4a1-9300-65ca-16c5.res6.spectrum.com) |
| 12:00:26 | Alleria | is now known as Guest82178 |
| 12:01:06 | × | rond_ quits (531cdf3e@bmd62.neoplus.adsl.tpnet.pl) (Quit: Connection closed) |
| 12:03:02 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 12:03:03 | × | yaroot quits (~yaroot@138.102.13.160.dy.iij4u.or.jp) (Quit: The Lounge - https://thelounge.chat) |
| 12:03:04 | → | slacko64_7930 joins (~puppy@142.182.30.228) |
| 12:03:43 | → | yaroot joins (~yaroot@138.102.13.160.dy.iij4u.or.jp) |
| 12:03:49 | → | stree joins (~stree@68.36.8.116) |
| 12:04:08 | × | Qwerky quits (~qwerky@178.197.228.14) (Remote host closed the connection) |
| 12:04:47 | × | Guest82178 quits (~textual@2603-7000-3040-0000-c4a1-9300-65ca-16c5.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 12:05:34 | × | slacko64_7930 quits (~puppy@142.182.30.228) (Quit: Leaving) |
| 12:12:03 | → | yaroot4 joins (~yaroot@193.3.30.125.dy.iij4u.or.jp) |
| 12:14:25 | → | yaroot2 joins (~yaroot@6.3.30.125.dy.iij4u.or.jp) |
| 12:14:46 | × | yaroot quits (~yaroot@138.102.13.160.dy.iij4u.or.jp) (Ping timeout: 240 seconds) |
| 12:14:46 | yaroot2 | is now known as yaroot |
| 12:16:18 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 12:17:06 | × | yaroot4 quits (~yaroot@193.3.30.125.dy.iij4u.or.jp) (Ping timeout: 240 seconds) |
| 12:18:47 | × | lawid quits (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) (Ping timeout: 260 seconds) |
| 12:18:52 | × | stree quits (~stree@68.36.8.116) (Quit: Caught exception) |
| 12:18:53 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 12:18:57 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 12:19:08 | → | lawid joins (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) |
| 12:19:15 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 12:19:16 | → | stree joins (~stree@68.36.8.116) |
| 12:19:57 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 12:20:38 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 12:23:53 | → | Iceland_jack joins (~user@95.147.45.92) |
| 12:24:50 | → | MrMobius joins (~MrMobius@208.58.206.154) |
| 12:28:41 | <xenon-> | should I be using {-# Language Safe #-} in every module that can get away with it? |
| 12:29:03 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 12:29:34 | × | Iceland_jack quits (~user@95.147.45.92) (Ping timeout: 265 seconds) |
| 12:30:02 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 12:32:41 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds) |
| 12:33:13 | × | garFF quits (~garff@0x3e2c86d9.mobile.telia.dk) (Remote host closed the connection) |
| 12:33:40 | <deejaytee> | If you're making a package for others to consume, or an executable that needs to be safe, I don't see why not. |
| 12:34:27 | <xenon-> | what exactly does this do, besides not allowing unsafePerformIO, or importing modules that are not flagged as Safe? |
| 12:35:00 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 12:35:27 | <deejaytee> | https://downloads.haskell.org/ghc/8.10.2/docs/html/users_guide/safe_haskell.html |
| 12:36:03 | <int-e> | xenon-: Note that the former is one of the goals, not a feature. The latter (restricting imports) is the main mechanisms through which it is accomplished. |
| 12:37:45 | → | romesrf joins (~romesrf@44.190.189.46.rev.vodafone.pt) |
| 12:39:10 | × | Lycurgus quits (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 12:39:49 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 12:39:57 | × | zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving) |
| 12:41:14 | → | zaquest joins (~notzaques@5.128.210.178) |
| 12:41:50 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 12:42:55 | × | gemmaro quits (~Thunderbi@240f:74:d1f0:1:1bf:3730:3a54:b192) (Ping timeout: 250 seconds) |
| 12:42:58 | → | deejaetee joins (~deejaytee@cpc91196-cmbg18-2-0-cust215.5-4.cable.virginm.net) |
| 12:45:14 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 12:45:29 | × | deejaytee quits (~deejaytee@193.46-255-62.static.virginmediabusiness.co.uk) (Ping timeout: 246 seconds) |
| 12:46:21 | → | poljar1 joins (~poljar@93-139-21-8.adsl.net.t-com.hr) |
| 12:46:23 | → | Alleria joins (~textual@zrcout.mskcc.org) |
| 12:46:48 | Alleria | is now known as Guest1217 |
| 12:47:13 | × | poljar quits (~poljar@78-3-21-158.adsl.net.t-com.hr) (Ping timeout: 240 seconds) |
| 12:47:56 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 252 seconds) |
| 12:47:58 | × | Axman6 quits (~Axman6@pdpc/supporter/student/Axman6) (Remote host closed the connection) |
| 12:48:17 | Lord_of_Life_ | is now known as Lord_of_Life |
| 12:49:23 | <xenon-> | my question basically is, do you go out of your way to use Safe in every module possible? |
| 12:49:47 | <xenon-> | or rather, is it a good style to do this? |
| 12:51:28 | <int-e> | Well... hmm. What does it accomplish. Basically it means that the module can be inferred to be safe (so it's kind of redundant), so the benefit you as a developer get is that you'll be alerted when that changes, either because of a new import or because a dependency's "safety" property changed. |
| 12:51:50 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 12:52:39 | → | ddellacosta joins (~ddellacos@86.106.143.111) |
| 12:53:29 | → | deejoytee joins (~deejaytee@193.46-255-62.static.virginmediabusiness.co.uk) |
| 12:53:53 | × | deejoytee quits (~deejaytee@193.46-255-62.static.virginmediabusiness.co.uk) (Client Quit) |
| 12:55:07 | × | mrchampion quits (~mrchampio@38.18.109.23) (Ping timeout: 252 seconds) |
| 12:55:46 | × | deejaetee quits (~deejaytee@cpc91196-cmbg18-2-0-cust215.5-4.cable.virginm.net) (Ping timeout: 240 seconds) |
| 12:57:02 | × | ddellacosta quits (~ddellacos@86.106.143.111) (Ping timeout: 246 seconds) |
| 12:57:12 | <int-e> | It's sad. I'm a user of SafeHaskell (because of lambdabot), but I find it hard to wholeheartedly recommend the practice. One big part of it is that there really isn't much support for it. |
| 12:57:22 | <int-e> | For example, consider http://hackage.haskell.org/package/dlist-0.8.0.8/docs/src/Data.DList.html |
| 12:57:54 | × | ram19890 quits (~ram@49.205.82.36) (Quit: Konversation terminated!) |
| 12:58:16 | <int-e> | That's a module that should be Safe; there's nothing in it to ring any alarm bells. But it provides an IsList instance, and IsList comes from GHC.Exts (and only from there), and GHC.Exts is Unsafe for very good reasons. |
| 12:58:24 | → | ram19890 joins (~ram@49.205.82.36) |
| 13:00:05 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 13:00:29 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 13:00:51 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 13:01:36 | <xenon-> | int-e.. I see. still seems like a good idea to try to use it whenever we can, instead of giving up. IsList issue may be fixed in the future |
| 13:02:02 | → | gemmaro joins (~Thunderbi@240f:74:d1f0:1:1bf:3730:3a54:b192) |
| 13:05:21 | <romesrf> | can someone tell me how this syntax is called so i can search for it ? https://paste.tomsmeding.com/Zekc0aFr ty |
| 13:05:37 | <romesrf> | the " | " and function declaration without the " = " |
| 13:06:14 | <romesrf> | definition* |
| 13:06:14 | → | carlomagno joins (~cararell@148.87.23.8) |
| 13:06:24 | <xenon-> | | are guards, but I've never seen <- being used with them |
| 13:06:36 | <romesrf> | i got it from http://okmij.org/ftp/papers/LogicT.pdf |
| 13:07:24 | <romesrf> | (section 7. A Larger Example: Tic Tac Toe) |
| 13:07:31 | <int-e> | > let f x xs | Just i <- elemIndex x xs = i | otherwise = -1 in f 3 [1..3] |
| 13:07:33 | <lambdabot> | 2 |
| 13:07:52 | → | mrchampion joins (~mrchampio@206.186.171.254) |
| 13:08:06 | <int-e> | romesrf: it's a "pattern guard", it does pattern matching |
| 13:08:49 | <ndn76kxuwwy2848s> | ^ https://wiki.haskell.org/Pattern_guard |
| 13:08:53 | <int-e> | > let twice x | x <- 2*x = x in map twice [0..3] -- it can be abused in funny ways |
| 13:08:55 | <lambdabot> | [0,2,4,6] |
| 13:09:02 | <romesrf> | thank you int-e ndn76kxuwwy2848s :) |
| 13:10:14 | <romesrf> | wow nice |
| 13:10:58 | → | neiluj joins (~jco@91-167-203-101.subs.proxad.net) |
| 13:10:58 | × | neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Changing host) |
| 13:10:58 | → | neiluj joins (~jco@unaffiliated/neiluj) |
| 13:11:26 | → | ppmdo joins (~ppmdo@2a01:c23:bc1f:6d00:831a:c82b:c346:558f) |
| 13:12:00 | → | Axarva joins (6e2c7d8c@110.44.125.140) |
| 13:12:30 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 252 seconds) |
| 13:12:43 | Axarva | is now known as snappyotter |
| 13:13:55 | → | wei2912 joins (~wei2912@unaffiliated/wei2912) |
| 13:15:51 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 250 seconds) |
| 13:16:01 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 13:16:23 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 13:16:52 | × | snappyotter quits (6e2c7d8c@110.44.125.140) (Client Quit) |
| 13:16:54 | → | romesrf_ joins (~romesrf@44.190.189.46.rev.vodafone.pt) |
| 13:19:01 | × | romesrf quits (~romesrf@44.190.189.46.rev.vodafone.pt) (Ping timeout: 260 seconds) |
| 13:19:40 | × | romesrf_ quits (~romesrf@44.190.189.46.rev.vodafone.pt) (Client Quit) |
| 13:19:57 | → | Tario joins (~Tario@201.192.165.173) |
| 13:20:34 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 13:22:08 | × | gzj quits (~gzj@unaffiliated/gzj) (Read error: Connection reset by peer) |
| 13:22:30 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 13:25:08 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 13:25:31 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 13:26:08 | × | gzj quits (~gzj@unaffiliated/gzj) (Read error: Connection reset by peer) |
| 13:26:31 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 13:31:09 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 13:32:03 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 13:32:17 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 13:35:18 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 13:36:15 | × | hiroaki quits (~hiroaki@2a02:908:4b18:8c40:4cef:b6bf:385e:9b4c) (Ping timeout: 260 seconds) |
| 13:36:33 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 13:38:04 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 13:39:54 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 13:41:32 | → | unyu joins (~pyon@unaffiliated/pyon) |
| 13:43:34 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 13:44:00 | × | malumore_ quits (~malumore@151.62.117.209) (Remote host closed the connection) |
| 13:44:30 | → | malumore joins (~malumore@151.62.117.209) |
| 13:44:48 | × | malumore quits (~malumore@151.62.117.209) (Client Quit) |
| 13:45:08 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 13:45:10 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-rhpyeuwtpcwsiaqx) |
| 13:45:29 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 13:47:08 | × | gzj quits (~gzj@unaffiliated/gzj) (Read error: Connection reset by peer) |
| 13:47:29 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 13:48:10 | → | hiroaki joins (~hiroaki@2a02:908:4b18:8c40:c4d8:bb94:7495:fe3c) |
| 13:49:43 | → | leonardo1 joins (~leonardo@185.204.1.185) |
| 13:49:47 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 13:51:26 | × | elliott_ quits (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 13:52:32 | → | xcmw joins (~textual@cpe-69-133-55-43.cinci.res.rr.com) |
| 13:53:31 | → | elliott_ joins (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
| 13:56:36 | → | thunderrd joins (~thunderrd@183.182.115.120) |
| 13:57:35 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) |
| 13:59:26 | <cheater> | tomsmeding: around? :-) |
| 13:59:47 | → | chimera joins (~chimera@120-192-113-92.pool.ukrtel.net) |
| 14:03:22 | → | zweije[m] joins (zweijematr@gateway/shell/matrix.org/x-ywuqrzwxuzjwmwkh) |
| 14:07:08 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 14:07:11 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 14:07:29 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 14:08:26 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 14:09:52 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 14:11:34 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 14:13:41 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 14:14:38 | → | totoro2021 joins (~t@unaffiliated/totoro2021) |
| 14:14:51 | × | totoro2021 quits (~t@unaffiliated/totoro2021) (Client Quit) |
| 14:15:18 | → | totoro2021 joins (~t@unaffiliated/totoro2021) |
| 14:16:31 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 14:16:32 | × | son0p quits (~ff@181.136.122.143) (Disconnected by services) |
| 14:17:27 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 14:18:01 | → | son0p joins (~ff@181.136.122.143) |
| 14:18:59 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 14:21:04 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 14:21:25 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 14:23:55 | × | son0p quits (~ff@181.136.122.143) (Remote host closed the connection) |
| 14:25:15 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 14:25:29 | <tomsmeding> | cheater: yes |
| 14:25:43 | <cheater> | i got criterion to run :) |
| 14:25:57 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 14:26:13 | → | lionel1 joins (~lionel@bb121-7-199-246.singnet.com.sg) |
| 14:26:52 | <lionel1> | hi |
| 14:27:20 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 14:27:29 | <cheater> | hi lionel1 |
| 14:28:44 | → | bitmapper joins (uid464869@gateway/web/irccloud.com/x-xclibgeojditrbpt) |
| 14:28:56 | <lionel1> | new to the chat. |
| 14:29:09 | <lionel1> | loooking for info on haskell and xmonad on arch |
| 14:29:41 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 14:31:04 | ← | lionel1 parts (~lionel@bb121-7-199-246.singnet.com.sg) ("WeeChat 3.1") |
| 14:31:55 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 14:32:06 | → | alx741 joins (~alx741@181.196.68.14) |
| 14:32:47 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 14:33:09 | → | son0p joins (~ff@181.136.122.143) |
| 14:33:33 | × | undvrainbowvita8 quits (~egp_@128-71-13-3.broadband.corbina.ru) (Read error: Connection reset by peer) |
| 14:35:52 | → | defroll joins (~androirc@197.210.70.189) |
| 14:36:23 | → | ixlun` joins (~user@109.249.184.235) |
| 14:36:24 | → | undvrainbowvita8 joins (~egp_@128-71-13-3.broadband.corbina.ru) |
| 14:36:27 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-149.dsl.bell.ca) |
| 14:36:47 | × | defroll quits (~androirc@197.210.70.189) (Read error: Connection reset by peer) |
| 14:37:46 | → | Shuppiluliuma joins (~shuppilul@153.33.68.161) |
| 14:38:05 | → | Sgeo joins (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 14:38:28 | × | gemmaro quits (~Thunderbi@240f:74:d1f0:1:1bf:3730:3a54:b192) (Ping timeout: 276 seconds) |
| 14:38:46 | × | gzj quits (~gzj@unaffiliated/gzj) (Ping timeout: 260 seconds) |
| 14:40:30 | → | stree joins (~stree@68.36.8.116) |
| 14:40:36 | × | xft0 quits (~xft0@185.234.208.208.r.toneticgroup.pl) (Quit: leaving) |
| 14:40:37 | × | ram19890 quits (~ram@49.205.82.36) (Quit: Konversation terminated!) |
| 14:41:08 | → | xft0 joins (~xft0@185.234.208.208.r.toneticgroup.pl) |
| 14:42:21 | × | undvrainbowvita8 quits (~egp_@128-71-13-3.broadband.corbina.ru) (Read error: Connection reset by peer) |
| 14:43:02 | → | kingswim joins (~kevinying@102.91.4.33) |
| 14:43:15 | → | undvrainbowvita8 joins (~egp_@128-71-13-3.broadband.corbina.ru) |
| 14:43:44 | → | chris__ joins (~chris@81.96.113.213) |
| 14:44:07 | <kingswim> | why Just 9 >>= return Just 5 --- result is Just 9. but [6] >>= return [8] ---result is [8] |
| 14:45:19 | <kingswim> | newbie help |
| 14:46:20 | <Taneb> | kingswim: there's a few things going on here. Firstly, return is a function, not a statement. |
| 14:46:34 | × | chris__ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 14:46:58 | → | ddellac__ joins (~ddellacos@86.106.143.215) |
| 14:47:04 | × | phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 268 seconds) |
| 14:47:08 | → | chris__ joins (~chris@81.96.113.213) |
| 14:47:26 | × | chris__ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 14:47:30 | <Taneb> | Secondly, the way you're using "return" here isn't in the monad you're intending to use. Because the RHS of >>= should be a function, it uses the ((->) e) monad instance, so "return [8]" is the same as "\e -> [8]" |
| 14:47:42 | → | chris__ joins (~chris@81.96.113.213) |
| 14:48:30 | <Taneb> | Because return is a function, "return Just 5" is the same as "(return Just) 5", and we need this to have type "Integer -> Maybe something". |
| 14:48:52 | <Taneb> | So "return Just" needs type "Integer -> Integer -> Maybe something" because we're passing it an integer |
| 14:49:36 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 14:51:04 | <Taneb> | return in the ((->) e) monad is the same as const |
| 14:51:17 | <Taneb> | So "return Just 5" ends up the same as "Just" which is of the right type |
| 14:51:37 | <Taneb> | But note that that's entirely dropped the 5 |
| 14:51:46 | <Taneb> | kingswim: are you managing to follow this? |
| 14:51:51 | <kingswim> | Taneb:trying to understand |
| 14:52:00 | × | ddellac__ quits (~ddellacos@86.106.143.215) (Ping timeout: 268 seconds) |
| 14:52:53 | <Taneb> | "[6] >>= return [8]" is the same as "[6] >>= \x -> [8]" |
| 14:53:26 | <Taneb> | "Just 9 >>= return Just 5" is the same as "Just 9 >>= (\x -> Just) 5" is the same as "Just 9 >>= Just" is the same as "Just 9 >>= \x -> Just x" |
| 14:53:43 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds) |
| 14:53:59 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 14:54:05 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 14:57:22 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 14:58:41 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 14:59:17 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 15:00:16 | × | coot quits (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 15:01:02 | <xenon-> | function monad is not the simplest one to grasp for beginners, so don't worry if you don't get it at this point |
| 15:02:01 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 250 seconds) |
| 15:02:56 | → | xkapastel joins (uid17782@gateway/web/irccloud.com/x-fkhouktirrkpcdzt) |
| 15:03:16 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 15:05:24 | → | itai33 joins (~itai@2a0d:6fc0:87d:b00:f50f:77b6:28be:b274) |
| 15:05:25 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 15:05:44 | <itai33> | :q |
| 15:06:01 | <xenon-> | > (do x <- (+10); y <- (*3); return $ x + y) 10 |
| 15:06:03 | <lambdabot> | 50 |
| 15:06:22 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 15:06:31 | itai33 | is now known as iyefrat |
| 15:07:07 | × | CrazyPython quits (~crazypyth@206.214.238.6) (Ping timeout: 252 seconds) |
| 15:08:27 | × | iyefrat quits (~itai@2a0d:6fc0:87d:b00:f50f:77b6:28be:b274) (Client Quit) |
| 15:11:29 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
| 15:13:11 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 15:13:18 | → | deejaytee joins (~deejaytee@193.46-255-62.static.virginmediabusiness.co.uk) |
| 15:13:30 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 15:14:13 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 276 seconds) |
| 15:15:13 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 15:17:33 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 15:17:45 | → | `slikts joins (~nelabs@2a00:d880:5:395::37ca) |
| 15:17:45 | × | `slikts quits (~nelabs@2a00:d880:5:395::37ca) (Changing host) |
| 15:17:45 | → | `slikts joins (~nelabs@wikipedia/reinis) |
| 15:19:28 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 246 seconds) |
| 15:19:34 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 15:19:43 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 15:20:01 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 15:20:32 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 15:20:36 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 15:20:36 | × | chimera quits (~chimera@120-192-113-92.pool.ukrtel.net) (Quit: Konversation terminated!) |
| 15:21:59 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 15:22:13 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 15:22:54 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 15:27:11 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 15:29:24 | → | isovector joins (~isovector@172.103.216.166) |
| 15:30:01 | × | ixlun` quits (~user@109.249.184.235) (Quit: ERC (IRC client for Emacs 28.0.50)) |
| 15:30:45 | → | ixlun joins (~user@109.249.184.235) |
| 15:31:28 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 15:32:59 | → | boxscape joins (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) |
| 15:33:30 | → | proofofkeags joins (~proofofke@205.209.28.54) |
| 15:38:15 | <boxscape> | I have a pattern that can't occur and get a warning no matter what I do - is there no way to make GHC happy here? |
| 15:38:16 | <boxscape> | https://paste.tomsmeding.com/6nOwyiZb |
| 15:39:01 | × | DavidEichmann quits (~david@156.59.147.147.dyn.plus.net) (Ping timeout: 252 seconds) |
| 15:39:29 | × | zgrep quits (~zgrep@ircpuzzles/2015/april-fools/sixth/zgrep) (Quit: It's a quitter's world.) |
| 15:40:07 | <boxscape> | guess I should try to find an example without singletons and check if the same happens in HEAD... |
| 15:40:11 | <boxscape> | (no pun intended) |
| 15:40:46 | <monochrom> | I would blame -Wall. |
| 15:40:54 | → | zgrep joins (~zgrep@ircpuzzles/2015/april-fools/sixth/zgrep) |
| 15:41:11 | <boxscape> | monochrom sure, but I *want* those warnings where they're appropriate, I just don't think non-exhaustive is appropriate here |
| 15:41:40 | <monochrom> | I would not use -Wall. But if you insist, you have to locate the exact -W??? option that kills just the non-exhaustive-pattern warning. |
| 15:41:54 | <geekosaur> | shouldn't it say? |
| 15:42:06 | <geekosaur> | sadly it can't be applied just to that one place, at least not yet |
| 15:42:06 | <boxscape> | -Wincomplete-patterns |
| 15:42:18 | <geekosaur> | they'e still working over the errors/warnings system |
| 15:43:22 | <dolio> | Warnings about incomplete patterns are desired in general, though, right? |
| 15:43:26 | <boxscape> | yes |
| 15:43:44 | <dolio> | The problem is that your type hackery is too complicated for the checker to figure out. |
| 15:43:56 | <boxscape> | :( |
| 15:44:42 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 15:44:48 | <boxscape> | It seems as though if ghc can figure something out once I add a pattern, it should in principle be figure-outable before I add that pattern, as least if it's not a nested pattern, but I suppose ghc just doesn't do that |
| 15:45:26 | × | _bin quits (~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net) (Ping timeout: 240 seconds) |
| 15:46:09 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-wurzaxiwxfwflzzd) (Quit: Connection closed for inactivity) |
| 15:46:53 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 15:48:30 | <dolio> | At some point I remember some work to make the exhaustiveness checker better in that respect, but I'm not sure what all it incorporates. |
| 15:48:36 | → | alexander joins (~alexander@2a02:587:dc01:3b00:38f4:60b0:4dbb:46) |
| 15:48:42 | → | ddellacosta joins (~ddellacos@2607:fb90:7bc8:cdb:85b6:fc05:3196:93a7) |
| 15:49:05 | alexander | is now known as Guest28161 |
| 15:49:07 | <boxscape> | Yeah I saw SPJ's talk on youtube about that |
| 15:49:44 | <dolio> | I would guess that maybe it isn't reducing the type functions or something, but I don't have enough experience to say definitively. |
| 15:50:17 | × | ddellacosta quits (~ddellacos@2607:fb90:7bc8:cdb:85b6:fc05:3196:93a7) (Remote host closed the connection) |
| 15:50:22 | <boxscape> | mhm seems likely |
| 15:50:49 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 15:54:43 | → | ddellac__ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 15:56:21 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 15:56:28 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 15:56:45 | × | xft0 quits (~xft0@185.234.208.208.r.toneticgroup.pl) (Quit: leaving) |
| 15:58:07 | → | CrazyPython joins (~crazypyth@206.214.238.6) |
| 15:58:22 | × | xcmw quits (~textual@cpe-69-133-55-43.cinci.res.rr.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 15:58:54 | <boxscape> | Oh! |
| 15:58:57 | <boxscape> | It works in HEAD |
| 15:58:58 | <boxscape> | nice |
| 15:59:13 | × | ddellac__ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 16:00:57 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 16:00:58 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 16:01:23 | → | ddella___ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 16:01:51 | → | xcmw joins (~textual@2603-6011-2200-f103-757c-c76e-ded5-d43b.res6.spectrum.com) |
| 16:05:08 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 16:05:25 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds) |
| 16:05:34 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 16:05:37 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 16:05:51 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 16:07:19 | → | bermraj joins (~azael@2a01:4f8:211:1349::2) |
| 16:08:14 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 16:08:57 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 16:12:36 | × | Guest1217 quits (~textual@zrcout.mskcc.org) (Quit: Textual IRC Client: www.textualapp.com) |
| 16:16:20 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 16:17:02 | → | Alleria joins (~textual@zrcout.mskcc.org) |
| 16:17:27 | Alleria | is now known as Guest95205 |
| 16:18:31 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) |
| 16:18:44 | × | ixlun quits (~user@109.249.184.235) (Read error: Connection reset by peer) |
| 16:18:54 | <dolio> | Actually, I think my guess above is wrong. I think it's more likely that what's happening is that when it considers cases that aren't covered, it doesn't incorporate the refinements they cause. |
| 16:19:49 | → | ixlun joins (~user@109.249.184.235) |
| 16:19:55 | <boxscape> | hm yeah that would make sense |
| 16:22:08 | <boxscape> | dolio actually, I figured out how to make it work with ghc 8.10 as well now: https://paste.tomsmeding.com/hrqGCTTO |
| 16:22:17 | <boxscape> | which conveniently has a nicer API, too |
| 16:22:49 | → | coot joins (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 16:22:58 | × | coot quits (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection) |
| 16:23:00 | <boxscape> | i.e., passing a SingI constraint instead of a singleton directly |
| 16:23:49 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 16:24:26 | <boxscape> | all in one paste for easy comparison https://paste.tomsmeding.com/UxNIdVNY |
| 16:25:34 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 16:25:41 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Ping timeout: 260 seconds) |
| 16:26:07 | × | ppmdo quits (~ppmdo@2a01:c23:bc1f:6d00:831a:c82b:c346:558f) (Ping timeout: 260 seconds) |
| 16:27:34 | × | wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 16:30:41 | → | poljar joins (~poljar@93-143-170-103.adsl.net.t-com.hr) |
| 16:31:17 | × | ixlun quits (~user@109.249.184.235) (Ping timeout: 268 seconds) |
| 16:31:43 | → | ixlun joins (~user@109.249.184.235) |
| 16:32:41 | × | poljar1 quits (~poljar@93-139-21-8.adsl.net.t-com.hr) (Ping timeout: 265 seconds) |
| 16:35:01 | → | CrazyPyt_ joins (~crazypyth@206.214.238.6) |
| 16:35:16 | × | CrazyPython quits (~crazypyth@206.214.238.6) (Read error: Connection reset by peer) |
| 16:35:40 | × | isovector quits (~isovector@172.103.216.166) (Ping timeout: 252 seconds) |
| 16:36:11 | → | ddellacosta joins (~ddellacos@83.143.246.103) |
| 16:36:53 | × | ixlun quits (~user@109.249.184.235) (Ping timeout: 260 seconds) |
| 16:37:37 | → | _bin joins (~bin@2600:1700:10a1:38d0:4da3:c080:c26c:e9d4) |
| 16:38:24 | → | Deide joins (~Deide@217.155.19.23) |
| 16:40:54 | × | ddellacosta quits (~ddellacos@83.143.246.103) (Ping timeout: 265 seconds) |
| 16:42:29 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 16:43:19 | → | aiken joins (~aiken@76.2.143.150.dyn.plus.net) |
| 16:47:56 | × | kingswim quits (~kevinying@102.91.4.33) (Ping timeout: 268 seconds) |
| 16:48:14 | × | dumptruckman quits (~dumptruck@li1287-148.members.linode.com) (Quit: ZNC - https://znc.in) |
| 16:48:35 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 16:49:10 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 16:49:27 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 16:50:06 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 16:50:09 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) |
| 16:51:53 | × | nyd quits (~nyd@unaffiliated/elysian) (Ping timeout: 246 seconds) |
| 16:52:21 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 16:53:40 | → | seveg joins (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) |
| 16:54:54 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 16:56:51 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-pdbhajqewdjsgghb) |
| 16:57:24 | → | Rudd0^ joins (~Rudd0@185.189.115.103) |
| 16:58:29 | → | asdgae33 joins (497b7713@gateway/web/cgi-irc/kiwiirc.com/ip.73.123.119.19) |
| 16:58:44 | × | asdgae33 quits (497b7713@gateway/web/cgi-irc/kiwiirc.com/ip.73.123.119.19) (Client Quit) |
| 17:00:28 | → | asdgae33 joins (497b7713@gateway/web/cgi-irc/kiwiirc.com/ip.73.123.119.19) |
| 17:00:41 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 260 seconds) |
| 17:01:18 | → | isovector joins (~isovector@172.103.216.166) |
| 17:01:34 | → | stree joins (~stree@68.36.8.116) |
| 17:01:37 | × | deejaytee quits (~deejaytee@193.46-255-62.static.virginmediabusiness.co.uk) (Ping timeout: 260 seconds) |
| 17:01:41 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 17:02:38 | → | deejaytee joins (~deejaytee@cpc91196-cmbg18-2-0-cust215.5-4.cable.virginm.net) |
| 17:02:48 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 17:07:07 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 17:09:23 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 246 seconds) |
| 17:09:29 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 17:10:51 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 17:12:36 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 17:13:29 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 17:16:31 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 17:18:31 | × | ddella___ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 17:20:21 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-ahljnfmlpzcempts) |
| 17:21:19 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 17:21:37 | × | tomku quits (~tomku@unaffiliated/tomku) (Ping timeout: 245 seconds) |
| 17:21:43 | → | tomku joins (~tomku@unaffiliated/tomku) |
| 17:22:32 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 17:23:03 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 17:23:05 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 17:25:04 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 17:25:35 | → | kupi joins (uid212005@gateway/web/irccloud.com/x-elsgjtlywkhnglxq) |
| 17:25:39 | → | rond_ joins (5940206b@89-64-32-107.dynamic.chello.pl) |
| 17:27:12 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 17:28:01 | → | ozzymcduff joins (~textual@81-234-151-21-no94.tbcn.telia.com) |
| 17:30:07 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 17:31:11 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 17:31:55 | × | ozzymcduff quits (~textual@81-234-151-21-no94.tbcn.telia.com) (Client Quit) |
| 17:32:59 | → | nineonine joins (~nineonine@50.216.62.2) |
| 17:34:17 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 17:34:33 | × | xcmw quits (~textual@2603-6011-2200-f103-757c-c76e-ded5-d43b.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 17:34:33 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 246 seconds) |
| 17:34:59 | × | nineonin_ quits (~nineonine@2604:3d08:777e:900:3c49:5975:3fc2:6871) (Ping timeout: 250 seconds) |
| 17:35:02 | × | CrazyPyt_ quits (~crazypyth@206.214.238.6) (Read error: Connection reset by peer) |
| 17:35:31 | × | boxscape quits (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) (Ping timeout: 265 seconds) |
| 17:35:37 | → | CrazyPython joins (~crazypyth@206.214.238.6) |
| 17:35:46 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 17:36:06 | × | gzj quits (~gzj@unaffiliated/gzj) (Read error: Connection reset by peer) |
| 17:37:26 | → | defroll joins (~androirc@197.210.54.200) |
| 17:39:08 | → | shiraeeshi joins (~shiraeesh@109.166.59.30) |
| 17:39:14 | × | defroll quits (~androirc@197.210.54.200) (Read error: Connection reset by peer) |
| 17:39:44 | × | fendor quits (~fendor@77.119.130.61.wireless.dyn.drei.com) (Quit: Leaving) |
| 17:41:33 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 240 seconds) |
| 17:42:00 | → | fendor joins (~fendor@77.119.130.61.wireless.dyn.drei.com) |
| 17:42:27 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 17:42:35 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 17:44:32 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 17:45:48 | × | deejaytee quits (~deejaytee@cpc91196-cmbg18-2-0-cust215.5-4.cable.virginm.net) (Quit: Leaving) |
| 17:45:54 | × | Rudd0^ quits (~Rudd0@185.189.115.103) (Ping timeout: 268 seconds) |
| 17:49:51 | → | enya[m] joins (enyaismatr@gateway/shell/matrix.org/x-vbxbmzfxfyfdzpkm) |
| 17:51:38 | × | kuribas quits (~user@ptr-25vy0i87sxakfqtxjgf.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 17:51:44 | × | _ashbreeze_ quits (~mark@64.85.214.234.reverse.socket.net) (Ping timeout: 246 seconds) |
| 17:53:31 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 17:54:48 | → | CuPenguin joins (~CuPenguin@dyn-209-2-219-179.dyn.columbia.edu) |
| 17:56:11 | × | jess quits (jess@freenode/staff/jess) () |
| 17:57:53 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 18:00:30 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 18:01:54 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 18:02:05 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:02:26 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 18:06:19 | → | boxscape joins (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) |
| 18:06:24 | <xenon-> | if I use getTimeZone to fetch timezone, and use it to convert LocalTime from the past to UTCTime, I won't necessarily get correct results, will I? for example, if daylight saving time is on today, but wasn't at the time of the old LocalTime |
| 18:07:01 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
| 18:07:58 | <xenon-> | getCurrentTimeZone* |
| 18:08:55 | → | qbshill joins (~ian@cpe9050cac7da83-cm9050cac7da80.cpe.net.cable.rogers.com) |
| 18:09:52 | → | dme2 joins (~dme2@157.245.137.107) |
| 18:09:52 | × | proofofkeags quits (~proofofke@205.209.28.54) (Ping timeout: 252 seconds) |
| 18:10:39 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 18:14:30 | → | ddellac__ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 18:16:07 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 265 seconds) |
| 18:16:14 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 18:17:17 | × | CuPenguin quits (~CuPenguin@dyn-209-2-219-179.dyn.columbia.edu) (Quit: WeeChat 3.1) |
| 18:18:01 | <geekosaur> | correct, you'd need the timezone that matched the time |
| 18:18:19 | <geekosaur> | I'm tempted to point you to "falsehoods programmers believe about time" |
| 18:19:21 | <xenon-> | is this the solution? https://hackage.haskell.org/package/tz-0.1.3.5 |
| 18:19:58 | <xenon-> | timeZoneForUTCTime :: TZ -> UTCTime -> TimeZone "Returns the TimeZone for the TZ at the given UTCTime." |
| 18:19:59 | <xenon-> | seems to be |
| 18:20:54 | <geekosaur> | I think that will have problems across timezone changes? |
| 18:20:57 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 18:21:59 | → | proofofkeags joins (~proofofke@205.209.28.54) |
| 18:22:36 | <xenon-> | why? |
| 18:22:59 | <xenon-> | you mean for future times, if daylight saving time rules change for a given location? |
| 18:23:39 | <geekosaur> | your UTCTime if converted for the wrong timezone to begin with will be ~1h (usually) off if it's crossing a time change boundary |
| 18:24:20 | <geekosaur> | I guess you can blindly hope nobody ever gives you a time around 0200 or whenever the timezone does its time changes |
| 18:25:22 | <xenon-> | ah I see. 02:00 may not exist |
| 18:25:29 | <xenon-> | or it may exist twice |
| 18:27:56 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 18:27:58 | → | ddellaco_ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 18:29:01 | → | ixlun joins (~user@109.249.184.235) |
| 18:32:35 | <xenon-> | is that what you meant, or? |
| 18:32:49 | <geekosaur> | mostly, yes |
| 18:32:49 | × | ddellaco_ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 18:33:20 | <geekosaur> | you can't tell if 02:35 is the first or second one, in particular, during that change |
| 18:33:27 | <xenon-> | yes |
| 18:33:37 | <geekosaur> | it's all fairly tricky and possibly impossible to get right |
| 18:36:11 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 18:36:55 | × | ddellac__ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 18:38:08 | × | pera_ quits (~pera_@94.0.111.239) (Quit: leaving) |
| 18:38:08 | → | DavidEichmann joins (~david@156.59.147.147.dyn.plus.net) |
| 18:38:36 | <xenon-> | it isn't perfect, but it is still a big improvement over naive getCurrentTimeZone used with localTimeToUTC |
| 18:42:03 | <xenon-> | ah interesting, this library also comes with localTimeToUTCFull :: TZ -> LocalTime -> LocalToUTCResult |
| 18:42:03 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 18:42:50 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 18:43:12 | <xenon-> | data LocalToUTCResult = LTUNone { ... } | LTUUnique { ... } | LTUAmbiguous { ... } |
| 18:45:11 | → | Iceland_jack joins (~user@95.147.45.92) |
| 18:46:29 | <xenon-> | LTUAmbiguous has two UTCTime and two TimeZone fields |
| 18:49:11 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 18:50:40 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 276 seconds) |
| 18:50:47 | × | DavidEichmann quits (~david@156.59.147.147.dyn.plus.net) (Remote host closed the connection) |
| 18:50:56 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-aelfljififmrzyjq) (Quit: Connection closed for inactivity) |
| 18:51:11 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 18:53:19 | × | mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 18:54:17 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 18:55:02 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 18:56:09 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 19:01:02 | → | ddellac__ joins (~ddellacos@83.143.246.103) |
| 19:02:45 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 19:03:51 | × | bgamari quits (~bgamari@2001:470:e438::1) (Ping timeout: 260 seconds) |
| 19:04:22 | → | bgamari joins (~bgamari@72.65.101.148) |
| 19:04:53 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 19:05:26 | × | ddellac__ quits (~ddellacos@83.143.246.103) (Ping timeout: 240 seconds) |
| 19:05:42 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 19:05:42 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 19:08:02 | → | Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 19:08:47 | × | Aquazi quits (uid312403@gateway/web/irccloud.com/x-usvcyuofqnageprn) (Quit: Connection closed for inactivity) |
| 19:09:46 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 19:14:24 | → | itai joins (~itai@2a0d:6fc0:87d:b00:f50f:77b6:28be:b274) |
| 19:15:31 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 19:16:54 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 19:18:28 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 19:19:28 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 19:22:30 | → | stree joins (~stree@68.36.8.116) |
| 19:25:38 | ← | dme2 parts (~dme2@157.245.137.107) ("WeeChat 3.1") |
| 19:25:53 | → | DavidEichmann joins (~david@156.59.147.147.dyn.plus.net) |
| 19:26:03 | → | juuandyy joins (~juuandyy@90.106.228.121) |
| 19:26:46 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 19:31:31 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 265 seconds) |
| 19:32:36 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 19:33:24 | → | Tops2 joins (~Tobias@dyndsl-037-138-064-027.ewe-ip-backbone.de) |
| 19:36:34 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 19:37:10 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 19:41:36 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 19:42:40 | × | ixlun quits (~user@109.249.184.235) (Ping timeout: 252 seconds) |
| 19:43:54 | → | _ashbreeze_ joins (~mark@199.187.161.140) |
| 19:44:41 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Remote host closed the connection) |
| 19:46:02 | → | ixlun joins (~user@109.249.184.235) |
| 19:46:29 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 19:47:18 | → | Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 19:47:26 | × | isovector quits (~isovector@172.103.216.166) (Ping timeout: 240 seconds) |
| 19:47:31 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 19:50:51 | × | ixlun quits (~user@109.249.184.235) (Ping timeout: 265 seconds) |
| 19:50:54 | × | juuandyy quits (~juuandyy@90.106.228.121) (Quit: Konversation terminated!) |
| 19:52:35 | → | chimera joins (~chimera@120-192-113-92.pool.ukrtel.net) |
| 19:53:11 | × | CrazyPython quits (~crazypyth@206.214.238.6) (Ping timeout: 246 seconds) |
| 19:53:21 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 19:55:36 | → | CrazyPython joins (~crazypyth@206.214.238.6) |
| 19:55:40 | × | bennofs_ quits (~quassel@dynamic-078-055-133-039.78.55.pool.telefonica.de) (Read error: Connection reset by peer) |
| 19:55:52 | → | ixlun joins (~user@109.249.184.235) |
| 19:56:02 | → | bennofs_ joins (~quassel@dynamic-078-055-133-039.78.55.pool.telefonica.de) |
| 19:56:25 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 252 seconds) |
| 19:57:37 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 19:57:49 | → | guest5 joins (5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) |
| 20:00:11 | × | ixlun quits (~user@109.249.184.235) (Ping timeout: 240 seconds) |
| 20:00:21 | × | hololeap quits (~hololeap@gateway/tor-sasl/hololeap) (Ping timeout: 240 seconds) |
| 20:00:43 | → | m_shiraeeshi joins (~shiraeesh@109.166.58.236) |
| 20:01:34 | → | hololeap joins (~hololeap@gateway/tor-sasl/hololeap) |
| 20:02:02 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 20:02:22 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 20:02:26 | × | shiraeeshi quits (~shiraeesh@109.166.59.30) (Ping timeout: 240 seconds) |
| 20:02:33 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 20:05:06 | → | tromp_ joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 20:05:09 | × | xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Ping timeout: 240 seconds) |
| 20:05:33 | → | xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar) |
| 20:05:57 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 20:06:08 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 246 seconds) |
| 20:06:46 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 20:06:50 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 20:07:33 | ← | dedz parts (~ubuntu@unaffiliated/dedz) ("WeeChat 2.8") |
| 20:08:06 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 20:09:24 | × | ebutleriv quits (sid217783@gateway/web/irccloud.com/x-axsaplaythlyhqvy) (*.net *.split) |
| 20:09:24 | × | travv0 quits (sid293381@gateway/web/irccloud.com/x-bgosnvmgywfhipga) (*.net *.split) |
| 20:09:24 | × | natim87 quits (sid286962@gateway/web/irccloud.com/x-segjzaitfpijfgwt) (*.net *.split) |
| 20:09:24 | × | caasih quits (sid13241@gateway/web/irccloud.com/x-cymkwsjxbflumclu) (*.net *.split) |
| 20:09:24 | × | rodlogic__ quits (sid214676@gateway/web/irccloud.com/x-eoudvnsbeyqqlkat) (*.net *.split) |
| 20:09:24 | × | zzz quits (~zzz@2a03:b0c0:3:d0::3095:3001) (*.net *.split) |
| 20:09:24 | × | Vq quits (~vq@90-227-195-41-no77.tbcn.telia.com) (*.net *.split) |
| 20:09:24 | × | noCheese quits (~nocheese@unaffiliated/nocheese) (*.net *.split) |
| 20:09:24 | × | Nikotiini quits (~ubuntu@ec2-52-213-118-142.eu-west-1.compute.amazonaws.com) (*.net *.split) |
| 20:09:24 | × | lpsmith quits (~lpsmith@unaffiliated/lpsmith) (*.net *.split) |
| 20:09:24 | × | xarian quits (~xarian@104.236.81.162) (*.net *.split) |
| 20:09:24 | × | dequbed quits (~dequbed@yanduxian.paranoidlabs.org) (*.net *.split) |
| 20:09:24 | × | orcus quits (~orcus@unaffiliated/orcus) (*.net *.split) |
| 20:09:24 | × | sigmundv quits (~sigmundv@178.62.72.87) (*.net *.split) |
| 20:09:24 | × | rookie101 quits (~rookie@207.154.204.166) (*.net *.split) |
| 20:09:24 | × | andjjj23_ quits (~irc@107.170.228.47) (*.net *.split) |
| 20:09:24 | × | [df] quits (~ben@51.15.198.140) (*.net *.split) |
| 20:09:24 | × | filwisher quits (~filwisher@78.141.201.45) (*.net *.split) |
| 20:09:24 | × | alp quits (~alp@163.172.83.213) (*.net *.split) |
| 20:09:24 | × | kosmikus quits (~kosmikus@haskell/developer/kosmikus) (*.net *.split) |
| 20:09:24 | × | bendo quits (~bendo@130.61.122.121) (*.net *.split) |
| 20:09:24 | × | emergence quits (~emergence@vm0.max-p.me) (*.net *.split) |
| 20:09:24 | × | duairc quits (~shane@ana.rch.ist) (*.net *.split) |
| 20:09:24 | × | peutri quits (~peutri@ns317027.ip-94-23-46.eu) (*.net *.split) |
| 20:09:24 | × | haveo quits (~haveo@sl35.iuwt.fr) (*.net *.split) |
| 20:09:24 | × | le_jonge quits (jonge@kofferbomber.org) (*.net *.split) |
| 20:09:24 | × | voidcontext quits (~pgee@178.62.100.221) (*.net *.split) |
| 20:09:30 | → | voidcontext joins (~pgee@178.62.100.221) |
| 20:09:31 | → | haveo joins (~haveo@sl35.iuwt.fr) |
| 20:09:32 | → | duairc joins (~shane@ana.rch.ist) |
| 20:09:34 | → | jonge joins (jonge@kofferbomber.org) |
| 20:09:34 | → | sigmundv joins (~sigmundv@178.62.72.87) |
| 20:09:35 | → | travv0 joins (sid293381@gateway/web/irccloud.com/x-cqosycqhyqubbdmy) |
| 20:09:36 | → | peutri joins (~peutri@ns317027.ip-94-23-46.eu) |
| 20:09:36 | → | ebutleriv joins (sid217783@gateway/web/irccloud.com/x-kjtlrdrcmesdvdsb) |
| 20:09:37 | → | natim87 joins (sid286962@gateway/web/irccloud.com/x-imszzbhqovbmpieq) |
| 20:09:38 | → | lpsmith joins (~lpsmith@unaffiliated/lpsmith) |
| 20:09:38 | → | bendo joins (~bendo@130.61.122.121) |
| 20:09:39 | → | filwisher joins (~filwisher@78.141.201.45) |
| 20:09:40 | → | zzz joins (~zzz@2a03:b0c0:3:d0::3095:3001) |
| 20:09:41 | → | Vq joins (~vq@90-227-195-41-no77.tbcn.telia.com) |
| 20:09:43 | → | emergence joins (~emergence@vm0.max-p.me) |
| 20:09:43 | → | caasih joins (sid13241@gateway/web/irccloud.com/x-oiswgqyduhjrscso) |
| 20:09:45 | → | [df] joins (~ben@51.15.198.140) |
| 20:09:45 | → | orcus joins (~orcus@unaffiliated/orcus) |
| 20:09:45 | → | noCheese joins (~nocheese@gw2.aibor.de) |
| 20:09:46 | × | noCheese quits (~nocheese@gw2.aibor.de) (Changing host) |
| 20:09:46 | → | noCheese joins (~nocheese@unaffiliated/nocheese) |
| 20:09:46 | → | rodlogic__ joins (sid214676@gateway/web/irccloud.com/x-puengvpfylnuoiwr) |
| 20:09:48 | → | Nikotiini joins (~ubuntu@ec2-52-213-118-142.eu-west-1.compute.amazonaws.com) |
| 20:09:54 | → | dequbed joins (~dequbed@yanduxian.paranoidlabs.org) |
| 20:10:04 | → | andjjj23_ joins (~irc@107.170.228.47) |
| 20:10:16 | → | rookie101 joins (~rookie@207.154.204.166) |
| 20:10:38 | → | xarian joins (~xarian@104.236.81.162) |
| 20:11:53 | <boxscape> | hehe I just tried --5 to see if it would negate it twice and then was briefly surprised when I got no output at all from ghci |
| 20:12:36 | × | pounce quits (~pounce@ns379743.ip-5-196-70.eu) (Ping timeout: 265 seconds) |
| 20:12:42 | × | fendor quits (~fendor@77.119.130.61.wireless.dyn.drei.com) (Remote host closed the connection) |
| 20:13:05 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 20:13:17 | <int-e> | boxscape: no comment... |
| 20:13:43 | <boxscape> | :) |
| 20:13:52 | × | guest5 quits (5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) (Quit: Connection closed) |
| 20:13:58 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 20:14:04 | → | fendor joins (~fendor@77.119.130.61.wireless.dyn.drei.com) |
| 20:14:36 | → | kosmikus joins (~kosmikus@haskell/developer/kosmikus) |
| 20:15:08 | → | ixlun joins (~user@109.249.184.235) |
| 20:15:43 | → | alp joins (~alp@163.172.83.213) |
| 20:15:52 | → | pounce joins (~pounce@ns379743.ip-5-196-70.eu) |
| 20:17:05 | × | ixlun quits (~user@109.249.184.235) (Remote host closed the connection) |
| 20:20:41 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 20:23:18 | → | dme2 joins (~dme2@157.245.137.107) |
| 20:25:38 | → | ixlun joins (~user@109.249.184.235) |
| 20:28:49 | × | aiken quits (~aiken@76.2.143.150.dyn.plus.net) (Quit: Leaving) |
| 20:29:19 | × | DavidEichmann quits (~david@156.59.147.147.dyn.plus.net) (Quit: Leaving) |
| 20:29:46 | × | ixlun quits (~user@109.249.184.235) (Ping timeout: 240 seconds) |
| 20:32:44 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 20:34:23 | × | hiroaki quits (~hiroaki@2a02:908:4b18:8c40:c4d8:bb94:7495:fe3c) (Ping timeout: 260 seconds) |
| 20:36:14 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 20:36:36 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 20:36:39 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 20:37:44 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 20:38:11 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 20:40:53 | × | Varis quits (~Tadas@unaffiliated/varis) (Read error: Connection reset by peer) |
| 20:41:18 | → | ddellac__ joins (~ddellacos@86.106.143.111) |
| 20:42:16 | × | Taneb quits (~Taneb@runciman.hacksoc.org) (Read error: Connection reset by peer) |
| 20:42:37 | × | deviantfero quits (~deviantfe@190.150.27.58) (Ping timeout: 252 seconds) |
| 20:43:04 | → | Taneb joins (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) |
| 20:43:43 | × | itai quits (~itai@2a0d:6fc0:87d:b00:f50f:77b6:28be:b274) (Ping timeout: 260 seconds) |
| 20:44:22 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 20:45:57 | × | ddellac__ quits (~ddellacos@86.106.143.111) (Ping timeout: 265 seconds) |
| 20:46:18 | → | isovector joins (~isovector@172.103.216.166) |
| 20:47:39 | → | hiroaki joins (~hiroaki@2a02:908:4b18:8c40:d44f:a626:bffa:9622) |
| 20:49:03 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 20:49:07 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 20:50:21 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Quit: WeeChat 3.1) |
| 20:52:04 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 20:55:00 | × | tromp_ quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 20:55:27 | → | dsrt^ joins (~hph@ip98-184-89-2.mc.at.cox.net) |
| 20:57:07 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 20:57:09 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 20:59:04 | → | renzhi joins (~renzhi@2607:fa49:6500:bc00::e7b) |
| 20:59:10 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 20:59:45 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 21:00:13 | × | son0p quits (~ff@181.136.122.143) (Ping timeout: 240 seconds) |
| 21:01:00 | → | ddellac__ joins (~ddellacos@86.106.143.59) |
| 21:07:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 21:08:47 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 21:10:16 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 21:10:45 | → | jumper149 joins (~jumper149@80.240.31.34) |
| 21:11:52 | × | ddellac__ quits (~ddellacos@86.106.143.59) (Remote host closed the connection) |
| 21:12:00 | → | ddellacosta joins (~ddellacos@86.106.143.59) |
| 21:12:57 | × | qbshill quits (~ian@cpe9050cac7da83-cm9050cac7da80.cpe.net.cable.rogers.com) (Quit: WeeChat 3.1) |
| 21:13:09 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 21:14:37 | × | jumper149 quits (~jumper149@80.240.31.34) (Client Quit) |
| 21:17:18 | → | viluon joins (uid453725@gateway/web/irccloud.com/x-jjwayfetbamsvluw) |
| 21:17:44 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 21:17:55 | × | ddellacosta quits (~ddellacos@86.106.143.59) (Remote host closed the connection) |
| 21:18:02 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 21:18:06 | → | ddellacosta joins (~ddellacos@86.106.143.59) |
| 21:18:27 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 21:18:43 | × | ddellacosta quits (~ddellacos@86.106.143.59) (Remote host closed the connection) |
| 21:21:03 | × | Guest28161 quits (~alexander@2a02:587:dc01:3b00:38f4:60b0:4dbb:46) (Ping timeout: 260 seconds) |
| 21:21:58 | → | jumper149 joins (~jumper149@80.240.31.34) |
| 21:22:18 | → | itai joins (~itai@2a0d:6fc0:804:3500:f50f:77b6:28be:b274) |
| 21:22:37 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 21:23:03 | × | jumper149 quits (~jumper149@80.240.31.34) (Client Quit) |
| 21:23:32 | × | chris__ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 21:24:00 | → | son0p joins (~ff@181.136.122.143) |
| 21:24:08 | → | chris__ joins (~chris@81.96.113.213) |
| 21:24:41 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
| 21:25:45 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 21:26:22 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 21:27:14 | × | chris__ quits (~chris@81.96.113.213) (Read error: Connection reset by peer) |
| 21:27:29 | → | chris__ joins (~chris@81.96.113.213) |
| 21:28:39 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Quit: WeeChat 3.1) |
| 21:30:05 | → | chenin joins (bab72646@186.183.38.70) |
| 21:30:07 | × | rond_ quits (5940206b@89-64-32-107.dynamic.chello.pl) (Quit: Connection closed) |
| 21:30:29 | → | hexfive joins (~hexfive@50.35.83.177) |
| 21:30:36 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 21:32:45 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 21:32:53 | → | poljar1 joins (~poljar@93-143-137-156.adsl.net.t-com.hr) |
| 21:33:36 | {abby} | is now known as abbie |
| 21:33:41 | abbie | is now known as {abby} |
| 21:33:41 | × | poljar quits (~poljar@93-143-170-103.adsl.net.t-com.hr) (Ping timeout: 240 seconds) |
| 21:33:48 | × | chenin quits (bab72646@186.183.38.70) (Quit: Connection closed) |
| 21:35:51 | → | chenin joins (bab72646@186.183.38.70) |
| 21:35:57 | → | mounty joins (~mounty@236.216.214.218.sta.wbroadband.net.au) |
| 21:36:26 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 21:39:08 | {abby} | is now known as abbie |
| 21:41:51 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 21:42:31 | × | hexfive quits (~hexfive@50.35.83.177) (Quit: i must go. my people need me.) |
| 21:42:55 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Remote host closed the connection) |
| 21:43:13 | × | Guest95205 quits (~textual@zrcout.mskcc.org) (Ping timeout: 240 seconds) |
| 21:44:01 | × | isovector quits (~isovector@172.103.216.166) (Ping timeout: 260 seconds) |
| 21:44:03 | → | stree joins (~stree@68.36.8.116) |
| 21:44:53 | ← | chenin parts (bab72646@186.183.38.70) () |
| 21:48:52 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 21:54:21 | × | mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 21:55:00 | → | dxtr joins (51e97910@81-233-121-16-no79.tbcn.telia.com) |
| 21:57:55 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 21:58:18 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 21:59:31 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 22:00:01 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 22:00:05 | × | fendor quits (~fendor@77.119.130.61.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 22:01:21 | → | dnmrmz12 joins (~androirc@94.235.10.235) |
| 22:02:12 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 22:02:37 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 22:02:47 | <dxtr> | Hi! Is there a library for parsing socket addresses (<hostname>:<port>) anyone could recommend? Preferrably something on stackage but I'll take anything |
| 22:04:34 | × | mawk quits (mawk@serveur.io) (Ping timeout: 240 seconds) |
| 22:07:27 | → | mawk joins (mawk@serveur.io) |
| 22:07:57 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 22:08:12 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 22:09:10 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 22:09:46 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 22:10:40 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Client Quit) |
| 22:11:30 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 22:11:51 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 22:11:57 | → | aiken_ joins (~aiken@76.2.143.150.dyn.plus.net) |
| 22:11:59 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 22:12:39 | × | dxtr quits (51e97910@81-233-121-16-no79.tbcn.telia.com) (Quit: Connection closed) |
| 22:14:08 | → | Rudd0^ joins (~Rudd0@185.189.115.108) |
| 22:14:14 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 22:15:02 | × | sayola quits (~vekto@dslb-088-078-152-174.088.078.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 22:15:26 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 240 seconds) |
| 22:16:31 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 22:16:38 | → | isovector joins (~isovector@172.103.216.166) |
| 22:16:50 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 22:17:02 | → | DavidEichmann joins (~david@156.59.147.147.dyn.plus.net) |
| 22:17:16 | × | dnmrmz12 quits (~androirc@94.235.10.235) (Ping timeout: 260 seconds) |
| 22:17:57 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Client Quit) |
| 22:18:13 | × | m_shiraeeshi quits (~shiraeesh@109.166.58.236) (Read error: Connection reset by peer) |
| 22:18:56 | → | Alleria joins (~textual@2603-7000-3040-0000-d07d-0f62-085c-2849.res6.spectrum.com) |
| 22:19:20 | Alleria | is now known as Guest47543 |
| 22:20:46 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 22:21:30 | → | dxtr joins (51e97910@81-233-121-16-no79.tbcn.telia.com) |
| 22:21:40 | × | dxtr quits (51e97910@81-233-121-16-no79.tbcn.telia.com) (Client Quit) |
| 22:23:46 | × | elliott_ quits (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 22:25:02 | × | xwvvvvwx quits (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) (Ping timeout: 265 seconds) |
| 22:25:25 | → | xwvvvvwx joins (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) |
| 22:28:19 | × | aiken_ quits (~aiken@76.2.143.150.dyn.plus.net) (Quit: Leaving) |
| 22:28:33 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 22:29:52 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Remote host closed the connection) |
| 22:33:53 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 22:33:58 | × | mounty quits (~mounty@236.216.214.218.sta.wbroadband.net.au) (Remote host closed the connection) |
| 22:34:23 | → | mounty joins (~mounty@236.216.214.218.sta.wbroadband.net.au) |
| 22:34:58 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 22:37:34 | × | outerpassage quits (~outerpass@li1196-30.members.linode.com) (Quit: quitting) |
| 22:37:54 | → | outerpassage joins (outerpassa@2600:3c01::f03c:92ff:fed1:4643) |
| 22:38:02 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 22:38:34 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 22:39:29 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 260 seconds) |
| 22:46:55 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 22:47:07 | → | gemmaro joins (~Thunderbi@240f:74:d1f0:1:1bf:3730:3a54:b192) |
| 22:47:56 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 22:52:16 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 22:52:57 | × | Tops2 quits (~Tobias@dyndsl-037-138-064-027.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 22:55:21 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 258 seconds) |
| 22:56:52 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 22:57:06 | → | chimera_ joins (~chimera@120-192-113-92.pool.ukrtel.net) |
| 22:57:13 | × | chimera quits (~chimera@120-192-113-92.pool.ukrtel.net) (Ping timeout: 260 seconds) |
| 23:00:06 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 23:03:21 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 23:05:43 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 23:07:14 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 23:08:26 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-xclibgeojditrbpt) (Quit: Connection closed for inactivity) |
| 23:10:53 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 23:11:49 | × | danso quits (~dan@23-233-111-52.cpe.pppoe.ca) (Quit: WeeChat 3.0) |
| 23:12:13 | × | DavidEichmann quits (~david@156.59.147.147.dyn.plus.net) (Ping timeout: 252 seconds) |
| 23:18:39 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 23:18:51 | → | superstar64 joins (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) |
| 23:21:35 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) |
| 23:23:00 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 23:27:44 | × | isovector quits (~isovector@172.103.216.166) (Ping timeout: 246 seconds) |
| 23:32:07 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 23:35:35 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 23:36:05 | × | chimera_ quits (~chimera@120-192-113-92.pool.ukrtel.net) (Quit: Konversation terminated!) |
| 23:36:13 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 23:36:53 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
| 23:37:06 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 23:41:43 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Ping timeout: 268 seconds) |
| 23:42:01 | → | jao joins (jao@pdpc/supporter/professional/jao) |
| 23:42:53 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 23:43:14 | → | elliott_ joins (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
| 23:43:38 | × | eacameron quits (uid256985@gateway/web/irccloud.com/x-zxawmwxofpaehxur) (Quit: Connection closed for inactivity) |
| 23:44:42 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 23:46:11 | × | hiroaki quits (~hiroaki@2a02:908:4b18:8c40:d44f:a626:bffa:9622) (Ping timeout: 260 seconds) |
| 23:47:26 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 23:52:31 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 23:52:48 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 23:53:43 | × | gemmaro quits (~Thunderbi@240f:74:d1f0:1:1bf:3730:3a54:b192) (Ping timeout: 250 seconds) |
| 23:57:36 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) |
| 23:58:37 | → | Uter joins (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) |
| 23:58:56 | <Uter> | Is there an algorithm that simulates human thought? |
| 23:59:38 | <Uter> | Is anyone here? |
All times are in UTC on 2021-05-13.