#racket on 2019-05-11 — 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:00 pierpal has joined #racket

00:01 soegaard has quit [Quit: soegaard]

00:28 forgottenwizard is now known as ZombieChicken

00:57 dddddd has quit [Remote host closed the connection]

01:10 pera has quit [Ping timeout: 246 seconds]

01:23 jao has quit [Remote host closed the connection]

01:24 jao has joined #racket

01:55 orivej has quit [Ping timeout: 248 seconds]

02:00 manualcrank has joined #racket

02:05 johnjay has quit [Ping timeout: 258 seconds]

02:08 johnjay has joined #racket

02:11 endforma1 has quit [Quit: WeeChat 2.4]

02:11 endformationage has joined #racket

02:13 FreeFull has quit []

02:17 johnjay has quit [Ping timeout: 245 seconds]

02:17 jao has quit [Ping timeout: 245 seconds]

02:20 johnjay has joined #racket

02:25 lavaflow has quit [Read error: Connection reset by peer]

02:26 lavaflow has joined #racket

02:33 iyzsong has joined #racket

02:57 pera has joined #racket

03:00 clacke_movim has left #racket [#racket]

03:03 clacke_movim has joined #racket

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

03:11 johnjay has joined #racket

03:15 pera has quit [Ping timeout: 246 seconds]

03:51 pierpal has quit [Quit: Poof]

03:51 pierpal has joined #racket

03:52 pera has joined #racket

04:24 caltelt has quit [Remote host closed the connection]

04:24 caltelt has joined #racket

04:32 caltelt has quit [Ping timeout: 244 seconds]

05:14 sauvin has joined #racket

05:15 nicolasman2 has joined #racket

05:17 acarrico has quit [Ping timeout: 258 seconds]

05:17 jrslepak has quit [Ping timeout: 258 seconds]

05:17 vxe has quit [Read error: Connection reset by peer]

05:17 nicolasman has quit [Ping timeout: 258 seconds]

05:18 libertyprime has joined #racket

05:21 jrslepak has joined #racket

05:25 dddddd has joined #racket

05:29 lavaflow has quit [Read error: No route to host]

05:31 lavaflow has joined #racket

05:51 endformationage has quit [Ping timeout: 252 seconds]

05:51 rain1 has quit [Ping timeout: 258 seconds]

05:54 rain1 has joined #racket

06:21 libertyprime has quit [Ping timeout: 252 seconds]

06:28 libertyprime has joined #racket

06:44 reverse_light has quit [Remote host closed the connection]

06:53 pera has quit [Ping timeout: 268 seconds]

06:58 pera has joined #racket

07:10 orivej has joined #racket

07:13 libertyprime has quit [Remote host closed the connection]

07:16 orivej has quit [Ping timeout: 245 seconds]

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

07:50 _whitelogger has joined #racket

07:56 _whitelogger has joined #racket

07:57 lavaflow has joined #racket

08:14 m1dnight_ has quit [Quit: WeeChat 1.9.1]

08:21 m1dnight_ has joined #racket

08:21 m1dnight_ has quit [Client Quit]

08:22 m1dnight_ has joined #racket

08:26 m1dnight_ has quit [Client Quit]

08:26 m1dnight_ has joined #racket

08:33 libertyprime has joined #racket

09:26 soegaard has joined #racket

09:32 _whitelogger has joined #racket

09:50 libertyprime has quit [Quit: leaving]

09:53 <ZombieChicken> Can someone explain the purpose of boxes to me?

09:54 iyzsong has quit [Read error: Connection reset by peer]

09:54 <soegaard> With respect to what?

09:54 <ZombieChicken> just in general; a one element vector seems a little pointless at first glance

09:55 iyzsong has joined #racket

09:56 <soegaard> Boxes are indeed one-element vectors. Using a box signals how you are going to use that value.

09:56 <soegaard> Using a box makes it clear you are going to mutate it.

09:58 <ZombieChicken> what exactly do you mean by mutate?

09:58 <soegaard> Also you have an operation on a box, not available for vectors, namely box-cas!

09:58 <soegaard> A box holds some value. By mutate I mean change the element in the box.

09:58 <ZombieChicken> k

09:59 <soegaard> box-cas! Can atomically change the contents of a box

09:59 <ZombieChicken> as long as the previous and next values are the same type?

09:59 <soegaard> In Racket a box can hold any value.

10:00 <ZombieChicken> so in other words it would be useful for a global changing value

10:00 <soegaard> Yes.

10:00 <ZombieChicken> alright, thanks

10:01 <soegaard> Another use case:

10:01 <soegaard> In Racket lists are immutable, so set-car! is not present.

10:01 <soegaard> In stead you can have a list of boxes, and then then use set-box!

10:04 <ZombieChicken> yeah

10:05 <ZombieChicken> I'm looking to start cobbling together a text editor

10:05 <soegaard> Great project!

10:05 <ZombieChicken> and noticed that apparently vectors are fixed-length, which is a bit annoying; I was hoping for something with a nice, constant time access for everything

10:06 <soegaard> Do you know the "Emacs" book?

10:06 <ZombieChicken> The Craft of Text Editing?

10:06 <ZombieChicken> yeah, I have a copy

10:06 <soegaard> yes, that's the one

10:06 <ZombieChicken> (or whatever it's name is)

10:07 <soegaard> It's surprisingly tricky to make a nice data structure for a buffer.

10:07 <ZombieChicken> iirc it suggest using list, but the idea of trying to display line $BIGNUM of a file and having to walk the list every. single. time. seems really, really slow

10:07 <ZombieChicken> I was thinking a vector of list personally

10:08 <ZombieChicken> but that seems like a no-go without alot of weird vector->list and vise versa

10:08 <soegaard> There is an extensible vector data structure in racket/data btw.

10:08 orivej has joined #racket

10:09 <soegaard> Another great source of inspiration is the source of Edwin:

10:09 <soegaard> https://github.com/scheme/edwin48

10:10 <ZombieChicken> soegaard: Did you mean racket/vector instead of racket/data? I'm finding a vector-append in ./vector, but not seeing a ./data

10:11 <soegaard> Oh, I think its just data

10:11 <ZombieChicken> yep. 2. Growable Vectors

10:13 <ZombieChicken> Operations on gvectors are not thread-safe. <- That is annoying

10:13 <soegaard> Yes!

10:14 <ZombieChicken> Yes, as in that's it?

10:14 <soegaard> Yes, it's annoying.

10:15 <ZombieChicken> don't imagine that will be /that/ annoying to handle to start with

10:15 <ZombieChicken> any good ways to make it thread-safe w/o having to implement your own system?

10:16 <soegaard> Don't know. If there is a simple solution, I'd like hear about it.

10:16 <soegaard> I know some use the rope data structure instead.

10:17 <ZombieChicken> rope?

10:17 Fernando-Basso has joined #racket

10:17 <soegaard> It's tree based: https://en.wikipedia.org/wiki/Rope_(data_structure)

10:17 <soegaard> Hmmm - I wonder what DrRacket uses.

10:20 <ZombieChicken> that's an interesting idea

10:24 <ZombieChicken> think I'll stick with a vector-of-list until that seems to be a problem

10:29 pie_ has quit [Ping timeout: 258 seconds]

10:44 _whitelogger has joined #racket

10:53 orivej has quit [Ping timeout: 258 seconds]

10:54 orivej has joined #racket

11:07 orivej has quit [Ping timeout: 258 seconds]

11:11 orivej has joined #racket

11:16 orivej has quit [Ping timeout: 246 seconds]

11:17 orivej has joined #racket

11:47 pie_ has joined #racket

11:48 pie_ has quit [Remote host closed the connection]

11:49 pie_ has joined #racket

11:50 pie_ has quit [Remote host closed the connection]

11:50 pie_ has joined #racket

11:51 pie_ has quit [Remote host closed the connection]

11:52 pie_ has joined #racket

11:53 pie_ has quit [Remote host closed the connection]

11:53 pie_ has joined #racket

11:54 pie_ has quit [Remote host closed the connection]

11:55 pie_ has joined #racket

11:56 pie_ has quit [Remote host closed the connection]

11:56 pie_ has joined #racket

11:57 pie_ has quit [Remote host closed the connection]

11:58 pie_ has joined #racket

11:59 pie_ has quit [Remote host closed the connection]

11:59 pie_ has joined #racket

12:00 pie_ has quit [Remote host closed the connection]

12:01 pie_ has joined #racket

12:02 pie_ has quit [Remote host closed the connection]

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

12:11 orivej has quit [Ping timeout: 258 seconds]

12:20 soegaard has quit [Quit: soegaard]

12:42 mb01 has joined #racket

12:53 mb01 has quit [Ping timeout: 264 seconds]

12:53 iyzsong has quit [Read error: Connection reset by peer]

13:23 FreeFull has joined #racket

13:51 ym555 has joined #racket

13:54 pera has joined #racket

14:16 <greghendershott> Another option is a gap buffer https://en.wikipedia.org/wiki/Gap_buffer

14:17 <greghendershott> Although maybe n/a for you, an argument for a gap buffer is better locality of reference https://en.wikipedia.org/wiki/Locality_of_reference

14:18 <greghendershott> (Big O isn't necessarily the whole story.)

14:24 caltelt has joined #racket

14:50 orivej has joined #racket

14:51 acarrico has joined #racket

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

15:13 Sgeo_ has joined #racket

15:14 BSLANG has quit [Ping timeout: 255 seconds]

15:16 Sgeo__ has quit [Ping timeout: 248 seconds]

15:17 Sgeo has joined #racket

15:18 Sgeo_ has quit [Ping timeout: 246 seconds]

15:26 endformationage has joined #racket

15:31 BSLANG has joined #racket

15:36 orivej has quit [Ping timeout: 245 seconds]

15:42 orivej has joined #racket

15:43 pera has quit [Ping timeout: 246 seconds]

15:45 ricekrispie has joined #racket

15:45 pera has joined #racket

15:46 Arcaelyx has joined #racket

15:47 ricekrispie2 has quit [Ping timeout: 248 seconds]

15:54 orivej has quit [Ping timeout: 246 seconds]

15:54 pera has quit [Ping timeout: 246 seconds]

15:55 orivej has joined #racket

16:04 orivej_ has joined #racket

16:04 orivej has quit [Ping timeout: 255 seconds]

16:26 pera has joined #racket

16:34 pera has quit [Ping timeout: 255 seconds]

16:48 orivej_ has quit [Ping timeout: 245 seconds]

16:48 pera has joined #racket

16:53 pera has quit [Ping timeout: 245 seconds]

16:54 pera has joined #racket

17:04 ng0 has joined #racket

17:08 soegaard has joined #racket

17:11 odanoburu has joined #racket

17:19 efm has joined #racket

17:27 soegaard has quit [Quit: soegaard]

17:33 soegaard has joined #racket

17:48 johnjay has quit [Ping timeout: 248 seconds]

17:49 johnjay has joined #racket

18:03 selimcan has joined #racket

18:05 selimcan has quit [Remote host closed the connection]

18:19 dbmikus_ has joined #racket

18:23 ayerhart has quit [Quit: ayerhart]

18:26 pera has quit [Ping timeout: 255 seconds]

18:32 Fernando-Basso has quit [Read error: Connection reset by peer]

18:43 caltelt has quit [Ping timeout: 268 seconds]

18:49 jao has joined #racket

19:00 mSSM has joined #racket

19:19 orivej has joined #racket

19:30 dustyweb has quit [Ping timeout: 248 seconds]

19:32 jao has quit [Ping timeout: 245 seconds]

19:35 dbmikus__ has joined #racket

19:36 dbmikus_ has quit [Ping timeout: 258 seconds]

19:41 dustyweb has joined #racket

19:42 pera has joined #racket

20:19 pera has quit [Ping timeout: 258 seconds]

20:25 ym555_ has joined #racket

20:26 <dzoe> greghendershott: turned out to be a - rather silly - mistake of mine. I didn't expect it to return empty JSON structure and I interpreted my debug output of "()" incorrectly.

20:27 ym555 has quit [Ping timeout: 245 seconds]

20:27 <dzoe> Giving students a graph representing the european road network with reasonable edge weights (distances in km) turned out to be way more work than they will have to do with it :)

20:29 <soegaard> !

20:33 ym555_ has quit [Quit: leaving...]

20:48 pera has joined #racket

20:55 soegaard has quit [Quit: soegaard]

21:17 Sgeo has quit [Ping timeout: 246 seconds]

21:30 soegaard has joined #racket

21:39 Sgeo has joined #racket

21:43 Sgeo_ has joined #racket

21:43 caltelt has joined #racket

21:44 Sgeo has quit [Ping timeout: 246 seconds]

21:50 mSSM has quit [Ping timeout: 245 seconds]

22:05 Sgeo has joined #racket

22:07 Sgeo_ has quit [Ping timeout: 245 seconds]

22:29 pierpal has quit [Read error: Connection reset by peer]

22:29 pierpal has joined #racket

22:33 pierpal has quit [Read error: Connection reset by peer]

22:35 dimitarvp has joined #racket

22:38 pierpal has joined #racket

22:39 soegaard has quit [Quit: soegaard]

22:40 dimitarvp has quit [Client Quit]

22:42 pierpal has quit [Ping timeout: 245 seconds]

22:46 pierpal has joined #racket

23:04 efm has quit [Quit: Konversation terminated!]

23:50 jao has joined #racket