#racket on 2022-03-07 — irc logs at libera.irclog.whitequark.org

00:15 casmajavi has joined #racket

00:20 casmajavi has quit [Remote host closed the connection]

00:22 johnjaye has quit [Ping timeout: 272 seconds]

00:24 johnjaye has joined #racket

00:45 badkins has joined #racket

00:49 badkins has quit [Ping timeout: 256 seconds]

00:57 badkins has joined #racket

01:01 badkins has quit [Ping timeout: 240 seconds]

01:04 capfredf has joined #racket

01:11 badkins has joined #racket

01:13 cynomys has quit [Quit: Lost terminal]

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

01:14 capfredf has joined #racket

01:15 badkins has quit [Ping timeout: 240 seconds]

01:19 capfredf has quit [Ping timeout: 256 seconds]

01:30 ur5us has quit [Ping timeout: 240 seconds]

01:38 notzmv has joined #racket

01:39 ur5us has joined #racket

01:51 capfredf has joined #racket

01:56 capfredf has quit [Ping timeout: 272 seconds]

02:01 ur5us has quit [Ping timeout: 240 seconds]

02:07 s-liao has quit [Quit: Client closed]

02:08 s-liao has joined #racket

02:10 badkins has joined #racket

02:14 badkins has quit [Ping timeout: 256 seconds]

02:15 monkey_ has quit [Ping timeout: 240 seconds]

02:19 monkey_ has joined #racket

02:22 t3nj1n has quit [Remote host closed the connection]

02:25 vats has joined #racket

02:26 ur5us has joined #racket

02:41 s-liao has quit [Quit: Client closed]

02:50 s-liao has joined #racket

02:52 s-liao has quit [Client Quit]

02:56 s-liao has joined #racket

02:57 s-liao has quit [Client Quit]

02:58 capfredf has joined #racket

03:05 capfredf has quit [Ping timeout: 240 seconds]

03:40 monkey_ has quit [Remote host closed the connection]

04:00 monkey_ has joined #racket

04:07 capfredf has joined #racket

04:12 capfredf has quit [Ping timeout: 256 seconds]

04:18 ur5us has quit [Ping timeout: 240 seconds]

04:22 s-liao has joined #racket

04:57 monkey_ has quit [Remote host closed the connection]

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

05:54 capfredf has joined #racket

05:59 capfredf has quit [Ping timeout: 240 seconds]

06:11 badkins has joined #racket

06:16 badkins has quit [Ping timeout: 240 seconds]

06:40 cynomys has joined #racket

06:43 tonyg has quit [Ping timeout: 240 seconds]

06:43 s-liao has quit [Ping timeout: 256 seconds]

06:44 tonyg has joined #racket

07:32 s-liao has joined #racket

07:42 vats has quit [Ping timeout: 240 seconds]

07:43 capfredf has joined #racket

07:48 capfredf has quit [Ping timeout: 256 seconds]

08:10 eriol has quit [Quit: Ping timeout (120 seconds)]

08:10 eriol has joined #racket

08:32 lwhjp has quit [Read error: Connection reset by peer]

08:35 TCZ has joined #racket

08:38 juanfra__ has joined #racket

08:41 s-liao has quit [Ping timeout: 256 seconds]

08:47 capfredf has joined #racket

09:11 xgqt has quit [Remote host closed the connection]

09:11 xgqt has joined #racket

09:38 lwhjp has joined #racket

09:48 epony has quit [Read error: Connection reset by peer]

09:48 TCZ has quit [Quit: Leaving]

09:50 capfredf has quit [Ping timeout: 240 seconds]

09:56 cynomys has quit [Ping timeout: 272 seconds]

10:02 wingo_ is now known as wingo

10:03 s-liao has joined #racket

10:05 s-liao has quit [Client Quit]

10:13 badkins has joined #racket

10:18 badkins has quit [Ping timeout: 256 seconds]

10:22 klf has joined #racket

10:42 <klf> HI

10:42 <bremner> morning (or tzag)

10:43 <klf> good morning bremner.

10:46 <klf> I am confused.

10:46 <klf> "Racket is a dynamically typed language, which means that type errors are not detected until the erroneous code is actually executed. " (https://www.classes.cs.uchicago.edu/archive/2014/fall/15100-1/guide.html)

10:46 <klf> > (sq "hi")

10:46 <klf> error_msg: *: expects a number as 1st argument, given "hi"

10:47 <bremner> sure, but you are executing the code, no?

10:48 <klf> (define (myfunc x) (display x))

10:50 <bremner> hmm? I'm not seeing the connection.

10:50 <klf> errr... forget the (sq "hi") example. (I will use another one)

10:50 <klf> I am preparing my question.

10:50 <klf> 1 sec.

10:51 <klf> > (+ "hi" 1)

10:52 <klf> Err_msg: +: contract violation

10:52 <klf> expected: number?

10:52 <klf> given: "hi"

10:52 <bremner> contracts are checked at runtime.

10:52 <bremner> In a repl, every time you hit return, you are running code.

10:53 <klf> the function that I defined "myfunc" does not contain a function signature/prototype (or in Racket parlance, a "contract")

10:53 <klf> while the function '+' does.

10:54 <klf> how do I specify a contract?

10:54 <klf> can you show me by providing me with an exxample?

10:55 <bremner> I don't really use contracts much, but see https://docs.racket-lang.org/guide/contracts.html

11:01 <klf> bremner, thank you

11:30 capfredf has joined #racket

11:35 capfredf has quit [Ping timeout: 272 seconds]

12:04 capfredf has joined #racket

12:09 capfredf has quit [Ping timeout: 256 seconds]

12:13 klf has quit [Quit: Leaving]

12:46 terrorjack has quit [Quit: Ping timeout (120 seconds)]

12:47 optimist has joined #racket

12:48 terrorjack has joined #racket

12:48 meinside has quit [Quit: Connection closed for inactivity]

13:19 optimist has quit [Remote host closed the connection]

13:20 optimist has joined #racket

13:22 capfredf has joined #racket

13:26 capfredf has quit [Ping timeout: 240 seconds]

13:30 s-liao has joined #racket

13:38 badkins has joined #racket

13:45 badkins has quit [Ping timeout: 240 seconds]

14:01 morte_ has joined #racket

14:08 casmajavi has joined #racket

14:15 rgherdt_ is now known as rgherdt

14:16 s-liao has quit [Ping timeout: 256 seconds]

14:24 badkins has joined #racket

14:54 johnjaye has quit [Ping timeout: 250 seconds]

14:56 johnjaye has joined #racket

15:17 capfredf has joined #racket

15:27 morte_ has quit [Ping timeout: 256 seconds]

15:28 optimist has quit [Remote host closed the connection]

15:30 toulene has joined #racket

15:40 notzmv has quit [Ping timeout: 252 seconds]

15:45 skapata has joined #racket

15:45 skapata has quit [Changing host]

15:45 skapata has joined #racket

16:13 toulene has quit [Quit: ZNC - https://znc.in]

16:16 badkins_ has joined #racket

16:19 badkins has quit [Ping timeout: 250 seconds]

16:43 badkins_ has quit [Remote host closed the connection]

17:46 evdubs has joined #racket

17:52 capfredf has quit [Remote host closed the connection]

17:52 capfredf has joined #racket

18:06 rgherdt has quit [Ping timeout: 240 seconds]

18:09 notzmv has joined #racket

18:43 badkins has joined #racket

18:48 badkins has quit [Ping timeout: 240 seconds]

18:50 skapata has quit [Remote host closed the connection]

18:52 t3nj1n has joined #racket

18:52 t3nj1n_ has joined #racket

18:52 t3nj1n_ has quit [Client Quit]

19:02 capfredf has quit [Remote host closed the connection]

19:02 capfredf has joined #racket

19:13 badkins has joined #racket

19:16 notzmv has quit [Ping timeout: 252 seconds]

19:27 ur5us has joined #racket

19:31 <veinoftls> hello

19:32 <bremner> o/

19:33 ur5us has quit [Ping timeout: 240 seconds]

19:34 simendsjo has joined #racket

19:36 haskal has quit [Quit: Terminal machine broke]

19:41 <winny> Happy Monday

19:49 simendsjo has quit [Ping timeout: 240 seconds]

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

20:02 capfredf has joined #racket

20:06 notzmv has joined #racket

20:08 capfredf has quit [Ping timeout: 260 seconds]

20:23 ur5us has joined #racket

20:54 even4void has left #racket [#racket]

20:55 ur5us has quit [Quit: Leaving]

20:56 ur5us has joined #racket

21:08 rgherdt has joined #racket

21:16 capfredf has joined #racket

21:18 epony has joined #racket

21:32 TCZ has joined #racket

21:38 Vaelatern has quit [Ping timeout: 240 seconds]

21:47 capfredf has quit [Remote host closed the connection]

21:47 capfredf has joined #racket

21:52 Vaelatern has joined #racket

21:52 Vaelatern has quit [Changing host]

21:52 Vaelatern has joined #racket

21:53 capfredf has quit [Ping timeout: 256 seconds]

21:54 cwebber has quit [Read error: Connection reset by peer]

22:23 TCZ has quit [Quit: Leaving]

22:35 casmajavi has quit [Remote host closed the connection]

23:07 badkins has quit [Remote host closed the connection]

23:08 capfredf has joined #racket

23:13 capfredf has quit [Ping timeout: 240 seconds]

23:20 daemonises has joined #racket

23:21 ur5us has quit [Ping timeout: 240 seconds]

23:34 capfredf has joined #racket

23:39 capfredf has quit [Remote host closed the connection]

23:40 capfredf has joined #racket

23:40 badkins has joined #racket

23:40 capfredf has quit [Remote host closed the connection]

23:40 capfredf has joined #racket

23:46 capfredf has quit [Remote host closed the connection]

23:46 capfredf has joined #racket

23:48 capfredf has quit [Remote host closed the connection]

23:49 capfredf has joined #racket

23:52 capfredf has quit [Remote host closed the connection]

23:53 capfredf has joined #racket