#ponylang on 2018-02-11 — 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:13 gokr has quit [Ping timeout: 268 seconds]

01:35 khan has quit [Quit: khan]

01:36 khan has joined #ponylang

01:40 khan has quit [Client Quit]

01:40 khan has joined #ponylang

01:45 khan has quit [Client Quit]

01:45 khan has joined #ponylang

01:50 khan has quit [Quit: khan]

01:51 khan has joined #ponylang

02:19 codec1 has quit [Read error: Connection reset by peer]

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

02:44 acarrico has joined #ponylang

04:10 khan has quit [Quit: khan]

04:10 khan has joined #ponylang

04:20 khan_ has joined #ponylang

04:22 khan has quit [Ping timeout: 248 seconds]

04:22 khan_ is now known as khan

04:25 khan has quit [Quit: khan]

04:25 khan has joined #ponylang

04:40 khan has quit [Quit: khan]

04:40 khan has joined #ponylang

04:48 mahmudov has quit [Ping timeout: 248 seconds]

05:00 khan has quit [Quit: khan]

05:00 khan has joined #ponylang

05:30 khan has quit [Quit: khan]

05:30 khan has joined #ponylang

05:35 khan has quit [Client Quit]

05:35 khan has joined #ponylang

06:00 khan has quit [Quit: khan]

06:55 SenasOzys has joined #ponylang

06:57 endformationage has quit [Quit: WeeChat 1.9.1]

07:24 gokr has joined #ponylang

08:11 mahmudov has joined #ponylang

08:56 gokr has quit [Ping timeout: 265 seconds]

09:54 mahmudov has quit [Quit: Leaving]

09:54 mahmudov has joined #ponylang

09:55 gokr has joined #ponylang

10:13 mahmudov has quit [Remote host closed the connection]

10:14 user10032 has joined #ponylang

10:37 mahmudov has joined #ponylang

12:07 codec1 has joined #ponylang

13:18 khan has joined #ponylang

13:25 patroclos has quit [Remote host closed the connection]

14:23 patroclos has joined #ponylang

15:54 endformationage has joined #ponylang

16:34 mahmudov has quit [Ping timeout: 260 seconds]

17:02 khan has quit [Quit: khan]

17:02 khan has joined #ponylang

17:03 mahmudov has joined #ponylang

17:11 khan has quit [Quit: khan]

17:12 khan has joined #ponylang

17:32 khan has quit [Quit: khan]

17:32 khan has joined #ponylang

17:36 khan has quit [Client Quit]

17:37 khan has joined #ponylang

18:57 khan has quit [Quit: khan]

18:57 khan has joined #ponylang

19:01 khan has quit [Client Quit]

19:02 khan has joined #ponylang

19:16 vaninwagen has joined #ponylang

19:55 <vaninwagen> People: "Oh noooo! Not again!"

19:55 <vaninwagen> Me: https://www.ponylang.org/blog/2018/02/last-week-in-pony---february-11-2018/

19:55 <vaninwagen> Also me: https://www.youtube.com/watch?v=yNDUU4gHCuE

21:10 <vaninwagen> i just learned that i can write generic primitives in Pony http://playground.ponylang.org/?gist=5fca54b0691d6fb63f037f3cee5e4fa7

21:11 <vaninwagen> i guess this works due to reification, so in the above example i have exactly two instances of my primitive, one for each reified type

21:14 <vaninwagen> https://media.giphy.com/media/qpvJLiaXmTHaw/giphy.gif

21:22 khan has quit [Quit: khan]

21:22 khan has joined #ponylang

21:26 khan has quit [Client Quit]

21:27 khan has joined #ponylang

21:32 vaninwagen has quit [Quit: Ex-Chat]

21:34 endformationage has quit [Ping timeout: 256 seconds]

22:03 mahmudov has quit [Remote host closed the connection]

22:12 user10032 has quit [Quit: Leaving]

22:37 codec2 has joined #ponylang

22:39 codec1 has quit [Ping timeout: 255 seconds]

23:28 codec2 has quit [Read error: Connection reset by peer]

23:29 SenasOzys has quit [Ping timeout: 260 seconds]