tonyg changed the topic of #racket to: The Racket Programming Language -- https://racket-lang.org/ -- https://gather.town/app/wH1EDG3McffLjrs0/racket-users -- http://pasterack.org -- logged at https://libera.irclog.whitequark.org/racket/ -- This is the right place to ask for help with (Dr)Racket. Remember to wait around for an answer!
montxero has quit [Ping timeout: 246 seconds]
Origin has quit [Ping timeout: 260 seconds]
Mooncairn has joined #racket
Mooncairn has quit [Quit: Leaving]
jsoo has quit [Quit: ZNC 1.8.2 - https://znc.in]
jsoo has joined #racket
jsoo has quit [Quit: ZNC 1.8.2 - https://znc.in]
jsoo has joined #racket
rakka has quit [Remote host closed the connection]
rakka has joined #racket
rekahsoft has quit [Ping timeout: 260 seconds]
skapata has quit [Remote host closed the connection]
to-hu has joined #racket
Mooncairn has joined #racket
to-hu has quit [Quit: to-hu]
jsoo has quit [Quit: ZNC 1.8.2 - https://znc.in]
jsoo has joined #racket
parnikkapore has joined #racket
runrin has quit [Ping timeout: 256 seconds]
danse-nr3 has joined #racket
Kratacoa has joined #racket
tonyg has joined #racket
danse-nr3 has quit [Ping timeout: 256 seconds]
<tonyg> raco setup is now sporting a very nice progress bar but somehow it highlights the fact that it's taking much longer to run nowadays 🤔
danse-nr3 has joined #racket
danse-nr3 has quit [Remote host closed the connection]
danse-nr3 has joined #racket
danse-nr3 has quit [Remote host closed the connection]
danse-nr3 has joined #racket
sinbad has joined #racket
<sinbad> I am trying to follow "An Introduction to Racket with Pictures". setting lang in drracket as described does not work: read-syntax: `#lang` not enabled
<sinbad> when put this into a file then the functions (circle etc) are undefined. what am I missing?
danse-nr3 has quit [Ping timeout: 264 seconds]
sinbad has left #racket [#racket]
danse-nr3 has joined #racket
danse-nr3 has quit [Remote host closed the connection]
danse-nr3 has joined #racket
mdhughes has quit [Read error: Connection reset by peer]
mdhughes has joined #racket
n8n has joined #racket
Achylles has joined #racket
<Putonlalla> Where can I find the parametric contract of `apply`?
<bremner> other than https://docs.racket-lang.org/reference/procedures.html#%28def._%28%28lib._racket%2Fprivate%2Fbase..rkt%29._apply%29%29 ?
<bremner> not sure what you are looking for?
<Putonlalla> Something like `(parametric->/c (src ... dst) (-> (-> src ... dst) (list/c src ...) dst))`.
<bremner> OK, I guess I'm not familiar enough with contracts to answer that.
<bremner> typed/racket has (All (a b) (-> (-> a * b) (Listof a) b))
<bremner> but that is not strictly a contract
<bremner> and could well be more restricted than the "#lang racket" case
lucasta has joined #racket
<Putonlalla> The multiple arguments and multiple return values make things tricky, because you need multiple type variables.
<Putonlalla> This would make a good example for the documentation.
skapata has joined #racket
Achylles has quit [Ping timeout: 252 seconds]
danse-nr3 has quit [Ping timeout: 255 seconds]
Tuplanolla has joined #racket
danse-nr3 has joined #racket
<samth> tonyg: I don't think that's true; if you look at https://build-plot-cs.racket-lang.org/2022-04-08.html from 2 years ago it's almost exactly the same amount of time
<samth> Putonlalla: what exactly are you looking for? the specification of `apply`? documentation for how `apply` works in Typed Racket? More examples for parameteric contracts?
<tonyg> samth: amazing! Is this on the same machine? I wonder why it seems so much slower for me. Perhaps I have extra packages installed that make raco setup take extra time.
<samth> tonyg: yes, that's the same machine building the main-distribution (so it gets a little slower over time as code gets added)
<tonyg> cool
Origin has joined #racket
Origin has quit [Ping timeout: 256 seconds]
Origin has joined #racket
morte has joined #racket
danse-nr3 has quit [Ping timeout: 260 seconds]
Achylles has joined #racket
lucasta has quit [Quit: Leaving]
morte has quit [Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)]
n8n has quit [Quit: WeeChat 4.2.2]
n8n has joined #racket
Achylles has quit [Quit: Leaving]
parnikkapore has quit [Quit: Leaving]
morte has joined #racket
morte has quit [Remote host closed the connection]
Origin has quit [Quit: Leaving]