Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4928 4929 4930 4931 4932 4933 4934 4935 4936 4937 4938 .. 5022
— 502,152 events total
2021-05-17 18:43:37 × Jesin quits (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving)
2021-05-17 18:44:31 × ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds)
2021-05-17 18:45:33 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-17 18:46:46 × chris__ quits (~chris@81.96.113.213) (Ping timeout: 240 seconds)
2021-05-17 18:48:23 → falafel joins (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com)
2021-05-17 18:49:30 → juuandyy joins (~juuandyy@90.106.228.121)
2021-05-17 18:52:22 × knyppeldynan quits (~kristina@h-178-174-136-151.NA.cust.bahnhof.se) (Ping timeout: 252 seconds)
2021-05-17 18:53:38 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 246 seconds)
2021-05-17 18:56:35 × Aquazi quits (uid312403@gateway/web/irccloud.com/x-fneayqvblanweaap) (Quit: Connection closed for inactivity)
2021-05-17 18:58:11 × notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds)
2021-05-17 18:58:31 <cdsmith> I've thought about similar things in the past. My thoughts were more ambitious: I wanted to be able to select an arbitrary subexpression anywhere in a file and get its value. And I wanted to turn captured variables into implicit lambdas. I've tried to advocate for something like this using a GHC plugin in the past. It's been mostly dismissed by anyone I discussed it with.
2021-05-17 18:58:32 → chris__ joins (~chris@81.96.113.213)
2021-05-17 18:59:29 <geekosaur> tbh it sounds more like the province of haskell-language-server these days
2021-05-17 18:59:30 × stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds)
2021-05-17 19:00:00 <geekosaur> having ghc do it would be conflating compile time with run time
2021-05-17 19:00:07 <cdsmith> Yeah, it would definitely fit in well there. I was looking for it for CodeWorld, which is another Haskell development environment
2021-05-17 19:00:17 × michalz quits (~user@185.246.204.59) (Ping timeout: 246 seconds)
2021-05-17 19:00:57 <cdsmith> I'm not sure HLS could do something like that without some help from GHC
2021-05-17 19:01:48 <geekosaur> hm. I think the emacs mode can already send an arbitrary selected expression to an inferior ghci to be evaluated, with some limitations
2021-05-17 19:02:19 × chris__ quits (~chris@81.96.113.213) (Remote host closed the connection)
2021-05-17 19:03:00 → chris__ joins (~chris@81.96.113.213)
2021-05-17 19:03:03 <cdsmith> Ah, yes. There's a subtle difference, though, between "what does the text of this selection evaluate to as a top-level expression?" and "what does this subexpression evaluate to in context?" The first is a rather rough approximation of the second
2021-05-17 19:04:18 → Jesin joins (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net)
2021-05-17 19:05:28 → ystael joins (~ystael@117.sub-174-242-64.myvzw.com)
2021-05-17 19:05:35 → gekh joins (~gkh@thor.kevinhill.nl)
2021-05-17 19:05:58 <cdsmith> This discussion about accessing let-bound definitions is a perfect example of the limitations of the first approach by itself
2021-05-17 19:07:11 <dolio> Some subexpressions aren't going to have any well defined value according to the normal mode of evaluation that GHC/Haskell uses.
2021-05-17 19:07:11 × chris__ quits (~chris@81.96.113.213) (Ping timeout: 240 seconds)
2021-05-17 19:07:39 × nyd quits (~nyd@unaffiliated/elysian) (Quit: nyd)
2021-05-17 19:08:26 → aez joins (~user@cpc121174-oxfd28-2-0-cust220.4-3.cable.virginm.net)
2021-05-17 19:09:04 × xenon- quits (~bc817c21@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout))
2021-05-17 19:09:11 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-17 19:09:33 <cdsmith> dolio: I'm curious what you mean here. Example?
2021-05-17 19:10:20 → geowiesnot joins (~user@87-89-181-157.abo.bbox.fr)
2021-05-17 19:11:50 <dolio> f x = ... where y = 2 + 3 + x
2021-05-17 19:11:55 → _noblegas joins (uid91066@gateway/web/irccloud.com/x-ckbdfvkxrkaybdcu)
2021-05-17 19:12:12 <dolio> `2 + 3 + x` has no well defined value.
2021-05-17 19:12:25 → stree joins (~stree@68.36.8.116)
2021-05-17 19:12:27 <dolio> None of GHC's runtimes evaluate open terms.
2021-05-17 19:13:28 → Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:48ba:635:8684:1c7d)
2021-05-17 19:13:36 × vchlup quits (~vchlup@nat.brnet.cz) (Read error: Connection reset by peer)
2021-05-17 19:14:05 → vchlup joins (~vchlup@nat.brnet.cz)
2021-05-17 19:14:15 → ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-17 19:14:20 <cdsmith> Sure. Free variables would need to be lifted into something like lambdas.
2021-05-17 19:15:27 → Deide joins (~Deide@217.155.19.23)
2021-05-17 19:18:41 × ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-05-17 19:21:34 → frozenErebus joins (~frozenEre@94.129.65.28)
2021-05-17 19:23:25 × aez quits (~user@cpc121174-oxfd28-2-0-cust220.4-3.cable.virginm.net) (Quit: ERC (IRC client for Emacs 27.1))
2021-05-17 19:23:26 × elliott_ quits (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2021-05-17 19:26:41 × oxide quits (~lambda@unaffiliated/mclaren) (Ping timeout: 240 seconds)
2021-05-17 19:28:38 × kuribas quits (~user@ptr-25vy0i7nzwn8pwwmwkq.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2021-05-17 19:29:00 → oxide joins (~lambda@unaffiliated/mclaren)
2021-05-17 19:30:10 × TK__ quits (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c) (Remote host closed the connection)
2021-05-17 19:30:55 × qwerty2o quits (~qwerty2o@46-116-99-209.bb.netvision.net.il) (Ping timeout: 265 seconds)
2021-05-17 19:31:05 → qwerty2o joins (~qwerty2o@46-116-99-209.bb.netvision.net.il)
2021-05-17 19:32:37 → elliott_ joins (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net)
2021-05-17 19:37:40 × quinn quits (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.1 - https://znc.in)
2021-05-17 19:40:13 × parabolize quits (~paraboliz@98.43.173.221) (Ping timeout: 240 seconds)
2021-05-17 19:40:36 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-17 19:41:11 × geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Quit: Connection closed)
2021-05-17 19:41:32 → geekosaur joins (45870322@069-135-003-034.biz.spectrum.com)
2021-05-17 19:42:08 → parabolize joins (~paraboliz@98.43.173.221)
2021-05-17 19:42:22 → aezarebski joins (~user@cpc121174-oxfd28-2-0-cust220.4-3.cable.virginm.net)
2021-05-17 19:43:04 → quinn joins (~quinn@c-73-223-224-163.hsd1.ca.comcast.net)
2021-05-17 19:44:05 × geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 252 seconds)
2021-05-17 19:45:52 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-05-17 19:47:05 → ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-17 19:47:19 × hypercube quits (~hypercube@2603-6011-f901-9e5b-78b5-8b2f-cdb2-4171.res6.spectrum.com) (Ping timeout: 260 seconds)
2021-05-17 19:49:31 × frozenErebus quits (~frozenEre@94.129.65.28) (Ping timeout: 268 seconds)
2021-05-17 19:50:12 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-17 19:51:44 × ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds)
2021-05-17 19:52:28 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-17 19:56:03 × ystael quits (~ystael@117.sub-174-242-64.myvzw.com) (Read error: Connection reset by peer)
2021-05-17 20:01:00 × _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-05-17 20:06:28 × Guest6574 quits (~alexander@athedsl-351794.home.otenet.gr) (Ping timeout: 252 seconds)
2021-05-17 20:08:01 → m_shiraeeshi joins (~shiraeesh@109.166.58.146)
2021-05-17 20:09:06 × shiraeeshi quits (~shiraeesh@46.34.206.196) (Ping timeout: 240 seconds)
2021-05-17 20:09:24 × aezarebski quits (~user@cpc121174-oxfd28-2-0-cust220.4-3.cable.virginm.net) (Remote host closed the connection)
2021-05-17 20:09:47 → son0p joins (~ff@181.136.122.143)
2021-05-17 20:09:53 → benin joins (~benin@183.82.177.199)
2021-05-17 20:12:05 <dminuoso> dolio: What is an open term? A term free variables?
2021-05-17 20:13:01 × mrchampion quits (~mrchampio@206.186.171.254) (Ping timeout: 260 seconds)
2021-05-17 20:13:08 <dolio> Yes.
2021-05-17 20:13:52 × cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1)
2021-05-17 20:17:21 → howdoi joins (uid224@gateway/web/irccloud.com/x-uqafdsjabmkfwjxh)
2021-05-17 20:18:41 → sheepduck joins (~sheepduck@2607:fea8:2a60:b700::7a37)
2021-05-17 20:19:28 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-17 20:20:55 → ddellac__ joins (~ddellacos@83.143.246.105)
2021-05-17 20:22:31 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2021-05-17 20:23:44 × knupfer quits (~Thunderbi@200116b822d01a00f69634fffef0b45f.dip.versatel-1u1.de) (Ping timeout: 245 seconds)
2021-05-17 20:23:53 × qwerty2o quits (~qwerty2o@46-116-99-209.bb.netvision.net.il) (Ping timeout: 240 seconds)
2021-05-17 20:24:37 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-05-17 20:25:20 × ddellac__ quits (~ddellacos@83.143.246.105) (Ping timeout: 246 seconds)
2021-05-17 20:26:57 → mrchampion joins (~mrchampio@216-211-58-186.dynamic.tbaytel.net)
2021-05-17 20:27:41 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-17 20:29:15 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-17 20:30:35 → jamm_ joins (~jamm@unaffiliated/jamm)
2021-05-17 20:33:51 → Qwerky joins (~qwerky@178.197.228.14)
2021-05-17 20:33:55 × newdeal quits (~root@185.234.208.208.r.toneticgroup.pl) (Quit: leaving)
2021-05-17 20:34:38 × systemfault quits (sid267009@gateway/web/irccloud.com/x-weqjiwsrsizmsttb) (Ping timeout: 258 seconds)
←Prev  Next→
Page 1 .. 4928 4929 4930 4931 4932 4933 4934 4935 4936 4937 4938 .. 5022

All times are in UTC.