Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 188 189 190 191 192 193 194 195 196 197 198 .. 5022
— 502,152 events total
2020-09-24 19:13:58 → justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
2020-09-24 19:14:30 → coot joins (~coot@37.30.51.178.nat.umts.dynamic.t-mobile.pl)
2020-09-24 19:14:40 <Cheery> Can someone look in a bit and tell me if Ihave understood push/enter model correct? https://gist.github.com/cheery/685e28e2cd969451b0bde42ce801d269
2020-09-24 19:14:53 → John20 joins (~John@82.46.59.122)
2020-09-24 19:15:06 → kenran joins (~maier@i59F67B8B.versanet.de)
2020-09-24 19:17:15 <Cheery> The another thing I'd like to understand is the thunk update in STG. I wonder if they could be represented here through ST or IORefs.
2020-09-24 19:18:21 × mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-24 19:18:49 → mu joins (~mu@unaffiliated/mu)
2020-09-24 19:19:08 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-09-24 19:20:07 × AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving)
2020-09-24 19:20:27 × mu quits (~mu@unaffiliated/mu) (Client Quit)
2020-09-24 19:20:45 × oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 240 seconds)
2020-09-24 19:21:56 → ubert joins (~Thunderbi@91.141.2.79.wireless.dyn.drei.com)
2020-09-24 19:22:22 × John20 quits (~John@82.46.59.122) (Ping timeout: 256 seconds)
2020-09-24 19:23:23 × Zeb60 quits (3ed8d095@aftr-62-216-208-149.dynamic.mnet-online.de) (Remote host closed the connection)
2020-09-24 19:23:27 <koz_> Cheery: Push-enter essentially behaves like Forth I think?
2020-09-24 19:23:55 → CL0Pinette joins (~CL0Pinett@23.79.141.88.rev.sfr.net)
2020-09-24 19:23:58 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-24 19:24:32 × CL0Pinette quits (~CL0Pinett@23.79.141.88.rev.sfr.net) (Read error: Connection reset by peer)
2020-09-24 19:24:34 → mu joins (~mu@unaffiliated/mu)
2020-09-24 19:25:13 → CL0Pinette joins (~CL0Pinett@23.79.141.88.rev.sfr.net)
2020-09-24 19:25:14 × macrover quits (~macrover@ip70-189-231-35.lv.lv.cox.net) (Remote host closed the connection)
2020-09-24 19:25:28 × CL0Pinette quits (~CL0Pinett@23.79.141.88.rev.sfr.net) (Read error: Connection reset by peer)
2020-09-24 19:27:13 × ubert quits (~Thunderbi@91.141.2.79.wireless.dyn.drei.com) (Ping timeout: 265 seconds)
2020-09-24 19:27:36 → Dolly joins (585fd1fd@ti0203q160-5312.bb.online.no)
2020-09-24 19:27:54 × knupfer quits (~Thunderbi@200116b824801400903070b59b2b0fab.dip.versatel-1u1.de) (Quit: knupfer)
2020-09-24 19:28:01 → knupfer joins (~Thunderbi@200116b824801400903070b59b2b0fab.dip.versatel-1u1.de)
2020-09-24 19:29:00 × Dolly quits (585fd1fd@ti0203q160-5312.bb.online.no) (Remote host closed the connection)
2020-09-24 19:30:00 → adamwespiser joins (~adam_wesp@209.6.42.110)
2020-09-24 19:30:18 × _vaibhavingale_ quits (~Adium@203.188.228.27) (Quit: Leaving.)
2020-09-24 19:30:40 → noumenon joins (~daemon@113.51-175-156.customer.lyse.net)
2020-09-24 19:30:44 <dolio> I don't know if that representation is going to be able to really illustrate the difference between push/enter and eval/apply.
2020-09-24 19:30:48 × mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-24 19:31:19 → mu joins (~mu@unaffiliated/mu)
2020-09-24 19:31:56 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-24 19:33:27 × ericsagnes quits (~ericsagne@2405:6580:0:5100:b542:16d8:a998:3da8) (Ping timeout: 260 seconds)
2020-09-24 19:34:13 × adamwespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 246 seconds)
2020-09-24 19:34:16 → Dolly joins (585fd1fd@ti0203q160-5312.bb.online.no)
2020-09-24 19:34:44 × Dolly quits (585fd1fd@ti0203q160-5312.bb.online.no) (Remote host closed the connection)
2020-09-24 19:34:53 × bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds)
2020-09-24 19:36:36 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:fd4f:d033:4b52:6677) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-24 19:37:25 <dminuoso> Cheery: Did you read `How to make a fast curry: push/enter vs eval/apply` maybe? The introduction alone gives a very succint and accurate description.
2020-09-24 19:38:09 × thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-09-24 19:39:12 → thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-24 19:39:29 <koz_> dminuoso: Is that the paper that basically says 'don't use push/enter'?
2020-09-24 19:40:01 × danvet_ quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2020-09-24 19:40:33 <Cheery> I'm a bit confused because I thought STG is still doing push/enter ?
2020-09-24 19:41:16 × mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-24 19:41:22 → mu__ joins (~mu@unaffiliated/mu)
2020-09-24 19:41:40 → brewmarche joins (~brewmarch@aftr-62-216-202-59.dynamic.mnet-online.de)
2020-09-24 19:42:19 × brewmarche quits (~brewmarch@aftr-62-216-202-59.dynamic.mnet-online.de) (Client Quit)
2020-09-24 19:42:25 → finkata joins (~dpetrov@83.222.188.39)
2020-09-24 19:43:03 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:d1a:c51a:7e64:3fda)
2020-09-24 19:43:49 → adamwespiser joins (~adam_wesp@209.6.42.110)
2020-09-24 19:44:25 → chaosmasttter joins (~chaosmast@p200300c4a714f101b8e97b5389efff25.dip0.t-ipconnect.de)
2020-09-24 19:44:42 → someguy2143 joins (4579c1d6@ool-4579c1d6.dyn.optonline.net)
2020-09-24 19:44:43 ← someguy2143 parts (4579c1d6@ool-4579c1d6.dyn.optonline.net) ()
2020-09-24 19:44:49 → someguy2143 joins (4579c1d6@ool-4579c1d6.dyn.optonline.net)
2020-09-24 19:45:13 → Dolly joins (585fd1fd@ti0203q160-5312.bb.online.no)
2020-09-24 19:45:22 × thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-09-24 19:45:35 × mud quits (~mud@unaffiliated/kadoban) (Ping timeout: 265 seconds)
2020-09-24 19:45:43 → ericsagnes joins (~ericsagne@2405:6580:0:5100:5ab:3807:9c89:ee30)
2020-09-24 19:46:57 × irc_user quits (uid423822@gateway/web/irccloud.com/x-kkhmlwcffthfhnqd) (Quit: Connection closed for inactivity)
2020-09-24 19:48:22 × adamwespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 258 seconds)
2020-09-24 19:50:54 × mu__ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-24 19:51:19 → mu joins (~mu@unaffiliated/mu)
2020-09-24 19:51:37 × DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-09-24 19:52:16 × kenran quits (~maier@i59F67B8B.versanet.de) (Ping timeout: 260 seconds)
2020-09-24 19:52:34 → bae1 joins (~bael@50-108-75-213.adr01.mskg.mi.frontiernet.net)
2020-09-24 19:52:37 ← bae1 parts (~bael@50-108-75-213.adr01.mskg.mi.frontiernet.net) ()
2020-09-24 19:53:11 × someguy2143 quits (4579c1d6@ool-4579c1d6.dyn.optonline.net) (Remote host closed the connection)
2020-09-24 19:53:23 <Cheery> koz_: I did scan the paper through.. It's saying the choice there is distraction for a compiler, but doesn't say anything about interpreters.
2020-09-24 19:53:56 <Cheery> hm.. Maybe I should look into the rpython stg implementation and see if it's correctly built.
2020-09-24 19:54:16 <Cheery> https://github.com/cgswords/laurens
2020-09-24 19:55:39 × snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 258 seconds)
2020-09-24 19:57:13 → irc_user joins (uid423822@gateway/web/irccloud.com/x-yihbzzetonxuekrk)
2020-09-24 19:57:28 × geekosaur quits (42d52102@66.213.33.2) (Remote host closed the connection)
2020-09-24 19:59:22 → Noldorin joins (~noldorin@unaffiliated/noldorin)
2020-09-24 19:59:30 × shafox quits (~shafox@106.51.234.111) (Remote host closed the connection)
2020-09-24 20:00:04 <Cheery> but that's harder to look through though. I think the hard thing is the thunk updates.
2020-09-24 20:00:16 → inkbottle joins (~inkbottle@aaubervilliers-654-1-115-202.w86-198.abo.wanadoo.fr)
2020-09-24 20:00:54 × zebrag quits (~inkbottle@aaubervilliers-654-1-113-36.w86-198.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2020-09-24 20:00:54 × mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-24 20:01:19 → mu joins (~mu@unaffiliated/mu)
2020-09-24 20:01:30 × ransom quits (~c4264035@c-73-243-2-10.hsd1.co.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-24 20:02:04 <Cheery> It can be I overlook something.. The only place where a thunk is 'entered' is when it's dereferenced.
2020-09-24 20:04:20 × ahri quits (~ahri@178.209.40.84) (Quit: Ping timeout (120 seconds))
2020-09-24 20:04:24 <dminuoso> Cheery: The STG stack contains arguments and continuations.
2020-09-24 20:04:37 <dminuoso> On GHC's implementation, anyhow.
2020-09-24 20:04:39 → ahri joins (~ahri@178.209.40.84)
2020-09-24 20:04:56 → snakemasterflex joins (~snakemast@213.100.206.23)
2020-09-24 20:05:08 × barzo quits (~barzo@95.70.181.226) (Quit: Quit)
2020-09-24 20:05:28 hackage Z-IO 0.1.1.0 - Simple and high performance IO toolkit for Haskell https://hackage.haskell.org/package/Z-IO-0.1.1.0 (winterland)
2020-09-24 20:05:54 <dminuoso> For a better comparison, you can dive into ministg which provides both evaluation models
2020-09-24 20:06:07 <dminuoso> https://hackage.haskell.org/package/ministg
2020-09-24 20:07:29 × noumenon quits (~daemon@113.51-175-156.customer.lyse.net) (Quit: Leaving)
2020-09-24 20:08:33 <Cheery> oh so it doesn't change the STG, but there are two sets of operational semantics.
2020-09-24 20:08:57 <Cheery> sets of rules*
2020-09-24 20:08:58 <dolio> It doesn't change it much.
2020-09-24 20:09:23 <dolio> And it has a lot more influence on levels below STG.
←Prev  Next→
Page 1 .. 188 189 190 191 192 193 194 195 196 197 198 .. 5022

All times are in UTC.