!WkVPhTZzbUBGGVSkoK:matrix.org

cps

34 Members
Nim CPS discussion room. Bridged to #cps on libera.chat. Please refrain from posting multi-line messages or images.6 Servers

Load older messages


SenderMessageTime
25 Mar 2024
@leorize-irc-bridge:envs.netFromIRC<emery_> it's never been clear to me if adding a callback to a future is appending or setting a callback, and checking for errors is more work than cps20:26:56
@leorize-irc-bridge:envs.netFromIRC<emery_> futures are a bad stateful object that solves problems that language should be solving instead, like C++ iterator objects20:28:55
@leorize-irc-bridge:envs.netFromIRC<emery_> also, cps is better than jumping between stacks, which I couldn't do with solo5 because I can't allocate arbitrary memory regions for more stacks20:32:07
@leorize-irc-bridge:envs.netFromIRC<emery_> setjmp hacks are neat but only good for hacks20:32:52
@leorize-irc-bridge:envs.netFromIRC<emery_> I think the proc "coloring" isn't as bad as i thought it initially was, far few procs need to be colored than with asyncdispatch20:39:09
@leorize-irc-bridge:envs.netFromIRC<disruptek> what else did you expect, and how did cps meet/not-meet those expectations.20:40:23
@leorize-irc-bridge:envs.netFromIRC<emery_> asyncdispatch made me assume that I have to color everwhere up to the highest abstraction but with cps it stays internal20:40:35
@leorize-irc-bridge:envs.netFromIRC<emery_> uh...20:40:43
@leorize-irc-bridge:envs.netFromIRC<disruptek> right.20:40:51
@leorize-irc-bridge:envs.netFromIRC<emery_> I didn't have to customize Continuation, which I thought I had to20:41:16
@leorize-irc-bridge:envs.netFromIRC<disruptek> i really, really, really try not to impose that customization.20:41:38
@leorize-irc-bridge:envs.netFromIRC<disruptek> it's not a requirement of insideout, either.20:41:59
@leorize-irc-bridge:envs.netFromIRC<emery_> thats a general problem, looking for features and then looking how to use them, rather than focusing on solutions20:42:23
@leorize-irc-bridge:envs.netFromIRC<disruptek> but it's kinda the other side of the coin; opposite generics. so it's not exactly a win.20:42:33
@leorize-irc-bridge:envs.netFromIRC<emery_> I haven't looked at performance as yet because I'm more concerned with clean abstractions20:42:55
@leorize-irc-bridge:envs.netFromIRC<disruptek> what do you expect of the performance.20:43:12
@leorize-irc-bridge:envs.netFromIRC<emery_> dunno, I expect it to be within margin20:44:58
@leorize-irc-bridge:envs.netFromIRC<emery_> I remember looking at asyncdispatch internals and being supprised by how much the code was jumping around20:45:31
@leorize-irc-bridge:envs.netFromIRC<disruptek> memory consumption could be interesting, but it's probably not important in your use-case.20:46:13
@leorize-irc-bridge:envs.netFromIRC<emery_> I figure memory density with cps isn't great but I don't think I'm making long chains of continuations20:46:32
@leorize-irc-bridge:envs.netFromIRC<disruptek> right.20:47:01
@leorize-irc-bridge:envs.netFromIRC<emery_> I want to get a demo and writeup done for april 1st, but now I sleep20:51:07
@leorize-irc-bridge:envs.netFromIRC<disruptek> aight gn.20:51:15
@leorize-irc-bridge:envs.netFromIRC<Zevv> well, you got yourself a good and proper user there disruptek 21:27:02
@leorize-irc-bridge:envs.netFromIRC<Zevv> i guess at this point the cps users you *do* get are on the smarter side of the spectrum and can give you some meaningful feedback21:29:17
26 Mar 2024
@leorize-irc-bridge:envs.netFromIRC<disruptek> it seems to be hard for people to grasp the value proposition, or the significance of the choices made, without actually writing software with it.01:11:58
@leorize-irc-bridge:envs.netFromIRC<disruptek> i think this is why i am both satisfied and unsatisfied with the current impl. it /does/ work well. but after building a bunch of stuff with it, i have a much better sense for how it can work better.01:12:57
@blackmius:matrix.orgblackmius joined the room.20:17:22
@varriount_:matrix.orgvarriount
In reply to @leorize-irc-bridge:envs.net
<disruptek> i think this is why i am both satisfied and unsatisfied with the current impl. it /does/ work well. but after building a bunch of stuff with it, i have a much better sense for how it can work better.
Howso?
20:44:00
@leorize-irc-bridge:envs.netFromIRC<disruptek> as i said earlier: tco, generics, serialization, zero-alloc, cycle-free, with support for sub-procedures and copies.22:02:51

There are no newer messages yet.


Back to Room ListRoom Version: 6