Logs on 2022-08-15 (liberachat/#haskell)
| 00:01:24 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::a1ec) |
| 00:02:05 | → | nate4 joins (~nate@98.45.169.16) |
| 00:05:35 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 00:08:47 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 00:10:01 | × | xff0x_ quits (~xff0x@2405:6580:b080:900:7e16:9a75:cc78:bd9a) (Ping timeout: 268 seconds) |
| 00:11:31 | → | nilradical joins (~nilradica@user/naso) |
| 00:13:36 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 00:18:22 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 00:21:21 | → | xff0x_ joins (~xff0x@ap007189.d.east.v6connect.net) |
| 00:24:41 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 00:24:41 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 00:24:41 | → | wroathe joins (~wroathe@user/wroathe) |
| 00:34:15 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 00:35:42 | × | nilradical quits (~nilradica@user/naso) (Remote host closed the connection) |
| 00:36:17 | → | nilradical joins (~nilradica@user/naso) |
| 00:40:01 | × | nilradical quits (~nilradica@user/naso) (Remote host closed the connection) |
| 00:41:57 | → | DeCentN2Madness joins (~alice@ip68-3-91-223.ph.ph.cox.net) |
| 00:48:29 | → | Kaipei joins (~Kaiepi@142.68.249.28) |
| 00:49:04 | → | king_gs joins (~Thunderbi@2806:103e:29:da7a:8e16:45ff:feeb:cfcf) |
| 00:49:49 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 00:49:55 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 00:50:43 | × | DeCentN2Madness quits (~alice@ip68-3-91-223.ph.ph.cox.net) (Quit: leaving) |
| 00:52:15 | × | Kaiepi quits (~Kaiepi@142.68.249.28) (Ping timeout: 252 seconds) |
| 00:56:01 | → | jmorris joins (uid537181@id-537181.uxbridge.irccloud.com) |
| 00:56:17 | × | gurkenglas quits (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 00:56:46 | × | xff0x_ quits (~xff0x@ap007189.d.east.v6connect.net) (Ping timeout: 268 seconds) |
| 00:58:29 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 01:10:21 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:12:10 | → | severen joins (~severen@202.36.179.72) |
| 01:16:28 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:18:53 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 01:21:07 | → | DeCentN2Madness joins (~alice@ip68-3-91-223.ph.ph.cox.net) |
| 01:21:30 | × | DeCentN2Madness quits (~alice@ip68-3-91-223.ph.ph.cox.net) (Client Quit) |
| 01:23:24 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 01:23:54 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 01:31:00 | → | Kaiepi joins (~Kaiepi@142.68.249.28) |
| 01:33:21 | → | xff0x_ joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 01:33:41 | × | Kaipei quits (~Kaiepi@142.68.249.28) (Ping timeout: 252 seconds) |
| 01:34:49 | × | poscat quits (~poscat@2408:8206:4820:6705:6404:b732:d928:1540) (Quit: Bye) |
| 01:34:51 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 01:35:55 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 01:36:47 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 01:39:12 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::a1ec) (Ping timeout: 244 seconds) |
| 01:40:32 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 01:40:54 | → | poscat joins (~poscat@2408:8206:4821:dd20:9455:2e60:44d3:e64b) |
| 01:53:35 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 01:59:14 | → | hippoid joins (~idris@d53-64-120-188.nap.wideopenwest.com) |
| 01:59:28 | <Bulby[m]> | this isn't a fun project, i haven't even gotten to use polysemy yet |
| 02:01:10 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 02:02:54 | × | lemonsnicks quits (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 02:08:35 | × | hippoid quits (~idris@d53-64-120-188.nap.wideopenwest.com) (Quit: WeeChat 3.5) |
| 02:08:53 | × | nate4 quits (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 02:11:30 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 02:11:30 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:11:30 | finn_elija | is now known as FinnElija |
| 02:13:39 | → | zxx7529 joins (~Thunderbi@user/zxx7529) |
| 02:17:12 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 02:17:52 | × | jargon quits (~jargon@184.101.168.117) (Remote host closed the connection) |
| 02:19:41 | → | lemonsnicks joins (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 02:27:35 | × | td_ quits (~td@94.134.91.250) (Ping timeout: 252 seconds) |
| 02:29:18 | → | td_ joins (~td@muedsl-82-207-238-255.citykom.de) |
| 02:33:57 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 02:36:01 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 02:40:43 | → | nate4 joins (~nate@98.45.169.16) |
| 02:46:25 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 02:46:48 | → | img joins (~img@user/img) |
| 02:47:34 | × | mzan quits (~quassel@mail.asterisell.com) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 02:48:55 | → | mzan joins (~quassel@mail.asterisell.com) |
| 02:51:35 | × | gdd1 quits (~gdd@2001:470:1f13:187:2167:5afb:418e:21fa) (Ping timeout: 268 seconds) |
| 02:51:43 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 02:51:47 | × | severen quits (~severen@202.36.179.72) (Ping timeout: 252 seconds) |
| 02:52:11 | → | gdd1 joins (~gdd@2001:470:1f13:187:e8a5:fbff:fe29:42f5) |
| 02:52:44 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 268 seconds) |
| 02:53:19 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 02:55:49 | × | vglfr quits (~vglfr@145.224.94.75) (Ping timeout: 252 seconds) |
| 02:55:58 | → | img joins (~img@user/img) |
| 02:56:55 | → | rekahsoft joins (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) |
| 02:56:56 | × | rekahsoft quits (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) (Remote host closed the connection) |
| 02:57:04 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds) |
| 03:01:38 | → | rekahsoft joins (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) |
| 03:04:25 | × | king_gs quits (~Thunderbi@2806:103e:29:da7a:8e16:45ff:feeb:cfcf) (Ping timeout: 268 seconds) |
| 03:04:32 | × | lemonsnicks quits (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Ping timeout: 268 seconds) |
| 03:04:48 | → | king_gs joins (~Thunderbi@2806:103e:29:da7a:69a4:fcf4:ef3c:3bd4) |
| 03:08:44 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 268 seconds) |
| 03:10:33 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 03:14:59 | → | vglfr joins (~vglfr@145.224.94.75) |
| 03:19:17 | × | vglfr quits (~vglfr@145.224.94.75) (Ping timeout: 252 seconds) |
| 03:19:52 | → | vglfr joins (~vglfr@145.224.94.75) |
| 03:22:19 | × | vglfr quits (~vglfr@145.224.94.75) (Read error: Connection reset by peer) |
| 03:22:27 | → | vglfr joins (~vglfr@145.224.94.75) |
| 03:28:30 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 03:30:11 | × | poscat quits (~poscat@2408:8206:4821:dd20:9455:2e60:44d3:e64b) (Quit: Bye) |
| 03:34:24 | → | poscat joins (~poscat@2408:8206:4821:e39f:4e35:ebbb:112a:d1b7) |
| 03:35:44 | × | jmorris quits (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 03:36:00 | → | notzmv joins (~zmv@user/notzmv) |
| 03:41:11 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::a1ec) |
| 03:43:54 | × | perdent quits (~perdent@124.188.233.11) (Ping timeout: 252 seconds) |
| 03:51:02 | → | lbseale joins (~quassel@user/ep1ctetus) |
| 03:55:34 | × | nate4 quits (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 04:14:04 | × | codaraxis__ quits (~codaraxis@user/codaraxis) (Quit: Leaving) |
| 04:15:37 | × | justache quits (~justache@user/justache) (Quit: ZNC 1.8.2 - https://znc.in) |
| 04:17:19 | → | dknite joins (~dknite@49.37.45.100) |
| 04:24:38 | × | azimut_ quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 04:25:59 | × | king_gs quits (~Thunderbi@2806:103e:29:da7a:69a4:fcf4:ef3c:3bd4) (Quit: king_gs) |
| 04:28:51 | <talismanick> | Whatever happened to supercompilation? Where's it at nowadays? |
| 04:30:02 | <talismanick> | Last I track is the clique of works around positive supercompilation, and then... ? |
| 04:31:42 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 04:36:48 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 04:36:55 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 04:37:28 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@142.147.89.223) (Quit: Leaving) |
| 04:38:28 | → | nate4 joins (~nate@98.45.169.16) |
| 04:41:36 | <pavonia> | Is there a common name for the class of functions of type (a -> b) -> f a -> b? |
| 04:42:27 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 04:43:16 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 04:49:16 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 04:49:51 | × | nate4 quits (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 04:51:23 | → | kannon joins (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 04:51:24 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 04:52:52 | → | lemonsnicks joins (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 04:52:57 | × | rekahsoft quits (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) (Ping timeout: 244 seconds) |
| 04:54:56 | <jackdk> | pavonia: `foldMap :: (Monoid b, Foldable f) => (a -> b) -> f a -> b`? |
| 04:55:50 | × | kannon quits (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 05:02:03 | × | loonycyborg quits (loonycybor@wesnoth/developer/loonycyborg) (*.net *.split) |
| 05:02:03 | × | gregberns__ quits (sid315709@id-315709.helmsley.irccloud.com) (*.net *.split) |
| 05:02:03 | × | perrierjouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (*.net *.split) |
| 05:02:03 | × | darkling quits (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) (*.net *.split) |
| 05:02:03 | × | marinelli[m] quits (~marinelli@2001:470:69fc:105::2d8) (*.net *.split) |
| 05:02:03 | × | crns quits (~netcrns@user/crns) (*.net *.split) |
| 05:02:03 | × | beaky quits (~beaky@2a03:b0c0:0:1010::1e:a001) (*.net *.split) |
| 05:02:03 | × | natto quits (~natto@140.238.225.67) (*.net *.split) |
| 05:02:03 | × | aveltras[m] quits (~aveltrasm@2001:470:69fc:105::3ef9) (*.net *.split) |
| 05:02:03 | × | thaumavorio quits (~thaumavor@thaumavor.io) (*.net *.split) |
| 05:02:03 | × | jakesyl___ quits (sid56879@id-56879.hampstead.irccloud.com) (*.net *.split) |
| 05:02:03 | × | christiaanb quits (sid84827@id-84827.lymington.irccloud.com) (*.net *.split) |
| 05:02:03 | × | idnar quits (sid12240@debian/mithrandi) (*.net *.split) |
| 05:02:03 | × | rune quits (sid21167@id-21167.ilkley.irccloud.com) (*.net *.split) |
| 05:02:03 | × | mrd quits (~mrd@user/mrd) (*.net *.split) |
| 05:02:03 | × | dy quits (sid3438@user/dy) (*.net *.split) |
| 05:02:03 | × | peutri quits (~peutri@bobo.desast.re) (*.net *.split) |
| 05:02:03 | × | w1gz quits (~weechat@2a03:b0c0:1:d0::1123:1) (*.net *.split) |
| 05:02:03 | × | lexi-lambda quits (sid92601@id-92601.hampstead.irccloud.com) (*.net *.split) |
| 05:02:03 | × | SrPx quits (sid108780@id-108780.uxbridge.irccloud.com) (*.net *.split) |
| 05:02:03 | × | jackdk quits (sid373013@cssa/jackdk) (*.net *.split) |
| 05:02:03 | × | teehemkay quits (sid14792@id-14792.lymington.irccloud.com) (*.net *.split) |
| 05:02:03 | × | vjoki quits (~vjoki@2a00:d880:3:1::fea1:9ae) (*.net *.split) |
| 05:02:03 | × | joeyh quits (joeyh@kitenet.net) (*.net *.split) |
| 05:02:03 | × | V quits (~v@ircpuzzles/2022/april/winner/V) (*.net *.split) |
| 05:02:03 | × | SanchayanMaity quits (sid478177@id-478177.hampstead.irccloud.com) (*.net *.split) |
| 05:02:03 | × | mmaruseacph2 quits (~mihai@198.199.98.239) (*.net *.split) |
| 05:02:03 | × | riatre quits (~quassel@2001:310:6000:f::5198:1) (*.net *.split) |
| 05:02:11 | → | riatre joins (~quassel@2001:310:6000:f::5198:1) |
| 05:02:11 | → | peutri joins (~peutri@bobo.desast.re) |
| 05:02:12 | → | mrd joins (~mrd@45.61.147.211) |
| 05:02:13 | → | joeyh joins (joeyh@2600:3c03::f03c:91ff:fe73:b0d2) |
| 05:02:13 | → | teehemkay joins (sid14792@id-14792.lymington.irccloud.com) |
| 05:02:14 | → | dy joins (sid3438@user/dy) |
| 05:02:14 | → | lexi-lambda joins (sid92601@id-92601.hampstead.irccloud.com) |
| 05:02:14 | → | gregberns__ joins (sid315709@id-315709.helmsley.irccloud.com) |
| 05:02:14 | → | darkling joins (~darkling@savella.carfax.org.uk) |
| 05:02:15 | → | crns joins (~netcrns@p4ff5ee59.dip0.t-ipconnect.de) |
| 05:02:24 | × | crns quits (~netcrns@p4ff5ee59.dip0.t-ipconnect.de) (Changing host) |
| 05:02:24 | → | crns joins (~netcrns@user/crns) |
| 05:02:29 | → | rune joins (sid21167@id-21167.ilkley.irccloud.com) |
| 05:02:34 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 05:02:34 | → | V joins (~v@ircpuzzles/2022/april/winner/V) |
| 05:02:35 | → | jackdk joins (sid373013@cssa/jackdk) |
| 05:02:39 | → | loonycyborg joins (loonycybor@wesnoth/developer/loonycyborg) |
| 05:02:41 | → | perrierjouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 05:02:42 | → | mmaruseacph2 joins (~mihai@198.199.98.239) |
| 05:02:53 | → | jakesyl___ joins (sid56879@id-56879.hampstead.irccloud.com) |
| 05:02:54 | → | idnar joins (sid12240@debian/mithrandi) |
| 05:03:01 | → | SanchayanMaity joins (sid478177@id-478177.hampstead.irccloud.com) |
| 05:03:02 | → | christiaanb joins (sid84827@2a03:5180:f:2::1:4b5b) |
| 05:03:04 | → | beaky joins (~beaky@2a03:b0c0:0:1010::1e:a001) |
| 05:03:04 | → | w1gz joins (~weechat@2a03:b0c0:1:d0::1123:1) |
| 05:03:18 | → | SrPx joins (sid108780@id-108780.uxbridge.irccloud.com) |
| 05:03:20 | → | vjoki joins (~vjoki@2a00:d880:3:1::fea1:9ae) |
| 05:03:21 | → | thaumavorio joins (~thaumavor@thaumavor.io) |
| 05:03:34 | → | aveltras[m] joins (~aveltrasm@2001:470:69fc:105::3ef9) |
| 05:03:43 | → | natto joins (~natto@140.238.225.67) |
| 05:04:49 | → | marinelli[m] joins (~marinelli@2001:470:69fc:105::2d8) |
| 05:05:59 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 05:06:35 | <pavonia> | jackdk: Are there similar functions for other classes than Foldable? It's like a non-structure-preserving map |
| 05:08:21 | × | luffy quits (~chenqisu1@183.217.201.23) (Ping timeout: 268 seconds) |
| 05:08:33 | × | zxx7529 quits (~Thunderbi@user/zxx7529) (Ping timeout: 252 seconds) |
| 05:14:22 | <jackdk> | Feels related to the Fold data type in lens |
| 05:15:45 | <jackdk> | Unfortunately I can't back that statement up very well without being a mere bad regurgitation of other stuff I read =| |
| 05:16:59 | × | cdepillabout[m] quits (~cdepillab@2001:470:69fc:105::3d3) (*.net *.split) |
| 05:16:59 | × | codedmart quits (codedmart@2600:3c01::f03c:92ff:fefe:8511) (*.net *.split) |
| 05:16:59 | × | landonf quits (landonf@mac68k.info) (*.net *.split) |
| 05:16:59 | × | [_________] quits (~oos95GWG@user/oos95GWG) (*.net *.split) |
| 05:16:59 | × | lieven quits (~mal@ns2.wyrd.be) (*.net *.split) |
| 05:16:59 | × | earthy quits (~arthurvl@2a02-a469-f5e2-1-ba27-ebff-fea0-40b0.fixed6.kpn.net) (*.net *.split) |
| 05:16:59 | × | dfordivam1 quits (~dfordivam@tk2-219-19469.vs.sakura.ne.jp) (*.net *.split) |
| 05:16:59 | × | sweater1 quits (~sweater@206.81.18.26) (*.net *.split) |
| 05:16:59 | × | flukiluke quits (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (*.net *.split) |
| 05:16:59 | × | davean quits (~davean@davean.sciesnet.net) (*.net *.split) |
| 05:16:59 | × | blades quits (~blades@204.48.29.163) (*.net *.split) |
| 05:16:59 | × | drewolson quits (~drewolson@user/drewolson) (*.net *.split) |
| 05:16:59 | × | bcmiller_ quits (~bm3719@66.42.95.185) (*.net *.split) |
| 05:16:59 | × | TimWolla quits (~timwolla@2a01:4f8:150:6153:beef::6667) (*.net *.split) |
| 05:16:59 | × | bwe quits (~bwe@2a01:4f8:1c1c:4878::2) (*.net *.split) |
| 05:16:59 | × | s4msung quits (anUIaa0rBw@user/s4msung) (*.net *.split) |
| 05:17:08 | → | TimWolla joins (~timwolla@2a01:4f8:150:6153:beef::6667) |
| 05:17:10 | → | landonf joins (landonf@mac68k.info) |
| 05:17:10 | → | bcmiller joins (~bm3719@66.42.95.185) |
| 05:17:10 | → | bwe joins (~bwe@2a01:4f8:1c1c:4878::2) |
| 05:17:16 | → | drewolson joins (~drewolson@user/drewolson) |
| 05:17:17 | → | codedmart joins (codedmart@2600:3c01::f03c:92ff:fefe:8511) |
| 05:17:31 | → | earthy joins (~arthurvl@2a02-a469-f5e2-1-ba27-ebff-fea0-40b0.fixed6.kpn.net) |
| 05:17:32 | → | lieven joins (~mal@ns2.wyrd.be) |
| 05:17:38 | → | flukiluke joins (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 05:17:40 | → | dfordivam1 joins (~dfordivam@tk2-219-19469.vs.sakura.ne.jp) |
| 05:17:54 | → | sweater1 joins (~sweater@206.81.18.26) |
| 05:17:54 | → | blades joins (~blades@204.48.29.163) |
| 05:17:54 | → | davean joins (~davean@davean.sciesnet.net) |
| 05:17:54 | → | s4msung joins (oruFimO38n@user/s4msung) |
| 05:18:01 | → | cdepillabout[m] joins (~cdepillab@2001:470:69fc:105::3d3) |
| 05:21:02 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 05:21:11 | → | MajorBiscuit joins (~MajorBisc@c-001-021-007.client.tudelft.eduvpn.nl) |
| 05:22:33 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 05:23:30 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 264 seconds) |
| 05:27:03 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 05:35:18 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 05:38:14 | → | img joins (~img@user/img) |
| 05:38:14 | × | DigitalKiwi quits (~kiwi@2604:a880:400:d0::1ca0:e001) (Quit: quite.) |
| 05:38:54 | → | DigitalKiwi joins (~kiwi@137.184.156.191) |
| 05:47:32 | <jackdk> | But you could build a Fold in lens that only focuses on even-valued elements of a Foldable, call foldMapOf on that, and get a function of the same foldMap-ish type |
| 05:54:44 | × | Lears quits (~Leary]@122-58-224-198-vdsl.sparkbb.co.nz) (Ping timeout: 268 seconds) |
| 05:58:10 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 05:59:09 | → | nate4 joins (~nate@98.45.169.16) |
| 06:04:17 | × | nate4 quits (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 06:07:04 | → | pagnol joins (~me@213-205-209-87.ftth.glasoperator.nl) |
| 06:08:02 | → | zeenk joins (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 06:08:57 | × | zeenk quits (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Read error: Connection reset by peer) |
| 06:09:13 | → | zeenk joins (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 06:12:00 | × | mud quits (~mud@user/kadoban) (Ping timeout: 244 seconds) |
| 06:12:56 | → | mud joins (~mud@user/kadoban) |
| 06:16:23 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 06:17:42 | → | biberu joins (~biberu@user/biberu) |
| 06:19:12 | → | [_________] joins (~oos95GWG@user/oos95GWG) |
| 06:22:54 | → | severen joins (~severen@202.36.179.72) |
| 06:26:42 | <Axman6> | is there a library for accessing aeson Values as lenses using labels? someValue ^. $foo . #bar |
| 06:26:54 | <Axman6> | jackdk: I feel you'd know the answer to this... |
| 06:28:43 | → | zxx7529 joins (~Thunderbi@user/zxx7529) |
| 06:29:19 | <c_wraith> | is $foo a new label syntax? |
| 06:30:13 | → | nilradical joins (~nilradica@user/naso) |
| 06:30:39 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 06:31:51 | <Axman6> | I meant # |
| 06:32:07 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 06:33:31 | → | Digit joins (~user@user/digit) |
| 06:33:36 | → | mmhat joins (~mmh@p200300f1c732d6d0ee086bfffe095315.dip0.t-ipconnect.de) |
| 06:34:11 | <tdammers> | Axman6: like this? https://hackage.haskell.org/package/lens-aeson-1.2.2/docs/Data-Aeson-Lens.html |
| 06:36:29 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 06:36:35 | <[exa]> | Axman6: you can basically overload your own IsLabel to be able to spew out the lens |
| 06:37:27 | <Digit> | hi, a moment ago in another chan: "*dreaming of haskell advanced shell*" | "haskell advanced shell sounds awesome" | "someone should make haskell advanced shell" | "many someones should make haskell advanced shell :)" |
| 06:40:07 | <[exa]> | how do you recognize advanced haskell shell from a common one? |
| 06:42:00 | <tdammers> | no no no, it's not "(advanced haskell) shell", it's "haskell (advanced shell)" |
| 06:42:04 | → | ddellaco1 joins (~ddellacos@89.45.90.92) |
| 06:42:25 | × | ddellacosta quits (~ddellacos@89.45.90.222) (Ping timeout: 252 seconds) |
| 06:43:31 | <Digit> | a common shell or a common haskell shell? the advancement to shell would be haskell'ness. ... in my imagination, it was both shell advanced by haskell, and advanced shell like think dash>bash>fish>hash |
| 06:43:51 | <jackdk> | Axman6: lens-aeson doesn't do overloaded labels, but it's the one you want |
| 06:44:05 | <tdammers> | I think the idea is that a "haskell shell" would be more "advanced" than existing shells |
| 06:44:18 | <[exa]> | Axman6: if you want to go with labels, something like this might do: instance IsLabel x (Traversal' ....) where fromLabel = ix (symbolVal l) |
| 06:48:42 | × | gdown quits (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 06:49:02 | <jackdk> | I would personally use `key` and `atKey` instead but |
| 06:50:13 | <[exa]> | ah yes, true |
| 06:58:49 | × | severen quits (~severen@202.36.179.72) (Quit: WeeChat 3.6) |
| 06:59:31 | <Axman6> | hmm, I thought this already existed. possible for optics instead, butI can't find anything |
| 07:01:52 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:02:13 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 07:05:13 | Guest4673 | is now known as |beowulf| |
| 07:05:43 | |beowulf| | is now known as Guest2346 |
| 07:05:54 | → | perdent joins (~perdent@124.188.233.11) |
| 07:08:33 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 07:10:25 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:27c9:df52:ce1b:900a) |
| 07:11:15 | → | Pickchea joins (~private@user/pickchea) |
| 07:14:38 | → | kannon joins (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 07:15:19 | → | acidjnk joins (~acidjnk@p200300d6e7137a1040029d0042753765.dip0.t-ipconnect.de) |
| 07:17:00 | <jackdk> | lens-aeson is one cool thing, generic-lens is another cool thing that uses labels; did you get them crossed in your mind? |
| 07:17:00 | <Inst> | does anyone have extensive experience doing recursive accumulators? |
| 07:17:22 | <Inst> | i'm not sure if this is advised |
| 07:17:35 | <Inst> | i'm trying to program Haskell as though it were C, because I'm trying to optimize for performance |
| 07:17:52 | <Inst> | I am limiting my use of side functions as much as possible and I have somehow produced a 200 line function |
| 07:18:30 | <Inst> | well, it's 100 lines so far, but i wouldn't be surprised if it reached 400 lines |
| 07:18:37 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 07:19:10 | × | kannon quits (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 07:19:30 | <Inst> | i'm doing the accumulator equivalent of nested loops right now, and it's confusing the hell out of me |
| 07:20:09 | <[exa]> | Inst: a random note -- compared to C, function "calls" in haskell are basically free (most importantly the're not calls), so you might want not to push it too much |
| 07:20:35 | <[exa]> | Inst: anyway "nested accumulator" is something like foldl but accumulating over say 2-level structure? |
| 07:20:38 | <Inst> | i had a great set of mutually recursive functions that was eating up more than 90% of my performance |
| 07:20:54 | <Inst> | i refactored it into a single function, saw tremendous performance improvements |
| 07:21:15 | <Inst> | basically, i want to append 3 elements to a vector |
| 07:21:25 | <Inst> | i can do it with monadic bind, i suppose, but i got totally freaked out because i'm writing a program |
| 07:21:40 | <Inst> | a minimax over 1,500,000,000,000 gamestates |
| 07:22:04 | <Inst> | logic cuts it down to 100,000,000,000 gamestates, some further optimization got it down to 100,000,000 gamestates |
| 07:22:18 | <Inst> | it's using like 1.4 TB of ram, and that's when it compiles |
| 07:22:39 | <[exa]> | Inst: ah mutual recursion might be a problem (inliners don't like it) |
| 07:23:18 | <int-e> | Hmm, are you sure you want to write this in Haskell? |
| 07:23:23 | <Inst> | https://cdn.discordapp.com/attachments/968989726633779215/1008636947465506856/unknown.png |
| 07:23:31 | <Inst> | I don't know any other language, and it's an exciting exercise |
| 07:24:11 | <Inst> | https://cdn.discordapp.com/attachments/968989726633779215/1008637159344967730/unknown.png |
| 07:24:58 | <[exa]> | uh can you please pastebin the code? I can't see the whole pictures here on this |
| 07:25:09 | → | Guest54 joins (~Guest54@111-252-213-188.dynamic-ip.hinet.net) |
| 07:25:45 | <Inst> | https://pastebin.com/kPt8KPHr |
| 07:26:21 | <Inst> | i suppose it might be your idea of shitcode, but it's exotic |
| 07:26:39 | <Inst> | someone is literally trying to write java syntax in haskell for laughs, tbh |
| 07:27:22 | <Inst> | so mutual recursion is bad, huh? |
| 07:27:53 | <[exa]> | yeah java is strong in that one |
| 07:28:22 | <[exa]> | mutual recursion isn't bad but you need to take a bit of care sometimes (it's very easy to create a strictness problem with it) |
| 07:28:26 | <Inst> | i'm just experimenting with various syntactical styles, tbh |
| 07:28:43 | <Inst> | i was talking about someone else |
| 07:28:45 | <Inst> | regarding java |
| 07:28:58 | <Inst> | they got dot syntax to work properly, probably by offloading stuff to modules |
| 07:30:03 | <Inst> | wait, you talked about your students coding badly, exa, no? |
| 07:30:12 | <Inst> | did anyone actually try implementing fakejava in haskell as a style? |
| 07:30:34 | <[exa]> | the probability that no one did that yet is negligible, yeah |
| 07:31:00 | → | jmorris joins (uid537181@id-537181.uxbridge.irccloud.com) |
| 07:31:26 | <[exa]> | to your code, I'd suggest 2 things, 1] you have a few repeated parts there that might actually be re-evaluated on all occurences, I'd just make a `let` in the front of the big function and put all repeated stuff there |
| 07:31:38 | <[exa]> | (spoiler: let prevents re-evaluation) |
| 07:33:28 | <[exa]> | 2] you're appending to the end of a vector there, are you popping stuff from the front of it also? Might be a nice case for a lazy queue (which I'd guess could be much faster here, esp. if the vector is usually big) |
| 07:33:38 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 07:35:32 | → | chele joins (~chele@user/chele) |
| 07:35:34 | → | alp_ joins (~alp@user/alp) |
| 07:39:19 | <Inst> | not really familiar with lazy queues, and also, the biggest problem is memory usage |
| 07:41:04 | <[exa]> | I'm not sure about the algorithm there but that might be the property of minimax in this case, tbh |
| 07:42:53 | × | Hash quits (~Hash@tunnel686959-pt.tunnel.tserv15.lax1.ipv6.he.net) (Quit: ZNC - https://znc.in) |
| 07:42:56 | <[exa]> | technically, try unboxing as much data as possible (also, I'd go for your own constructor for the "vector of <5 cards", simply data SomeCards = NoCards | OneCard ... | TwoCards ..., with all fields strict (will behave much better than an uninformed vector) |
| 07:42:57 | <Inst> | right now i'm just trying to do monadic bind without using a monadic bind, i know vectors have monad instances |
| 07:43:42 | <Inst> | so wait, you'd suggest i build the array in data declarations instead of using vectors? |
| 07:43:52 | <Inst> | the objective of this is to build a blackjack solver |
| 07:43:57 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:44:10 | <Inst> | i'm having trouble with the math because i know i can reduce the calculations needed on the target |
| 07:44:28 | <Inst> | erm, on the dealer hands, by simply limiting dealer hands to individual hands |
| 07:44:45 | <Inst> | then multiplying the result by the number of occurrences, but the difficulty is guessing the number |
| 07:44:57 | → | jgeerds joins (~jgeerds@55d46bad.access.ecotel.net) |
| 07:45:18 | × | Guest54 quits (~Guest54@111-252-213-188.dynamic-ip.hinet.net) (Quit: Client closed) |
| 07:46:00 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 07:46:54 | → | mastarija joins (~mastarija@2a05:4f46:e03:6000:7473:b8cc:a367:259) |
| 07:46:54 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 07:47:54 | <[exa]> | uh, blackjack is a single-player game right? (we don't count the dealer) |
| 07:48:50 | <[exa]> | minimax might not be the optimal choice imo; you might have much better luck by just doing this statistically with probabilities |
| 07:49:18 | <[exa]> | ah no that's another kind of blackjack |
| 07:50:03 | → | benin0 joins (~benin@183.82.206.125) |
| 07:50:16 | <Inst> | solitaire, but for all intents and purposes this is single-player |
| 07:50:56 | <Inst> | also, btw, you might be interested, but there's some guy who wants to build a FP-only bootcamp |
| 07:51:02 | <Inst> | and is a Haskeller |
| 07:51:12 | <Inst> | I could get you in touch with him if you have interests, but I told him, where's da money? |
| 07:51:27 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 07:51:37 | <[exa]> | I'd love to have time for that :] |
| 07:52:47 | <[exa]> | anyway if it's single-player blackjack you're probably better off avoiding minimax completely, just go probabilities |
| 07:54:58 | <Inst> | i mean singleplayer with dealer |
| 07:55:02 | <Inst> | and dealer has deterministic behavior |
| 07:55:09 | <Inst> | "hit until card value is over 16" |
| 07:57:22 | → | gurkenglas joins (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 07:58:50 | → | justache joins (~justache@user/justache) |
| 08:00:39 | → | jonathanx joins (~jonathan@h-178-174-176-109.a357.priv.bahnhof.se) |
| 08:01:34 | × | perdent quits (~perdent@124.188.233.11) (Quit: Client closed) |
| 08:03:02 | → | chomwitt joins (~chomwitt@2a02:587:dc15:5e00:1cf8:31f1:edb9:8492) |
| 08:06:19 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 08:07:12 | × | vglfr quits (~vglfr@145.224.94.75) (Ping timeout: 268 seconds) |
| 08:07:57 | × | raym quits (~raym@user/raym) (Quit: kernel update, rebooting...) |
| 08:10:53 | → | raym joins (~raym@user/raym) |
| 08:17:18 | → | waldo joins (~waldo@user/waldo) |
| 08:18:46 | <Axman6> | jackdk: I thought they had already been crossed |
| 08:19:42 | × | asm quits (~alexander@burner.asm89.io) (Changing host) |
| 08:19:42 | → | asm joins (~alexander@user/asm) |
| 08:24:40 | × | nilradical quits (~nilradica@user/naso) () |
| 08:25:21 | → | ccntrq joins (~Thunderbi@172.209.94.92.rev.sfr.net) |
| 08:26:42 | → | coot joins (~coot@213.134.176.158) |
| 08:30:56 | → | Midjak joins (~Midjak@82.66.147.146) |
| 08:31:02 | → | kimjetwav joins (~user@2607:fea8:235e:b600:63f1:7c00:91d0:abf) |
| 08:41:50 | → | Hash joins (~Hash@tunnel686959-pt.tunnel.tserv15.lax1.ipv6.he.net) |
| 08:44:56 | → | vysn joins (~vysn@user/vysn) |
| 08:45:59 | × | adanwan_ quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 08:46:25 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 08:49:41 | → | cfricke joins (~cfricke@user/cfricke) |
| 08:52:25 | → | mbuf joins (~Shakthi@122.165.55.71) |
| 08:54:35 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 08:56:37 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 08:56:43 | → | nate4 joins (~nate@98.45.169.16) |
| 08:58:08 | × | coot quits (~coot@213.134.176.158) (Quit: coot) |
| 09:01:23 | × | nate4 quits (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 09:03:11 | × | zeenk quits (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 09:07:36 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 09:08:45 | × | waldo quits (~waldo@user/waldo) (Quit: quit) |
| 09:15:25 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 09:20:45 | → | luffy joins (~chenqisu1@183.217.201.23) |
| 09:23:41 | × | talismanick quits (~talismani@2601:200:c100:3850::dd64) (Ping timeout: 244 seconds) |
| 09:24:01 | → | gensyst joins (gensyst@user/gensyst) |
| 09:25:15 | <gensyst> | I already have a complicatedFunc :: Int -> IO (), but I'd love to also make a complicatedFunc' :: String -> IO () which is almost exactly the same, except slightly different logic if it's a String instead of Int. |
| 09:25:18 | <gensyst> | How to best proceed? |
| 09:25:48 | <gensyst> | Actually, let me word this differently. |
| 09:26:41 | <gensyst> | I already have a complicatedFunc :: Int -> Params Foo -> IO (), but I'd love to also make a complicatedFunc' :: String -> Params Bar -> IO () which is almost exactly the same, except slightly different logic if it's a String (and Parmas Bar) instead of Int (and Params Foo). How to best proceed? |
| 09:26:59 | <dminuoso> | gensyst: Cant say without more details. |
| 09:27:13 | <dminuoso> | Depending on some factor you might want to carve out some common implementation for both functions. |
| 09:28:51 | <dminuoso> | But there may also be reasons not to. For instance, if you had to alter the former function in what you currently conceive as "common between them", would you want the latter function to contain that change as well? |
| 09:31:38 | → | nate4 joins (~nate@98.45.169.16) |
| 09:31:51 | <gensyst> | dminuoso, the main problem at hand, i think, is that one parameter's type can't really be "dependent" on another parameter's type - and the logic different for all such combinations |
| 09:32:00 | <gensyst> | is this something template haskell is for? |
| 09:33:40 | <ski> | how much is common, and what is the nature of this commonality ? |
| 09:34:35 | <ski> | (not sure whay you're mentioning type dependency, or what you mean by that) |
| 09:36:35 | × | nate4 quits (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 09:39:06 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 256 seconds) |
| 09:40:19 | <tomsmeding> | gensyst: can you write `complicatedFunc2 :: Either String Int -> Params Foo -> IO ()` in a nice way? |
| 09:40:54 | <tomsmeding> | if that makes sense, my suggestion would be to write that, and provide the original two functions as (trivila) wrappers |
| 09:40:56 | <tomsmeding> | *trivial |
| 09:41:21 | × | gurkenglas quits (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 09:41:23 | <ski> | or perhaps factoring via some other common "config" types |
| 09:41:46 | <tomsmeding> | yeah, once you have only one function, it's easier to start thinking about reorganising parameters |
| 09:41:53 | <tomsmeding> | or perhaps even a type class |
| 09:42:06 | <tomsmeding> | but whether that's worth it depends on the function and commonalities in question |
| 09:43:22 | <Cale> | Yeah, I'd start by just writing down both versions and then seeing what you can factor out |
| 09:43:38 | <Cale> | and then maybe that'll be suggestive of a type class |
| 09:44:08 | ski | hasn't seen anything yet suggesting typeclasses |
| 09:44:54 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 09:45:28 | <Cale> | Well, the fact that we have two functions that are somehow meant to be "the same" except operating on different types is somewhat suggestive that a type class might be appropriate. |
| 09:45:39 | <tomsmeding> | emphasis on "somewhat" and "might" |
| 09:45:59 | <Cale> | But yeah, if it's just two functions, just write the two functions :P |
| 09:46:19 | <ski> | the `Params' business is also a bit fuzzy .. is this supposed to be a GADT (or type family, or associated type) ? |
| 09:47:14 | <ski> | (now i'm wondering how people pronounce "GADT") |
| 09:47:14 | → | [Leary] joins (~Leary]@122-58-224-198-vdsl.sparkbb.co.nz) |
| 09:47:33 | <Cale> | "gaddit" |
| 09:47:40 | <dminuoso> | Factoring out code shouldn't be a goal on its own, though. |
| 09:48:36 | <dminuoso> | I find that duplication is not something one should be afraid of. Factoring out should only make sense if its a semantic abstraction. |
| 09:49:30 | <Cale> | There are cases where it would definitely be worse not to -- if you expect to write the same bugs twice, or if it would be wrong for someone to change one version of the function without changing the other, figuring out how to factor it apart is probably a good plan. |
| 09:49:34 | <int-e> | . o O ( debug, *then* duplicate ) |
| 09:50:19 | <int-e> | because the one thing that really sucks about having duplicated code is fixing the same bug in half a dozen different places. |
| 09:51:00 | × | acidjnk quits (~acidjnk@p200300d6e7137a1040029d0042753765.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 09:52:02 | × | justache quits (~justache@user/justache) (Quit: ZNC 1.8.2 - https://znc.in) |
| 09:52:22 | <ski> | only denormalize after debugging ? |
| 09:52:33 | → | justache joins (~justache@user/justache) |
| 09:53:01 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 09:53:37 | → | vglfr joins (~vglfr@145.224.94.75) |
| 09:59:24 | × | lbseale quits (~quassel@user/ep1ctetus) (Ping timeout: 268 seconds) |
| 10:05:24 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 10:06:22 | → | Pickchea joins (~private@user/pickchea) |
| 10:08:13 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 10:12:26 | → | lbseale joins (~quassel@user/ep1ctetus) |
| 10:12:32 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 10:16:47 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.6) |
| 10:17:01 | <gensyst> | Those are some good ideas |
| 10:17:11 | <gensyst> | I'll just duplicate it at first and then find common things |
| 10:17:12 | <gensyst> | thanks |
| 10:17:24 | <gensyst> | tomsmeding, that Either won't work because Params Foo changes to Params Bar |
| 10:17:39 | × | ddellaco1 quits (~ddellacos@89.45.90.92) (Ping timeout: 252 seconds) |
| 10:17:43 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 10:19:21 | <tomsmeding> | gensyst: something like that can still be done using type classes, perhaps, depending on the function -- but yeah, once you have the functions written, come back and people can have a second look :p |
| 10:19:37 | × | justache quits (~justache@user/justache) (Remote host closed the connection) |
| 10:19:53 | → | ddellaco1 joins (~ddellacos@89.45.90.10) |
| 10:20:42 | → | justache joins (~justache@user/justache) |
| 10:21:47 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 10:27:52 | × | justache quits (~justache@user/justache) (Remote host closed the connection) |
| 10:28:17 | → | justache joins (~justache@user/justache) |
| 10:29:07 | × | justache quits (~justache@user/justache) (Remote host closed the connection) |
| 10:29:32 | → | justache joins (~justache@user/justache) |
| 10:29:37 | × | xff0x_ quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |
| 10:32:43 | <ski> | gensyst : so `Params Bar' is a common format ? |
| 10:35:20 | <tdammers> | it's not duplicate code that's the enemy, it's duplicate expressions of the same factoid |
| 10:36:42 | × | justache quits (~justache@user/justache) (Remote host closed the connection) |
| 10:37:17 | → | justache joins (~justache@user/justache) |
| 10:37:29 | <dminuoso> | No worries, I have dedup-mode on emacs. Whenever there's two identical pieces of code, the editor just elides the visual representation - and edits them in parallel. Best of both worlds! |
| 10:39:52 | × | shriekingnoise quits (~shrieking@186.137.167.202) (Quit: Quit) |
| 10:40:03 | → | ph88 joins (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) |
| 10:40:49 | <ski> | tdammers : is that a factoid ? |
| 10:41:35 | <ski> | dminuoso : must be useful, when you want to change the value of `2' |
| 10:42:35 | × | justache quits (~justache@user/justache) (Remote host closed the connection) |
| 10:43:37 | → | justache joins (~justache@user/justache) |
| 10:47:02 | <gensyst> | Sigh, it turns out I might just be able to solve this with a ... new type. As so often lol. |
| 10:47:10 | <gensyst> | (I was thinking about going into templatehaskell lol) |
| 10:48:49 | × | justache quits (~justache@user/justache) (Remote host closed the connection) |
| 10:49:22 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 10:51:10 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 10:52:29 | × | ph88 quits (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) (Quit: Leaving) |
| 10:53:16 | → | tharmas joins (~nikola@93-86-243-43.dynamic.isp.telekom.rs) |
| 10:53:30 | → | ph88 joins (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) |
| 10:54:07 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 244 seconds) |
| 10:54:32 | × | ph88 quits (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 10:55:10 | → | ph88 joins (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) |
| 10:55:17 | <tomsmeding> | don't, unless the alternative is generating haskell code from python |
| 10:56:00 | × | ph88 quits (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 10:56:48 | → | ph88 joins (~ph88@2a02:8109:9e00:71d0:aa15:b8d:af13:70cf) |
| 10:59:35 | → | gurkenglas joins (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 11:00:36 | × | jmorris quits (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 11:00:43 | → | justache joins (~justache@user/justache) |
| 11:02:01 | × | ridcully quits (~ridcully@pd951fa32.dip0.t-ipconnect.de) (Quit: WeeChat 3.6) |
| 11:03:01 | × | justache quits (~justache@user/justache) (Remote host closed the connection) |
| 11:03:29 | → | justache joins (~justache@user/justache) |
| 11:03:30 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 11:04:36 | × | gensyst quits (gensyst@user/gensyst) (Quit: Leaving) |
| 11:06:57 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 256 seconds) |
| 11:12:21 | <dminuoso> | ski: I have a neat trick for that: font-lock-mode |
| 11:12:34 | <dminuoso> | THat' |
| 11:12:57 | <dminuoso> | That's some fine code obfuscation. "To edit this code, you will need my emacs config" |
| 11:14:11 | <hpc> | fun fact: in the typewriter era this is what the scroll lock button used to do - you couldn't edit the code unless the paper was long enough |
| 11:14:28 | → | kevorna joins (~kevorna@81-228-153-137-no289.tbcn.telia.com) |
| 11:14:47 | × | kevorna quits (~kevorna@81-228-153-137-no289.tbcn.telia.com) (Client Quit) |
| 11:15:13 | × | jgeerds quits (~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 252 seconds) |
| 11:15:15 | × | mastarija quits (~mastarija@2a05:4f46:e03:6000:7473:b8cc:a367:259) (Ping timeout: 248 seconds) |
| 11:15:26 | × | ddellaco1 quits (~ddellacos@89.45.90.10) (Ping timeout: 256 seconds) |
| 11:17:06 | → | ddellaco1 joins (~ddellacos@89.45.90.40) |
| 11:17:19 | <dminuoso> | hpc: Didn't scroll lock come from DOS times though? As far as memory serves, it was for "locking scrolling" such that mouse keys could either move the cursor up and down in text, or scroll the view up and down. Apparently Excel is one of the few pieces of software that still has this behavior |
| 11:17:36 | <dminuoso> | Or is there some other typewriter connection Im not seeing? |
| 11:18:34 | <hpc> | dminuoso: i did say it was a fun fact, and not a real fact :D |
| 11:19:27 | <hpc> | although if you've ever pressed ^S and wondered why your terminal froze, that /is/ from the paper days |
| 11:19:41 | <hpc> | it paused printing in case you did something silly like cat a huge file |
| 11:20:05 | <hpc> | ^Q resumes printing |
| 11:21:14 | × | justache quits (~justache@user/justache) (Quit: ZNC 1.8.2 - https://znc.in) |
| 11:21:48 | → | justache joins (~justache@user/justache) |
| 11:22:50 | <tomsmeding> | luckily most terminals have that disabled nowadays |
| 11:23:08 | <[exa]> | oh noes, that's the best terminal function ever |
| 11:23:09 | <ski> | it might be useful if more programs supported such scroll locking |
| 11:23:17 | <dminuoso> | tomsmeding: hah the more funny bit is not that you can invoke this by pressing keys, but that ansi escape sequences can cause this |
| 11:23:32 | <[exa]> | why would anyone disable that? |
| 11:23:43 | <dminuoso> | A while ago, I was running `tail` on a log, when suddenly my system froze up. After a few seeconds I had a stack of literally hundreds of printer dialogs |
| 11:24:00 | <hpc> | haha, i love those weird characters |
| 11:24:09 | <hpc> | i had one that moved my terminal almost offscreen |
| 11:24:12 | → | xff0x_ joins (~xff0x@2405:6580:b080:900:f183:2436:78f3:8665) |
| 11:24:16 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 11:24:32 | <hpc> | then i put it in my bashrc so my terminal did a little dance every time i logged in :D |
| 11:24:46 | × | Flonk quits (~Flonk@vps-zap441517-1.zap-srv.com) (Quit: The Lounge - https://thelounge.chat) |
| 11:25:09 | <dminuoso> | ASCII is one of the biggest abominations that still haunts our computers. |
| 11:25:41 | <dminuoso> | The fact that we conflate terminal drawing, systems operations and text encoding into a big ball - and keep that big ball alive in Unicode as is - still amazses me. |
| 11:27:30 | <tdammers> | I use ^S / ^Q a lot, it's great when monitoring live logging output. ^S pauses the logging, so you can scroll around, maybe copy some parts of the output, and then you press ^Q to resume the tailing |
| 11:28:35 | × | tharmas quits (~nikola@93-86-243-43.dynamic.isp.telekom.rs) (Quit: leaving) |
| 11:32:50 | → | acidjnk joins (~acidjnk@p200300d6e7137a1040029d0042753765.dip0.t-ipconnect.de) |
| 11:34:54 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:36:12 | → | ridcully joins (~ridcully@pd951fa32.dip0.t-ipconnect.de) |
| 11:36:48 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.6) |
| 11:48:12 | → | nate4 joins (~nate@98.45.169.16) |
| 11:48:19 | → | razetime joins (~quassel@117.254.35.241) |
| 11:52:03 | × | alp_ quits (~alp@user/alp) (Ping timeout: 248 seconds) |
| 11:53:07 | × | nate4 quits (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 11:53:31 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 11:54:06 | × | vglfr quits (~vglfr@145.224.94.75) (Ping timeout: 268 seconds) |
| 11:59:39 | × | raym quits (~raym@user/raym) (Remote host closed the connection) |
| 11:59:39 | × | ddellaco1 quits (~ddellacos@89.45.90.40) (Ping timeout: 268 seconds) |
| 12:01:21 | → | ddellaco1 joins (~ddellacos@89.45.90.53) |
| 12:02:31 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 12:04:46 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 12:08:30 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 12:08:34 | → | raym joins (~raym@user/raym) |
| 12:10:46 | → | causal joins (~user@50.35.83.177) |
| 12:14:33 | × | justache quits (~justache@user/justache) (Quit: ZNC 1.8.2 - https://znc.in) |
| 12:15:11 | → | justache joins (~justache@user/justache) |
| 12:17:44 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 12:21:07 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 12:22:31 | → | vglfr joins (~vglfr@145.224.94.75) |
| 12:22:33 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 268 seconds) |
| 12:23:03 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 12:25:10 | × | ph88 quits (~ph88@2a02:8109:9e00:71d0:aa15:b8d:af13:70cf) (Remote host closed the connection) |
| 12:25:29 | → | ph88 joins (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) |
| 12:25:37 | × | lbseale quits (~quassel@user/ep1ctetus) (Ping timeout: 252 seconds) |
| 12:25:50 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::a1ec) (Ping timeout: 255 seconds) |
| 12:30:38 | → | lbseale joins (~quassel@user/ep1ctetus) |
| 12:33:01 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 12:34:17 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 12:34:53 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 12:37:32 | → | Pickchea joins (~private@user/pickchea) |
| 12:40:59 | × | luffy quits (~chenqisu1@183.217.201.23) (Ping timeout: 268 seconds) |
| 12:45:23 | <maerwald[m]> | dminuoso: unicode breaks my heart |
| 12:45:55 | <int-e> | 💔 |
| 12:46:52 | <maerwald[m]> | Dealing with encodings is like dating. ..you never know what to expect and a wrong assumption can break your code |
| 12:47:08 | × | cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 12:49:58 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 12:49:58 | → | cheater joins (~Username@user/cheater) |
| 12:51:09 | <dminuoso> | maerwald[m]: It's probably very frustrating and tough. I dont think unicode itself is problematic, but rather many naive assumptions about how unicode does work. |
| 12:51:11 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 12:51:35 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 12:52:05 | <dminuoso> | And ASCII codepoints are probably just included to faciliate some compatibility in order to increase adoption |
| 12:52:23 | <[exa]> | it could be useful to have the 21 compressed megabytes of reduction and transformation rules printed out in a really big book, so that we can smash people who say unicode is simple |
| 12:53:11 | <dminuoso> | [exa]: Finding a single mechanism to deal with scripts of all languages is utterly complicated in itself. |
| 12:53:16 | <[exa]> | you can't |
| 12:53:42 | <dminuoso> | Language and scripts are just weird. :) |
| 12:53:45 | <[exa]> | but still it's a nice effort |
| 12:53:51 | <[exa]> | kinda works |
| 12:53:57 | <[exa]> | let's be positive |
| 12:54:00 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 12:54:41 | × | biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 12:55:02 | → | biberu joins (~biberu@user/biberu) |
| 12:55:56 | <[exa]> | (also looks like it's 35MB actually 😅) |
| 12:57:03 | → | alp_ joins (~alp@user/alp) |
| 13:01:48 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 13:01:55 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 13:03:00 | × | dknite quits (~dknite@49.37.45.100) (Read error: Connection reset by peer) |
| 13:03:14 | → | dknite joins (~dknite@65.20.68.77) |
| 13:07:47 | × | dknite quits (~dknite@65.20.68.77) (Ping timeout: 248 seconds) |
| 13:08:40 | → | dknite joins (~dknite@49.37.45.100) |
| 13:10:51 | → | zer0bitz joins (~zer0bitz@2001:2003:f748:2000:50af:1f1e:ef04:268c) |
| 13:12:59 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 13:14:24 | × | lbseale quits (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 13:15:33 | → | lbseale joins (~quassel@user/ep1ctetus) |
| 13:16:44 | × | razetime quits (~quassel@117.254.35.241) (Ping timeout: 268 seconds) |
| 13:19:35 | × | ph88 quits (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 13:20:48 | → | ph88 joins (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) |
| 13:24:38 | × | alp_ quits (~alp@user/alp) (Ping timeout: 256 seconds) |
| 13:27:15 | → | razetime joins (~quassel@117.193.7.237) |
| 13:28:48 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 13:29:01 | → | waldo joins (~waldo@user/waldo) |
| 13:29:35 | → | alp_ joins (~alp@user/alp) |
| 13:31:05 | × | zer0bitz quits (~zer0bitz@2001:2003:f748:2000:50af:1f1e:ef04:268c) (Read error: Connection reset by peer) |
| 13:32:51 | → | zer0bitz joins (~zer0bitz@2001:2003:f748:2000:50af:1f1e:ef04:268c) |
| 13:38:10 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 13:40:38 | <merijn> | Time to strap in and see how terribly everything breaks by getting 9.2 and 9.4 on my system :p |
| 13:41:10 | <merijn> | 9.0 was kinda wonky compared to 9.2, right? |
| 13:43:32 | <geekosaur[m]> | Only on M1s iirc |
| 13:45:07 | → | cthaeh^ joins (~cthaeh@12.20.44.4) |
| 13:45:48 | <geekosaur[m]> | But if I were switching to 9.x I would go with 9.2.4 right now |
| 13:46:39 | <geekosaur[m]> | 9.4.1 has enough issues that I'd wait for 9.4.2 |
| 13:46:45 | <merijn> | geekosaur[m]: "latest -1" is always my GHC heuristic :p |
| 13:47:26 | <geekosaur[m]> | (that's not at all confusing...) |
| 13:57:11 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:57:29 | → | jgeerds joins (~jgeerds@55d46bad.access.ecotel.net) |
| 14:00:31 | → | sonny joins (~sonny@142.188.218.92) |
| 14:04:24 | → | cheater1__ joins (~Username@user/cheater) |
| 14:04:27 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 14:04:37 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 14:04:38 | cheater1__ | is now known as cheater |
| 14:10:01 | × | kmein quits (~weechat@user/kmein) (Quit: ciao kakao) |
| 14:10:30 | → | kmein joins (~weechat@user/kmein) |
| 14:11:12 | → | Tuplanolla joins (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) |
| 14:14:57 | × | waldo quits (~waldo@user/waldo) (Quit: quit) |
| 14:16:03 | × | zxx7529 quits (~Thunderbi@user/zxx7529) (Ping timeout: 248 seconds) |
| 14:16:32 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 14:18:21 | <romes[m]> | I was wondering… why is there no ghc 9.3? and we went from 9.2 to 9.4 |
| 14:18:38 | <romes[m]> | and next release seems to be 9.6 (rather than 9.5) :) |
| 14:18:48 | <geekosaur> | because ghc uses the same release numbering system the linux kernel used to |
| 14:19:03 | <geekosaur> | odd numbered versions are development versions, even numbered are public releases |
| 14:19:37 | <romes[m]> | that answers it, thanks |
| 14:24:10 | × | sonny quits (~sonny@142.188.218.92) (Quit: Client closed) |
| 14:26:33 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 14:29:22 | × | malte quits (~malte@mal.tc) (Remote host closed the connection) |
| 14:30:06 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Quit: restart) |
| 14:30:24 | → | malte joins (~malte@mal.tc) |
| 14:40:23 | → | zxx7529 joins (~Thunderbi@user/zxx7529) |
| 14:44:32 | × | cthaeh^ quits (~cthaeh@12.20.44.4) (Ping timeout: 256 seconds) |
| 14:45:57 | → | cthaeh^ joins (~cthaeh@12.20.44.4) |
| 14:47:23 | × | cthaeh^ quits (~cthaeh@12.20.44.4) (Remote host closed the connection) |
| 14:49:46 | → | waldo joins (~waldo@user/waldo) |
| 14:50:00 | × | justache quits (~justache@user/justache) (Remote host closed the connection) |
| 14:50:14 | → | justache joins (~justache@user/justache) |
| 14:55:15 | → | mimmy joins (~mimmy@153.92.40.237) |
| 14:55:31 | × | acidjnk quits (~acidjnk@p200300d6e7137a1040029d0042753765.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 14:56:48 | → | swamp_ joins (~zmt00@user/zmt00) |
| 14:57:17 | → | odnes joins (~odnes@5-203-232-108.pat.nym.cosmote.net) |
| 14:57:25 | × | biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 14:58:27 | × | odnes quits (~odnes@5-203-232-108.pat.nym.cosmote.net) (Client Quit) |
| 15:00:34 | × | zmt01 quits (~zmt00@user/zmt00) (Ping timeout: 244 seconds) |
| 15:02:52 | → | sonny joins (~sonny@142.188.218.92) |
| 15:06:33 | → | vysn joins (~vysn@user/vysn) |
| 15:07:28 | × | sonny quits (~sonny@142.188.218.92) (Client Quit) |
| 15:11:10 | × | razetime quits (~quassel@117.193.7.237) (Ping timeout: 256 seconds) |
| 15:12:32 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 15:15:13 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds) |
| 15:17:36 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 15:19:01 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 15:19:41 | × | mimmy quits (~mimmy@153.92.40.237) (Ping timeout: 256 seconds) |
| 15:22:21 | → | razetime joins (~quassel@117.254.35.241) |
| 15:24:31 | → | nilradical joins (~nilradica@user/naso) |
| 15:29:23 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:27c9:df52:ce1b:900a) (Quit: WeeChat 2.8) |
| 15:30:31 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection) |
| 15:30:41 | → | mimmy joins (~mimmy@153.92.40.199) |
| 15:30:41 | × | mimmy quits (~mimmy@153.92.40.199) (Client Quit) |
| 15:33:46 | × | razetime quits (~quassel@117.254.35.241) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 15:36:50 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 15:38:13 | × | waldo quits (~waldo@user/waldo) (Quit: quit) |
| 15:38:41 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:40:01 | × | Guest2346 quits (~ircuser@gabilgathol.bandrate.org) (Changing host) |
| 15:40:01 | → | Guest2346 joins (~ircuser@sourcemage/mage/beowulf) |
| 15:40:20 | Guest2346 | is now known as |beowulf| |
| 15:40:51 | → | janus joins (janus@anubis.0x90.dk) |
| 15:41:14 | <janus> | i am having understanding this error message https://github.com/basvandijk/threads/issues/16 |
| 15:42:05 | <janus> | when i look at the docs for ghc-prim 0.9, it seems like the definition of IO is `State# RealWorld -> (# State# RealWorld, a #)` |
| 15:42:12 | <janus> | so why doesn't it unify here? |
| 15:42:21 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 15:44:51 | <geekosaur> | IO is a newtype |
| 15:45:08 | <geekosaur> | newtype IO a = IO (State# ...) |
| 15:46:51 | <janus> | oh |
| 15:47:47 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 248 seconds) |
| 15:49:43 | → | nate4 joins (~nate@98.45.169.16) |
| 15:51:34 | → | cfricke joins (~cfricke@user/cfricke) |
| 15:54:48 | × | nate4 quits (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 15:59:54 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 256 seconds) |
| 16:01:42 | <janus> | i wonder why it didn't need unwrapping previously. doesn't seem related to polykindedness |
| 16:04:05 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 255 seconds) |
| 16:04:11 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.6) |
| 16:06:30 | → | Kaipei joins (~Kaiepi@142.68.249.28) |
| 16:08:11 | × | Kaiepi quits (~Kaiepi@142.68.249.28) (Ping timeout: 252 seconds) |
| 16:09:16 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 16:10:43 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds) |
| 16:11:04 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 16:11:15 | → | darkrebel joins (~darkrebel@2a05:f6c6:1161:0:810a:1d7b:e62e:ce12) |
| 16:11:31 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 16:16:06 | × | causal quits (~user@50.35.83.177) (Quit: WeeChat 3.6) |
| 16:17:51 | → | acidjnk joins (~acidjnk@p200300d6e7137a99a06e01e0a95c9122.dip0.t-ipconnect.de) |
| 16:19:50 | → | gmg joins (~user@user/gehmehgeh) |
| 16:20:49 | → | gdown joins (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) |
| 16:20:55 | ← | darkrebel parts (~darkrebel@2a05:f6c6:1161:0:810a:1d7b:e62e:ce12) (Leaving) |
| 16:22:21 | × | nilradical quits (~nilradica@user/naso) () |
| 16:27:28 | × | swamp_ quits (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 16:28:45 | × | zxx7529 quits (~Thunderbi@user/zxx7529) (Remote host closed the connection) |
| 16:28:58 | → | zxx7529 joins (~Thunderbi@user/zxx7529) |
| 16:31:05 | × | chomwitt quits (~chomwitt@2a02:587:dc15:5e00:1cf8:31f1:edb9:8492) (Ping timeout: 255 seconds) |
| 16:31:24 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 16:31:47 | × | mbuf quits (~Shakthi@122.165.55.71) (Quit: Leaving) |
| 16:32:30 | × | malte quits (~malte@mal.tc) (Remote host closed the connection) |
| 16:33:19 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Client Quit) |
| 16:33:35 | → | malte joins (~malte@mal.tc) |
| 16:35:16 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 16:37:30 | → | BusConscious joins (~martin@ip5f5acdbc.dynamic.kabel-deutschland.de) |
| 16:39:46 | <BusConscious> | execve will indicate with errno if it failed because the file was not executable or because it didn |
| 16:39:53 | <BusConscious> | 't exist |
| 16:40:31 | <BusConscious> | I want to handle these cases seperately in haskell but executeFile just gives me a generic IO b type |
| 16:41:07 | × | ddellaco1 quits (~ddellacos@89.45.90.53) (Ping timeout: 248 seconds) |
| 16:43:00 | → | zmt00 joins (~zmt00@user/zmt00) |
| 16:43:35 | × | zmt00 quits (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 16:44:00 | × | Vajb quits (~Vajb@2001:999:70c:2b99:3e15:6929:5bc6:c014) (Ping timeout: 268 seconds) |
| 16:45:50 | → | Vajb joins (~Vajb@2001:999:780:268:c891:8e5a:371f:cf49) |
| 16:46:13 | × | zer0bitz quits (~zer0bitz@2001:2003:f748:2000:50af:1f1e:ef04:268c) (Read error: Connection reset by peer) |
| 16:47:53 | <BusConscious> | is getErrno a good bet? |
| 16:48:10 | <BusConscious> | in Foreign.C.Error |
| 16:48:14 | → | Major_Biscuit joins (~MajorBisc@46-229-126.internethome.cytanet.com.cy) |
| 16:50:45 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 16:51:00 | <geekosaur> | it'll throw an exception if it fails |
| 16:51:44 | <geekosaur> | https://downloads.haskell.org/ghc/9.2.3/docs/html/libraries/base-4.16.2.0/Control-Exception.html#t:IOException |
| 16:51:57 | × | MajorBiscuit quits (~MajorBisc@c-001-021-007.client.tudelft.eduvpn.nl) (Ping timeout: 268 seconds) |
| 16:52:25 | <geekosaur> | and no, you have no guarantee by the time you regain control that C errno is still valid |
| 16:53:00 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 16:54:27 | × | alp_ quits (~alp@user/alp) (Ping timeout: 248 seconds) |
| 16:55:51 | <geekosaur> | C overwrites errno whenever it feels like it. use the error encoded in the IOException instead |
| 16:56:34 | <geekosaur> | (executeFile doesn't return if it's successful, so the only possible result is an exception) |
| 16:57:12 | <BusConscious> | I should call ioe_type instead of ioe_errno on my IOException? |
| 16:57:38 | <geekosaur> | ioe_errno sounds right |
| 16:57:57 | <BusConscious> | just not getErrno |
| 16:58:07 | <geekosaur> | but trying to get it yourself with getErrno could get you the errno from a subsequent I/O operation |
| 16:58:29 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 16:58:29 | <geekosaur> | (same is true in C, you need to get errno immediately after the failing operation for it to be valid) |
| 16:58:56 | <BusConscious> | I can see why you would not want to do it. Multithreading doesn |
| 16:59:00 | → | shriekingnoise joins (~shrieking@186.137.167.202) |
| 16:59:24 | <BusConscious> | 't concern me, but in general errno does not seem to be good with that |
| 16:59:45 | <geekosaur> | well, each thread does have its own errno. but those are POSIX threads and Haskell threading is either "green" (everything on one thread) or m:n (so it may be on a different thread by the time you check it) |
| 17:00:19 | <geekosaur> | or the I/O manager may have run and checked for I/O that causes a different thread to be scheduled |
| 17:00:25 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 17:00:42 | <geekosaur> | and, frankly, C's errno is terrible design from the 1970s |
| 17:01:07 | → | gmg joins (~user@user/gehmehgeh) |
| 17:03:01 | <[exa]> | kinda thinking, what happens if you get interrupted by a signal between the call and checking errno? |
| 17:04:20 | <geekosaur> | you're screwed 🙂 |
| 17:04:28 | <[exa]> | yay \o/ |
| 17:04:37 | <geekosaur> | but many syscalls and most library routines are unsafe in syscall handlers anyway |
| 17:04:46 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:05:01 | <[exa]> | hm that's true |
| 17:07:45 | <geekosaur> | also, you're on a separate stack so you won't be affected if the main one has incomplete frames (signal happened during function entry/exit), but that stack isn't very big and can easily be overrun |
| 17:09:27 | <geekosaur> | so you need to be careful what you call, including syscalls that use a lot of stack like stat() or the varargs exec*() variants |
| 17:10:54 | <geekosaur> | well, stat doesn';t use the stack directly but you need to make sure you use a reserved global for its return because allocating it on the stack will overrun it and you can't use malloc() because the arena might be in mid-update |
| 17:11:11 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 17:11:14 | <geekosaur> | lots of nasty details you need to keep track of with signal handlers |
| 17:12:03 | <geekosaur> | there's a reason merijn and I completely distrust how ghc's rts handles signals |
| 17:14:11 | → | econo joins (uid147250@user/econo) |
| 17:15:54 | → | zmt00 joins (~zmt00@user/zmt00) |
| 17:16:42 | → | chomwitt joins (~chomwitt@2a02:587:dc15:5e00:ece7:3fb3:7c32:eccf) |
| 17:17:09 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 17:22:05 | → | biberu joins (~biberu@user/biberu) |
| 17:24:21 | × | zxx7529 quits (~Thunderbi@user/zxx7529) (Remote host closed the connection) |
| 17:24:27 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:25:41 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::a1ec) |
| 17:33:19 | → | waldo joins (~waldo@user/waldo) |
| 17:33:23 | × | vglfr quits (~vglfr@145.224.94.75) (Ping timeout: 248 seconds) |
| 17:33:41 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 17:37:13 | → | ddellacosta joins (~ddellacos@89.45.224.131) |
| 17:39:07 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 17:39:31 | → | zebrag joins (~chris@user/zebrag) |
| 17:42:10 | <BusConscious> | has there been any major changes in the exception system as of late? |
| 17:42:24 | <BusConscious> | Module ‘Control.Exception’ does not export ‘IOErrorType(..)’ |
| 17:42:24 | × | Vajb quits (~Vajb@2001:999:780:268:c891:8e5a:371f:cf49) (Read error: Connection reset by peer) |
| 17:42:37 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 17:43:23 | <BusConscious> | ah |
| 17:43:33 | <BusConscious> | nevermind GHC.IO.Exception does |
| 17:45:03 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 17:45:51 | <geekosaur> | right |
| 17:46:12 | <geekosaur> | Control.Exception only gets you the wrapper, you need GHC.IO.Exception to look inside of it |
| 17:46:33 | × | benin0 quits (~benin@183.82.206.125) (Quit: The Lounge - https://thelounge.chat) |
| 17:46:38 | <geekosaur> | (this is "nonportable" but hasn't changed since extensible exceptions were added) |
| 17:47:54 | → | alp_ joins (~alp@user/alp) |
| 17:50:27 | × | ddellacosta quits (~ddellacos@89.45.224.131) (Ping timeout: 248 seconds) |
| 17:50:32 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 17:50:49 | × | acidjnk quits (~acidjnk@p200300d6e7137a99a06e01e0a95c9122.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 17:51:50 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 17:53:09 | → | mikoto-chan joins (~mikoto-ch@164.5.249.78) |
| 17:54:14 | → | acidjnk joins (~acidjnk@p200300d6e7137a99b93ef1c596330c2d.dip0.t-ipconnect.de) |
| 17:54:20 | → | Vajb joins (~Vajb@2001:999:780:268:c891:8e5a:371f:cf49) |
| 17:54:38 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 17:55:51 | → | talismanick joins (~talismani@campus-009-007.ucdavis.edu) |
| 17:57:24 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 268 seconds) |
| 17:57:57 | × | zmt00 quits (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 18:01:04 | → | zmt00 joins (~zmt00@user/zmt00) |
| 18:05:53 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:05:59 | × | son0p quits (~ff@181.136.122.143) (Ping timeout: 268 seconds) |
| 18:07:29 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:10:53 | → | mastarija joins (~mastarija@2a05:4f46:e03:6000:23d:cabf:b39d:39b0) |
| 18:11:10 | → | son0p joins (~ff@181.136.122.143) |
| 18:11:20 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 18:13:25 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 18:13:58 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 18:16:11 | Lord_of_Life_ | is now known as Lord_of_Life |
| 18:16:47 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:21:03 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Remote host closed the connection) |
| 18:22:57 | ddb1 | is now known as ddb |
| 18:23:38 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 18:24:11 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 18:32:14 | → | kenran joins (~kenran@200116b82ba74200d404ef2b4b789ed8.dip.versatel-1u1.de) |
| 18:34:48 | → | zeenk joins (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 18:39:09 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 18:41:29 | → | chexum_ joins (~quassel@gateway/tor-sasl/chexum) |
| 18:43:02 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds) |
| 18:47:09 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 18:47:58 | → | vglfr joins (~vglfr@145.224.94.75) |
| 18:49:39 | × | talismanick quits (~talismani@campus-009-007.ucdavis.edu) (Ping timeout: 248 seconds) |
| 18:50:02 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 18:50:07 | <qrpnxz> | how can i have multiple patterns on a case have the same RHS? |
| 18:50:07 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 18:50:46 | <tomsmeding> | that's usually called "or patterns", and GHC doesn't support those |
| 18:50:57 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 18:51:41 | <qrpnxz> | wow, terrible. Thanks. |
| 18:52:08 | → | pavonia joins (~user@user/siracusa) |
| 18:52:16 | <tomsmeding> | qrpnxz: to be fair, it's hard to define what or patterns should do in the presence of GADTs |
| 18:52:20 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 18:52:26 | <Rembane_> | Is that one of those that GHC had support for and that was removed? |
| 18:52:28 | <tomsmeding> | but for normal ADTs it could work -- it just isn't supported |
| 18:52:42 | <tomsmeding> | Rembane_: I don't think so? Perhaps you're thinking of n+k patterns? |
| 18:52:56 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 18:53:40 | <dolio> | It's not particularly trivial even for normal ADTs. |
| 18:54:21 | <tomsmeding> | dolio: you do have to get the type checking rules right for variable names that occur in multiple disjuncts, but it doesn't feel very complicated to me |
| 18:54:37 | <Rembane_> | tomsmeding: Yup, those are the ones! |
| 18:54:55 | <dolio> | So, you'd allow having different variables bound in different disjuncts? |
| 18:55:24 | <tomsmeding> | dolio: um... okay fair, no that makes no sense |
| 18:55:39 | <tomsmeding> | so every disjunct should bind the same set of variables, and with the same types |
| 18:55:48 | <tomsmeding> | in plain Hindley-Milner that'll typecheck fine |
| 18:59:08 | → | Pickchea joins (~private@user/pickchea) |
| 18:59:21 | × | kenran quits (~kenran@200116b82ba74200d404ef2b4b789ed8.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 19:05:12 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 19:05:19 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 19:07:34 | × | chexum_ quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 19:07:50 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 19:08:57 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:09:55 | × | alp_ quits (~alp@user/alp) (Ping timeout: 248 seconds) |
| 19:10:27 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 19:15:16 | → | jmd_ joins (~jmdaemon@user/jmdaemon) |
| 19:15:39 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 19:16:16 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 19:16:17 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 19:18:22 | <ski> | dolio : not necessarily. you could locally bind some variable in one disjunct, and use it in a view pattern, e.g. .. but only the ones that were bound in all would be bound by the disjunctive pattern |
| 19:18:58 | <ski> | (one could also introduce explicit existential patterns for locally scoping such variables, rather than relying on implicitly scoping them like that ..) |
| 19:19:10 | <dolio> | This is not sounding completely trivial. |
| 19:19:29 | <ski> | just take intersection, and make sure types unify |
| 19:22:21 | <ski> | (btw, note that in Erlang, you can do the equivalent of a declaration `if ... then {x = ...; y = ...} else {(x,y,_) = ...}' (and ditto for `case') .. this comes from Prolog heritage, `( ... -> foo(X),bar(Y) ; baz(t(X,Y,_)) )' -- variables that are bound in all branches will be available afterwards) |
| 19:23:21 | × | waldo quits (~waldo@user/waldo) (Quit: quit) |
| 19:26:38 | × | kilolympus quits (~kilolympu@90.206.106.191) (Ping timeout: 244 seconds) |
| 19:26:46 | → | alphabeta joins (~kilolympu@90.206.106.191) |
| 19:27:11 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 19:27:59 | × | jmd_ quits (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 19:29:38 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:32:24 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:32:51 | × | alphabeta quits (~kilolympu@90.206.106.191) (Ping timeout: 248 seconds) |
| 19:36:44 | → | kilolympus joins (~kilolympu@90.206.106.191) |
| 19:40:24 | → | jero98772 joins (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
| 19:40:25 | → | gustik joins (~gustik@2a01:c844:2457:2220:475d:34f:d571:996f) |
| 19:52:15 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 19:52:57 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 19:53:14 | → | jmd_ joins (~jmdaemon@user/jmdaemon) |
| 19:53:22 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 256 seconds) |
| 19:53:58 | → | nate4 joins (~nate@98.45.169.16) |
| 19:59:02 | × | nate4 quits (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 19:59:53 | <tomsmeding> | one other, very important, issue with or patterns in haskell is syntax: | is already taken :p |
| 20:05:40 | → | ddellacosta joins (~ddellacos@89.45.224.112) |
| 20:05:50 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 20:08:15 | <BusConscious> | you could say that an empty body after -> in one case clause defaults to the next one like in imperative switch case |
| 20:09:07 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 248 seconds) |
| 20:11:39 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 20:11:59 | <ski> | i'd rather be able to share parts of the bodies of branches with each other |
| 20:12:39 | → | stef204 joins (~stef204@user/stef204) |
| 20:15:04 | → | king_gs joins (~Thunderbi@187.201.216.244) |
| 20:24:23 | × | mastarija quits (~mastarija@2a05:4f46:e03:6000:23d:cabf:b39d:39b0) (Quit: WeeChat 3.5) |
| 20:28:46 | <monochrom> | We need a diagrammatic programming language that enables directed control flow graphs. |
| 20:28:54 | <monochrom> | Either that, or goto. >:) |
| 20:31:01 | <[exa]> | we've recently played with "local" tail calls that preserve bits of the scope, it looked both pretty efficient and covering most of the graph-jumpy cases |
| 20:33:07 | <ski> | "The anatomy of a loop: a story of scope and control" by Olin Shivers in 2005-09 at <https://www.ccs.neu.edu/home/shivers/citations.html#loop> might be related to that |
| 20:34:40 | × | kilolympus quits (~kilolympu@90.206.106.191) (Quit: See you later! :)) |
| 20:34:53 | <[exa]> | o nice |
| 20:35:02 | → | kilolympus joins (~kilolympu@90.206.106.191) |
| 20:40:36 | <BusConscious> | Some time ago I saw a blog post, in which someone made haskell programs, that looked and worked like BASIC programs |
| 20:41:04 | <BusConscious> | but I can't find it rn |
| 20:41:09 | <geekosaur> | there's several of them |
| 20:41:17 | <ski> | ("foof-loop: A Simple, Extensible Scheme Looping Facility" by Riastradh at <https://mumble.net/~campbell/scheme/foof-loop.txt>,<https://mumble.net/~campbell/scheme/foof-loop.scm> was inspired by that, although doesn't exactly have the same notion of scope. it's intended to be a *compositional* (mini-)language for expressing loop clauses. do/2 in ECLiPSe |
| 20:41:22 | <ski> | <http://eclipseclp.org/doc/tutorial/tutorial025.html>,<http://www.eclipseclp.org/doc/userman/umsroot023.html>,<http://www.eclipseclp.org/doc/bips/kernel/control/do-2.html> is a somewhat similar language. foof made a similar "loopy-loop" <http://wiki.call-cc.org/eggref/4/loopy-loop> one. his post "Yow! LOOP macros are LOOPY!" <https://groups.google.com/g/comp.lang.scheme/c/DLkZdLw1qGw> has some more info, and |
| 20:41:28 | <ski> | references to other comparable notions (e.g. list comprehensions)) |
| 20:41:58 | × | biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 20:42:12 | <[exa]> | BusConscious: there's probably a acme-basic package for that now. :D |
| 20:42:19 | <[exa]> | but yeah I saw it too |
| 20:42:41 | <ski> | BusConscious : <http://augustss.blogspot.com/search/label/BASIC> ? |
| 20:42:48 | <[exa]> | ski: tbh really nice note there for "scopes are everything" |
| 20:46:00 | <[exa]> | (I've been working with some jumpy construct transformations basically as with a pointfree tail recursion, and lo, that's it-- scopes again :D ) |
| 20:46:17 | → | `2jt joins (~jtomas@56.red-88-17-82.dynamicip.rima-tde.net) |
| 20:46:29 | <ski> | elaborate ? |
| 20:47:16 | × | ccntrq quits (~Thunderbi@172.209.94.92.rev.sfr.net) (Remote host closed the connection) |
| 20:49:11 | geekosaur | just searched his logs, someone posted here a blog that had a BASIC-in-Haskell that was less featureful and more symbol-y than augustss's |
| 20:49:15 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:49:36 | <geekosaur> | 10$ ... and such |
| 20:50:01 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 20:51:18 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 20:52:02 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 20:53:09 | × | cosimone quits (~user@93-44-186-171.ip98.fastwebnet.it) (Read error: Connection reset by peer) |
| 20:53:43 | × | phma quits (phma@2001:5b0:211c:4d8:11d:2b38:21ca:1643) (Read error: Connection reset by peer) |
| 20:53:54 | → | alp_ joins (~alp@user/alp) |
| 20:54:21 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 20:55:01 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:00:02 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 21:00:12 | → | phma joins (phma@2001:0:c38c:c38c:2439:232:bcd3:2f91) |
| 21:00:25 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 21:02:40 | <[exa]> | ski: not much to elaborate actually, it was for transforming various array-processing code into something that looks regular. The transformation from jumps to loops was surprisingly similar to what people do to get pointfree functions from pointy ones, except the basic set of "tricks" for the transformation was different |
| 21:05:08 | × | phma quits (phma@2001:0:c38c:c38c:2439:232:bcd3:2f91) (Ping timeout: 255 seconds) |
| 21:05:11 | <ski> | hm, so going from a graph of basic blocks to loops ? |
| 21:05:12 | → | phma_ joins (~phma@host-67-44-208-110.hnremote.net) |
| 21:05:31 | <ski> | (what kind of loops ?) |
| 21:06:29 | <[exa]> | yeah, basic blocks to something that resembles organized loops |
| 21:07:05 | <[exa]> | generally trying to recover an iterator variable + increment function so that the compiler can vectorize it |
| 21:07:15 | × | ddellacosta quits (~ddellacos@89.45.224.112) (Ping timeout: 248 seconds) |
| 21:08:07 | × | pagnol quits (~me@213-205-209-87.ftth.glasoperator.nl) (Ping timeout: 252 seconds) |
| 21:08:26 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 244 seconds) |
| 21:09:01 | → | ddellacosta joins (~ddellacos@143.244.47.100) |
| 21:12:17 | <ski> | [exa] : reminds me of one time i was figuring out a flowchart for a backtracking problem (generating combinations), in my head. then i wrote it down on paper, and then reverse-engineered it into `if' and `for' (C). i also had one `goto' out of the loop body, and one back inside again (simulating a recursive call, coupled with using an array for stack) |
| 21:12:27 | → | cosimone joins (~user@93-44-186-171.ip98.fastwebnet.it) |
| 21:12:30 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 21:13:07 | × | king_gs quits (~Thunderbi@187.201.216.244) (Read error: Connection reset by peer) |
| 21:14:04 | <ski> | oh, chapter 2 of Raphael Finkel's book "Advanced Programming Language Design" in 1996 at <https://web.archive.org/web/20150522052725/http://www.nondot.org/sabre/Mirrored/AdvProgLangDesign/> mentions "power loops", which i think could also have been used to express this |
| 21:14:49 | → | king_gs joins (~Thunderbi@2806:103e:29:da7a:1f74:531c:dec2:7aec) |
| 21:16:16 | <ski> | (it also describes a continuation-based language (continuations as only abstraction mechanism), Io, by Raphael L. Levien, described in his paper "Io: a new programming notation" in 1989-09-10 at <https://dl.acm.org/doi/10.1145/70931.70934> .. |
| 21:16:20 | <ski> | @where Amalthea |
| 21:16:20 | <lambdabot> | Implementation made by Martin Sandin of the (continuation-based) `Io' language at <http://web.archive.org/web/20091106041222/http://www.guldheden.com/~sandin/amalthea.html> |
| 21:16:25 | <ski> | @where Ganymede |
| 21:16:25 | <lambdabot> | Implementation by BMeph of the (continuation-based) `Io' language at <http://hackage.haskell.org/package/Ganymede> |
| 21:16:28 | <ski> | ) |
| 21:17:39 | → | mekeor[m] joins (~mekeormat@2001:470:69fc:105::17e4) |
| 21:18:13 | drlkf_ | is now known as drlkf |
| 21:18:35 | × | drlkf quits (~drlkf@drlkf.net) (Quit: drlkf) |
| 21:19:21 | → | cthaeh^ joins (~cthaeh@50.231.67.43) |
| 21:19:45 | → | drlkf joins (~drlkf@drlkf.net) |
| 21:22:14 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 21:22:32 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 21:24:24 | <mekeor[m]> | hello :) any idea why this simple code yields a "variable not in scope: l" compilation error? http://ix.io/47ID/hs -- when i remove the "do" together with the newline after it, it works just fine |
| 21:26:45 | <geekosaur> | works fine here? |
| 21:31:01 | <geekosaur> | https://paste.tomsmeding.com/DEK3jGEy |
| 21:31:36 | <mekeor[m]> | geekosaur: thanks. i guess something about my emacs org mode babel code evaluation is flawed then... |
| 21:34:31 | × | jgeerds quits (~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 252 seconds) |
| 21:37:42 | → | sseefried joins (~sseefried@211.30.155.255) |
| 21:38:21 | <sseefried> | Is this the right channel to ask questions about building with Nix. |
| 21:38:41 | <sseefried> | Specifically I'd like to know about flakes and materialization |
| 21:39:17 | <sseefried> | I find Nix is very reliable for building something from a git repo but when I want to update that project I run into all sorts of problems |
| 21:39:28 | <sseefried> | And there's a real paucity of good documentation |
| 21:40:05 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 21:41:47 | phma_ | is now known as phma |
| 21:43:16 | <ryantrinkle> | sseefried: #nixos would be a better channel |
| 21:43:27 | <ryantrinkle> | but a lot of haskell folks (myself included) do use nix |
| 21:44:01 | → | yvan-sraka joins (~yvan-srak@102.52.136.115) |
| 21:45:41 | × | sseefried quits (~sseefried@211.30.155.255) (Quit: Client closed) |
| 21:50:26 | → | nate4 joins (~nate@98.45.169.16) |
| 21:51:11 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 21:51:14 | × | king_gs quits (~Thunderbi@2806:103e:29:da7a:1f74:531c:dec2:7aec) (Ping timeout: 256 seconds) |
| 21:53:22 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 21:53:55 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 21:59:15 | ← | jakalx parts (~jakalx@base.jakalx.net) (Disconnected: Replaced by new connection) |
| 21:59:16 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 22:00:00 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 22:04:33 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 22:06:18 | → | king_gs joins (~Thunderbi@187.201.216.244) |
| 22:07:25 | × | shailangsa quits (~shailangs@host86-185-98-81.range86-185.btcentralplus.com) (Remote host closed the connection) |
| 22:10:30 | × | alp_ quits (~alp@user/alp) (Ping timeout: 256 seconds) |
| 22:10:52 | → | sseefried joins (~sseefried@211.30.155.255) |
| 22:10:56 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 22:13:23 | × | ddellacosta quits (~ddellacos@143.244.47.100) (Ping timeout: 248 seconds) |
| 22:13:45 | → | talismanick joins (~talismani@campus-009-007.ucdavis.edu) |
| 22:16:33 | → | sagax joins (~sagax_nb@user/sagax) |
| 22:16:36 | → | adanwan_ joins (~adanwan@gateway/tor-sasl/adanwan) |
| 22:17:18 | × | `2jt quits (~jtomas@56.red-88-17-82.dynamicip.rima-tde.net) (Ping timeout: 256 seconds) |
| 22:17:35 | → | alp_ joins (~alp@user/alp) |
| 22:17:38 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds) |
| 22:17:38 | × | califax quits (~califax@user/califx) (Ping timeout: 268 seconds) |
| 22:17:44 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Quit: _) |
| 22:18:21 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 22:19:33 | × | sseefried quits (~sseefried@211.30.155.255) (Quit: Client closed) |
| 22:21:46 | → | califax joins (~califax@user/califx) |
| 22:23:25 | × | Midjak quits (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 22:23:41 | × | zeenk quits (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 22:25:05 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 22:27:15 | × | acidjnk quits (~acidjnk@p200300d6e7137a99b93ef1c596330c2d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 22:27:41 | × | Major_Biscuit quits (~MajorBisc@46-229-126.internethome.cytanet.com.cy) (Ping timeout: 252 seconds) |
| 22:29:23 | × | talismanick quits (~talismani@campus-009-007.ucdavis.edu) (Ping timeout: 248 seconds) |
| 22:31:56 | → | sseefried joins (~sseefried@211.30.155.255) |
| 22:32:07 | × | ec quits (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 22:33:07 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 22:33:39 | × | BusConscious quits (~martin@ip5f5acdbc.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 22:36:05 | → | king_gs1 joins (~Thunderbi@2806:103e:29:da7a:1f74:531c:dec2:7aec) |
| 22:36:14 | × | king_gs quits (~Thunderbi@187.201.216.244) (Read error: Connection reset by peer) |
| 22:36:14 | king_gs1 | is now known as king_gs |
| 22:36:18 | × | sseefried quits (~sseefried@211.30.155.255) (Quit: Leaving) |
| 22:37:00 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:40:32 | × | alp_ quits (~alp@user/alp) (Ping timeout: 256 seconds) |
| 22:45:31 | × | yvan-sraka quits (~yvan-srak@102.52.136.115) (Remote host closed the connection) |
| 22:48:35 | × | nate4 quits (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 22:49:32 | → | shailangsa joins (~shailangs@host86-185-98-81.range86-185.btcentralplus.com) |
| 22:50:58 | × | gustik quits (~gustik@2a01:c844:2457:2220:475d:34f:d571:996f) (Quit: Leaving) |
| 22:54:05 | → | yvan-sraka joins (~yvan-srak@102.52.136.115) |
| 22:58:05 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 22:59:47 | × | king_gs quits (~Thunderbi@2806:103e:29:da7a:1f74:531c:dec2:7aec) (Ping timeout: 248 seconds) |
| 23:00:35 | × | Tuplanolla quits (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:07:46 | × | yvan-sraka quits (~yvan-srak@102.52.136.115) (Remote host closed the connection) |
| 23:10:05 | → | alp_ joins (~alp@user/alp) |
| 23:13:22 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 23:20:01 | → | jmorris joins (uid537181@id-537181.uxbridge.irccloud.com) |
| 23:22:43 | × | vglfr quits (~vglfr@145.224.94.75) (Ping timeout: 248 seconds) |
| 23:23:06 | → | vglfr joins (~vglfr@145.224.94.75) |
| 23:39:11 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 23:39:33 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 23:47:16 | → | luffy joins (~chenqisu1@183.217.201.23) |
| 23:55:30 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
All times are in UTC on 2022-08-15.