<bremner>
has anyone used scribble/lp2 with slideshow? does that even make any sense?
zmt00 has quit [Read error: Connection reset by peer]
zmt00 has joined #racket
widp_ has quit [Ping timeout: 245 seconds]
casaca has quit [Remote host closed the connection]
_whitelogger has joined #racket
Fare has quit [Ping timeout: 255 seconds]
libertyprime has quit [Ping timeout: 245 seconds]
libertyprime has joined #racket
lavaflow has quit [Read error: Connection reset by peer]
lavaflow has joined #racket
libertyprime has quit [Ping timeout: 246 seconds]
libertyprime has joined #racket
ubLIX has quit [Quit: ubLIX]
libertyprime has quit [Ping timeout: 268 seconds]
jao has quit [Ping timeout: 245 seconds]
Fare has joined #racket
libertyprime has joined #racket
zmt00 has quit [Read error: Connection reset by peer]
libertyprime has quit [Ping timeout: 250 seconds]
libertyprime has joined #racket
zmt00 has joined #racket
libertyprime has quit [Ping timeout: 250 seconds]
ym555 has joined #racket
FreeFull has quit []
libertyprime has joined #racket
caltelt_ has joined #racket
libertyprime has quit [Ping timeout: 246 seconds]
Arcaelyx has quit [Ping timeout: 250 seconds]
libertyprime has joined #racket
ym555 has quit [Ping timeout: 255 seconds]
libertyprime has quit [Ping timeout: 250 seconds]
orivej has joined #racket
notzmv has quit [Ping timeout: 245 seconds]
endformationage has quit [Quit: WeeChat 2.4]
dddddd has quit [Remote host closed the connection]
caltelt_ has quit [Ping timeout: 250 seconds]
keep_learning has quit [Remote host closed the connection]
Arcaelyx has joined #racket
dch has joined #racket
Fare has quit [Ping timeout: 245 seconds]
Fare has joined #racket
keep_learning has joined #racket
ng0 has joined #racket
evdubs_ has joined #racket
evdubs has quit [Ping timeout: 250 seconds]
_whitelogger has joined #racket
Fare has quit [Ping timeout: 246 seconds]
fmu has joined #racket
fmu_ has quit [Ping timeout: 250 seconds]
<dch>
heya I am looking at racket-cs using the latest snapshot, to see if I can produce single-file executables that don't have a dependency on the whole compiler. Is that possible yet, or is that not even a goal of the chez backend work?
orivej has quit [Ping timeout: 245 seconds]
ym555 has joined #racket
widp_ has joined #racket
iyzsong has joined #racket
lockywolf has joined #racket
lockywolf_ has joined #racket
lockywolf has quit [Ping timeout: 250 seconds]
jao has joined #racket
vraid has joined #racket
orivej has joined #racket
widp_ has quit [Ping timeout: 255 seconds]
Fare has joined #racket
selimcan has joined #racket
<selimcan>
In soviet russia, chatbots make you
<selimcan>
pardon, wrong channel
widp_ has joined #racket
lockywolf_ has quit [Ping timeout: 245 seconds]
lockywolf has joined #racket
selimcan has quit [Remote host closed the connection]
libertyprime has joined #racket
libertyprime has quit [Ping timeout: 245 seconds]
dddddd_ has joined #racket
dddddd_ is now known as dddddd
iclon has joined #racket
iclon has quit [Remote host closed the connection]
iclon has joined #racket
widp_ has quit [Ping timeout: 245 seconds]
Fare has quit [Ping timeout: 246 seconds]
jao has quit [Ping timeout: 245 seconds]
spdegabrielle has joined #racket
lockywolf_ has joined #racket
lockywolf has quit [Ping timeout: 250 seconds]
lockywolf_ has quit [Remote host closed the connection]
lockywolf_ has joined #racket
lockywolf_ has quit [Max SendQ exceeded]
lockywolf_ has joined #racket
lockywolf_ has quit [Max SendQ exceeded]
lockywolf_ has joined #racket
lockywolf_ has quit [Max SendQ exceeded]
lockywolf_ has joined #racket
ZombieChicken has quit [Ping timeout: 256 seconds]
iyzsong has quit [Ping timeout: 250 seconds]
endformationage has joined #racket
Sgeo__ has quit [Ping timeout: 268 seconds]
vraid has quit [Quit: Leaving]
tiago_ has joined #racket
tiago_ is now known as assertionerror
<assertionerror>
Hello everyone
<nisstyre>
bremner: have you tried it?
<spdegabrielle>
Hello @assertionerror
<assertionerror>
I'm trying to write a strong contract for a function, but I'm at loss in how encode the notion of forall in Racket. The documentation doesn't have an example for it. I would like to write a contract for map: (-> (-> A -> B) (listof A) (listof B)). Any ideas on how one could go about doing that?
orivej has quit [Ping timeout: 246 seconds]
orivej has joined #racket
ng0 has quit [Quit: Alexa, when is the end of world?]
<samth>
dch: I assume you know that you can create single-file executables with `raco exe`
<samth>
dch: but as for your specific question, that's not yet something that people have tried enabling, but it's potentially possible down the road
<samth>
assertionerror: what exactly do you want to check?
<assertionerror>
samth: I'm trying to understand if it's possible to write some code like this: https://pastebin.com/LaGDLPiH
<samth>
assertionerror: you might be interested in the parametric->/c contract combinator then
<assertionerror>
samth: I'm trying to understand if it's possible to describe something like the forall identifier in Racket's contracts. For instance, if I have a function that takes a list of A's and returns an element of type A, can I describe this in Racket?
<samth>
but note that this problem is not 100% well-definied
<assertionerror>
samth: that's exactly what I was looking for! Many thanks!
Arcaelyx has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
orivej has quit [Ping timeout: 250 seconds]
pera has joined #racket
Fare has joined #racket
assertionerror has quit [Quit: assertionerror]
assertionerror has joined #racket
assertionerror has quit [Client Quit]
assertionerror has joined #racket
assertionerror has quit [Quit: assertionerror]
assertionerror has joined #racket
assertionerror has quit [Remote host closed the connection]
keep_learning_M has quit [Ping timeout: 250 seconds]
selimcan has joined #racket
orivej has joined #racket
sauvin has quit [Read error: Connection reset by peer]
<dzoe>
Ah, unquote-splicing is absolutely amazing with xexpressions ...
<dzoe>
I just wonder why there is so little written about using xexpressions, ,@ and servlet dispatching for writing relatively complex web applications.
<dzoe>
And the ability to require for-syntax whole racket and pack everything inside a single binary - that is (in my opinion) a killer feature.
DGASAU has quit [Read error: Connection reset by peer]
DGASAU has joined #racket
<dch>
samth thanks yep I’ve been redoing a couple of scripts that use raco exe|distriibute but it’s still a tree of files to deploy. The go and rust people throwing me shade
ym555 has quit [Ping timeout: 268 seconds]
FreeFull has joined #racket
libertyprime has joined #racket
widp_ has quit [Ping timeout: 250 seconds]
selimcan has quit [Remote host closed the connection]
Shambles_ has quit [Quit: Leaving.]
Shambles_ has joined #racket
Shambles_ has left #racket [#racket]
Shambles_ has joined #racket
amz3 has quit [Ping timeout: 240 seconds]
efm has quit [Read error: Connection reset by peer]
efm has joined #racket
ym555 has joined #racket
efm has quit [Read error: Connection reset by peer]
efm has joined #racket
Arcaelyx has joined #racket
<nisstyre>
dch: do you want like a minimal Racket RTS that you could distribute instead of requiring *everything* ?
<nisstyre>
because no matter what you need some kind of RTS, even C does that
<nisstyre>
dynamic linking will reduce the size of the binary but I suspect you don't want that either
<samth>
nisstyre: it would be nice to just have a single file that worked, like a go binary
<nisstyre>
so a statically linked binary then?
<nisstyre>
that would be pretty cool
<nisstyre>
I wonder how large they would be though
<nisstyre>
You could compile your own version of Racket, stripping out a bunch of stuff you don't need, then use this option to link to it https://docs.racket-lang.org/raco/exe.html#%28part._.Finding_the_.Racket_.Executable%29
<nisstyre>
I have no clue if that would actually work or not
<nisstyre>
would be a neat experiment though
Fare has quit [Ping timeout: 245 seconds]
ng0 has quit [Quit: Alexa, when is the end of world?]
siel has quit [Ping timeout: 240 seconds]
siel has joined #racket
amz3 has joined #racket
orivej has quit [Ping timeout: 255 seconds]
orivej_ has joined #racket
zenspider has quit [Ping timeout: 250 seconds]
zenspider has joined #racket
dmiles has quit [Ping timeout: 245 seconds]
dmiles has joined #racket
Sgeo has joined #racket
efm has quit [Ping timeout: 245 seconds]
Fare has joined #racket
orivej_ has quit [Ping timeout: 255 seconds]
selimcan has joined #racket
<selimcan>
By any chance, has anyone written a multilingual website using Pollen or Scribble?
<selimcan>
I started simulating gettext, but maybe this problem has been solved elegantly before
<selimcan>
Anyway, I think that's a worthwhile thing for mbutterick to keep in mind as he's working on his next big thing ^^
<selimcan>
Internationalizability, that is
spdegabrielle has quit [Quit: Connection closed for inactivity]