#ponylang on 2018-03-23 — irc logs at freenode.irclog.whitequark.org

2016-11-09 00:11 jemc changed the topic of #ponylang to: Welcome! Please check out our Code of Conduct => https://github.com/ponylang/ponyc/blob/master/CODE_OF_CONDUCT.md | Public IRC logs are available => http://irclog.whitequark.org/ponylang | Please consider participating in our mailing lists => https://pony.groups.io/g/pony

00:03 aturley has quit [Quit: aturley]

00:08 aturley has joined #ponylang

00:10 aturley has quit [Client Quit]

00:16 acarrico has joined #ponylang

00:27 khan has quit [Quit: khan]

00:27 khan has joined #ponylang

00:31 khan has quit [Client Quit]

00:31 khan has joined #ponylang

01:10 aturley has joined #ponylang

01:56 khan has quit [Quit: khan]

01:57 khan has joined #ponylang

02:02 khan has quit [Quit: khan]

02:02 khan has joined #ponylang

02:06 khan has quit [Client Quit]

02:07 khan has joined #ponylang

02:11 khan has quit [Client Quit]

02:12 khan has joined #ponylang

02:16 khan has quit [Client Quit]

02:16 khan has joined #ponylang

02:22 khan has quit [Quit: khan]

02:22 khan has joined #ponylang

02:26 khan has quit [Client Quit]

02:27 khan has joined #ponylang

02:31 nisanharamati has quit [Quit: Connection closed for inactivity]

02:37 aturley has quit [Quit: aturley]

02:47 khan has quit [Quit: khan]

02:47 khan has joined #ponylang

02:51 khan has quit [Client Quit]

02:52 khan has joined #ponylang

03:02 khan has quit [Quit: khan]

03:02 khan has joined #ponylang

03:07 khan has quit [Client Quit]

03:07 khan has joined #ponylang

03:11 khan has quit [Client Quit]

03:12 khan has joined #ponylang

03:13 jemc has joined #ponylang

03:16 khan has quit [Client Quit]

03:17 khan has joined #ponylang

03:22 khan has quit [Quit: khan]

03:22 khan has joined #ponylang

03:26 khan has quit [Client Quit]

03:27 khan has joined #ponylang

03:29 jemc has quit [Ping timeout: 260 seconds]

03:53 jemc has joined #ponylang

04:16 inara has quit [Quit: Leaving]

04:17 khan has quit [Quit: khan]

04:17 khan has joined #ponylang

04:19 inara has joined #ponylang

04:56 khan has quit [Quit: khan]

04:57 khan has joined #ponylang

05:01 khan has quit [Client Quit]

05:02 khan has joined #ponylang

05:55 sternmull has joined #ponylang

06:01 khan has quit [Quit: khan]

06:02 khan has joined #ponylang

06:06 khan has quit [Client Quit]

06:07 khan has joined #ponylang

06:35 jemc has quit [Ping timeout: 240 seconds]

06:37 sternmull has quit [Ping timeout: 264 seconds]

06:47 khan has quit [Quit: khan]

06:47 khan has joined #ponylang

06:51 khan has quit [Client Quit]

06:52 khan has joined #ponylang

06:55 goughy has quit [Quit: WeeChat 2.0.1]

06:56 khan has quit [Client Quit]

06:57 khan has joined #ponylang

07:02 khan has quit [Client Quit]

07:02 khan has joined #ponylang

07:07 khan has quit [Client Quit]

07:07 khan has joined #ponylang

07:11 khan has quit [Client Quit]

07:12 khan has joined #ponylang

07:16 khan has quit [Client Quit]

07:17 khan has joined #ponylang

07:29 gokr has joined #ponylang

07:52 khan has quit [Quit: khan]

07:52 khan has joined #ponylang

08:26 khan has quit [Quit: khan]

08:27 khan has joined #ponylang

08:29 vaninwagen_ has joined #ponylang

08:31 khan has quit [Client Quit]

08:38 gokr has left #ponylang [#ponylang]

08:56 vaninwagen_ has quit [Ping timeout: 240 seconds]

09:38 codec1 has joined #ponylang

10:03 brainproxy has quit [Ping timeout: 264 seconds]

10:11 bimawa1 has joined #ponylang

10:12 bimawa has quit [Ping timeout: 248 seconds]

10:29 brainproxy has joined #ponylang

10:33 brainproxy has quit [Ping timeout: 240 seconds]

10:41 brainproxy has joined #ponylang

11:14 brainproxy has quit [Ping timeout: 240 seconds]

11:19 sternmull has joined #ponylang

11:20 brainproxy has joined #ponylang

11:35 khan has joined #ponylang

11:53 brainproxy has quit [Ping timeout: 240 seconds]

11:55 brainproxy has joined #ponylang

12:05 alxs has joined #ponylang

12:07 alxs has quit [Client Quit]

12:11 sternmull has quit [Ping timeout: 240 seconds]

12:12 qh has joined #ponylang

12:21 _andre has joined #ponylang

12:26 inoas has joined #ponylang

12:28 brainproxy has quit [Ping timeout: 240 seconds]

12:30 qh has quit [Quit: Page closed]

12:34 brainproxy has joined #ponylang

13:07 brainproxy has quit [Ping timeout: 240 seconds]

13:11 aturley has joined #ponylang

13:12 aturley has quit [Client Quit]

13:13 SenasOzys_ has quit [Read error: Connection reset by peer]

13:13 SenasOzys has joined #ponylang

13:18 brainproxy has joined #ponylang

13:34 alxs has joined #ponylang

13:39 alxs has quit [Quit: Computer's gone to sleep. ZZZzzz…]

13:46 alxs has joined #ponylang

13:51 brainproxy has quit [Ping timeout: 240 seconds]

14:00 brainproxy has joined #ponylang

14:07 alxs has quit [Quit: Computer's gone to sleep. ZZZzzz…]

14:11 alxs has joined #ponylang

14:12 SenasOzys has quit [Ping timeout: 256 seconds]

14:17 jemc has joined #ponylang

14:17 SenasOzys has joined #ponylang

14:17 aturley has joined #ponylang

14:27 sternmull has joined #ponylang

14:29 Praetonus has joined #ponylang

14:33 brainproxy has quit [Ping timeout: 268 seconds]

14:35 brainproxy has joined #ponylang

14:56 sternmull has quit [Ping timeout: 260 seconds]

14:58 alxs has quit [Quit: Computer's gone to sleep. ZZZzzz…]

15:06 gokr has joined #ponylang

15:08 brainproxy has quit [Ping timeout: 248 seconds]

15:13 brainproxy has joined #ponylang

15:16 alxs has joined #ponylang

15:25 alxs has quit [Quit: Computer's gone to sleep. ZZZzzz…]

15:38 khan has quit [Quit: khan]

15:39 khan has joined #ponylang

15:43 khan has quit [Client Quit]

15:43 khan has joined #ponylang

15:47 brainproxy has quit [Ping timeout: 264 seconds]

15:52 brainproxy has joined #ponylang

16:05 Guest88264 has quit [Remote host closed the connection]

16:07 percival has joined #ponylang

16:10 percival has quit [Remote host closed the connection]

16:11 percival has joined #ponylang

16:12 percival has quit [Remote host closed the connection]

16:12 percival2 has joined #ponylang

16:13 percival2 is now known as percival

16:13 percival is now known as Guest88353

16:26 brainproxy has quit [Ping timeout: 256 seconds]

16:30 alxs has joined #ponylang

16:36 brainproxy has joined #ponylang

16:36 nisanharamati has joined #ponylang

16:36 gokr has quit [Quit: Leaving.]

16:45 sternmull has joined #ponylang

16:46 inoas has quit [Ping timeout: 260 seconds]

17:01 alxs has quit [Quit: Computer's gone to sleep. ZZZzzz…]

17:08 brainproxy has quit [Ping timeout: 240 seconds]

17:11 brainproxy has joined #ponylang

17:35 ondreian has joined #ponylang

17:36 alxs has joined #ponylang

17:45 brainproxy has quit [Ping timeout: 276 seconds]

17:49 brainproxy has joined #ponylang

17:50 <ondreian> So I'm trying to grok reference capabilities, I figured out how to fix the Rainbow example and I thought making a generic Registry Actor might be a good next step.

17:50 <ondreian> But I'm rather lost on why the compiler is complaining

17:50 <ondreian> https://gist.github.com/ondreian/30a3ffbe35345fabe6a0ff91db560e42

17:51 alxs has quit [Quit: Computer's gone to sleep. ZZZzzz…]

17:52 inoas has joined #ponylang

17:53 inoas has quit [Client Quit]

17:53 alxs has joined #ponylang

17:55 <aturley> ondreian the first two errors are because the lambdas themselves need to have a ref cap of `tag`.

17:55 inoas has joined #ponylang

17:55 <aturley> line 7 should be `be fetch(key: String, cb: ({tag (T)} tag))`

17:55 <aturley> well, it doesn't have to be `tag`, but something sendable.

17:56 <aturley> same with line 10.

17:57 <ondreian> ah ok that makes sense

17:57 inoas has quit [Client Quit]

17:59 user10032 has joined #ponylang

18:01 <aturley> ondreian can you constrain the type of `T` to always be `tag`? you'd change line 4 to `actor Registry[T: Any tag]`

18:03 <ondreian> Sure, I guess that works. It's just a Registry of Actors anyway.

18:04 <ondreian> Though I would have liked to be able to generalize it to something like `Registry[Array[String]]`

18:04 <aturley> then you wouldn't have to say `T tag` everywhere.

18:11 ybden has joined #ponylang

18:11 <aturley> one thing to keep in mind is that you're inherently going to need to limit the reference capabilities of the objects that come through the behaviors, because those ref caps will need to be something sendable.

18:15 <ondreian> you mean the objects that are returned, not the parameters that are sent to a behavior, correct?

18:16 <ondreian> i'm using "returned" loosely here, since i'm actually using a callback

18:19 <Praetonus> ondreian: Every object sent in a message must be sendable, and since behaviour calls are message sends, their parameters must be sendable

18:19 codec1 has quit [Ping timeout: 268 seconds]

18:23 brainproxy has quit [Ping timeout: 268 seconds]

18:26 ondreian has quit [Ping timeout: 260 seconds]

18:27 <jemc> yeah, there's basically no way to get an object reference from one actor to another unless that reference is "sendable" (safe to send) - this is basically the core of what reference capabilities are designed to do

18:29 alxs has quit [Quit: Computer's gone to sleep. ZZZzzz…]

18:33 brainproxy has joined #ponylang

19:06 brainproxy has quit [Ping timeout: 268 seconds]

19:09 Praetonus has quit [Ping timeout: 240 seconds]

19:14 brainproxy has joined #ponylang

19:29 Praetonus has joined #ponylang

19:32 izabera has left #ponylang ["WeeChat 1.9.1"]

19:33 khan has quit [Quit: khan]

19:34 khan has joined #ponylang

19:34 alxs has joined #ponylang

19:36 Guest88353 has quit [Remote host closed the connection]

19:37 alxs has quit [Client Quit]

19:38 codec1 has joined #ponylang

19:38 khan has quit [Client Quit]

19:38 khan has joined #ponylang

19:47 brainproxy has quit [Ping timeout: 240 seconds]

19:49 brainproxy has joined #ponylang

20:07 jemc has quit [Ping timeout: 240 seconds]

20:09 jemc has joined #ponylang

20:23 brainproxy has quit [Ping timeout: 276 seconds]

20:26 gokr has joined #ponylang

20:27 SenasOzys has quit [Ping timeout: 240 seconds]

20:32 alxs has joined #ponylang

20:33 brainproxy has joined #ponylang

20:36 alxs has quit [Client Quit]

20:43 SenasOzys has joined #ponylang

20:55 Praetonus has quit [Ping timeout: 240 seconds]

20:55 user10032 has quit [Quit: Leaving]

20:57 endformationage has joined #ponylang

20:58 khan has quit [Quit: khan]

20:59 khan has joined #ponylang

21:03 khan has quit [Client Quit]

21:03 khan has joined #ponylang

21:08 Praetonus has joined #ponylang

21:09 brainproxy has quit [Ping timeout: 264 seconds]

21:15 aturley has quit [Quit: aturley]

21:19 jemc has quit [Ping timeout: 246 seconds]

21:23 Praetonus has quit [Quit: Leaving]

21:28 sternmull has quit [Ping timeout: 240 seconds]

21:35 brainproxy has joined #ponylang

21:38 alxs has joined #ponylang

21:39 _andre has quit [Quit: leaving]

21:39 alxs has quit [Client Quit]

22:30 alxs has joined #ponylang

22:35 alxs has quit [Client Quit]

22:51 inoas has joined #ponylang

22:54 codec1 has quit [Read error: Connection reset by peer]

22:56 inoas has quit [Quit: inoas]

22:57 alxs has joined #ponylang

23:02 alxs has quit [Quit: Computer's gone to sleep. ZZZzzz…]

23:15 codec1 has joined #ponylang

23:46 gokr has quit [Ping timeout: 268 seconds]

23:51 codec1 has quit [Read error: Connection reset by peer]