#racket on 2021-11-02 — irc logs at libera.irclog.whitequark.org

00:29 ec has quit [Quit: ec]

00:30 vraid has quit [Ping timeout: 268 seconds]

00:43 monkey_ has joined #racket

00:57 Codaraxis_ has joined #racket

00:58 Codaraxis_ has quit [Remote host closed the connection]

01:01 Codaraxis has quit [Ping timeout: 260 seconds]

01:27 winny has quit [Ping timeout: 276 seconds]

01:29 winny has joined #racket

01:34 winny has quit [Ping timeout: 276 seconds]

01:35 winny has joined #racket

02:42 monkey_ has quit [Remote host closed the connection]

02:56 ur5us has quit [Remote host closed the connection]

02:56 ur5us has joined #racket

03:09 apg has joined #racket

03:15 tyson2 has quit [Remote host closed the connection]

03:23 ur5us has quit [Ping timeout: 268 seconds]

03:28 ur5us has joined #racket

03:50 s-liao has quit [Quit: Client closed]

03:58 capfredf has joined #racket

03:59 shicz has quit [Ping timeout: 260 seconds]

04:00 shicz has joined #racket

04:03 capfredf has quit [Ping timeout: 268 seconds]

04:12 shicz has quit [Ping timeout: 260 seconds]

04:14 shicz has joined #racket

05:05 shicz has quit [Ping timeout: 260 seconds]

05:06 shicz has joined #racket

05:08 winny has quit [Remote host closed the connection]

05:09 winny has joined #racket

05:24 winny_ has joined #racket

05:28 winny has quit [Ping timeout: 276 seconds]

05:49 Skyfire has quit [Read error: Connection reset by peer]

06:09 hendursaga has quit [Remote host closed the connection]

06:09 hendursaga has joined #racket

06:23 to-hu has joined #racket

06:24 gproto23 has joined #racket

06:26 shicz has quit [Ping timeout: 268 seconds]

06:26 winny_ has quit [Ping timeout: 276 seconds]

06:27 to-hu has quit [Remote host closed the connection]

06:28 to-hu has joined #racket

06:28 shicz has joined #racket

06:30 winny_ has joined #racket

06:38 rgherdt has joined #racket

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

07:34 s-liao has joined #racket

08:01 capfredf has joined #racket

08:05 hendursa1 has joined #racket

08:08 VIVIT has quit [Ping timeout: 268 seconds]

08:08 capfredf has quit [Ping timeout: 268 seconds]

08:08 hendursaga has quit [Ping timeout: 276 seconds]

08:24 to-hu has quit [Ping timeout: 268 seconds]

08:34 pony has quit []

08:34 pony has joined #racket

08:39 to-hu has joined #racket

08:56 vraid has joined #racket

09:01 ur5us has quit [Ping timeout: 268 seconds]

10:13 s-liao has quit [Ping timeout: 256 seconds]

10:36 s-liao has joined #racket

11:03 vraid has quit [Ping timeout: 268 seconds]

11:04 vraid has joined #racket

11:29 s-liao has quit [Quit: Client closed]

11:30 s-liao has joined #racket

11:33 shicz has quit [Ping timeout: 268 seconds]

11:35 shicz has joined #racket

11:39 s-liao has quit [Quit: Client closed]

11:40 s-liao has joined #racket

11:53 tyson2 has joined #racket

12:00 capfredf has joined #racket

12:06 capfredf has quit [Ping timeout: 260 seconds]

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

12:56 shicz has quit [Ping timeout: 260 seconds]

12:58 shicz has joined #racket

14:16 s-liao has quit [Quit: Client closed]

14:20 s-liao has joined #racket

14:20 hendursa1 has quit [Quit: hendursa1]

14:20 hendursaga has joined #racket

14:38 s-liao has quit [Quit: Client closed]

14:42 skapata has joined #racket

14:42 skapata has quit [Changing host]

14:42 skapata has joined #racket

14:50 Skyfire has joined #racket

14:51 tyson2 has quit [Remote host closed the connection]

15:00 ec has joined #racket

15:09 tyson2 has joined #racket

15:28 Avichi has joined #racket

15:28 ec has quit [Ping timeout: 276 seconds]

15:31 ec has joined #racket

15:45 tyson2 has quit [Remote host closed the connection]

15:49 FreeFull has joined #racket

15:55 Jing has joined #racket

15:56 ec has quit [Ping timeout: 276 seconds]

15:57 gproto23 has joined #racket

15:59 ec has joined #racket

16:12 capfredf has joined #racket

16:13 sagax has quit [Remote host closed the connection]

16:29 sagax has joined #racket

16:30 capfredf has quit [Remote host closed the connection]

16:31 capfredf has joined #racket

16:36 capfredf has quit [Ping timeout: 260 seconds]

16:39 ec has quit [Ping timeout: 276 seconds]

16:42 ec has joined #racket

16:51 <undltd> stupid question: why does this program print 5 to the terminal when run with `racket filename.rkt`?

16:51 <undltd> http://pasterack.org/pastes/15666

16:52 <undltd> (i.e. why is there some implicit io going on)

16:57 <bremner> yes, the last expression (or maybe all expressions) are printed

16:57 <bremner> should be all I guess

16:58 <undltd> how to suppress this?

16:59 <bremner> depends. You can wrap things in (void ), but it's not clear what your real goal is

17:00 <bremner> I mean, if you want a program that prints nothing, the empty program is there for you?

17:00 <undltd> :)

17:00 <undltd> my program reads a csv file, processes it and prints the result to stdout

17:00 <undltd> but I get a #t at the end

17:00 <undltd> which I don't want

17:01 <undltd> I'm confused though - if I want to have only explicit IO...

17:01 <undltd> like I don't want there to be any side-effects that are not explicit in my program

17:02 <bremner> well, you can change how top level prints things iirc, but it's not very idiomatic.

17:02 <bremner> typically you should just clean up the stray expressions in your code

17:05 <undltd> I guess expressions that are there for side effects only should produce (void) always

17:06 <_________> can you use `racket -f filename.rkt` instead ?

17:07 <bremner> undltd: sure, things like define and display return void

17:07 <undltd> _________: tried that, seems to suppress all output (my calls to `displayln` too)

17:08 <_________> oh, nvm then

17:08 <undltd> bremner: and `csv-for-each` seems to deviate from that

17:08 <bremner> could be.

17:09 <undltd> maybe something to discuss with the author of the library

17:09 <bremner> yeah. It's weird that the return value is undefined.

17:10 <bremner> for-each, that it claims to mimic, returns void

17:10 <undltd> ...though the fact that it returns void is not explicitly documented

17:10 <undltd> but kind of hinted by "result (...) is ignored"

17:11 <undltd> (anyhow, wrapping the call with void did the trick for me, thanks all!)

17:16 Jing has quit [Remote host closed the connection]

17:17 <bremner> yes, for-each has a contract -> void?

17:17 <bremner> https://docs.racket-lang.org/reference/pairs.html#%28def._%28%28lib._racket%2Fprivate%2Fmap..rkt%29._for-each%29%29

17:17 <rudybot> https://teensy.info/uh3Gg3is3Q

17:17 <bremner> that's explicit, if maybe a bit cryptic if you're not used to racket contracts

17:18 <bremner> rudybot: eval (void? (void (void (void))))

17:18 <rudybot> bremner: error: with-limit: out of time

17:18 <bremner> oops.

17:20 <_________> lol

17:20 Jing has joined #racket

17:22 ec has quit [Ping timeout: 276 seconds]

17:27 ec has joined #racket

17:28 gproto23 has quit [Ping timeout: 268 seconds]

17:36 vraid has quit [Ping timeout: 268 seconds]

17:46 gproto23 has joined #racket

17:46 xgqtd_ has joined #racket

17:50 xgqtd has quit [Ping timeout: 260 seconds]

17:50 capfredf has joined #racket

17:51 xgqtd_ is now known as xgqt

17:56 capfredf has quit [Ping timeout: 268 seconds]

18:02 gproto23 has quit [Remote host closed the connection]

18:02 gproto23 has joined #racket

18:06 ec has quit [Ping timeout: 276 seconds]

18:11 ec has joined #racket

18:35 ec has quit [Ping timeout: 276 seconds]

18:38 ec has joined #racket

19:02 <samth> bremner: that's just a init delay

19:02 <samth> rudybot: eval (void)

19:02 <rudybot> samth: your racket/base sandbox is ready

19:02 <rudybot> samth: Done.

19:03 <samth> rudybot: eval (void?(void (void)))

19:03 <rudybot> samth: ; Value: #t

19:05 ec has quit [Ping timeout: 276 seconds]

19:10 ec has joined #racket

19:34 ec has quit [Ping timeout: 276 seconds]

19:37 ec has joined #racket

19:39 Avichi has quit [Quit: Client closed]

19:53 capfredf has joined #racket

19:58 capfredf has quit [Ping timeout: 260 seconds]

20:01 ec has quit [Ping timeout: 276 seconds]

20:06 ec has joined #racket

20:21 ur5us has joined #racket

20:31 ec has quit [Ping timeout: 276 seconds]

20:35 <undltd> (oops, overlooked the contract on for-each, thanks for pointing out)

20:35 ec has joined #racket

20:36 <undltd> just a note: the author of csv-reader agreed to change the `csv-for-each` function to return `void`

20:36 <undltd> they said the reason was portability among schemes, but now it is not relevant

20:36 <evdubs> should i always prefer call-with-output-file* over call-with-output-file ?

20:37 <evdubs> just as a way to really make sure the file is closed after leaving the call-with-output-file code

20:41 evdubs has quit [Remote host closed the connection]

20:42 tyson2 has joined #racket

20:54 to-hu has quit [Quit: to-hu]

20:57 evdubs has joined #racket

20:59 ec has quit [Ping timeout: 276 seconds]

21:04 ec has joined #racket

21:05 raghavgururajan has quit [Ping timeout: 252 seconds]

21:06 vraid has joined #racket

21:09 ec has quit [Remote host closed the connection]

21:10 ec has joined #racket

21:12 raghavgururajan has joined #racket

21:14 median is now known as med

21:20 gproto23 has quit [Quit: Leaving]

21:26 ec has quit [Ping timeout: 276 seconds]

21:33 ec has joined #racket

21:43 capfredf has joined #racket

21:55 ec has quit [Ping timeout: 276 seconds]

22:01 capfredf has quit [Remote host closed the connection]

22:01 ec has joined #racket

22:22 Avichi has joined #racket

22:22 ec has quit [Ping timeout: 276 seconds]

22:29 Avichi has quit [Ping timeout: 256 seconds]

22:29 rgherdt has quit [Ping timeout: 268 seconds]

22:55 Jing has quit [Remote host closed the connection]

22:59 Jing has joined #racket

23:15 capfredf has joined #racket

23:21 capfredf has quit [Ping timeout: 268 seconds]

23:41 s-liao has joined #racket

23:47 Jing has quit [Remote host closed the connection]

23:47 Jing has joined #racket

23:48 pull has joined #racket

23:49 shicz has quit [Ping timeout: 260 seconds]

23:50 shicz has joined #racket

23:56 X-Scale has quit [Ping timeout: 268 seconds]

23:57 X-Scale` has joined #racket

23:58 X-Scale` is now known as X-Scale

23:59 FreeFull has quit []