#racket on 2020-10-04 — irc logs at freenode.irclog.whitequark.org

2020-09-10 10:23 samth changed the topic of #racket to: Racket v7.8 has been released: https://blog.racket-lang.org/2020/08/racket-v7-8.html -- Racket -- https://racket-lang.org -- https://pkgs.racket-lang.org -- Paste at http://pasterack.org

00:16 selimcan has quit [Ping timeout: 256 seconds]

00:20 catonano_ has joined #racket

00:24 catonano has quit [Ping timeout: 272 seconds]

00:24 catonano_ is now known as catonano

00:28 ech has quit [Ping timeout: 240 seconds]

00:29 epony has quit [Remote host closed the connection]

00:30 ech has joined #racket

00:30 epony has joined #racket

00:32 aeth has quit [Ping timeout: 256 seconds]

00:33 aeth has joined #racket

00:44 _whitelogger has joined #racket

00:55 phillbush has quit [Quit: Leaving]

01:16 phillbush has joined #racket

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

01:24 badkins has joined #racket

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

01:47 phillbush has quit [Remote host closed the connection]

01:52 epony has quit [Ping timeout: 258 seconds]

01:56 mirrorbird has quit [Remote host closed the connection]

01:57 mirrorbird has joined #racket

01:57 epony has joined #racket

01:59 epony has quit [Remote host closed the connection]

02:00 epony has joined #racket

02:05 <samth> bremner: i think the idea is that since the sexpression structure is still there, the highlighting is helpful. #; is definitely not discouraged.

02:13 mirrorbird has quit [Ping timeout: 272 seconds]

03:24 dustyweb has quit [Ping timeout: 240 seconds]

03:35 ym555 has quit [Ping timeout: 265 seconds]

03:41 ym555 has joined #racket

03:47 ym555 has quit [Ping timeout: 260 seconds]

04:55 fredmanglis has joined #racket

04:59 orivej has quit [Ping timeout: 260 seconds]

05:05 fredmanglis has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]

05:26 badkins has joined #racket

05:26 caente has quit [Ping timeout: 252 seconds]

05:31 badkins has quit [Ping timeout: 264 seconds]

05:35 badkins has joined #racket

05:50 _whitelogger has joined #racket

05:52 narimiran has joined #racket

05:54 badkins has quit [Ping timeout: 260 seconds]

06:13 aaaaaa has quit [Quit: leaving]

06:20 _whitelogger has joined #racket

06:38 endformationage has quit [Quit: WeeChat 2.9]

06:43 ym555 has joined #racket

07:02 _whitelogger has joined #racket

07:20 _whitelogger has joined #racket

07:50 badkins has joined #racket

07:55 badkins has quit [Ping timeout: 272 seconds]

08:06 epony has quit [Ping timeout: 258 seconds]

08:42 epony has joined #racket

09:27 mirrorbird has joined #racket

09:28 narimiran has quit [Ping timeout: 240 seconds]

09:28 narimiran has joined #racket

09:31 Sgeo_ has joined #racket

09:31 temp64 has joined #racket

09:33 Sgeo has quit [Ping timeout: 240 seconds]

09:34 conjunctive has quit [Ping timeout: 240 seconds]

09:36 conjunctive has joined #racket

09:51 badkins has joined #racket

09:55 narimiran has quit [Ping timeout: 265 seconds]

09:56 badkins has quit [Ping timeout: 256 seconds]

09:58 selimcan has joined #racket

10:08 DGASAU has quit [Ping timeout: 240 seconds]

10:16 sputny has joined #racket

10:29 _whitelogger has joined #racket

10:33 sputny has quit [Remote host closed the connection]

10:34 sputny has joined #racket

10:36 orivej has joined #racket

10:50 <bremner> samth: did you mean the highlighting is not helpful?

10:50 Sgeo_ has quit [Read error: Connection reset by peer]

10:51 nullcone has quit [Quit: Connection closed for inactivity]

10:54 sputny1 has joined #racket

10:54 sputny has quit [Ping timeout: 272 seconds]

10:54 sputny1 is now known as sputny

11:03 sagax has joined #racket

11:31 MetaHertz has joined #racket

11:40 sputny has quit [Remote host closed the connection]

11:41 sputny has joined #racket

11:52 badkins has joined #racket

11:53 <samth> bremner: no, I mean that the normal highlighting is helpful

11:53 <bremner> oh I see.

11:54 <bremner> fwiw I prefer the racket-mode behaviour of using comment-style for the commented out s-expr

11:55 <bremner> but I mainly use racket-mode for classroom demos, so my goals might be different.

11:55 <bremner> err. mainly use drracket

11:56 badkins has quit [Ping timeout: 258 seconds]

11:57 mirrorbird has quit [Ping timeout: 272 seconds]

12:00 phillbush has joined #racket

12:09 TCZ has joined #racket

12:09 <notnotdan> Is there a contract that validates lists up to certain length?

12:09 <notnotdan> I cannot find one in the standard library

12:11 temp64 has quit [Remote host closed the connection]

12:25 sputny has quit [Remote host closed the connection]

12:26 sputny has joined #racket

12:36 <evdubs> notnotdan, i take it you don't want to use list/c? https://docs.racket-lang.org/reference/data-structure-contracts.html#%28def._%28%28lib._racket%2Fcontract%2Fbase..rkt%29._list%2Fc%29%29

12:36 <rudybot> https://teensy.info/WD5aYEYuMk

12:36 <evdubs> (list/c any? any? any?) for a list of 3 elements

12:37 <evdubs> i don't think there's a way to use list/c for an arbitrary length up to a maximum

12:38 phillbush has quit [Remote host closed the connection]

12:40 orivej has quit [Ping timeout: 246 seconds]

12:41 mirrorbird has joined #racket

12:46 mirrorbird has quit [Ping timeout: 272 seconds]

12:54 mirrorbird has joined #racket

13:05 mirrorbird has quit [Quit: Leaving]

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

13:11 sputny has joined #racket

13:25 notzmv has quit [Ping timeout: 256 seconds]

13:30 <notnotdan> evdubs: yeah i looked at this, but it's for lists of fixed length, whereas i want to set up a max length of a list

13:30 <greghendershott> notnotdan: Not a predefined one. You can make your own. Any predicate function is a flat contract. The resulting error message might not be great.

13:30 <greghendershott> You could use flat-named-contract to rename it, or, use make-flat-contract for full control.

13:30 <notnotdan> Thanks! I already have a predicate, will try turning it into a contract

13:31 orivej has joined #racket

13:31 <greghendershott> Maybe not the best way but e.g. http://pasterack.org/pastes/10869

13:33 <greghendershott> Lazy-me normally just uses a predicate, when any resulting error message won't be too hard for me to figure out. If for different audience (e.g. a package or app or team), I might bother.

13:39 narimiran has joined #racket

13:47 caente has joined #racket

13:50 gremly has joined #racket

13:51 notzmv has joined #racket

13:53 badkins has joined #racket

13:53 orivej has quit [Ping timeout: 256 seconds]

13:56 sputny has quit [Remote host closed the connection]

13:56 sputny has joined #racket

13:58 badkins has quit [Ping timeout: 265 seconds]

14:02 dustyweb has joined #racket

14:04 notzmv has quit [Remote host closed the connection]

14:09 notzmv has joined #racket

14:24 TCZ has quit [Quit: Leaving]

14:40 sputny has quit [Remote host closed the connection]

14:41 sputny has joined #racket

14:41 badkins has joined #racket

14:42 notzmv has quit [Remote host closed the connection]

14:43 notzmv has joined #racket

14:44 caente has quit [Ping timeout: 272 seconds]

14:45 notzmv has quit [Remote host closed the connection]

14:46 notzmv has joined #racket

15:11 TCZ has joined #racket

15:26 sputny has quit [Remote host closed the connection]

15:26 sputny has joined #racket

15:38 orivej has joined #racket

15:38 badkins has quit [Remote host closed the connection]

15:40 notzmv has quit [Remote host closed the connection]

15:41 notzmv has joined #racket

15:47 phillbush has joined #racket

15:49 notzmv has quit [Remote host closed the connection]

15:50 notzmv has joined #racket

16:04 badkins has joined #racket

16:11 sputny has quit [Remote host closed the connection]

16:11 sputny has joined #racket

16:14 <dzoe> Anyone using db module with postgresql and session variables?

16:14 <dzoe> query-exec "set timezone to 'cet'" does not change anything - however in psql client it works as documented.

16:15 <dzoe> The db module does not say anything about particular limitations of queries sent to server and it does not throw any error.

16:31 notzmv has quit [Ping timeout: 260 seconds]

16:43 TCZ has quit [Quit: Leaving]

16:54 mirrorbird has joined #racket

16:54 mirrorbird has quit [Remote host closed the connection]

16:56 sputny has quit [Remote host closed the connection]

16:56 sputny has joined #racket

17:02 <dzoe> Apparently it returns sql-timestamp? with tz 0, although the server (probably) responds with the CET timezone. Strange at best.

17:03 <dzoe> Ah, it is documented! Got it.

17:38 badkins has quit [Remote host closed the connection]

17:41 sputny has quit [Remote host closed the connection]

17:41 sputny has joined #racket

17:46 arpunk has quit [Ping timeout: 240 seconds]

17:46 nullcone has joined #racket

18:14 badkins has joined #racket

18:25 sputny has quit [Remote host closed the connection]

18:26 sputny has joined #racket

18:53 sputny has quit [Quit: sputny]

18:53 sputny has joined #racket

18:54 phillbush has quit [Ping timeout: 256 seconds]

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

19:02 Sgeo has joined #racket

19:12 phillbush has joined #racket

19:13 phillbush has quit [Client Quit]

19:27 badkins has joined #racket

19:36 endformationage has joined #racket

19:37 temp64 has joined #racket

19:47 FreeFull has joined #racket

19:49 FreeFull has quit [Read error: Connection reset by peer]

20:01 phillbush has joined #racket

20:03 corpix has quit [Quit: corpix]

20:04 caente has joined #racket

20:11 FreeFull has joined #racket

20:17 sputny has quit [Remote host closed the connection]

20:41 narimiran has quit [Ping timeout: 264 seconds]

21:08 mirrorbird has joined #racket

21:11 selimcan has quit [Ping timeout: 264 seconds]

21:14 selimcan has joined #racket

22:15 mirrorbird has quit [Quit: Leaving]

22:19 casaca has quit [Remote host closed the connection]

22:30 FreeFull has quit []

22:45 casaca has joined #racket

23:04 ym555 has quit [Ping timeout: 256 seconds]

23:26 notzmv has joined #racket