#ponylang on 2018-05-12 — 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

01:00 nisanharamati has quit [Quit: Connection closed for inactivity]

01:16 jemc has quit [Quit: WeeChat 2.0.1]

02:36 brainpro1 has quit [Ping timeout: 240 seconds]

02:41 brainpro1 has joined #ponylang

02:45 brainpro1 has quit [Ping timeout: 240 seconds]

02:51 khan has quit [Quit: khan]

02:51 khan has joined #ponylang

02:56 khan has quit [Client Quit]

02:56 khan has joined #ponylang

03:06 khan has quit [Quit: khan]

03:06 khan has joined #ponylang

03:11 khan has quit [Client Quit]

03:12 khan has joined #ponylang

03:36 khan has quit [Quit: khan]

03:36 khan has joined #ponylang

03:41 khan has quit [Client Quit]

03:41 khan has joined #ponylang

03:53 brainpro1 has joined #ponylang

04:35 brainpro1 has quit [Ping timeout: 264 seconds]

05:06 brainpro1 has joined #ponylang

05:14 brainpro1 has quit [Ping timeout: 255 seconds]

05:16 jemc has joined #ponylang

05:19 endformationage has quit [Quit: WeeChat 1.9.1]

05:44 brainpro1 has joined #ponylang

06:01 brainpro1 has quit [Ping timeout: 264 seconds]

06:32 brainpro1 has joined #ponylang

06:40 brainpro1 has quit [Ping timeout: 246 seconds]

07:10 brainpro1 has joined #ponylang

07:11 khan has quit [Quit: khan]

07:12 khan has joined #ponylang

07:16 khan has quit [Client Quit]

07:16 khan has joined #ponylang

07:19 brainpro1 has quit [Ping timeout: 240 seconds]

07:21 khan has quit [Client Quit]

07:22 khan has joined #ponylang

07:26 jemc has quit [Quit: WeeChat 2.0.1]

07:26 khan has quit [Client Quit]

07:27 khan has joined #ponylang

07:56 khan has quit [Quit: khan]

07:57 khan has joined #ponylang

08:01 khan has quit [Client Quit]

08:02 khan has joined #ponylang

08:17 khan has quit [Quit: khan]

09:03 brainpro1 has joined #ponylang

09:17 SenasOzys has quit [Ping timeout: 260 seconds]

09:34 brainpro1 has quit [Ping timeout: 240 seconds]

10:24 brainpro1 has joined #ponylang

10:33 brainpro1 has quit [Ping timeout: 246 seconds]

10:42 jmiven has quit [Quit: +]

10:43 jmiven has joined #ponylang

10:55 SenasOzys has joined #ponylang

11:11 brainpro1 has joined #ponylang

11:19 brainpro1 has quit [Ping timeout: 240 seconds]

11:50 brainpro1 has joined #ponylang

11:58 brainpro1 has quit [Ping timeout: 248 seconds]

12:25 brainpro1 has joined #ponylang

13:14 jcc333 has joined #ponylang

13:21 irx[m] has quit [*.net *.split]

13:25 krig[m] has quit [Ping timeout: 260 seconds]

13:25 M-hrjet has quit [Ping timeout: 256 seconds]

13:25 srenatus has quit [Ping timeout: 250 seconds]

13:26 Miikka[m] has quit [Ping timeout: 260 seconds]

13:26 dtz has quit [Ping timeout: 276 seconds]

13:26 jcc333 has quit [Ping timeout: 260 seconds]

13:44 Miikka[m] has joined #ponylang

13:54 acarrico has joined #ponylang

14:05 khan has joined #ponylang

14:06 acarrico has quit [Ping timeout: 240 seconds]

14:14 srenatus has joined #ponylang

14:14 M-hrjet has joined #ponylang

14:14 dtz has joined #ponylang

14:14 irx[m] has joined #ponylang

14:14 krig[m] has joined #ponylang

14:15 SenasOzys has quit [Ping timeout: 264 seconds]

14:41 acarrico has joined #ponylang

14:58 SenasOzys has joined #ponylang

15:00 SenasOzys has quit [Remote host closed the connection]

15:01 SenasOzys has joined #ponylang

15:03 jemc has joined #ponylang

15:10 jemc has quit [Ping timeout: 260 seconds]

15:12 jemc has joined #ponylang

15:18 gokr has joined #ponylang

15:23 acarrico has quit [Ping timeout: 264 seconds]

15:31 acarrico has joined #ponylang

15:37 acarrico has quit [Ping timeout: 268 seconds]

15:59 jemc has quit [Ping timeout: 260 seconds]

16:29 khan has quit [Quit: khan]

16:29 khan has joined #ponylang

16:31 endformationage has joined #ponylang

16:38 khan has quit [Quit: khan]

16:39 khan has joined #ponylang

16:48 khan has quit [Quit: khan]

16:49 khan has joined #ponylang

16:53 khan has quit [Client Quit]

16:54 khan has joined #ponylang

17:24 khan has quit [Quit: khan]

17:24 khan has joined #ponylang

17:28 khan has quit [Client Quit]

17:29 khan has joined #ponylang

17:47 SenasOzys has quit [Ping timeout: 240 seconds]

18:14 SenasOzys has joined #ponylang

18:51 vaninwagen has joined #ponylang

19:28 khan has quit [Quit: khan]

19:29 khan has joined #ponylang

19:33 khan has quit [Client Quit]

19:34 khan has joined #ponylang

19:49 khan has quit [Quit: khan]

19:49 khan has joined #ponylang

19:53 khan has quit [Client Quit]

19:54 khan has joined #ponylang

19:56 <vaninwagen> hi. I have a question about generics: I have a parameterized class and another class that does something with that class (e.g. keeps it as a field), but it does so regardless of the type-parameter.

19:57 <vaninwagen> Right now the only way i could make it work was to give my class that works on the generic one also a type parameter, which needs to be set correspondingly to the "inner" class.

19:57 <vaninwagen> but i want to avoid exactly that and end up at something like this: https://playground.ponylang.org/?gist=6bdb0767e014f8207ef2f372ef4c41b3

19:57 <vaninwagen> is there a don't care type argument i could use?

19:59 <vaninwagen> like `GenericClass[_]`

20:04 SenasOzys has quit [Remote host closed the connection]

20:05 SenasOzys has joined #ponylang

21:01 <SeanTAllen> vaninwagen: i don't understand, how can you not care what the type of the inner class is AND not want to expose it?

21:02 <SeanTAllen> your example seems to very much care

21:03 <SeanTAllen> perhaps i am missing someting

21:03 <SeanTAllen> i guess i dont understand how the parameterized type is used.

21:13 <vaninwagen> SeanTAllen: given the example in this playground: https://playground.ponylang.org/?gist=6bdb0767e014f8207ef2f372ef4c41b3

21:14 <vaninwagen> imagine Paremeterized had a method called foo that does something regardless of the type param T, e.g. print some stat or something

21:15 <vaninwagen> and the only thing DontCareAboutGenerics is interested in is this function, not the generic part

21:15 <vaninwagen> i think i just answered my own question

21:17 <vaninwagen> hm no, i thought a simple interface might do it, but it doesn't seem to fit

21:17 <vaninwagen> the actual class that i want to remove the type param from is https://github.com/mfelsche/ponycheck/blob/master/ponycheck/property_unit_test.pony

21:18 <vaninwagen> maybe what i really want it generic inference

21:18 khan has quit [Quit: khan]

21:19 * vaninwagen gets back to his chamber to contemplate and to castigate myself

21:19 khan has joined #ponylang

21:23 khan has quit [Client Quit]

21:24 khan has joined #ponylang

21:29 khan has quit [Client Quit]

21:29 khan has joined #ponylang

21:33 khan has quit [Client Quit]

21:34 khan has joined #ponylang

21:59 khan has quit [Quit: khan]

21:59 khan has joined #ponylang

22:03 khan has quit [Client Quit]

22:04 khan has joined #ponylang

22:28 vaninwagen has quit [Quit: WeeChat 2.1]

22:40 <SeanTAllen> jtfmumm: did something with builders in Wallaroo that might help you out vaninwagen. He might have some ideas.

23:36 acarrico has joined #ponylang