#racket on 2020-10-26 — 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:06 dbmikus has joined #racket

00:11 dbmikus has quit [Ping timeout: 246 seconds]

00:22 dbmikus has joined #racket

00:26 dbmikus has quit [Ping timeout: 256 seconds]

01:22 TCZ has quit [Quit: Leaving]

01:36 phillbush has joined #racket

01:50 bitmapper has quit [Quit: Connection closed for inactivity]

02:23 dbmikus has joined #racket

02:27 dbmikus has quit [Ping timeout: 246 seconds]

02:39 dbmikus has joined #racket

02:43 dbmikus has quit [Ping timeout: 260 seconds]

03:03 orivej has joined #racket

03:04 phillbush has quit [Quit: Leaving]

03:52 mzan has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]

03:53 mzan has joined #racket

04:21 wingsorc has quit [Quit: Leaving]

06:14 ArneBab_ has quit [Remote host closed the connection]

06:47 MetaHertz has quit [Read error: Connection reset by peer]

06:51 narimiran has joined #racket

06:58 MetaHertz has joined #racket

07:02 fredmanglis has joined #racket

07:34 Sgeo has quit [Read error: Connection reset by peer]

07:51 bogdanp has joined #racket

07:52 bogdanp has quit [Client Quit]

08:00 mmohammadi9812 has joined #racket

08:28 bogdanp has joined #racket

08:45 bogdanp has quit [Ping timeout: 272 seconds]

09:02 TCZ has joined #racket

09:33 phillbush has joined #racket

09:49 phillbush has quit [Quit: Leaving]

10:13 mmohammadi9812 has quit [Ping timeout: 256 seconds]

10:15 mmohammadi9812 has joined #racket

10:22 ArneBab has joined #racket

10:26 ArneBab has quit [Ping timeout: 244 seconds]

10:30 dvdmuckle has quit [Ping timeout: 264 seconds]

10:32 mmohammadi9812 has quit [Ping timeout: 246 seconds]

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

10:33 mmohammadi9812 has joined #racket

10:33 tilpner has joined #racket

10:41 phillbush has joined #racket

11:20 dddddd has quit [Ping timeout: 260 seconds]

11:30 dddddd has joined #racket

11:31 dvdmuckle has joined #racket

11:32 davidl has joined #racket

11:45 mmohammadi9812 has quit [Ping timeout: 256 seconds]

11:45 mmohammadi9812 has joined #racket

11:53 mmohammadi9812 has quit [Ping timeout: 260 seconds]

11:57 mmohammadi9812 has joined #racket

11:58 phillbush has quit [Quit: Leaving]

12:30 nullcone has quit [Quit: Connection closed for inactivity]

12:39 phillbush has joined #racket

12:54 acarrico has joined #racket

13:17 TCZ has quit [Quit: Leaving]

13:45 Sgeo has joined #racket

14:06 TCZ has joined #racket

14:28 epony has quit [Remote host closed the connection]

14:41 ArneBab has joined #racket

14:54 bitmapper has joined #racket

14:59 epony has joined #racket

15:14 ArneBab has quit [Read error: Connection reset by peer]

15:57 FreeFull has joined #racket

16:31 rj_ has joined #racket

16:32 rj_ has quit [Client Quit]

16:33 narimiran has quit [Ping timeout: 260 seconds]

16:36 rj_ has joined #racket

16:38 catonano has joined #racket

16:39 TCZ has quit [Quit: Leaving]

16:40 endformationage has joined #racket

16:49 epony has quit [Ping timeout: 258 seconds]

17:07 narimiran has joined #racket

17:12 catonano has quit [Read error: Connection reset by peer]

17:31 dbmikus has joined #racket

18:03 epony has joined #racket

18:05 Steeve has joined #racket

18:08 nullcone has joined #racket

18:17 vraid has quit [Ping timeout: 264 seconds]

18:22 bocaneri has quit [Remote host closed the connection]

18:25 aaaaaa has joined #racket

18:27 ech has quit [Ping timeout: 240 seconds]

18:31 catonano has joined #racket

19:00 countvajhula has joined #racket

19:02 notzmv has quit [Ping timeout: 258 seconds]

19:05 notzmv has joined #racket

19:09 ech has joined #racket

19:10 drewolson has joined #racket

19:11 <drewolson> howdy folks. i'm new and experimenting with typed racket. does the language have any facilities for constrained polymorphism (e.g. type classes)?

19:12 MetaHertz has quit [Remote host closed the connection]

19:15 phillbush has quit [Quit: Leaving]

19:16 phillbush has joined #racket

19:17 srandon111 has joined #racket

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

19:48 mmohammadi9812 has quit [Read error: Connection reset by peer]

19:48 TCZ has joined #racket

19:48 mmohammadi9812 has joined #racket

19:52 phillbush has quit [Remote host closed the connection]

20:10 narimiran has quit [Ping timeout: 246 seconds]

20:17 <samth> drewolson: for bounded polymorphism (although not type classes) you can use intersection types

20:17 <drewolson> samth: thanks, i'll take a look.

20:22 countvajhula has quit [Ping timeout: 260 seconds]

20:28 srandon111 has quit [Ping timeout: 260 seconds]

20:35 epony has quit [Quit: updates]

20:39 MetaHertz has joined #racket

20:40 srandon111 has joined #racket

20:45 Boarders has quit [*.net *.split]

20:45 jackhill has quit [*.net *.split]

20:45 jackhill has joined #racket

20:45 Boarders has joined #racket

20:45 epony has joined #racket

20:46 srandon111 has quit [Ping timeout: 260 seconds]

21:35 arpunk has quit [Read error: Connection reset by peer]

21:37 jeroanan has joined #racket

21:42 sm2n has quit [Ping timeout: 260 seconds]

21:44 sm2n has joined #racket

21:50 acarrico has quit [Ping timeout: 260 seconds]

22:03 rj_ has quit [Ping timeout: 256 seconds]

22:28 TCZ has quit [Quit: Leaving]

22:31 jeroanan has quit [Quit: ERC (IRC client for Emacs 27.1)]

22:40 orivej has quit [Ping timeout: 240 seconds]

22:48 Steeve has quit [Quit: end]

22:49 TCZ has joined #racket

23:00 arpunk has joined #racket

23:15 dbmikus has quit [Ping timeout: 264 seconds]

23:18 dbmikus has joined #racket

23:21 <drewolson> samth: is there a good place to read about typed racket’s support for intersection types?

23:24 FreeFull has quit [Read error: Connection reset by peer]

23:31 Steeve has joined #racket

23:44 aeth_ has joined #racket

23:44 aeth has quit [Disconnected by services]

23:44 aeth_ is now known as aeth

23:45 mceier has quit [Remote host closed the connection]

23:46 mceier has joined #racket

23:47 countvajhula has joined #racket