#racket on 2019-05-09 — irc logs at freenode.irclog.whitequark.org

2019-03-10 18:20 lexi-lambda changed the topic of #racket to: Racket v7.2 has been released: https://blog.racket-lang.org/2019/01/racket-v7-2.html -- Racket -- https://racket-lang.org -- https://pkgs.racket-lang.org -- Paste at http://pasterack.org

00:05 Arcaelyx has quit [Ping timeout: 255 seconds]

00:20 lockywolf_ has quit [Ping timeout: 245 seconds]

00:28 pera has quit [Quit: leaving]

01:02 ZombieChicken has left #racket ["Have a nice day"]

01:10 lockywolf has joined #racket

01:15 moldybits has quit [Quit: WeeChat 2.4]

01:17 lockywolf_ has joined #racket

01:20 lockywolf has quit [Ping timeout: 244 seconds]

01:23 moldybits has joined #racket

01:23 caltelt has joined #racket

01:39 acarrico has joined #racket

01:46 Arcaelyx has joined #racket

01:46 q9929t has joined #racket

01:53 FreeFull has quit []

02:02 dddddd has quit [Remote host closed the connection]

02:03 libertyprime has quit [Ping timeout: 246 seconds]

02:05 libertyprime has joined #racket

02:05 lockywolf has joined #racket

02:06 acarrico has quit [Ping timeout: 248 seconds]

02:06 lockywolf_ has quit [Ping timeout: 248 seconds]

02:08 dieggsy has joined #racket

02:08 q9929t has quit [Quit: q9929t]

02:22 badkins has quit [Ping timeout: 248 seconds]

02:24 notzmv has quit [Ping timeout: 248 seconds]

02:24 lockywolf_ has joined #racket

02:27 lockywolf has quit [Ping timeout: 255 seconds]

02:27 johnjay has joined #racket

02:28 ubLIX has quit [Ping timeout: 245 seconds]

02:43 lockywolf_ has quit [Ping timeout: 245 seconds]

02:51 libertyprime has quit [Ping timeout: 246 seconds]

02:51 libertyprime has joined #racket

03:14 SenasOzys has quit [Ping timeout: 258 seconds]

03:16 lockywolf has joined #racket

03:29 caltelt has quit [Ping timeout: 258 seconds]

03:49 vraid has quit [Ping timeout: 258 seconds]

04:01 Sgeo__ has joined #racket

04:04 Sgeo_ has quit [Ping timeout: 252 seconds]

04:06 pierpal has quit [Quit: Poof]

04:07 pierpal has joined #racket

04:10 ricekrispie has joined #racket

04:12 ricekrispie2 has quit [Ping timeout: 245 seconds]

04:14 jao has quit [Ping timeout: 246 seconds]

04:20 sauvin has joined #racket

04:26 lockywolf has quit [Ping timeout: 255 seconds]

04:28 lockywolf has joined #racket

04:46 lockywolf has quit [Ping timeout: 248 seconds]

04:55 lockywolf has joined #racket

04:56 dbmikus_ has quit [Ping timeout: 252 seconds]

05:00 pierpal has quit [Read error: Connection reset by peer]

05:00 pierpal has joined #racket

05:35 lockywolf has quit [Remote host closed the connection]

05:42 ricekrispie2 has joined #racket

05:44 ricekrispie has quit [Ping timeout: 258 seconds]

05:53 libertyprime has quit [Remote host closed the connection]

06:13 ShalokShalom2 has joined #racket

06:13 <ShalokShalom2> hi there :D

06:13 <ShalokShalom2> https://docs.racket-lang.org/plai-typed/Type_Checking_and_Inference.html

06:13 <ShalokShalom2> this is just for typed-racket, correct?

06:14 <ShalokShalom2> since I see no reference to that one on this page..

06:14 <ShalokShalom2> and second question: does this mean the quality of rackets type inference is on the very same quality level as OCaml?

06:18 <winny> in racket, how do i read/write math/array array's?

06:18 <winny> when i write one, it is written as a list, do I have to eval it?

06:22 soegaard has joined #racket

06:43 <winny> ShalokShalom2: in practice I think you'll write around twice the number of annotations in Typed Racket than you'd write in ocaml or haskell

06:44 <ShalokShalom2> ok, I see

06:44 <ShalokShalom2> thanks

06:44 <ShalokShalom2> twice the amount of zero is zero :D

06:44 <winny> it seems really clever, but there are some shortcomings that make it difficult to achieve what ocaml or haskell can offer

06:44 <ShalokShalom2> ok, I see

06:44 <winny> I dunno, good ocaml or haskell needs annotations too

06:44 <ShalokShalom2> and you mean typed-racket by that?

06:44 <ShalokShalom2> very few times, yes

06:45 <ShalokShalom2> in comparison

06:45 <ShalokShalom2> and I can simply mix typed racket with say some sort of sweet racket?

06:45 <winny> like every library/public function should have an annotation, otherwise it is too easy to break our own types without realizing it

06:45 <ShalokShalom2> so to get some more ml feeling into it

06:45 <ShalokShalom2> :)

06:45 <ShalokShalom2> my ide shows me that

06:45 <ShalokShalom2> no need to type that out

06:46 <winny> i'd caution you away from depending on tools to show types, annotations are essential to make reusable libraries in either of those languages

06:46 <ShalokShalom2> thanks a lot

06:46 <ShalokShalom2> yeah, sure

06:53 ATuin has joined #racket

07:11 soegaard has quit [Quit: soegaard]

07:44 <ShalokShalom2> can anybody tell me, how to mix different rackets?

07:44 <ShalokShalom2> such as one which uses indendation for blocks together with typing?

07:49 soegaard has joined #racket

08:03 lavaflow_ is now known as lavaflow

08:03 <lavaflow> the documentation for the pict finders in Pict really leaves something to be desired.

08:04 <lavaflow> https://docs.racket-lang.org/pict/Pict_Finders.html

08:05 <lavaflow> I guess lt-find is "left-top" and rb-find is "right-bottom", but then what is rtl-find? right-top-left?

08:09 <lavaflow> ah okay, https://docs.racket-lang.org/pict/Pict_Combiners.html explains it more

08:18 vraid has joined #racket

08:46 notnotdan has joined #racket

08:47 dddddd has joined #racket

08:49 lockywolf has joined #racket

08:49 lockywolf_ has joined #racket

08:49 lockywolf_ has quit [Remote host closed the connection]

08:59 YuGiOhJCJ has quit [Quit: YuGiOhJCJ]

09:00 ShalokShalom2 has quit [Remote host closed the connection]

09:15 soegaard has quit [Quit: soegaard]

09:18 soegaard has joined #racket

09:29 <soegaard> lavaflow: agree (about the pict finders)

09:45 soegaard has quit [Quit: soegaard]

09:47 soegaard has joined #racket

09:58 euhmeuh has joined #racket

10:00 libertyprime has joined #racket

10:01 moldybits has quit [Quit: WeeChat 2.4]

10:07 <lavaflow> pict is really cool, but seems a bit rough in some spots

10:12 JStoker has quit [Ping timeout: 258 seconds]

10:13 orivej has quit [Ping timeout: 246 seconds]

10:13 moldybits has joined #racket

10:14 JStoker has joined #racket

10:32 lockywolf has quit [Ping timeout: 255 seconds]

11:02 orivej has joined #racket

11:09 soegaard has quit [Quit: soegaard]

11:12 soegaard has joined #racket

11:17 libertyprime has quit [Quit: Lost terminal]

11:18 libertyprime has joined #racket

11:22 lockywolf has joined #racket

11:28 lockywolf_ has joined #racket

11:31 lockywolf has quit [Ping timeout: 268 seconds]

11:36 eMBee has joined #racket

11:55 ubLIX has joined #racket

11:58 acarrico has joined #racket

11:59 DGASAU has quit [Read error: Connection reset by peer]

11:59 pierpal has quit [Quit: Poof]

11:59 pierpal has joined #racket

12:01 YuGiOhJCJ has joined #racket

12:02 DGASAU has joined #racket

12:21 <clacke_movim> ShalokShalom2: I was wondering the same myself the other day.

12:22 <clacke_movim> I beliiiieve if sweet is well done it should just be a matter of #lang sweet otherlanguage

12:23 <soegaard> lavaflow: FWIW there are some additional pict tools in MetaPict: http://soegaard.github.io/docs/metapict/metapict.html

12:24 <clacke_movim> otherlanguage would have to be a sexpr language, is typed/racket pure sexpr or are there special things?

12:26 <bremner> what do you mean by 'pure sexpr' ?

12:27 <clacke_movim> Does typed/racket use a special reader?

12:27 <bremner> not afaik

12:27 <clacke_movim> Or is it a bunch macros

12:27 <bremner> more the latter

12:27 ubLIX has quit [Ping timeout: 245 seconds]

12:28 <clacke_movim> Then I imagine sweet should work

12:28 <clacke_movim> But I'm not well informed

12:28 <clacke_movim> Try it out and report back to the channel :-)

12:29 <lavaflow> soegaard: oh nice

12:29 <bremner> can sweet expressions handle all of #lang racket?

12:29 <bremner> I can imagine some special reader things not handled.

12:44 acarrico has quit [Ping timeout: 246 seconds]

12:52 acarrico has joined #racket

12:55 libertyprime has quit [Ping timeout: 246 seconds]

12:56 soegaard has quit [Quit: soegaard]

13:02 acarrico has quit [Ping timeout: 255 seconds]

13:12 badkins has joined #racket

13:13 iyzsong has joined #racket

13:18 ng0 has joined #racket

13:55 acarrico has joined #racket

14:04 odanoburu has joined #racket

14:09 lockywolf__ has joined #racket

14:09 nullman` has joined #racket

14:09 efm has joined #racket

14:10 lockywolf__ has quit [Max SendQ exceeded]

14:11 lockywolf__ has joined #racket

14:12 efm has quit [Client Quit]

14:12 lockywolf__ has quit [Remote host closed the connection]

14:12 lockywolf_ has quit [Ping timeout: 268 seconds]

14:13 lockywolf__ has joined #racket

14:14 lockywolf__ has quit [Remote host closed the connection]

14:20 endformationage has joined #racket

14:30 ubLIX has joined #racket

14:32 lockywolf has joined #racket

14:49 ATuin has quit [Ping timeout: 258 seconds]

14:53 Arcaelyx has quit [Quit: Textual IRC Client: www.textualapp.com]

14:53 <dustyweb> wow

14:56 Arcaelyx has joined #racket

14:56 iyzsong has quit [Ping timeout: 248 seconds]

15:05 acarrico has quit [Ping timeout: 246 seconds]

15:27 vraid has quit [Quit: Leaving]

15:31 lockywolf_ has joined #racket

15:33 dbmikus_ has joined #racket

15:34 lockywolf has quit [Ping timeout: 248 seconds]

15:39 davidl has quit [Remote host closed the connection]

15:55 YuGiOhJCJ has quit [Ping timeout: 256 seconds]

16:01 YuGiOhJCJ has joined #racket

16:09 johnjay has quit [Ping timeout: 252 seconds]

16:18 dustyweb has quit [Remote host closed the connection]

16:18 dustyweb has joined #racket

16:27 lockywolf__ has joined #racket

16:28 lockywolf__ has quit [Max SendQ exceeded]

16:29 pera has joined #racket

16:29 lockywolf__ has joined #racket

16:29 lockywolf_ has quit [Ping timeout: 258 seconds]

16:31 dustyweb has quit [Ping timeout: 248 seconds]

16:34 odanoburu has quit [Quit: Connection closed for inactivity]

16:37 jao has joined #racket

16:39 FreeFull has joined #racket

16:52 johnjay has joined #racket

17:02 dbmikus_ has quit [Ping timeout: 244 seconds]

17:08 pera has quit [Ping timeout: 245 seconds]

17:22 dbmikus_ has joined #racket

17:25 pera has joined #racket

17:28 acarrico has joined #racket

17:47 pierpal has quit [Quit: Poof]

17:47 acarrico has quit [Ping timeout: 255 seconds]

17:47 pierpal has joined #racket

17:50 acarrico has joined #racket

17:53 dustyweb has joined #racket

17:54 nullman` has quit [Ping timeout: 244 seconds]

17:58 selimcan has joined #racket

17:59 dustyweb has quit [Ping timeout: 248 seconds]

18:16 m1dnight_ has quit [Ping timeout: 258 seconds]

18:18 acarrico has quit [Ping timeout: 244 seconds]

18:20 selimcan has quit [Ping timeout: 248 seconds]

18:24 nullman`_ has joined #racket

18:27 sauvin has quit [Read error: Connection reset by peer]

18:30 lavaflow has quit [Ping timeout: 245 seconds]

18:35 nullman`_ has quit [Ping timeout: 245 seconds]

18:41 acarrico has joined #racket

18:50 m1dnight_ has joined #racket

18:56 lavaflow has joined #racket

19:01 dustyweb has joined #racket

19:03 nullman` has joined #racket

19:16 ubLIX has quit [Ping timeout: 258 seconds]

19:19 ubLIX has joined #racket

19:21 this-is-dog has joined #racket

19:21 <this-is-dog> Hey! I'm having some issues figuring out how to right-align the text of message% (racket/gui) does anyone have any clues? Thanks!

19:24 vraid has joined #racket

19:50 ubLIX has quit [Quit: ubLIX]

20:01 nullman` has quit [Read error: Connection reset by peer]

20:02 nullman` has joined #racket

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

20:05 dustyweb has joined #racket

20:20 _whitelogger has joined #racket

20:41 orivej has quit [Ping timeout: 244 seconds]

20:49 ym555 has joined #racket

20:54 libertyprime has quit [Ping timeout: 255 seconds]

20:56 ubLIX has joined #racket

20:59 vraid has quit [Read error: Connection reset by peer]

21:02 pierpal has quit [Ping timeout: 248 seconds]

21:10 libertyprime has joined #racket

21:31 nullman`_ has joined #racket

21:33 nullman` has quit [Ping timeout: 246 seconds]

21:35 nullman`_ has quit [Ping timeout: 246 seconds]

21:40 ng0 has quit [Quit: Alexa, when is the end of world?]

21:44 pera has quit [Ping timeout: 255 seconds]

21:48 pera has joined #racket

21:55 nullman` has joined #racket

22:04 this-is-dog has quit [Ping timeout: 256 seconds]

22:14 Fernando-Basso has joined #racket

22:15 orivej has joined #racket

22:25 acarrico has quit [Ping timeout: 246 seconds]

22:46 libertyprime has quit [Quit: leaving]

22:48 nullman` has quit [Ping timeout: 245 seconds]

23:00 pierpal has joined #racket

23:08 DGASAU has quit [Ping timeout: 245 seconds]

23:14 libertyprime has joined #racket

23:23 ym555 has quit [Ping timeout: 255 seconds]

23:26 ym555 has joined #racket

23:27 DGASAU has joined #racket

23:38 acarrico has joined #racket

23:40 ym555 has quit [Ping timeout: 252 seconds]

23:41 ym555 has joined #racket

23:43 Fernando-Basso has quit [Remote host closed the connection]

23:49 pera has quit [Quit: leaving]

23:50 ym555 has quit [Ping timeout: 258 seconds]

23:51 ym555 has joined #racket

23:55 lavaflow has quit [Read error: Connection reset by peer]

23:57 ym555 has quit [Read error: Connection reset by peer]

23:59 ym555 has joined #racket