| 2021-04-11 00:00:04 +0000 | <justsomeguy> | What would a prefix operator look like? |
| 2021-04-11 00:00:33 +0000 | <justsomeguy> | Kind of like a function with symbols in the identifier? |
| 2021-04-11 00:01:51 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 00:02:29 +0000 | HannaM | (~quassel@p54849510.dip0.t-ipconnect.de) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-04-11 00:02:45 +0000 | <DigitalKiwi> | --koz_ |
| 2021-04-11 00:02:59 +0000 | manicpolymath | (49369f53@c-73-54-159-83.hsd1.ga.comcast.net) |
| 2021-04-11 00:04:48 +0000 | carlomagno | (~cararell@148.87.23.8) (Quit: Leaving.) |
| 2021-04-11 00:08:06 +0000 | <koz_> | I'm imagining something like a prefix version of 'complement'. |
| 2021-04-11 00:08:22 +0000 | <koz_> | So instead of writing 'complement foo', it'd be like, '.~. foo' or something. |
| 2021-04-11 00:08:33 +0000 | <koz_> | But now that I look at it, I can see the issue, lol. |
| 2021-04-11 00:10:36 +0000 | <c_wraith> | well, inasmuch as Haskell supports postfix operators, it supports prefix operators that return a function. :P |
| 2021-04-11 00:11:29 +0000 | <koz_> | c_wraith: Wait I don't understand? |
| 2021-04-11 00:12:22 +0000 | locrian9 | (~mike@99-153-255-194.lightspeed.irvnca.sbcglobal.net) |
| 2021-04-11 00:13:03 +0000 | <c_wraith> | ghc has an extension for postfix operators... that work by slightly liberalizing the section rules such that (foo@#%) is parsed as a section, but need not return a function. |
| 2021-04-11 00:13:19 +0000 | Iryon | (~Iryon@185-12-21-77.sigma.jaslo.pl) (Remote host closed the connection) |
| 2021-04-11 00:13:27 +0000 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-11 00:13:29 +0000 | <c_wraith> | You could always main ($*#foo) an expression now. it just has to return a function :) |
| 2021-04-11 00:13:34 +0000 | <c_wraith> | *make |
| 2021-04-11 00:14:40 +0000 | mouseghost | (~draco@wikipedia/desperek) (Quit: mew wew) |
| 2021-04-11 00:15:02 +0000 | <koz_> | OK, thanks. |
| 2021-04-11 00:16:04 +0000 | myShoggoth | (~myShoggot@75.164.73.93) |
| 2021-04-11 00:17:11 +0000 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-04-11 00:20:06 +0000 | Sorny | (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 260 seconds) |
| 2021-04-11 00:24:30 +0000 | manicpolymath | (49369f53@c-73-54-159-83.hsd1.ga.comcast.net) (Quit: Ping timeout (120 seconds)) |
| 2021-04-11 00:25:10 +0000 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-04-11 00:25:11 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 2021-04-11 00:30:00 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-04-11 00:30:44 +0000 | myShoggoth | (~myShoggot@75.164.73.93) (Ping timeout: 268 seconds) |
| 2021-04-11 00:30:58 +0000 | ep1ctetus_ | (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 2021-04-11 00:31:20 +0000 | manicpolymath | (49369f53@c-73-54-159-83.hsd1.ga.comcast.net) |
| 2021-04-11 00:33:54 +0000 | kaction | (~kaction@pool-96-255-101-159.washdc.fios.verizon.net) |
| 2021-04-11 00:34:04 +0000 | Tario | (~Tario@201.192.165.173) |
| 2021-04-11 00:34:04 +0000 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-11 00:34:10 +0000 | epicte7us | (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 252 seconds) |
| 2021-04-11 00:34:29 +0000 | manicpolymath | (49369f53@c-73-54-159-83.hsd1.ga.comcast.net) (Client Quit) |
| 2021-04-11 00:34:41 +0000 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-04-11 00:37:12 +0000 | locrian9 | (~mike@99-153-255-194.lightspeed.irvnca.sbcglobal.net) (Quit: Lost terminal) |
| 2021-04-11 00:38:20 +0000 | locrian9 | (~mike@99-153-255-194.lightspeed.irvnca.sbcglobal.net) |
| 2021-04-11 00:38:42 +0000 | jess | (jess@freenode/staff/jess) (Quit: K-Lined) |
| 2021-04-11 00:38:51 +0000 | jess | (jess@freenode/staff/jess) |
| 2021-04-11 00:40:23 +0000 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) (Remote host closed the connection) |
| 2021-04-11 00:40:46 +0000 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-04-11 00:42:09 +0000 | rprije | (~rprije@59-102-63-15.tpgi.com.au) |
| 2021-04-11 00:47:13 +0000 | dycan | (~dycan@101-136-26-146.mobile.dynamic.aptg.com.tw) |
| 2021-04-11 00:56:16 +0000 | rajivr | (uid269651@gateway/web/irccloud.com/x-wqstqfwsmnwqeeor) |
| 2021-04-11 00:57:36 +0000 | chenshen | (~chenshen@2620:10d:c090:400::5:42e9) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-04-11 00:59:28 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-11 01:02:11 +0000 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 240 seconds) |
| 2021-04-11 01:04:27 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-11 01:06:22 +0000 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer) |
| 2021-04-11 01:07:21 +0000 | chenshen | (~chenshen@2620:10d:c090:400::5:42e9) |
| 2021-04-11 01:07:44 +0000 | average | (uid473595@gateway/web/irccloud.com/x-pcrxvnrynryjlrmq) (Quit: Connection closed for inactivity) |
| 2021-04-11 01:08:44 +0000 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-04-11 01:09:34 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-04-11 01:10:02 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-11 01:10:58 +0000 | viluon | (uid453725@gateway/web/irccloud.com/x-emtqdjwrdkrvrqyi) (Quit: Connection closed for inactivity) |
| 2021-04-11 01:13:25 +0000 | HarveyPwca | (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net) (Remote host closed the connection) |
| 2021-04-11 01:15:18 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-11 01:20:11 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-11 01:21:41 +0000 | <dmwit> | Okay, hallway test: I write `type family Foo a = r | r -> a; type instance Foo (a -> b) = a -> Foo b`. Do you expect this to work or no? |
| 2021-04-11 01:22:18 +0000 | Tario | (~Tario@201.192.165.173) |
| 2021-04-11 01:23:12 +0000 | <dmwit> | Eh, never mind. I just read the full error more carefully and now I feel silly, because it tells me how to make this work. |
| 2021-04-11 01:23:19 +0000 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 2021-04-11 01:23:27 +0000 | <dmwit> | ghc++ |
| 2021-04-11 01:23:31 +0000 | xff0x | (~xff0x@2001:1a81:523f:f500:2a94:1071:add3:5a76) (Ping timeout: 260 seconds) |
| 2021-04-11 01:24:30 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:19e0:30a2:a9e3:a5ad) |
| 2021-04-11 01:25:20 +0000 | xff0x | (~xff0x@2001:1a81:5278:bf00:7c7:a833:683d:2625) |
| 2021-04-11 01:27:01 +0000 | hiptobecubic | (~john@unaffiliated/hiptobecubic) |
| 2021-04-11 01:37:13 +0000 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-04-11 01:37:23 +0000 | kiweun | (~kiweun@2607:fea8:2a62:9600:4e:3fe1:fdb1:102) |
| 2021-04-11 01:39:50 +0000 | bitmapper | (uid464869@gateway/web/irccloud.com/x-olzovrbijxmtrnfe) (Quit: Connection closed for inactivity) |
| 2021-04-11 01:40:05 +0000 | roconnor | (~roconnor@host-45-78-241-236.dyn.295.ca) (Quit: Konversation terminated!) |
| 2021-04-11 01:41:28 +0000 | Guest78317 | (~laudiacay@67.176.215.84) |
| 2021-04-11 01:43:46 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-11 01:45:48 +0000 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2021-04-11 01:46:13 +0000 | Guest78317 | (~laudiacay@67.176.215.84) (Ping timeout: 252 seconds) |
| 2021-04-11 01:46:49 +0000 | syntactic_sugar | (~amol@192.145.118.113) |
| 2021-04-11 01:47:18 +0000 | syntactic_sugar | (~amol@192.145.118.113) (Client Quit) |
| 2021-04-11 01:47:48 +0000 | s00pcan | (~chris@107.181.165.217) |
| 2021-04-11 01:56:34 +0000 | dariof4 | (~dario@5.179.150.32) (Quit: WeeChat 3.1) |
| 2021-04-11 01:57:42 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2021-04-11 01:58:05 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 01:59:28 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-11 02:02:27 +0000 | chenshen | (~chenshen@2620:10d:c090:400::5:42e9) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-04-11 02:02:41 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 02:03:40 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 02:04:11 +0000 | kaction | (~kaction@pool-96-255-101-159.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-04-11 02:08:06 +0000 | dpl | (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
| 2021-04-11 02:08:19 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 02:08:40 +0000 | sagax | (~sagax_nb@213.138.71.146) |
| 2021-04-11 02:09:13 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 02:10:50 +0000 | cansis | (uid90033@gateway/web/irccloud.com/x-tiqdxekqfxdjofcv) |
| 2021-04-11 02:12:30 +0000 | ep1ctetus_ | (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 2021-04-11 02:12:54 +0000 | Ishutin | (~ishutin@193-110-63-24.cable-modem.hdsnet.hu) |
| 2021-04-11 02:13:48 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 02:14:48 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 02:15:46 +0000 | Ishutin_ | (~ishutin@94-21-108-5.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2021-04-11 02:18:38 +0000 | locrian9 | (~mike@99-153-255-194.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-04-11 02:19:31 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 02:20:19 +0000 | kaction | (~kaction@pool-96-255-101-159.washdc.fios.verizon.net) |
| 2021-04-11 02:20:29 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 02:22:31 +0000 | gitgoood | (~gitgood@80-44-10-151.dynamic.dsl.as9105.com) |
| 2021-04-11 02:23:08 +0000 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-11 02:23:18 +0000 | tofu2020 | (6164daf9@097-100-218-249.res.spectrum.com) |
| 2021-04-11 02:24:55 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 02:24:59 +0000 | tofu2020 | (6164daf9@097-100-218-249.res.spectrum.com) (Client Quit) |
| 2021-04-11 02:25:16 +0000 | gitgood | (~gitgood@80-44-10-151.dynamic.dsl.as9105.com) (Ping timeout: 252 seconds) |
| 2021-04-11 02:26:05 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 02:27:36 +0000 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
| 2021-04-11 02:27:53 +0000 | outerpassage | (~outerpass@li1196-30.members.linode.com) (Ping timeout: 268 seconds) |
| 2021-04-11 02:28:05 +0000 | outerpassage_ | (outerpassa@2600:3c01::f03c:92ff:fed1:4643) |
| 2021-04-11 02:30:10 +0000 | mmmattyx | (uid17782@gateway/web/irccloud.com/x-shdhyxoxkigensao) (Quit: Connection closed for inactivity) |
| 2021-04-11 02:30:43 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 02:31:39 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 02:34:37 +0000 | kaction | (~kaction@pool-96-255-101-159.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-04-11 02:34:55 +0000 | yahb | (xsbot@haskell/bot/yahb) (Ping timeout: 260 seconds) |
| 2021-04-11 02:36:02 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 02:37:46 +0000 | chenshen | (~chenshen@2620:10d:c090:400::5:42e9) |
| 2021-04-11 02:38:07 +0000 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 2021-04-11 02:38:56 +0000 | yahb | (xsbot@haskell/bot/yahb) |
| 2021-04-11 02:39:01 +0000 | chenshen | (~chenshen@2620:10d:c090:400::5:42e9) (Client Quit) |
| 2021-04-11 02:44:32 +0000 | solvr | (57e3c46d@87.227.196.109) |
| 2021-04-11 02:49:28 +0000 | theDon | (~td@muedsl-82-207-238-055.citykom.de) (Ping timeout: 268 seconds) |
| 2021-04-11 02:50:53 +0000 | theDon | (~td@94.134.91.241) |
| 2021-04-11 02:52:09 +0000 | zebrag | (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-11 02:52:25 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-11 02:52:29 +0000 | zebrag | (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) |
| 2021-04-11 02:53:32 +0000 | FinnElija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-04-11 02:53:32 +0000 | finn_elija | Guest55303 |
| 2021-04-11 02:53:32 +0000 | FinnElija | finn_elija |
| 2021-04-11 02:55:40 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-11 02:56:45 +0000 | Guest55303 | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-04-11 02:59:32 +0000 | jlamothe | (~jlamothe@198.251.57.81) (Quit: leaving) |
| 2021-04-11 03:02:12 +0000 | drbean_ | (~drbean@TC210-63-209-166.static.apol.com.tw) |
| 2021-04-11 03:02:33 +0000 | jamestmartin | (james@jtmar.me) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2021-04-11 03:02:48 +0000 | jamestmartin | (james@jtmar.me) |
| 2021-04-11 03:04:05 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:19e0:30a2:a9e3:a5ad) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-11 03:07:02 +0000 | anandprabhu | (~anand@94.203.250.121) |
| 2021-04-11 03:09:00 +0000 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-11 03:09:36 +0000 | chenshen | (~chenshen@2620:10d:c090:400::5:42e9) |
| 2021-04-11 03:16:02 +0000 | zebrag | (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-11 03:17:10 +0000 | myShoggoth | (~myShoggot@75.164.73.93) |
| 2021-04-11 03:17:11 +0000 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-kepeihezzibeebag) (Quit: Connection closed for inactivity) |
| 2021-04-11 03:18:05 +0000 | alx741 | (~alx741@181.196.69.222) (Quit: alx741) |
| 2021-04-11 03:19:42 +0000 | anandprabhu | (~anand@94.203.250.121) (Ping timeout: 268 seconds) |
| 2021-04-11 03:25:12 +0000 | jlamothe | (~jlamothe@198.251.57.81) |
| 2021-04-11 03:26:38 +0000 | Rudd0^ | (~Rudd0@185.189.115.103) (Read error: Connection reset by peer) |
| 2021-04-11 03:31:38 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-11 03:36:57 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-04-11 03:39:26 +0000 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 268 seconds) |
| 2021-04-11 03:40:38 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-11 03:41:15 +0000 | dycan | (~dycan@101-136-26-146.mobile.dynamic.aptg.com.tw) (Remote host closed the connection) |
| 2021-04-11 03:43:45 +0000 | Rudd0 | (~Rudd0@185.189.115.103) |
| 2021-04-11 03:47:17 +0000 | Codaraxis__ | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 2021-04-11 03:48:18 +0000 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-11 03:51:11 +0000 | Codaraxis_ | (Codaraxis@gateway/vpn/mullvad/codaraxis) (Ping timeout: 240 seconds) |
| 2021-04-11 03:58:31 +0000 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-11 04:03:00 +0000 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
| 2021-04-11 04:09:15 +0000 | iridesce | (c036de8c@192.54.222.140) |
| 2021-04-11 04:09:20 +0000 | <iridesce> | i once saw this website full of haskell and cat memes, does anyone happen to know what i'm talking about |
| 2021-04-11 04:12:31 +0000 | poscat | (~poscat@123.116.69.89) (Read error: Connection reset by peer) |
| 2021-04-11 04:13:34 +0000 | ski | . o O ( <https://lambdacats.github.io/> ) |
| 2021-04-11 04:15:03 +0000 | poscat | (~poscat@114.245.106.173) |
| 2021-04-11 04:15:11 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-04-11 04:17:15 +0000 | vicfred | (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 2021-04-11 04:20:51 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-11 04:22:09 +0000 | DTZUZU_ | (~DTZUZO@207.81.119.43) |
| 2021-04-11 04:23:09 +0000 | iridesce | (c036de8c@192.54.222.140) (Quit: Connection closed) |
| 2021-04-11 04:24:24 +0000 | chenshen | (~chenshen@2620:10d:c090:400::5:42e9) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-04-11 04:24:27 +0000 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 268 seconds) |
| 2021-04-11 04:32:31 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 04:37:11 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 04:38:10 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 04:42:47 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 04:43:46 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 04:48:11 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 250 seconds) |
| 2021-04-11 04:49:20 +0000 | vicfred | (~vicfred@unaffiliated/vicfred) |
| 2021-04-11 04:49:23 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 04:49:24 +0000 | kaction | (~kaction@pool-96-255-101-159.washdc.fios.verizon.net) |
| 2021-04-11 04:51:05 +0000 | __minoru__shirae | (~shiraeesh@46.34.207.175) |
| 2021-04-11 04:51:08 +0000 | jalumar | (uid392211@gateway/web/irccloud.com/x-xzluywcotqccmnoo) |
| 2021-04-11 04:52:45 +0000 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) |
| 2021-04-11 04:53:59 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 04:54:59 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 04:55:54 +0000 | DTZUZU_ | (~DTZUZO@207.81.119.43) (Ping timeout: 268 seconds) |
| 2021-04-11 04:58:44 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:19e0:30a2:a9e3:a5ad) |
| 2021-04-11 04:59:11 +0000 | MarcelineVQ | (~anja@198.254.208.159) (Ping timeout: 240 seconds) |
| 2021-04-11 04:59:24 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 05:00:35 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 05:01:00 +0000 | MarcelineVQ | (~anja@198.254.208.159) |
| 2021-04-11 05:01:00 +0000 | MarcelineVQ | (~anja@198.254.208.159) (Client Quit) |
| 2021-04-11 05:01:35 +0000 | MarcelineVQ | (~anja@198.254.208.159) |
| 2021-04-11 05:02:20 +0000 | Tario | (~Tario@201.192.165.173) |
| 2021-04-11 05:04:20 +0000 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-11 05:05:11 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 05:06:11 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 05:10:04 +0000 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2021-04-11 05:10:33 +0000 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Read error: Connection reset by peer) |
| 2021-04-11 05:10:54 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 05:16:41 +0000 | Tario | (~Tario@201.192.165.173) |
| 2021-04-11 05:17:46 +0000 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-04-11 05:24:01 +0000 | kaction | (~kaction@pool-96-255-101-159.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-04-11 05:25:55 +0000 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-04-11 05:29:06 +0000 | chenshen | (~chenshen@2620:10d:c090:400::5:42e9) |
| 2021-04-11 05:30:18 +0000 | chenshen | (~chenshen@2620:10d:c090:400::5:42e9) (Client Quit) |
| 2021-04-11 05:36:52 +0000 | solvr | (57e3c46d@87.227.196.109) (Quit: Connection closed) |
| 2021-04-11 05:40:31 +0000 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-04-11 05:40:41 +0000 | urodna | (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-04-11 05:40:54 +0000 | hypercube | (hypercube@gateway/vpn/protonvpn/hypercube) (Ping timeout: 268 seconds) |
| 2021-04-11 05:43:01 +0000 | Guest78317 | (~laudiacay@67.176.215.84) |
| 2021-04-11 05:48:23 +0000 | Guest78317 | (~laudiacay@67.176.215.84) (Ping timeout: 252 seconds) |
| 2021-04-11 05:51:54 +0000 | jathan | (~jathan@69.61.93.38) (Quit: WeeChat 2.3) |
| 2021-04-11 05:55:04 +0000 | bitmagie | (~Thunderbi@200116b806e2c400995554712cdb3346.dip.versatel-1u1.de) |
| 2021-04-11 05:59:52 +0000 | chenshen | (~chenshen@2620:10d:c090:400::5:42e9) |
| 2021-04-11 06:01:28 +0000 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-04-11 06:11:15 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-11 06:15:51 +0000 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-04-11 06:16:49 +0000 | cads2 | (~cads@ip-64-72-99-232.lasvegas.net) |
| 2021-04-11 06:17:44 +0000 | mly[m] | nly |
| 2021-04-11 06:19:28 +0000 | nly | mly |
| 2021-04-11 06:22:54 +0000 | kaction | (~kaction@pool-96-255-101-159.washdc.fios.verizon.net) |
| 2021-04-11 06:23:35 +0000 | Tario | (~Tario@201.192.165.173) (Ping timeout: 252 seconds) |
| 2021-04-11 06:23:59 +0000 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-04-11 06:29:12 +0000 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-04-11 06:31:24 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 06:36:11 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 06:36:20 +0000 | Guest78317 | (~laudiacay@67.176.215.84) |
| 2021-04-11 06:36:31 +0000 | coeus | (~coeus@2003:d0:2726:7600:bb8c:fa91:2d4f:c1ef) (Ping timeout: 250 seconds) |
| 2021-04-11 06:40:05 +0000 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-11 06:41:03 +0000 | Guest78317 | (~laudiacay@67.176.215.84) (Ping timeout: 265 seconds) |
| 2021-04-11 06:44:58 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-11 06:49:37 +0000 | coeus | (~coeus@p200300d0273ad90060e5967a49164cd4.dip0.t-ipconnect.de) |
| 2021-04-11 06:50:27 +0000 | DTZUZU_ | (~DTZUZO@207.81.119.43) |
| 2021-04-11 06:50:42 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-04-11 06:52:11 +0000 | kaction | (~kaction@pool-96-255-101-159.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-04-11 06:52:26 +0000 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 268 seconds) |
| 2021-04-11 06:53:27 +0000 | chenshen | (~chenshen@2620:10d:c090:400::5:42e9) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-04-11 06:54:39 +0000 | Sorny | (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 2021-04-11 07:00:52 +0000 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 2021-04-11 07:01:45 +0000 | Guest78317 | (~laudiacay@67.176.215.84) |
| 2021-04-11 07:06:07 +0000 | Guest78317 | (~laudiacay@67.176.215.84) (Ping timeout: 252 seconds) |
| 2021-04-11 07:06:10 +0000 | zeenk | (~zeenk@2a02:2f04:a10b:af00:91ba:3645:1cdb:9a75) |
| 2021-04-11 07:08:50 +0000 | codygman____ | (~user@47.186.207.161) |
| 2021-04-11 07:23:05 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:19e0:30a2:a9e3:a5ad) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-11 07:26:46 +0000 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-11 07:31:41 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-11 07:31:45 +0000 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-04-11 07:32:25 +0000 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-04-11 07:32:43 +0000 | cads2 | (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 252 seconds) |
| 2021-04-11 07:36:08 +0000 | william_ | (~william@wsantos.net) |
| 2021-04-11 07:36:11 +0000 | __minoru__shirae | (~shiraeesh@46.34.207.175) (Ping timeout: 240 seconds) |
| 2021-04-11 07:36:13 +0000 | todda7 | (~torstein@athedsl-09242.home.otenet.gr) (Ping timeout: 268 seconds) |
| 2021-04-11 07:37:15 +0000 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-04-11 07:38:02 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-11 07:40:44 +0000 | puke | (~vroom@217.138.252.196) (Quit: puke) |
| 2021-04-11 07:41:54 +0000 | william_ | (~william@wsantos.net) ("Good Bye") |
| 2021-04-11 07:42:58 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-04-11 07:43:33 +0000 | viluon | (uid453725@gateway/web/irccloud.com/x-tkvbkhprqmkdlgqp) |
| 2021-04-11 07:52:06 +0000 | srk | (~sorki@unaffiliated/srk) |
| 2021-04-11 07:55:53 +0000 | todda7 | (~torstein@athedsl-09242.home.otenet.gr) |
| 2021-04-11 07:56:34 +0000 | codygman____ | (~user@47.186.207.161) (Ping timeout: 268 seconds) |
| 2021-04-11 07:56:57 +0000 | solvr | (57e3c46d@87.227.196.109) |
| 2021-04-11 08:01:50 +0000 | pera | (~pera@unaffiliated/pera) |
| 2021-04-11 08:03:38 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-04-11 08:03:50 +0000 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) |
| 2021-04-11 08:07:06 +0000 | hendursa1 | (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-04-11 08:09:33 +0000 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-04-11 08:11:49 +0000 | Adluc | (~Adluc@2a01:430:17:1::ffff:328) (Quit: ZNC - http://znc.in) |
| 2021-04-11 08:12:52 +0000 | Adluc | (~Adluc@83.167.228.130) |
| 2021-04-11 08:12:53 +0000 | mrchampion | (~mrchampio@38.18.109.23) (Ping timeout: 265 seconds) |
| 2021-04-11 08:13:29 +0000 | jophish__ | (ca536851@202.83.104.81) |
| 2021-04-11 08:14:32 +0000 | kadobanana | (~mud@unaffiliated/kadoban) (Ping timeout: 260 seconds) |
| 2021-04-11 08:14:44 +0000 | kadobanana | (~mud@unaffiliated/kadoban) |
| 2021-04-11 08:15:46 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-11 08:15:53 +0000 | vicfred | (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 2021-04-11 08:15:55 +0000 | mrchampion | (~mrchampio@38.18.109.23) |
| 2021-04-11 08:18:35 +0000 | gxt_ | (~gxt@gateway/tor-sasl/gxt) (Quit: WeeChat 3.1) |
| 2021-04-11 08:19:23 +0000 | kadobanana | (~mud@unaffiliated/kadoban) (Ping timeout: 268 seconds) |
| 2021-04-11 08:19:47 +0000 | kadobanana | (~mud@unaffiliated/kadoban) |
| 2021-04-11 08:21:44 +0000 | cansis | (uid90033@gateway/web/irccloud.com/x-tiqdxekqfxdjofcv) (Quit: Connection closed for inactivity) |
| 2021-04-11 08:22:53 +0000 | OscarZ | (~oscarz@95.175.104.80) (Quit: Leaving) |
| 2021-04-11 08:24:16 +0000 | fiedlr | (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-11 08:27:59 +0000 | malumore | (~malumore@151.62.120.195) |
| 2021-04-11 08:32:46 +0000 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-04-11 08:35:10 +0000 | frozenErebus | (~frozenEre@37.231.244.249) (Remote host closed the connection) |
| 2021-04-11 08:38:05 +0000 | todda7 | (~torstein@athedsl-09242.home.otenet.gr) (Ping timeout: 246 seconds) |
| 2021-04-11 08:38:27 +0000 | solvr | (57e3c46d@87.227.196.109) (Quit: Connection closed) |
| 2021-04-11 08:39:07 +0000 | drbean_ | (~drbean@TC210-63-209-166.static.apol.com.tw) (Ping timeout: 268 seconds) |
| 2021-04-11 08:40:34 +0000 | fendor | (~fendor@178.165.131.171.wireless.dyn.drei.com) |
| 2021-04-11 08:41:53 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-11 08:48:29 +0000 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-04-11 08:48:53 +0000 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-04-11 08:50:21 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 08:54:40 +0000 | pera | (~pera@unaffiliated/pera) (Ping timeout: 252 seconds) |
| 2021-04-11 08:56:46 +0000 | syntactic_sugar | (~syntactic@192.145.119.27) |
| 2021-04-11 08:57:55 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2021-04-11 08:58:39 +0000 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Read error: Connection reset by peer) |
| 2021-04-11 08:59:00 +0000 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-04-11 09:00:07 +0000 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-04-11 09:00:43 +0000 | fiedlr | (~fiedlr@83.148.33.254) |
| 2021-04-11 09:02:05 +0000 | Varis | (~Tadas@unaffiliated/varis) |
| 2021-04-11 09:02:37 +0000 | Guest78317 | (~laudiacay@67.176.215.84) |
| 2021-04-11 09:03:19 +0000 | syntactic_sugar | (~syntactic@192.145.119.27) (Quit: Leaving) |
| 2021-04-11 09:04:16 +0000 | Deide | (~Deide@217.155.19.23) |
| 2021-04-11 09:05:50 +0000 | dycan | (~dycan@2404:0:803a:3b26:2936:b1d0:7ae3:13a0) |
| 2021-04-11 09:07:26 +0000 | Guest78317 | (~laudiacay@67.176.215.84) (Ping timeout: 260 seconds) |
| 2021-04-11 09:08:00 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Remote host closed the connection) |
| 2021-04-11 09:09:59 +0000 | raym | (~ray@45.64.220.116) |
| 2021-04-11 09:10:17 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-04-11 09:10:59 +0000 | dycan | (~dycan@2404:0:803a:3b26:2936:b1d0:7ae3:13a0) (Remote host closed the connection) |
| 2021-04-11 09:13:19 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 09:15:53 +0000 | acidjnk_new | (~acidjnk@p200300d0c72b9512392c48d8e031de92.dip0.t-ipconnect.de) |
| 2021-04-11 09:16:18 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-04-11 09:16:19 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-11 09:18:09 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 09:18:37 +0000 | todda7 | (~torstein@athedsl-09242.home.otenet.gr) |
| 2021-04-11 09:19:38 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 09:20:44 +0000 | Varis | (~Tadas@unaffiliated/varis) (Quit: Leaving) |
| 2021-04-11 09:21:26 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2021-04-11 09:24:11 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 09:27:07 +0000 | puzzleheaded | (6d95d822@gateway/web/cgi-irc/kiwiirc.com/ip.109.149.216.34) |
| 2021-04-11 09:27:50 +0000 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-04-11 09:30:31 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 09:33:08 +0000 | <puzzleheaded> | Hi, I was wondering, of the Arduino/Processing procedures setup and loop (or draw for the latter), would it be possible to express both those procedures as a single monad? |
| 2021-04-11 09:34:12 +0000 | <puzzleheaded> | i.e., to express that code in a loop has some simple set up dependency, like setting a GPIO pin to output? |
| 2021-04-11 09:35:01 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 09:35:33 +0000 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 240 seconds) |
| 2021-04-11 09:36:09 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 09:37:38 +0000 | kritzefitz | (~kritzefit@212.86.56.80) (Ping timeout: 240 seconds) |
| 2021-04-11 09:38:05 +0000 | <puzzleheaded> | I've tried doing that, but I get stuck on implementing (>>=)... |
| 2021-04-11 09:40:31 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 09:41:45 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 09:43:35 +0000 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-sytjuaexxvtymrme) |
| 2021-04-11 09:43:53 +0000 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-04-11 09:46:07 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 09:47:02 +0000 | Guest10879 | (~textual@2603-7000-3040-0000-94ba-7ce9-66b7-db1b.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-11 09:48:36 +0000 | berberman | (~berberman@unaffiliated/berberman) |
| 2021-04-11 09:48:42 +0000 | <puzzleheaded> | Or is that an arrow? |
| 2021-04-11 09:48:51 +0000 | berberman_ | (~berberman@unaffiliated/berberman) (Ping timeout: 252 seconds) |
| 2021-04-11 09:52:09 +0000 | puzzleheaded | (6d95d822@gateway/web/cgi-irc/kiwiirc.com/ip.109.149.216.34) (Quit: Connection closed) |
| 2021-04-11 09:52:40 +0000 | puzzleheaded | (6d95d822@gateway/web/cgi-irc/kiwiirc.com/ip.109.149.216.34) |
| 2021-04-11 09:57:46 +0000 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 2021-04-11 10:07:21 +0000 | zeenk | (~zeenk@2a02:2f04:a10b:af00:91ba:3645:1cdb:9a75) (Quit: Konversation terminated!) |
| 2021-04-11 10:10:21 +0000 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 2021-04-11 10:14:31 +0000 | puzzleheaded | (6d95d822@gateway/web/cgi-irc/kiwiirc.com/ip.109.149.216.34) (Quit: Connection closed) |
| 2021-04-11 10:15:06 +0000 | bitmagie | (~Thunderbi@200116b806e2c400995554712cdb3346.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-04-11 10:17:35 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-11 10:17:52 +0000 | lgedeon | (~lgedeon@185.169.233.10) (Remote host closed the connection) |
| 2021-04-11 10:21:55 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-04-11 10:27:53 +0000 | zebrag | (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) |
| 2021-04-11 10:29:39 +0000 | Alleria | (~textual@2603-7000-3040-0000-94ba-7ce9-66b7-db1b.res6.spectrum.com) |
| 2021-04-11 10:30:03 +0000 | Alleria | Guest32831 |
| 2021-04-11 10:33:36 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-11 10:33:53 +0000 | Frojoe1 | (~Frojoe@139.28.218.148) |
| 2021-04-11 10:34:03 +0000 | Guest32831 | (~textual@2603-7000-3040-0000-94ba-7ce9-66b7-db1b.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2021-04-11 10:38:04 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-04-11 10:39:43 +0000 | todda7 | (~torstein@athedsl-09242.home.otenet.gr) (Ping timeout: 252 seconds) |
| 2021-04-11 10:44:26 +0000 | srk | (~sorki@unaffiliated/srk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-11 10:44:49 +0000 | srk | (~sorki@unaffiliated/srk) |
| 2021-04-11 10:46:06 +0000 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 265 seconds) |
| 2021-04-11 10:51:26 +0000 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 2021-04-11 10:53:35 +0000 | __minoru__shirae | (~shiraeesh@46.34.206.211) |
| 2021-04-11 10:55:13 +0000 | snowflake | (~snowflake@gateway/tor-sasl/snowflake) (Remote host closed the connection) |
| 2021-04-11 10:56:03 +0000 | snowflake | (~snowflake@gateway/tor-sasl/snowflake) |
| 2021-04-11 11:01:10 +0000 | __minoru__shirae | (~shiraeesh@46.34.206.211) (Ping timeout: 252 seconds) |
| 2021-04-11 11:02:22 +0000 | haskellstudent | (~quassel@213-225-6-101.nat.highway.a1.net) |
| 2021-04-11 11:03:31 +0000 | Guest78317 | (~laudiacay@67.176.215.84) |
| 2021-04-11 11:08:16 +0000 | __monty__ | (~toonn@unaffiliated/toonn) |
| 2021-04-11 11:08:20 +0000 | Guest78317 | (~laudiacay@67.176.215.84) (Ping timeout: 265 seconds) |
| 2021-04-11 11:08:35 +0000 | Alleria__ | (~textual@zrcout.mskcc.org) |
| 2021-04-11 11:09:04 +0000 | Guest78317 | (~laudiacay@67.176.215.84) |
| 2021-04-11 11:09:06 +0000 | Varis | (~Tadas@unaffiliated/varis) |
| 2021-04-11 11:10:48 +0000 | __minoru__shirae | (~shiraeesh@46.34.206.212) |
| 2021-04-11 11:12:30 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-11 11:18:14 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-04-11 11:21:14 +0000 | DavidEichmann | (~david@47.27.93.209.dyn.plus.net) |
| 2021-04-11 11:25:59 +0000 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 2021-04-11 11:29:27 +0000 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-04-11 11:37:57 +0000 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 268 seconds) |
| 2021-04-11 11:42:38 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 11:43:31 +0000 | __minoru__shirae | (~shiraeesh@46.34.206.212) (Ping timeout: 268 seconds) |
| 2021-04-11 11:46:26 +0000 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-04-11 11:47:16 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 11:48:11 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 11:49:13 +0000 | dmytrish | (~mitra@2a02:8084:a82:d900:b81f:59fe:5cfc:b422) |
| 2021-04-11 11:49:58 +0000 | nek0 | (~nek0@mail.nek0.eu) (Remote host closed the connection) |
| 2021-04-11 11:50:50 +0000 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-11 11:52:27 +0000 | Frojoe1 | (~Frojoe@139.28.218.148) (Remote host closed the connection) |
| 2021-04-11 11:52:35 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 11:52:54 +0000 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-11 11:53:14 +0000 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-sytjuaexxvtymrme) (Quit: Connection closed for inactivity) |
| 2021-04-11 11:53:48 +0000 | nek0 | (~nek0@mail.nek0.eu) |
| 2021-04-11 11:53:51 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 11:56:31 +0000 | pavonia | (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2021-04-11 11:57:01 +0000 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2021-04-11 11:57:21 +0000 | dyeplexer | (~lol@unaffiliated/terpin) |
| 2021-04-11 11:58:03 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 250 seconds) |
| 2021-04-11 11:58:46 +0000 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 2021-04-11 11:59:40 +0000 | __minoru__shirae | (~shiraeesh@46.34.207.163) |
| 2021-04-11 11:59:45 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 12:00:14 +0000 | frozenErebus | (~frozenEre@37.231.244.249) (Quit: leaving) |
| 2021-04-11 12:00:28 +0000 | solvr | (57e3c46d@87.227.196.109) |
| 2021-04-11 12:00:30 +0000 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-11 12:02:13 +0000 | rprije | (~rprije@59-102-63-15.tpgi.com.au) (Ping timeout: 252 seconds) |
| 2021-04-11 12:02:26 +0000 | malumore | (~malumore@151.62.120.195) (Ping timeout: 240 seconds) |
| 2021-04-11 12:04:15 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 12:04:21 +0000 | bzere | (1f10993b@ip1f10993b.dynamic.kabel-deutschland.de) |
| 2021-04-11 12:05:17 +0000 | bzere | (1f10993b@ip1f10993b.dynamic.kabel-deutschland.de) (Client Quit) |
| 2021-04-11 12:10:44 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 12:14:57 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 250 seconds) |
| 2021-04-11 12:16:16 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 12:18:47 +0000 | howdoi | (uid224@gateway/web/irccloud.com/x-gsmzjfvgsnyopnqz) |
| 2021-04-11 12:18:49 +0000 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-04-11 12:19:21 +0000 | malumore | (~malumore@151.62.120.195) |
| 2021-04-11 12:20:22 +0000 | __minoru__shirae | (~shiraeesh@46.34.207.163) (Ping timeout: 252 seconds) |
| 2021-04-11 12:21:03 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 12:22:04 +0000 | cfricke | (~cfricke@unaffiliated/cfricke) |
| 2021-04-11 12:24:01 +0000 | gdude2002 | (~gdude2002@178.239.168.171) |
| 2021-04-11 12:24:49 +0000 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-04-11 12:26:26 +0000 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-11 12:29:10 +0000 | dariof4 | (~dario@217.171.72.2) |
| 2021-04-11 12:29:27 +0000 | hiroaki_ | (~hiroaki@2a02:8108:8c40:2bb8:fae4:d585:4c66:6341) (Ping timeout: 260 seconds) |
| 2021-04-11 12:29:27 +0000 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:fae4:d585:4c66:6341) (Ping timeout: 260 seconds) |
| 2021-04-11 12:30:28 +0000 | aveltras | (uid364989@gateway/web/irccloud.com/x-bzwnkfqpsbcsteyn) |
| 2021-04-11 12:36:29 +0000 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-04-11 12:36:50 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-04-11 12:38:35 +0000 | gavin | (~gavin@98.154.147.147.dyn.plus.net) (Remote host closed the connection) |
| 2021-04-11 12:41:30 +0000 | hiroaki_ | (~hiroaki@2a02:8108:8c40:2bb8:5814:9eff:6ec3:1fa9) |
| 2021-04-11 12:41:35 +0000 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:5814:9eff:6ec3:1fa9) |
| 2021-04-11 12:42:43 +0000 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 2021-04-11 12:45:26 +0000 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) |
| 2021-04-11 12:48:10 +0000 | falsifian | (~falsifian@exoco.falsifian.org) (Quit: leaving) |
| 2021-04-11 12:51:28 +0000 | falsifian | (~falsifian@exoco.falsifian.org) |
| 2021-04-11 12:51:57 +0000 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 268 seconds) |
| 2021-04-11 12:52:11 +0000 | <hololeap> | d34df00d: about your question from yesterday. i realized that what you're probably looking for is `StateT s (MaybeT m) a`, which would expand to `s -> m (Maybe (a, s))`. this encodes the idea that you have two choices: your value 'a' _and_ a new state have been produced, or nothing at all. |
| 2021-04-11 12:52:51 +0000 | Foritus | (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator") |
| 2021-04-11 12:52:59 +0000 | <olligobber> | is there a command (maybe in cabal) to resolve all the imports and make one big haskell file only depending on prelude |
| 2021-04-11 12:53:37 +0000 | fiedlr | (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-11 12:53:42 +0000 | Foritus | (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) |
| 2021-04-11 12:53:45 +0000 | <hololeap> | with `MaybeT (StateT s m) a`, you could have this produced without any complaints: m (Nothing, newState) |
| 2021-04-11 12:54:25 +0000 | <Philonous> | olligobber, You mean inline all your dependencies? Not that I know of, and I'm not sure how that would work, considering some packages have sources written in C |
| 2021-04-11 12:54:28 +0000 | <hololeap> | which would still short circuit due to the way MaybeT works, but might not be something you want |
| 2021-04-11 12:54:49 +0000 | fiedlr | (~fiedlr@83.148.33.254) |
| 2021-04-11 12:55:25 +0000 | <olligobber> | Philonous, well, maybe just some dependencies? I need to submit a single source file |
| 2021-04-11 12:55:50 +0000 | <olligobber> | but the place it will be compiled doesn't have all the dependencies (one in particular which i wrote) |
| 2021-04-11 12:56:42 +0000 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-04-11 12:57:52 +0000 | <hololeap> | can the source file be a zip or tar.gz ? :p |
| 2021-04-11 12:58:26 +0000 | <Philonous> | olligobber, Template Haskell also means this doesn't work in general. (It's quite possible that someone wrote a "good enough" script for your use case, but I wouldn't have heard of it) |
| 2021-04-11 12:58:42 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:392f:8948:67b:8e77) |
| 2021-04-11 12:58:51 +0000 | <olligobber> | nah, has to be a .hs |
| 2021-04-11 12:58:59 +0000 | <olligobber> | and yeah im using template haskell |
| 2021-04-11 12:59:31 +0000 | <hololeap> | is this for a class? |
| 2021-04-11 12:59:35 +0000 | <olligobber> | no, for fun |
| 2021-04-11 12:59:47 +0000 | <olligobber> | I wrote a very inefficient addition program |
| 2021-04-11 12:59:53 +0000 | <hololeap> | then why the arbitrary restrictions? |
| 2021-04-11 13:01:18 +0000 | <Philonous> | olligobber, TH can't use top-level definitions from the same file, only imported, so your idea might fall apart right there |
| 2021-04-11 13:01:51 +0000 | <Philonous> | OTOH the script could just run the TH and splice the output, so all is not lost. |
| 2021-04-11 13:02:07 +0000 | TBM_ | (~guest_wii@86-41-3-16-dynamic.agg2.grs.prp-wtd.eircom.net) |
| 2021-04-11 13:02:09 +0000 | <olligobber> | yeah, that's what I want it to do |
| 2021-04-11 13:02:10 +0000 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-cppcunbrtpbtpgrh) |
| 2021-04-11 13:03:11 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-11 13:06:14 +0000 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) |
| 2021-04-11 13:06:45 +0000 | TBM_ | (~guest_wii@86-41-3-16-dynamic.agg2.grs.prp-wtd.eircom.net) (Ping timeout: 268 seconds) |
| 2021-04-11 13:08:13 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-04-11 13:08:33 +0000 | Rudd0 | (~Rudd0@185.189.115.103) (Read error: Connection reset by peer) |
| 2021-04-11 13:09:10 +0000 | DTZUZU_ | (~DTZUZO@207.81.119.43) (Ping timeout: 265 seconds) |
| 2021-04-11 13:09:41 +0000 | xff0x | (~xff0x@2001:1a81:5278:bf00:7c7:a833:683d:2625) (Ping timeout: 258 seconds) |
| 2021-04-11 13:10:33 +0000 | xff0x | (~xff0x@2001:1a81:5278:bf00:86d4:8676:2f4e:4222) |
| 2021-04-11 13:12:36 +0000 | dpl | (~dpl@77-121-78-163.chn.volia.net) |
| 2021-04-11 13:13:37 +0000 | <olligobber> | I guess I don't really need to do it |
| 2021-04-11 13:13:50 +0000 | <olligobber> | I know it's just going to get TLE or MLE |
| 2021-04-11 13:13:59 +0000 | Codaraxis__ | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Remote host closed the connection) |
| 2021-04-11 13:14:03 +0000 | <olligobber> | given it's taken 30 minutes to add 77 to 777 |
| 2021-04-11 13:14:07 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-11 13:14:47 +0000 | Codaraxis__ | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 2021-04-11 13:21:27 +0000 | jamm__ | (~jamm@unaffiliated/jamm) |
| 2021-04-11 13:22:22 +0000 | Codaraxis__ | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Remote host closed the connection) |
| 2021-04-11 13:22:32 +0000 | drbean_ | (~drbean@TC210-63-209-56.static.apol.com.tw) |
| 2021-04-11 13:22:50 +0000 | Codaraxis__ | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 2021-04-11 13:22:53 +0000 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-04-11 13:23:11 +0000 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:e5ae:8e60:92a1:72dc) |
| 2021-04-11 13:25:01 +0000 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
| 2021-04-11 13:30:37 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-11 13:32:31 +0000 | cfricke | (~cfricke@unaffiliated/cfricke) (Ping timeout: 250 seconds) |
| 2021-04-11 13:33:39 +0000 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-11 13:33:49 +0000 | acidjnk_new | (~acidjnk@p200300d0c72b9512392c48d8e031de92.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-04-11 13:34:48 +0000 | Alleria__ | (~textual@zrcout.mskcc.org) (Remote host closed the connection) |
| 2021-04-11 13:36:22 +0000 | alx741 | (~alx741@181.196.69.222) |
| 2021-04-11 13:36:32 +0000 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-axpcumsbabjjlcuo) |
| 2021-04-11 13:38:20 +0000 | urodna | (~urodna@unaffiliated/urodna) |
| 2021-04-11 13:46:43 +0000 | kritzefitz | (~kritzefit@212.86.56.80) (Ping timeout: 252 seconds) |
| 2021-04-11 13:48:22 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-11 13:49:32 +0000 | nschoe | (~quassel@2a01:e0a:8e:a190:add7:2347:809a:4424) |
| 2021-04-11 13:49:59 +0000 | solvr | (57e3c46d@87.227.196.109) (Quit: Connection closed) |
| 2021-04-11 13:50:27 +0000 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:e5ae:8e60:92a1:72dc) (Read error: Connection reset by peer) |
| 2021-04-11 13:51:13 +0000 | __minoru__shirae | (~shiraeesh@46.34.207.72) |
| 2021-04-11 13:51:27 +0000 | mmmattyx | (uid17782@gateway/web/irccloud.com/x-zbqbfvcklnwtphsz) |
| 2021-04-11 13:54:09 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:392f:8948:67b:8e77) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-11 13:56:38 +0000 | drbean_ | (~drbean@TC210-63-209-56.static.apol.com.tw) (Ping timeout: 240 seconds) |
| 2021-04-11 13:56:51 +0000 | todda7 | (~torstein@athedsl-09242.home.otenet.gr) |
| 2021-04-11 13:57:33 +0000 | puke | (~vroom@217.138.252.196) |
| 2021-04-11 14:00:18 +0000 | ClaudiusMaximus | (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) |
| 2021-04-11 14:00:26 +0000 | v01d4lph4 | (~v01d4lph4@223.177.186.2) |
| 2021-04-11 14:00:59 +0000 | ClaudiusMaximus | (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) (Changing host) |
| 2021-04-11 14:00:59 +0000 | ClaudiusMaximus | (~claude@unaffiliated/claudiusmaximus) |
| 2021-04-11 14:02:09 +0000 | jamm__ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-04-11 14:03:02 +0000 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-11 14:04:45 +0000 | <olligobber> | oh, I killed 77+777 after an hour |
| 2021-04-11 14:04:56 +0000 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-04-11 14:05:10 +0000 | v01d4lph4 | (~v01d4lph4@223.177.186.2) (Ping timeout: 260 seconds) |
| 2021-04-11 14:05:11 +0000 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 2021-04-11 14:05:46 +0000 | solvr | (57e3c46d@87.227.196.109) |
| 2021-04-11 14:07:06 +0000 | DTZUZU_ | (~DTZUZO@207.81.119.43) |
| 2021-04-11 14:07:19 +0000 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-04-11 14:07:37 +0000 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 2021-04-11 14:07:48 +0000 | <maralorn> | I have a library that returns a Prelude.undefined in some cases and I can‘t do anything about it on the short term. Is there something like defaultIfUndefined :: a -> a -> a to recover from that? |
| 2021-04-11 14:09:12 +0000 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 240 seconds) |
| 2021-04-11 14:10:20 +0000 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2021-04-11 14:10:45 +0000 | thblt | (~thblt@unaffiliated/thblt) |
| 2021-04-11 14:12:11 +0000 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 2021-04-11 14:14:58 +0000 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2021-04-11 14:15:23 +0000 | <hpc> | maralorn: the spoon package, maybe? |
| 2021-04-11 14:16:05 +0000 | <hpc> | maralorn: or lub, if you want to handle more than just exception-y bottoms |
| 2021-04-11 14:17:09 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 14:21:45 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 14:22:46 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 14:24:50 +0000 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-11 14:25:31 +0000 | slaterr | (~bc8134e3@217.29.117.252) |
| 2021-04-11 14:27:31 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 14:27:34 +0000 | howdoi | (uid224@gateway/web/irccloud.com/x-gsmzjfvgsnyopnqz) (Quit: Connection closed for inactivity) |
| 2021-04-11 14:28:24 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 14:32:52 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 14:33:58 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 14:38:22 +0000 | plutoniix | (~q@node-ur9.pool-125-24.dynamic.totinternet.net) |
| 2021-04-11 14:38:43 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 14:39:10 +0000 | shalokshalom | (~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106) |
| 2021-04-11 14:39:39 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 14:41:46 +0000 | JanBessai | (~JanB@85-22-24-170.ip.dokom21.de) |
| 2021-04-11 14:42:01 +0000 | geekosaur | (ae68c070@cpe-174-104-192-112.neo.res.rr.com) |
| 2021-04-11 14:42:20 +0000 | JanBessai | (~JanB@85-22-24-170.ip.dokom21.de) (Client Quit) |
| 2021-04-11 14:43:53 +0000 | nschoe | (~quassel@2a01:e0a:8e:a190:add7:2347:809a:4424) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-04-11 14:43:59 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 14:44:06 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2021-04-11 14:45:12 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 14:48:10 +0000 | kaction | (~kaction@pool-96-255-101-159.washdc.fios.verizon.net) |
| 2021-04-11 14:49:55 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 14:50:23 +0000 | kuribas | (~user@ptr-25vy0i7appkeq6vlzis.18120a2.ip6.access.telenet.be) |
| 2021-04-11 14:50:49 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 14:50:58 +0000 | <kuribas> | is there a way to generate javascript? |
| 2021-04-11 14:51:02 +0000 | <kuribas> | I wanted to use Aeson, but that doesn't allow inline javascript... |
| 2021-04-11 14:51:31 +0000 | dexterlb | (~dexterlb@2a01:9e40:2:2::2) (Quit: Boing) |
| 2021-04-11 14:51:45 +0000 | <kuribas> | Some hack on top of Aeson is also possible. |
| 2021-04-11 14:52:08 +0000 | <kuribas> | Maybe some clever search replace in the JSON... |
| 2021-04-11 14:53:28 +0000 | shalokshalom | (~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106) (Quit: https://quassel-irc.org - Komfortabler Chat. Überall.) |
| 2021-04-11 14:55:06 +0000 | kaction | (~kaction@pool-96-255-101-159.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-04-11 14:55:11 +0000 | Alleria | (~textual@zrcout.mskcc.org) |
| 2021-04-11 14:55:29 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 14:55:35 +0000 | Alleria | Guest3534 |
| 2021-04-11 14:56:13 +0000 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-04-11 14:57:46 +0000 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 268 seconds) |
| 2021-04-11 14:57:51 +0000 | jakalx | (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-04-11 14:57:55 +0000 | slaterr | (~bc8134e3@217.29.117.252) (Quit: quit) |
| 2021-04-11 15:00:42 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-11 15:01:22 +0000 | <__minoru__shirae> | kuribas: what happens to the generated javascript after it is generated? |
| 2021-04-11 15:01:35 +0000 | <kuribas> | __minoru__shirae: rendered on a webpage |
| 2021-04-11 15:01:58 +0000 | <__minoru__shirae> | do you bundle all the javascript into one file, or do you add each script to the page manually |
| 2021-04-11 15:02:26 +0000 | <__minoru__shirae> | because you can simply create a script and add it to the page manually |
| 2021-04-11 15:02:34 +0000 | myShoggoth | (~myShoggot@75.164.73.93) (Ping timeout: 260 seconds) |
| 2021-04-11 15:03:29 +0000 | <kuribas> | __minoru__shirae: sadly it has to be in the json |
| 2021-04-11 15:03:42 +0000 | <kuribas> | __minoru__shirae: http://www.alpacajs.org/docs/api/events.html |
| 2021-04-11 15:04:03 +0000 | <kuribas> | shatters my idea of a nice declarative UI :-( |
| 2021-04-11 15:05:22 +0000 | son0p | (~ff@181.136.122.143) (Ping timeout: 252 seconds) |
| 2021-04-11 15:05:50 +0000 | dexterlb | (~dexterlb@2a01:9e40:2:2::2) |
| 2021-04-11 15:09:28 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-04-11 15:10:36 +0000 | <__minoru__shirae> | kuribas: why generate javascript? |
| 2021-04-11 15:10:57 +0000 | <kuribas> | __minoru__shirae: did you click the link? |
| 2021-04-11 15:11:02 +0000 | <__minoru__shirae> | yes |
| 2021-04-11 15:11:10 +0000 | <kuribas> | there you see the javascript? |
| 2021-04-11 15:11:31 +0000 | <__minoru__shirae> | I mean, you want something like macros for js? |
| 2021-04-11 15:11:49 +0000 | <__minoru__shirae> | yes, I see the js there |
| 2021-04-11 15:12:22 +0000 | <kuribas> | no, I want to generate the javascript |
| 2021-04-11 15:12:54 +0000 | <kuribas> | I am making combinators for generating these config. |
| 2021-04-11 15:13:10 +0000 | <kuribas> | Which was nice using Aeson, but the Javascript is problematic. |
| 2021-04-11 15:13:11 +0000 | hpc | (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 240 seconds) |
| 2021-04-11 15:14:29 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:392f:8948:67b:8e77) |
| 2021-04-11 15:15:14 +0000 | <__minoru__shirae> | you can parameterize some js function with something that changes and then call that function with different parameters |
| 2021-04-11 15:15:23 +0000 | hpc | (~juzz@ip98-169-35-13.dc.dc.cox.net) |
| 2021-04-11 15:15:24 +0000 | average | (uid473595@gateway/web/irccloud.com/x-kahrnfsnbzakrhmz) |
| 2021-04-11 15:15:53 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-04-11 15:16:17 +0000 | <__minoru__shirae> | I mean, instead of generating "x + y", you can create function plus(x, y) and then call it |
| 2021-04-11 15:16:37 +0000 | <__minoru__shirae> | that's why I'm asking: why generate js? |
| 2021-04-11 15:17:09 +0000 | <kuribas> | I don't how that solves anything... |
| 2021-04-11 15:19:59 +0000 | <kuribas> | maybe I'll generate some pattern, like "$postRenderFunction$", then replace it in the generated ByteString |
| 2021-04-11 15:22:41 +0000 | <kuribas> | I could use language-ecmascript-0.19.1.0, but that's not very convenient. |
| 2021-04-11 15:27:16 +0000 | <kuribas> | oh wait, I can separate the javascript and JSON... |
| 2021-04-11 15:27:52 +0000 | <kuribas> | then I generate the separately, and just use string concatination... |
| 2021-04-11 15:29:52 +0000 | raym | (~ray@45.64.220.116) (Quit: leaving) |
| 2021-04-11 15:31:12 +0000 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-04-11 15:32:02 +0000 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-04-11 15:32:08 +0000 | Tario | (~Tario@201.192.165.173) |
| 2021-04-11 15:36:15 +0000 | <__minoru__shirae> | so you want to generate "json with functions" using something on top of json converter library |
| 2021-04-11 15:36:40 +0000 | <kuribas> | yeah |
| 2021-04-11 15:38:44 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:392f:8948:67b:8e77) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-11 15:39:00 +0000 | notzmv | (~zmv@unaffiliated/zmv) (Read error: Connection reset by peer) |
| 2021-04-11 15:39:35 +0000 | <__minoru__shirae> | I doubt that those libraries provide an API for inlining functions into json |
| 2021-04-11 15:39:58 +0000 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-11 15:40:11 +0000 | aveltras | (uid364989@gateway/web/irccloud.com/x-bzwnkfqpsbcsteyn) (Quit: Connection closed for inactivity) |
| 2021-04-11 15:41:05 +0000 | <__minoru__shirae> | what if you approach the problem from the other end? |
| 2021-04-11 15:43:02 +0000 | <__minoru__shirae> | you can create some translation layer to js, so that you send proper json and then translate it to whatever alpaca wants |
| 2021-04-11 15:43:05 +0000 | <kuribas> | __minoru__shirae: I'll use ByteString.++ :-) |
| 2021-04-11 15:43:14 +0000 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-axpcumsbabjjlcuo) (Quit: Connection closed for inactivity) |
| 2021-04-11 15:43:54 +0000 | Guest35219 | (~zmv@unaffiliated/zmv) |
| 2021-04-11 15:43:57 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-04-11 15:44:01 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-11 15:44:03 +0000 | jophish__ | (ca536851@202.83.104.81) (Ping timeout: 240 seconds) |
| 2021-04-11 15:44:08 +0000 | Guest35219 | (~zmv@unaffiliated/zmv) (Remote host closed the connection) |
| 2021-04-11 15:44:28 +0000 | pavonia | (~user@unaffiliated/siracusa) |
| 2021-04-11 15:44:51 +0000 | cfricke | (~cfricke@unaffiliated/cfricke) |
| 2021-04-11 15:45:13 +0000 | notzmv- | (~zmv@unaffiliated/zmv) |
| 2021-04-11 15:45:30 +0000 | notzmv- | notzmv |
| 2021-04-11 15:45:49 +0000 | <__minoru__shirae> | I mean, instead of calling "$("#field1").alpaca({"some json with functions": ""})" |
| 2021-04-11 15:46:11 +0000 | <__minoru__shirae> | you call $("#field1").alpaca(translate({"some proper json":""})) |
| 2021-04-11 15:46:51 +0000 | xff0x | (~xff0x@2001:1a81:5278:bf00:86d4:8676:2f4e:4222) (Ping timeout: 260 seconds) |
| 2021-04-11 15:46:52 +0000 | <__minoru__shirae> | the difference is calling "translate" function |
| 2021-04-11 15:47:11 +0000 | gdude2002 | (~gdude2002@178.239.168.171) (Ping timeout: 240 seconds) |
| 2021-04-11 15:47:46 +0000 | xff0x | (~xff0x@port-92-193-213-105.dynamic.as20676.net) |
| 2021-04-11 15:48:49 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-04-11 15:48:54 +0000 | <kuribas> | ah I see what you mean. |
| 2021-04-11 15:49:05 +0000 | <kuribas> | yeah, that could work |
| 2021-04-11 15:49:40 +0000 | <kuribas> | I could separate the JSON as much as possible with some custom javascript. |
| 2021-04-11 15:50:07 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 265 seconds) |
| 2021-04-11 15:50:19 +0000 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) |
| 2021-04-11 15:51:59 +0000 | <kuribas> | Then I never need to generate javascript, I just make a single javascript function, which I put into a haskell string. |
| 2021-04-11 15:54:00 +0000 | <kuribas> | That soulds like the best plan. |
| 2021-04-11 15:56:40 +0000 | renzhi | (~renzhi@2607:fa49:653f:a800::4223) |
| 2021-04-11 16:00:03 +0000 | jerin | (jerinmatri@gateway/shell/matrix.org/x-zeozwveuydonwzcq) (Quit: Idle for 30+ days) |
| 2021-04-11 16:00:29 +0000 | Rudd0 | (~Rudd0@185.189.115.108) |
| 2021-04-11 16:04:23 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-11 16:05:38 +0000 | lemmih_ | (~lemmih@58.182.184.138) |
| 2021-04-11 16:06:16 +0000 | average | (uid473595@gateway/web/irccloud.com/x-kahrnfsnbzakrhmz) () |
| 2021-04-11 16:06:46 +0000 | chenshen | (~chenshen@2620:10d:c090:400::5:b6af) |
| 2021-04-11 16:07:10 +0000 | lemmih | (~lemmih@2406:3003:2072:44:194c:74d8:3073:4082) (Ping timeout: 258 seconds) |
| 2021-04-11 16:09:10 +0000 | amiri | (~amiri@cpe-76-91-154-9.socal.res.rr.com) (Remote host closed the connection) |
| 2021-04-11 16:09:13 +0000 | myShoggoth | (~myShoggot@75.164.73.93) |
| 2021-04-11 16:11:07 +0000 | amiri | (~amiri@cpe-76-91-154-9.socal.res.rr.com) |
| 2021-04-11 16:14:45 +0000 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-04-11 16:16:57 +0000 | __minoru__shirae | (~shiraeesh@46.34.207.72) (Ping timeout: 260 seconds) |
| 2021-04-11 16:17:11 +0000 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) (Ping timeout: 265 seconds) |
| 2021-04-11 16:19:24 +0000 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) |
| 2021-04-11 16:21:12 +0000 | DTZUZU_ | (~DTZUZO@207.81.119.43) (Ping timeout: 240 seconds) |
| 2021-04-11 16:22:22 +0000 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-04-11 16:24:30 +0000 | son0p | (~ff@181.136.122.143) |
| 2021-04-11 16:27:09 +0000 | Foritus | (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator") |
| 2021-04-11 16:33:33 +0000 | wroathe | (~wroathe@68.54.25.135) |
| 2021-04-11 16:34:40 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-11 16:34:46 +0000 | Guest3534 | (~textual@zrcout.mskcc.org) (Ping timeout: 240 seconds) |
| 2021-04-11 16:37:00 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-04-11 16:38:17 +0000 | myShoggoth | (~myShoggot@75.164.73.93) (Ping timeout: 268 seconds) |
| 2021-04-11 16:38:47 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-04-11 16:40:40 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:c1cc:585b:1807:78e) |
| 2021-04-11 16:41:09 +0000 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-04-11 16:42:00 +0000 | mrchampion | (~mrchampio@38.18.109.23) (Read error: Connection reset by peer) |
| 2021-04-11 16:49:26 +0000 | dpl | (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 260 seconds) |
| 2021-04-11 16:49:40 +0000 | mrchampion | (~mrchampio@38.18.109.23) |
| 2021-04-11 16:50:22 +0000 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-04-11 16:50:32 +0000 | tanuki | (~quassel@173.168.178.1) (Ping timeout: 265 seconds) |
| 2021-04-11 16:51:30 +0000 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-04-11 16:51:45 +0000 | fendor_ | (~fendor@91.141.0.248.wireless.dyn.drei.com) |
| 2021-04-11 16:54:15 +0000 | fendor | (~fendor@178.165.131.171.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2021-04-11 16:56:35 +0000 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-04-11 16:56:47 +0000 | locrian9 | (~mike@cpe-104-173-20-162.socal.res.rr.com) |
| 2021-04-11 16:57:16 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 16:57:48 +0000 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-04-11 16:58:29 +0000 | raichoo | (~raichoo@dslb-084-062-113-098.084.062.pools.vodafone-ip.de) |
| 2021-04-11 17:00:06 +0000 | Alleria | (~textual@2603-7000-3040-0000-35a2-98b5-94af-f785.res6.spectrum.com) |
| 2021-04-11 17:00:31 +0000 | Alleria | Guest17509 |
| 2021-04-11 17:01:59 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 17:02:55 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 17:04:40 +0000 | Guest17509 | (~textual@2603-7000-3040-0000-35a2-98b5-94af-f785.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2021-04-11 17:07:27 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 250 seconds) |
| 2021-04-11 17:08:31 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 17:08:34 +0000 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 252 seconds) |
| 2021-04-11 17:12:09 +0000 | chenshen | (~chenshen@2620:10d:c090:400::5:b6af) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-04-11 17:13:11 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 17:17:47 +0000 | chenshen | (~chenshen@2620:10d:c090:400::5:b6af) |
| 2021-04-11 17:19:21 +0000 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2021-04-11 17:19:39 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2021-04-11 17:19:47 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 17:24:21 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 250 seconds) |
| 2021-04-11 17:25:21 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 17:26:47 +0000 | quaestor | (~quaestor@griffith.christophrauch.de) (Ping timeout: 265 seconds) |
| 2021-04-11 17:29:18 +0000 | dcbdan | (~dcbdan@c-73-76-129-120.hsd1.tx.comcast.net) |
| 2021-04-11 17:29:57 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2021-04-11 17:29:59 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 17:30:33 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-04-11 17:32:19 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:c1cc:585b:1807:78e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-11 17:33:02 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-04-11 17:35:28 +0000 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-04-11 17:35:38 +0000 | malumore | (~malumore@151.62.120.195) (Ping timeout: 268 seconds) |
| 2021-04-11 17:37:10 +0000 | locrian9 | (~mike@cpe-104-173-20-162.socal.res.rr.com) (Ping timeout: 252 seconds) |
| 2021-04-11 17:38:13 +0000 | cfricke | (~cfricke@unaffiliated/cfricke) (Ping timeout: 250 seconds) |
| 2021-04-11 17:38:37 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-11 17:40:36 +0000 | Alleria | (~textual@2603-7000-3040-0000-35a2-98b5-94af-f785.res6.spectrum.com) |
| 2021-04-11 17:41:00 +0000 | Alleria | Guest61238 |
| 2021-04-11 17:41:35 +0000 | kuribas | (~user@ptr-25vy0i7appkeq6vlzis.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2021-04-11 17:43:51 +0000 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-04-11 17:43:56 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-04-11 17:45:32 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-11 17:47:13 +0000 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-04-11 17:47:21 +0000 | malumore | (~malumore@151.62.120.195) |
| 2021-04-11 17:48:39 +0000 | puke | (~vroom@217.138.252.196) (Read error: Connection reset by peer) |
| 2021-04-11 17:48:54 +0000 | puke | (~vroom@217.138.252.196) |
| 2021-04-11 17:51:41 +0000 | cfricke | (cfricke@gateway/vpn/mullvad/cfricke) |
| 2021-04-11 17:52:58 +0000 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 2021-04-11 17:54:41 +0000 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-11 17:54:53 +0000 | puke | (~vroom@217.138.252.196) (Remote host closed the connection) |
| 2021-04-11 17:55:30 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-11 17:55:56 +0000 | puke | (~vroom@217.138.252.196) |
| 2021-04-11 17:55:59 +0000 | dpl | (~dpl@77-121-78-163.chn.volia.net) |
| 2021-04-11 17:56:38 +0000 | AkechiShiro | (~AkechiShi@2a01:e0a:5f9:9681:1473:3dff:fe42:56a9) (Quit: WeeChat 2.9) |
| 2021-04-11 17:59:13 +0000 | syntactic_sugar | (~syntactic@192.145.119.105) |
| 2021-04-11 17:59:53 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-04-11 18:00:15 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-11 18:01:08 +0000 | Sornaensis | (~Sornaensi@102.129.202.233) |
| 2021-04-11 18:01:18 +0000 | cfricke | (cfricke@gateway/vpn/mullvad/cfricke) (Ping timeout: 260 seconds) |
| 2021-04-11 18:02:45 +0000 | __minoru__shirae | (~shiraeesh@46.34.207.250) |
| 2021-04-11 18:03:58 +0000 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) |
| 2021-04-11 18:04:36 +0000 | Sorny | (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 268 seconds) |
| 2021-04-11 18:04:48 +0000 | syntactic_sugar | (~syntactic@192.145.119.105) (Quit: Leaving) |
| 2021-04-11 18:05:52 +0000 | <hololeap> | is there a compatibility layer between (MonadBase IO)/(MonadBaseControl IO) and (MonadIO/MonadUnliftIO)? i ask because i'm writing a library using the former, but i don't want to alienate users who use the latter |
| 2021-04-11 18:07:03 +0000 | <hololeap> | i also don't want to alienate users who use The Ladder |
| 2021-04-11 18:08:29 +0000 | helo_ | (~helo@2a02:810c:ccc0:2d4:8d6b:adee:df65:bf55) |
| 2021-04-11 18:09:25 +0000 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 252 seconds) |
| 2021-04-11 18:10:30 +0000 | chenshen | (~chenshen@2620:10d:c090:400::5:b6af) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-04-11 18:10:50 +0000 | dyeplexer | (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 2021-04-11 18:13:26 +0000 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2021-04-11 18:14:08 +0000 | myShoggoth | (~myShoggot@75.164.73.93) |
| 2021-04-11 18:14:58 +0000 | wroathe | (~wroathe@68.54.25.135) (Quit: Lost terminal) |
| 2021-04-11 18:15:19 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-11 18:15:38 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-04-11 18:16:48 +0000 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) |
| 2021-04-11 18:17:38 +0000 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-11 18:18:20 +0000 | raichoo | (~raichoo@dslb-084-062-113-098.084.062.pools.vodafone-ip.de) (Quit: Lost terminal) |
| 2021-04-11 18:19:45 +0000 | __minoru__shirae | (~shiraeesh@46.34.207.250) (Read error: Connection timed out) |
| 2021-04-11 18:20:10 +0000 | __minoru__shirae | (~shiraeesh@46.34.207.250) |
| 2021-04-11 18:20:53 +0000 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-04-11 18:20:56 +0000 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) (Remote host closed the connection) |
| 2021-04-11 18:22:07 +0000 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-04-11 18:22:14 +0000 | vicfred | (~vicfred@unaffiliated/vicfred) |
| 2021-04-11 18:23:17 +0000 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-04-11 18:23:46 +0000 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) |
| 2021-04-11 18:24:07 +0000 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Client Quit) |
| 2021-04-11 18:24:11 +0000 | xff0x | (~xff0x@port-92-193-213-105.dynamic.as20676.net) (Ping timeout: 240 seconds) |
| 2021-04-11 18:24:36 +0000 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) |
| 2021-04-11 18:24:55 +0000 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Client Quit) |
| 2021-04-11 18:25:21 +0000 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) |
| 2021-04-11 18:25:43 +0000 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Client Quit) |
| 2021-04-11 18:25:45 +0000 | xff0x | (~xff0x@2001:1a81:5278:bf00:33a0:2c0f:72ed:caee) |
| 2021-04-11 18:26:12 +0000 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) |
| 2021-04-11 18:26:31 +0000 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Client Quit) |
| 2021-04-11 18:27:02 +0000 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) |
| 2021-04-11 18:27:11 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 2021-04-11 18:27:20 +0000 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Client Quit) |
| 2021-04-11 18:28:24 +0000 | myShoggoth | (~myShoggot@75.164.73.93) (Remote host closed the connection) |
| 2021-04-11 18:28:32 +0000 | <solvr> | What if Haskell made a few small concessions so the general audience could like it more. |
| 2021-04-11 18:28:49 +0000 | myShoggoth | (~myShoggot@75.164.73.93) |
| 2021-04-11 18:28:55 +0000 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 2.8) |
| 2021-04-11 18:29:08 +0000 | <maerwald> | solvr: like? |
| 2021-04-11 18:30:08 +0000 | <thblt> | I vote GOTO |
| 2021-04-11 18:30:14 +0000 | <MarcelineVQ> | concede that python is the superior language |
| 2021-04-11 18:30:37 +0000 | <solvr> | Something like Erlang's process dictionary. And something like Erlang's processes |
| 2021-04-11 18:30:43 +0000 | <solvr> | so it looks more OOP |
| 2021-04-11 18:31:15 +0000 | <MarcelineVQ> | processes are cool, cloud-haskell has a bit of that iirc |
| 2021-04-11 18:31:15 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-11 18:31:32 +0000 | <MarcelineVQ> | *Cloud Haskell (distributed-process) |
| 2021-04-11 18:32:53 +0000 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-04-11 18:32:54 +0000 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-04-11 18:34:26 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-04-11 18:36:42 +0000 | <maerwald> | isn't that dead? |
| 2021-04-11 18:37:04 +0000 | <geekosaur> | effectively |
| 2021-04-11 18:38:56 +0000 | <MarcelineVQ> | yet with untold aeons even death may die |
| 2021-04-11 18:39:06 +0000 | <MarcelineVQ> | e.g. there's also the option to compile _to_ erlang |
| 2021-04-11 18:39:31 +0000 | <solvr> | What about compiling to JS |
| 2021-04-11 18:40:24 +0000 | jalumar | (uid392211@gateway/web/irccloud.com/x-xzluywcotqccmnoo) (Quit: Connection closed for inactivity) |
| 2021-04-11 18:40:47 +0000 | <MarcelineVQ> | ghcjs is the most successful effort for doing that in haskell |
| 2021-04-11 18:41:23 +0000 | <solvr> | I guess Haskell will never be very popular then |
| 2021-04-11 18:41:58 +0000 | <juri_> | I hope people will eventually get tired of writing bad imperitive code. |
| 2021-04-11 18:42:04 +0000 | <maerwald> | very popular means you're flooded with mediocre library maintainers, as can be seen on npm |
| 2021-04-11 18:42:39 +0000 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-11 18:42:56 +0000 | <solvr> | juri_, some imperative code is most suitable between boundaries |
| 2021-04-11 18:43:21 +0000 | <maerwald> | what's wrong with imperative code |
| 2021-04-11 18:43:43 +0000 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 2021-04-11 18:43:43 +0000 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 252 seconds) |
| 2021-04-11 18:43:43 +0000 | chenshen | (~chenshen@2620:10d:c090:400::5:b6af) |
| 2021-04-11 18:44:21 +0000 | <juri_> | it can be useful, but it can also be completely horrible. i like writing pure code, with a small kernel of imperitive code. |
| 2021-04-11 18:44:23 +0000 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-11 18:44:37 +0000 | <maerwald> | that sounds like taste, not an actual engineering concern |
| 2021-04-11 18:44:59 +0000 | Lycurgus | (~niemand@98.4.118.65) |
| 2021-04-11 18:46:24 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 246 seconds) |
| 2021-04-11 18:46:59 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-11 18:47:15 +0000 | <juri_> | the ability to reason about code is an engineering concern. pure code is easier to reason about, which tends to lead to better, more maintainable code. |
| 2021-04-11 18:48:14 +0000 | <maerwald> | Don't think that's true. The problem is shared mutable state. You can tackle that in imperative languages too, see rust. |
| 2021-04-11 18:48:40 +0000 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-04-11 18:53:08 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-11 18:55:17 +0000 | <Lycurgus> | what is "pure code"? |
| 2021-04-11 18:55:43 +0000 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-04-11 18:56:04 +0000 | <Lycurgus> | the instructions only in a code stream? |
| 2021-04-11 18:56:43 +0000 | <dcbdan> | me thinks: code that has no side effects. As in, can be expressed like a mathematical function |
| 2021-04-11 18:56:57 +0000 | mananamenos | (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net) |
| 2021-04-11 18:56:57 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-04-11 18:57:01 +0000 | <maerwald> | simplified: pure code is code where the evaluation strategy doesn't affect semantics |
| 2021-04-11 18:57:08 +0000 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-04-11 18:58:11 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-11 18:58:15 +0000 | <Lycurgus> | so it's referential transparency |
| 2021-04-11 18:58:31 +0000 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-04-11 18:58:44 +0000 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-04-11 18:59:00 +0000 | <maerwald> | the point is that it's not defined for execution |
| 2021-04-11 18:59:03 +0000 | <Lycurgus> | which sounds like a thing where as "pure oode" sounds like bs |
| 2021-04-11 18:59:33 +0000 | <maerwald> | so the fact that haskell is pure doesn't actually give you much, because you can pass around IORefs like a madman, can you not? |
| 2021-04-11 18:59:35 +0000 | <Lycurgus> | asif pure code lacked smells |
| 2021-04-11 19:00:04 +0000 | AkechiShiro | (~AkechiShi@2a01:e0a:5f9:9681:58c8:ec73:6b59:f408) |
| 2021-04-11 19:00:18 +0000 | <Lycurgus> | asif the pure were the clean |
| 2021-04-11 19:00:45 +0000 | Guest78317 | (~laudiacay@67.176.215.84) (Ping timeout: 252 seconds) |
| 2021-04-11 19:03:26 +0000 | HannaM | (~quassel@p54849510.dip0.t-ipconnect.de) |
| 2021-04-11 19:04:10 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-11 19:07:45 +0000 | minoru_shiraeesh | (~shiraeesh@109.166.56.11) |
| 2021-04-11 19:08:11 +0000 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-04-11 19:08:28 +0000 | __minoru__shirae | (~shiraeesh@46.34.207.250) (Ping timeout: 252 seconds) |
| 2021-04-11 19:10:19 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 19:10:25 +0000 | helo_ | (~helo@2a02:810c:ccc0:2d4:8d6b:adee:df65:bf55) (Quit: Leaving) |
| 2021-04-11 19:10:35 +0000 | Lycurgus | (~niemand@98.4.118.65) (Quit: Exeunt) |
| 2021-04-11 19:12:22 +0000 | chenshen | (~chenshen@2620:10d:c090:400::5:b6af) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-04-11 19:13:11 +0000 | mananamenos | (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net) (Ping timeout: 240 seconds) |
| 2021-04-11 19:13:40 +0000 | ystael | (~ystael@209.6.50.55) (Ping timeout: 268 seconds) |
| 2021-04-11 19:15:17 +0000 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) |
| 2021-04-11 19:17:59 +0000 | solvr | (57e3c46d@87.227.196.109) (Quit: Connection closed) |
| 2021-04-11 19:18:45 +0000 | jpe90 | (~user@pool-108-31-85-19.washdc.fios.verizon.net) |
| 2021-04-11 19:18:50 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-11 19:19:47 +0000 | chenshen | (~chenshen@2620:10d:c090:400::5:b6af) |
| 2021-04-11 19:24:33 +0000 | myShoggoth | (~myShoggot@75.164.73.93) (Ping timeout: 240 seconds) |
| 2021-04-11 19:26:05 +0000 | myShoggoth | (~myShoggot@75.164.73.93) |
| 2021-04-11 19:26:09 +0000 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-11 19:30:20 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-04-11 19:35:25 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-11 19:39:40 +0000 | kritzefitz | (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-04-11 19:41:55 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-11 19:43:40 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-04-11 19:46:13 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-11 19:47:32 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Remote host closed the connection) |
| 2021-04-11 19:50:00 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-11 19:50:01 +0000 | Lord_of_Life_ | (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-04-11 19:50:27 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 19:50:57 +0000 | zeenk | (~zeenk@2a02:2f04:a10b:af00:91ba:3645:1cdb:9a75) |
| 2021-04-11 19:52:37 +0000 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) |
| 2021-04-11 19:53:11 +0000 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 252 seconds) |
| 2021-04-11 19:53:14 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2021-04-11 19:55:39 +0000 | gitgoood | (~gitgood@80-44-10-151.dynamic.dsl.as9105.com) (Ping timeout: 265 seconds) |
| 2021-04-11 20:00:26 +0000 | myShoggoth | (~myShoggot@75.164.73.93) (Ping timeout: 240 seconds) |
| 2021-04-11 20:01:22 +0000 | meck | (~meck@li1809-18.members.linode.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-11 20:01:45 +0000 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-04-11 20:02:14 +0000 | gitgood | (~gitgood@host-78-145-142-133.as13285.net) |
| 2021-04-11 20:02:16 +0000 | Foritus | (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) |
| 2021-04-11 20:03:30 +0000 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-04-11 20:03:35 +0000 | meck | (~meck@li1809-18.members.linode.com) |
| 2021-04-11 20:04:07 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-11 20:05:51 +0000 | Guest78317 | (~laudiacay@67.176.215.84) |
| 2021-04-11 20:09:46 +0000 | Guest78317 | (~laudiacay@67.176.215.84) (Ping timeout: 240 seconds) |
| 2021-04-11 20:10:09 +0000 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-04-11 20:11:22 +0000 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-11 20:11:41 +0000 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-04-11 20:13:38 +0000 | kritzefitz | (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-04-11 20:13:40 +0000 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 2021-04-11 20:16:39 +0000 | RandomArcher | (~RandomArc@90.153.229.57) |
| 2021-04-11 20:19:57 +0000 | ystael | (~ystael@209.6.50.55) |
| 2021-04-11 20:20:18 +0000 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-11 20:20:31 +0000 | ClaudiusMaximus | (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 2021-04-11 20:20:59 +0000 | Feuermagier_ | (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) |
| 2021-04-11 20:21:52 +0000 | Feuermagier | (~Feuermagi@213.178.26.41) (Read error: Connection reset by peer) |
| 2021-04-11 20:22:14 +0000 | minoru_shiraeesh | (~shiraeesh@109.166.56.11) (Ping timeout: 260 seconds) |
| 2021-04-11 20:25:12 +0000 | jneira | (501e65b6@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.182) |
| 2021-04-11 20:27:24 +0000 | chenshen | (~chenshen@2620:10d:c090:400::5:b6af) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-04-11 20:28:12 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-11 20:30:52 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-11 20:31:43 +0000 | geekosaur | (ae68c070@cpe-174-104-192-112.neo.res.rr.com) (Quit: Connection closed) |
| 2021-04-11 20:32:55 +0000 | worc3131 | (~quassel@2a02:c7f:dcc4:6500:cf0e:3346:8766:ab20) (Ping timeout: 260 seconds) |
| 2021-04-11 20:33:14 +0000 | worc3131 | (~quassel@90.221.179.224) |
| 2021-04-11 20:33:51 +0000 | alx741 | (~alx741@181.196.69.222) (Ping timeout: 268 seconds) |
| 2021-04-11 20:37:34 +0000 | worc3131 | (~quassel@90.221.179.224) (Ping timeout: 252 seconds) |
| 2021-04-11 20:39:20 +0000 | <monochrom> | I'm done with letting solvr waste our time every few days with their "haskell should be more mutable" drivel. |
| 2021-04-11 20:39:47 +0000 | <monochrom> | Next time it will be a ban. |
| 2021-04-11 20:40:48 +0000 | <maerwald> | oh, was it supposed to be a troll attempt? |
| 2021-04-11 20:41:23 +0000 | <monochrom> | I can't tell the difference between trolling and lunacy. |
| 2021-04-11 20:41:42 +0000 | <monochrom> | But it's drivel either way. |
| 2021-04-11 20:42:05 +0000 | <monochrom> | And it's repeating offence. |
| 2021-04-11 20:42:13 +0000 | <monochrom> | s/repeating/repeated/ |
| 2021-04-11 20:42:43 +0000 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-11 20:43:06 +0000 | myShoggoth | (~myShoggot@75.164.73.93) |
| 2021-04-11 20:43:11 +0000 | <maerwald> | Popularity is a double edged sword anyway... too much and you have too many mediocre maintainers, too little and you have no ecosystem. |
| 2021-04-11 20:43:35 +0000 | <monochrom> | Repeated offenders and lenient liberals alike complain about my bans because they don't have state to remember that I don't ban until I see repeaated offense. |
| 2021-04-11 20:43:46 +0000 | RandomArcher | (~RandomArc@90.153.229.57) (Ping timeout: 240 seconds) |
| 2021-04-11 20:44:08 +0000 | <monochrom> | Oh popularity is just their newest excuse. |
| 2021-04-11 20:44:45 +0000 | <monochrom> | Previously they cited other excuses to demand mutability such as "interface boundary" and "data structure efficiency". |
| 2021-04-11 20:45:46 +0000 | <monochrom> | and ""Functional programming is to turn on the light, you need to rebuild your house" |
| 2021-04-11 20:46:27 +0000 | <monochrom> | and http://tunes.org/~nef/logs/haskell/21.04.06 search for <solvr> |
| 2021-04-11 20:46:54 +0000 | <maerwald> | haha |
| 2021-04-11 20:47:01 +0000 | <maerwald> | that's a good one |
| 2021-04-11 20:48:18 +0000 | alx741 | (~alx741@181.196.68.37) |
| 2021-04-11 20:48:42 +0000 | <maerwald> | maybe it's sophisticated critique about the lack of modular and composable effects systems |
| 2021-04-11 20:49:13 +0000 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-11 20:49:22 +0000 | <maerwald> | well, or not... |
| 2021-04-11 20:50:53 +0000 | malumore | (~malumore@151.62.120.195) (Ping timeout: 240 seconds) |
| 2021-04-11 20:51:18 +0000 | astroanax | (~astroanax@cosmic.voyage) (Ping timeout: 240 seconds) |
| 2021-04-11 20:51:49 +0000 | nckx | jorts |
| 2021-04-11 20:51:51 +0000 | <monochrom> | I once saw a genuinely sophisticated critique. It was from one of the Oz people IIRC. I say that it is genuinely sophisticated because it included a convincing, concrete example. |
| 2021-04-11 20:52:26 +0000 | zyeri | (zyeri@tilde.team/users/zyeri) (Ping timeout: 276 seconds) |
| 2021-04-11 20:53:14 +0000 | <monochrom> | The difference between genuine sophisticated critique and lunacy is that the lunatic one just keeps talking and keeps talking bigger and bigger. |
| 2021-04-11 20:53:14 +0000 | gentauro | (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2021-04-11 20:53:39 +0000 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 2021-04-11 20:53:43 +0000 | gentauro | (~gentauro@unaffiliated/gentauro) |
| 2021-04-11 20:53:43 +0000 | <monochrom> | Equivalently if it's indistinguishable from a Markov-Mealy machine then it's lunacy. |
| 2021-04-11 20:53:44 +0000 | m_miro | (4c4829bb@76.72.41.187) |
| 2021-04-11 20:53:53 +0000 | <monochrom> | i.e., armchair philosopher |
| 2021-04-11 20:53:58 +0000 | <maerwald> | I didn't find it disruptive until now, but I only noticed them today |
| 2021-04-11 20:56:33 +0000 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 2021-04-11 20:56:58 +0000 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
| 2021-04-11 20:57:44 +0000 | <d34df00d> | hololeap: oh, right. |
| 2021-04-11 20:57:55 +0000 | <d34df00d> | Commuting monads is hard! Let me try to internalize that. |
| 2021-04-11 20:58:40 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Remote host closed the connection) |
| 2021-04-11 20:59:40 +0000 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-11 21:01:06 +0000 | ystael | (~ystael@209.6.50.55) (Ping timeout: 240 seconds) |
| 2021-04-11 21:05:15 +0000 | <m_miro> | Excuse me, is it possible to have a data type that contains a definition like: |
| 2021-04-11 21:05:18 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-04-11 21:05:18 +0000 | <m_miro> | data Custom = Custom Custom | Something |
| 2021-04-11 21:05:40 +0000 | <m_miro> | and then have a variable like: |
| 2021-04-11 21:05:57 +0000 | <m_miro> | myVariable = Something Something? |
| 2021-04-11 21:06:21 +0000 | <dcbdan> | Do you mean myVariable = Custom Something ? |
| 2021-04-11 21:06:49 +0000 | <dcbdan> | Something Something does not work, because the Something constructor is just of type Custom |
| 2021-04-11 21:06:59 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-11 21:07:10 +0000 | <m_miro> | Oh I see |
| 2021-04-11 21:07:24 +0000 | <monochrom> | Perhaps please don't use the same "Custom" name for two unrelated things. |
| 2021-04-11 21:07:58 +0000 | <maerwald> | data Custom = MkCustom Custom | MkSomething |
| 2021-04-11 21:08:10 +0000 | <dcbdan> | ^one 'Custom' is a constructor, the other is a type |
| 2021-04-11 21:08:16 +0000 | <m_miro> | So if I wanted Something Something I'd have to define Something as Custom? |
| 2021-04-11 21:08:23 +0000 | <maerwald> | oh dear |
| 2021-04-11 21:08:29 +0000 | <maerwald> | I'm confused now too :D |
| 2021-04-11 21:08:40 +0000 | <monochrom> | What is "Something Something" supposed to mean? |
| 2021-04-11 21:08:51 +0000 | <monochrom> | And why is it so necessary? |
| 2021-04-11 21:08:58 +0000 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 2021-04-11 21:09:00 +0000 | <maerwald> | it sounds like an assignment |
| 2021-04-11 21:09:17 +0000 | <maerwald> | define Something Something |
| 2021-04-11 21:09:49 +0000 | <m_miro> | "Something Something" is supposed to be to "commands" in sequence |
| 2021-04-11 21:09:52 +0000 | <maerwald> | Maybe better start with Motivation? |
| 2021-04-11 21:09:55 +0000 | <m_miro> | it is an assignment |
| 2021-04-11 21:10:19 +0000 | <monochrom> | OK I want to see the assignment handout verbatim uncut unabridged uninterpreted. |
| 2021-04-11 21:10:47 +0000 | <maerwald> | just because you want to reuse it :p |
| 2021-04-11 21:11:00 +0000 | <monochrom> | Nah. |
| 2021-04-11 21:11:27 +0000 | <monochrom> | It is because every student misinterprets the assignment handout. |
| 2021-04-11 21:11:47 +0000 | <monochrom> | And/or create a creative chain of XY problems out of it. |
| 2021-04-11 21:11:57 +0000 | <monochrom> | here "creative" is derogative. |
| 2021-04-11 21:12:06 +0000 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-04-11 21:14:11 +0000 | <m_miro> | here's the assignment |
| 2021-04-11 21:14:12 +0000 | <m_miro> | https://imgur.com/a/aflD108 |
| 2021-04-11 21:14:23 +0000 | <m_miro> | oh wait it cut it |
| 2021-04-11 21:14:56 +0000 | <m_miro> | https://imgur.com/a/FZpqSPt |
| 2021-04-11 21:16:15 +0000 | <monochrom> | I trust that you already understand that you use one data constructor to stand for, for example, "moveto". |
| 2021-04-11 21:16:23 +0000 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 2021-04-11 21:16:36 +0000 | <monochrom> | In the case of "cmd; cmd", you use one data constructor to represent the ";". |
| 2021-04-11 21:18:15 +0000 | <monochrom> | I trust that you have seen examples where you use "data E = I Integer | Add E E" because it represents "expr ::= integer | expr + expr", "Add" stands for the "+" there. |
| 2021-04-11 21:18:23 +0000 | <monochrom> | So it's similar for ";". |
| 2021-04-11 21:18:53 +0000 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 2021-04-11 21:18:56 +0000 | <m_miro> | Yes I used one data constructor to stand for "moveto" |
| 2021-04-11 21:19:44 +0000 | <m_miro> | I didn't think of representing the ";" as a data constructor |
| 2021-04-11 21:20:59 +0000 | srk | (~sorki@unaffiliated/srk) (Ping timeout: 260 seconds) |
| 2021-04-11 21:21:17 +0000 | <m_miro> | I've seen example like the one you posted it just didn't think to use it for ";" |
| 2021-04-11 21:21:54 +0000 | <monochrom> | It's alright, C and Python brainwashed you to not realize it. |
| 2021-04-11 21:22:11 +0000 | <m_miro> | What do you mean? |
| 2021-04-11 21:22:29 +0000 | <monochrom> | Pascal did it right. Pascal's semicolon is between two commands. |
| 2021-04-11 21:22:56 +0000 | <monochrom> | You write like "x:=1 ; y:=2 ; z:=x+y", not "x:=1 ; y:=2 ; z:=x+y;" |
| 2021-04-11 21:23:52 +0000 | <monochrom> | The semantic difference is huge. Pascal reminds you that there is a binary operator for sequential composition, it is a binary operator. |
| 2021-04-11 21:25:38 +0000 | <sm2n> | confusingly, C has a binary operator for sequential composition (,) |
| 2021-04-11 21:25:44 +0000 | usr25 | (~usr25@unaffiliated/usr25) |
| 2021-04-11 21:25:51 +0000 | <sm2n> | statement-oriented languages are just weird |
| 2021-04-11 21:26:09 +0000 | <monochrom> | Sapir-Worf would be proud. |
| 2021-04-11 21:26:21 +0000 | Guest_11 | (6835dcb6@104-53-220-182.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-11 21:26:49 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 21:29:29 +0000 | hendursa1 | (~weechat@gateway/tor-sasl/hendursaga) (Remote host closed the connection) |
| 2021-04-11 21:29:53 +0000 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-11 21:29:55 +0000 | hendursa1 | (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-04-11 21:31:45 +0000 | <m_miro> | im not seeing the difference |
| 2021-04-11 21:31:56 +0000 | jakalx | (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-04-11 21:32:04 +0000 | <m_miro> | is it the "x+y" and the "x+y;" |
| 2021-04-11 21:32:43 +0000 | <monochrom> | OK, "cmd1 ; cmd2" vs "cmd1 ; cmd2 ;" |
| 2021-04-11 21:33:07 +0000 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 2021-04-11 21:33:20 +0000 | <monochrom> | If I expressed adding two numbers as "1 + 2 +" people would say I'm crazy. |
| 2021-04-11 21:33:42 +0000 | <thblt> | Rust has something like that. `cmd1 ; cmd2 ;` evals to (), but `cmd1 ; cmd2` eval to the result of cmd2 |
| 2021-04-11 21:33:43 +0000 | <monochrom> | And that's what people decided to do with sequential-composing two jobs. |
| 2021-04-11 21:34:32 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 21:35:14 +0000 | Guest_11 | (6835dcb6@104-53-220-182.lightspeed.sntcca.sbcglobal.net) (Quit: Connection closed) |
| 2021-04-11 21:35:40 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-04-11 21:35:51 +0000 | <d34df00d> | Is there any channel specifically dedicated to numeric haskell in general or repa in particular? |
| 2021-04-11 21:35:55 +0000 | <d34df00d> | Or best to shoot questions here? |
| 2021-04-11 21:36:03 +0000 | <m_miro> | so I see the difference, but I don't see its importance |
| 2021-04-11 21:37:10 +0000 | <monochrom> | The importance is between "I think I'll represent it as Seq Cmd Cmd" and "I think I'll represent it as Cmd Cmd". |
| 2021-04-11 21:38:15 +0000 | ystael | (~ystael@209.6.50.55) |
| 2021-04-11 21:40:34 +0000 | __monty__ | (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-04-11 21:43:14 +0000 | entel | (uid256215@botters/entel) |
| 2021-04-11 21:43:32 +0000 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 2021-04-11 21:44:41 +0000 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds) |
| 2021-04-11 21:45:09 +0000 | xelxebar | (~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection) |
| 2021-04-11 21:45:22 +0000 | Sorna | (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 2021-04-11 21:45:27 +0000 | xelxebar | (~xelxebar@gateway/tor-sasl/xelxebar) |
| 2021-04-11 21:45:31 +0000 | ajc_ | (~ajc@69.231.232.79) |
| 2021-04-11 21:45:58 +0000 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 2021-04-11 21:46:35 +0000 | <m_miro> | oh i think i get it now |
| 2021-04-11 21:47:27 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-11 21:47:34 +0000 | <m_miro> | the ";" isnt being used as way to end a "command" but to signal that another "command" is going to be used afterwards |
| 2021-04-11 21:47:35 +0000 | ajc | (~ajc@69.231.232.79) (Ping timeout: 252 seconds) |
| 2021-04-11 21:47:40 +0000 | <m_miro> | am i understanding correctly? |
| 2021-04-11 21:48:00 +0000 | acidjnk_new | (~acidjnk@p200300d0c72b950365222184c91f1222.dip0.t-ipconnect.de) |
| 2021-04-11 21:48:34 +0000 | Sornaensis | (~Sornaensi@102.129.202.233) (Ping timeout: 260 seconds) |
| 2021-04-11 21:49:41 +0000 | Sorna | (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 240 seconds) |
| 2021-04-11 21:52:28 +0000 | fendor_ | (~fendor@91.141.0.248.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-04-11 21:55:52 +0000 | myShoggoth | (~myShoggot@75.164.73.93) (Ping timeout: 268 seconds) |
| 2021-04-11 21:56:49 +0000 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-04-11 22:03:09 +0000 | m_miro | (4c4829bb@76.72.41.187) (Quit: Connection closed) |
| 2021-04-11 22:03:18 +0000 | juri_ | (~juri@178.63.35.222) (Ping timeout: 240 seconds) |
| 2021-04-11 22:03:50 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 22:05:41 +0000 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-04-11 22:07:37 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-11 22:08:11 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 250 seconds) |
| 2021-04-11 22:09:50 +0000 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-04-11 22:10:15 +0000 | codygman__ | (~user@47.186.207.161) |
| 2021-04-11 22:10:20 +0000 | codygman__ | (~user@47.186.207.161) (Remote host closed the connection) |
| 2021-04-11 22:10:36 +0000 | codygman__ | (~user@47.186.207.161) |
| 2021-04-11 22:12:11 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2021-04-11 22:13:01 +0000 | Pickchea | (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-04-11 22:14:38 +0000 | codygman__ | (~user@47.186.207.161) (Remote host closed the connection) |
| 2021-04-11 22:15:02 +0000 | codygman__ | (~user@47.186.207.161) |
| 2021-04-11 22:16:18 +0000 | codygman__ | (~user@47.186.207.161) (Remote host closed the connection) |
| 2021-04-11 22:19:13 +0000 | jpe90 | (~user@pool-108-31-85-19.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2021-04-11 22:22:04 +0000 | renzhi | (~renzhi@2607:fa49:653f:a800::4223) (Ping timeout: 258 seconds) |
| 2021-04-11 22:23:41 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-11 22:25:04 +0000 | robotmay | (~beepboop@2001:8b0:7af0:2580:257e:30aa:f716:dc3d) (Remote host closed the connection) |
| 2021-04-11 22:25:55 +0000 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-04-11 22:26:23 +0000 | robotmay | (~beepboop@2001:8b0:7af0:2580:505f:607:efbd:23b4) |
| 2021-04-11 22:29:58 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-11 22:34:13 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-11 22:35:04 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-11 22:36:48 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 22:37:25 +0000 | <bradparker> | joel135: Sorry about that. That motivating example at the beginning is really poorly explained. All the other code examples are in a gist mentioned at the end of the article (https://gist.github.com/bradparker/205a8ff1f6bcbc9a2d3249e1d8ba5af1#file-lens-hs). That 'json' QuasiQuoter is available from the HSpec WAI JSON package (http://hackage.haskell.org/package/hspec-wai-json). |
| 2021-04-11 22:40:09 +0000 | myShoggoth | (~myShoggot@75.164.73.93) |
| 2021-04-11 22:41:43 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 22:42:26 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 22:43:52 +0000 | nbloomf | (~nbloomf@76.217.43.73) |
| 2021-04-11 22:44:23 +0000 | Feuermagier_ | (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) (Remote host closed the connection) |
| 2021-04-11 22:44:33 +0000 | Feuermagier_ | (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) |
| 2021-04-11 22:44:34 +0000 | DTZUZU_ | (~DTZUZO@207.81.119.43) |
| 2021-04-11 22:45:06 +0000 | chenshen | (~chenshen@2620:10d:c090:400::5:b6af) |
| 2021-04-11 22:45:39 +0000 | fiedlr | (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-11 22:46:42 +0000 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 240 seconds) |
| 2021-04-11 22:46:59 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 22:48:01 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 22:48:50 +0000 | HannaM | (~quassel@p54849510.dip0.t-ipconnect.de) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-04-11 22:51:36 +0000 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-11 22:52:06 +0000 | Tario | (~Tario@201.192.165.173) |
| 2021-04-11 22:52:27 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 22:53:38 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 22:55:05 +0000 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) |
| 2021-04-11 22:55:26 +0000 | juri_ | (~juri@79.140.122.118) |
| 2021-04-11 22:57:37 +0000 | Guest78317 | (~laudiacay@67.176.215.84) |
| 2021-04-11 22:58:01 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 250 seconds) |
| 2021-04-11 22:59:14 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 23:00:29 +0000 | juri__ | (~juri@178.63.35.222) |
| 2021-04-11 23:00:38 +0000 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-04-11 23:01:04 +0000 | rprije | (~rprije@59-102-63-15.tpgi.com.au) |
| 2021-04-11 23:01:31 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-11 23:01:33 +0000 | Guest78317 | (~laudiacay@67.176.215.84) (Ping timeout: 240 seconds) |
| 2021-04-11 23:03:11 +0000 | juri_ | (~juri@79.140.122.118) (Ping timeout: 265 seconds) |
| 2021-04-11 23:03:39 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 23:04:51 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 23:07:11 +0000 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
| 2021-04-11 23:08:36 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-11 23:09:13 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 23:10:26 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 23:11:06 +0000 | DavidEichmann | (~david@47.27.93.209.dyn.plus.net) (Remote host closed the connection) |
| 2021-04-11 23:11:43 +0000 | haskellstudent | (~quassel@213-225-6-101.nat.highway.a1.net) (Ping timeout: 268 seconds) |
| 2021-04-11 23:11:46 +0000 | amerigo | (uid331857@gateway/web/irccloud.com/x-bkqqhlxtahyyobpt) |
| 2021-04-11 23:13:25 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-04-11 23:13:46 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-04-11 23:14:51 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 23:14:53 +0000 | zeenk | (~zeenk@2a02:2f04:a10b:af00:91ba:3645:1cdb:9a75) (Quit: Konversation terminated!) |
| 2021-04-11 23:15:39 +0000 | son0p | (~ff@181.136.122.143) (Remote host closed the connection) |
| 2021-04-11 23:16:07 +0000 | elliott_ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-04-11 23:17:11 +0000 | dmytrish | (~mitra@2a02:8084:a82:d900:b81f:59fe:5cfc:b422) (Ping timeout: 260 seconds) |
| 2021-04-11 23:17:23 +0000 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 2021-04-11 23:17:57 +0000 | sof_ | (~sof@c-73-102-150-36.hsd1.in.comcast.net) |
| 2021-04-11 23:19:06 +0000 | sof_ | (~sof@c-73-102-150-36.hsd1.in.comcast.net) ("Leaving") |
| 2021-04-11 23:23:52 +0000 | fiedlr | (~fiedlr@83.148.33.254) |
| 2021-04-11 23:24:41 +0000 | fiedlr | (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-11 23:25:31 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-11 23:28:17 +0000 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-11 23:28:19 +0000 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2021-04-11 23:28:33 +0000 | Tario | (~Tario@201.192.165.173) |
| 2021-04-11 23:35:34 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-04-11 23:39:13 +0000 | myShoggoth | (~myShoggot@75.164.73.93) (Ping timeout: 240 seconds) |
| 2021-04-11 23:41:49 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-11 23:45:09 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 23:48:12 +0000 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) |
| 2021-04-11 23:48:44 +0000 | myShoggoth | (~myShoggot@75.164.73.93) |
| 2021-04-11 23:49:51 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 23:50:34 +0000 | Tario | (~Tario@201.192.165.173) (Ping timeout: 268 seconds) |
| 2021-04-11 23:50:38 +0000 | DTZUZU_ | (~DTZUZO@207.81.119.43) (Ping timeout: 240 seconds) |
| 2021-04-11 23:50:45 +0000 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 2021-04-11 23:50:58 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 23:52:13 +0000 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-04-11 23:53:06 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-04-11 23:53:12 +0000 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2021-04-11 23:53:45 +0000 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-04-11 23:55:27 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 23:56:24 +0000 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 23:56:58 +0000 | Tario | (~Tario@200.119.187.163) |
| 2021-04-11 23:57:05 +0000 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-04-11 23:57:19 +0000 | fiedlr | (~fiedlr@83.148.33.254) |
| 2021-04-11 23:57:25 +0000 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-04-11 23:59:59 +0000 | xsperry | (~as@unaffiliated/xsperry) () |