Ven`` has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
endobson has joined #racket
k_sze has joined #racket
endobson has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Boarders has joined #racket
<Boarders>
is there a function like (define (flip f y x) (f x y)) intended to be used with partial application in function composition?
<Boarders>
in fact I tried to do this with curry but my version of racket says "curry: undefined"
<Boarders>
does anyone know if this is recently added?
acarrico has joined #racket
endobson has joined #racket
<Boarders>
specifically I am using racket v7.1
<Boarders>
I upgraded to use racket v 7.5 but no luck if anyone could tell me what I need to use curry that would be very helpful, do I need to load a certain package?
<Boarders>
specifically I am talking about the curry function defined here which does not mention needing to add require
<Boarders>
this is maddening
<Boarders>
oh gosh it is in a section beginning
<Boarders>
(require racket/function)
endobson has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<Boarders>
I really wish the documentation were a bit clearer here
ZombieChicken has quit [Ping timeout: 260 seconds]
endobson has joined #racket
<Boarders>
can functions which are lazy in their arguments not be partially applied with curry like and?
<greghendershott>
Boarders: `#lang racket/base` is fairly minimal and you `require` more things. Good for "production". `#lang racket` requires a lot for you. Maybe use that when exploring/learning Racket.
<Boarders>
I have on #lang racket buts stilled needed to add (require racket/function)
<greghendershott>
Oh OK. I thought it might be included.
<Boarders>
my mistake was expecting the necessary requires at the top of the documentation
badkins has quit [Remote host closed the connection]
<Boarders>
but I think I was just getting frustrated with it not being clear what is going wrong :|
<greghendershott>
Unlike Haskell, Racket does not have "functions lazy in their arguments". Args are always evaluated before calling the function.
<Boarders>
any ideas on partial application of and as in (curry and #f)?
<greghendershott>
I mean, you could pass a thunk, and do lazyness manually.
<Boarders>
ah ok, so is and special syntactic sugar somehow?
<greghendershott>
`and` is a macro not a function.
<Boarders>
aha that clears things up
<greghendershott>
Yep. The docs are pretty good about that. The little box for each thing will say "syntax" for that.
<Boarders>
thank you!
<greghendershott>
As opposed to "procedure" or "value" or whatever.
<greghendershott>
All the conditionals are syntax a.k.a. macros because short-circuiting.
cartwright has quit [Ping timeout: 240 seconds]
<Boarders>
that makes a ton of sense
<Boarders>
I had in mind that racket (or rather scheme) was an applicative order language but for some reason it hadn't occurred to me that this meant the short circuiting functions are all macros
cartwright has joined #racket
<greghendershott>
And I think you and I were talking about pattern matching before? `match` is syntax, too.
<greghendershott>
So are even basic things like `let` you might think are "part of the language".
<greghendershott>
And in some sense they are, but, you could have or could implement them yourself.
<Boarders>
I can't wait until I get to learning about that sort of stuff
<Boarders>
it's why I want to get to grips with racket :)
<greghendershott>
And even that has some "noise" in it that are primitives more for "housekeeping" I'd say.
<Boarders>
do you know of a good resource for learning this sort of business, is beautiful racket the best place to look?
iyzsong has joined #racket
Arcaelyx has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 268 seconds]
endobson has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
endobson has joined #racket
_whitelogger has joined #racket
Arcaelyx has quit [Remote host closed the connection]
narimiran has joined #racket
orivej has joined #racket
endobson has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
endobson has joined #racket
dddddd has quit [Ping timeout: 260 seconds]
endobson has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<lavaflow>
how can I define a function contract for a function that takes two equal length bytes? as arguments?
<lavaflow>
specifically I'd like to ensure that they're equal length
sauvin has quit [Ping timeout: 268 seconds]
sauvin has joined #racket
Sgeo_ has joined #racket
Sgeo__ has quit [Ping timeout: 272 seconds]
Fernando-Basso has joined #racket
narimiran has quit [Ping timeout: 260 seconds]
aidalgol has quit [Remote host closed the connection]
badkins has joined #racket
Ven`` has joined #racket
badkins has quit [Ping timeout: 256 seconds]
zaesur has joined #racket
cartwright has quit [Read error: Connection reset by peer]
true-grue has joined #racket
notzmv has quit [Ping timeout: 240 seconds]
<zaesur>
hello #racket, why does http://pasterack.org/pastes/71671 throw an error? according to the documentation, the syntax of define/public allows for (define/public id expr)
cartwright has joined #racket
Lowl3v3l has quit [Ping timeout: 265 seconds]
Sgeo__ has joined #racket
Sgeo_ has quit [Ping timeout: 260 seconds]
ArthurStrong has joined #racket
zaesur has quit [Remote host closed the connection]
<ArthurStrong>
Am I right "zip" is the same as (map list ...)?
<ArthurStrong>
I want to add this to my utils lib. Or (map cons ...) would be better?
davidl has joined #racket
dddddd has joined #racket
ArthurStrong has quit [Quit: leaving]
_whitelogger has joined #racket
dustyweb has quit [Read error: Connection reset by peer]
acarrico has quit [Ping timeout: 260 seconds]
Sgeo_ has joined #racket
Sgeo__ has quit [Ping timeout: 268 seconds]
orivej has quit [Ping timeout: 260 seconds]
tilpner has joined #racket
narimiran has joined #racket
efm has quit [Ping timeout: 240 seconds]
efm has joined #racket
<greghendershott>
rudybot: later tell ArthurStrong I don't know but you could define a `zip-with` that takes another arg `f`, and you could call it using `cons`, `list`, or whatever.
<rudybot>
greghendershott: I asked `MemoServ' to forward the message to ArthurStrong.
<greghendershott>
rudybot: later tell zaesur idk racket/class well but isn't that syntax for a variable not a function? Instead would `(define/public (name . args) ...)` do what you want?
<rudybot>
greghendershott: I asked `MemoServ' to forward the message to zaesur.
<greghendershott>
lavaflow: If you have some predicate function that works as you want, such as `two-bytes?`, you can just use that in the contract I think? `(-> two-bytes? two-bytes? any)` ?
Codaraxis_ has joined #racket
<greghendershott>
There may be a better way to do this.
<greghendershott>
I'm just pointing out that a plain old predicate function from one value to boolean, can be used as-is in a contract.
<greghendershott>
So, that is one simple way to do it.
<bremner>
(at least in #lang racket, map takes multiple lists)
greenfork has joined #racket
endobson has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
endobson has joined #racket
notzmv has joined #racket
Sgeo__ has joined #racket
Sgeo_ has quit [Ping timeout: 272 seconds]
endobson has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
endobson has joined #racket
endobson has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
badkins has joined #racket
badkins has quit [Ping timeout: 272 seconds]
libertyprime has joined #racket
lavaflow has quit [Ping timeout: 260 seconds]
endobson has joined #racket
endobson has quit [Client Quit]
endformationage has joined #racket
ng0_ has joined #racket
ng0 has quit [Ping timeout: 246 seconds]
endobson has joined #racket
FreeFull is now known as anks
greenfork has quit [Remote host closed the connection]
anks is now known as FreeFull
Sgeo__ has quit [Read error: Connection reset by peer]
endobson has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Sgeo has joined #racket
endobson has joined #racket
endobson has quit [Client Quit]
<greghendershott>
bremner: I think you're right! Personally I don't tend to use things like map or zip or fold very much. I usually find it clearer (to me) to use list comprehensions like for/list and friends.
<bremner>
I think I mainly remember map because it's a mess to typecheck
<greghendershott>
But I appreciate other people prefer differently. And for some problems even I would gravitate towards the map/zip combinator/whatever style.
<greghendershott>
I'm just not great at code-golfing "well zip is a map that.." sorts of things. :)
ng0_ has quit [Ping timeout: 240 seconds]
YuGiOhJCJ has joined #racket
ziyourenxiang has quit [*.net *.split]
dyl_ has quit [*.net *.split]
dvdmuckle has quit [*.net *.split]
rubic88 has quit [*.net *.split]
evhan has quit [*.net *.split]
jboy has quit [*.net *.split]
tomaw has quit [*.net *.split]
gabot has quit [*.net *.split]
dvdmuckle has joined #racket
dyl_ has joined #racket
rubic88 has joined #racket
ziyourenxiang has joined #racket
jboy has joined #racket
gabot has joined #racket
evhan has joined #racket
tomaw has joined #racket
dyl_ has quit [Max SendQ exceeded]
dyl has joined #racket
Boarders has quit [*.net *.split]
narimiran has quit [Ping timeout: 268 seconds]
Boarders has joined #racket
emacsoma1 has quit [Read error: Connection reset by peer]
Sgeo has quit [*.net *.split]
ermo has quit [*.net *.split]
jmiven has quit [*.net *.split]
cky has quit [*.net *.split]
twee has quit [*.net *.split]
cemerick has quit [*.net *.split]
nisstyre has quit [*.net *.split]
rudybot has quit [*.net *.split]
tmg has quit [*.net *.split]
JStoker has quit [*.net *.split]
Irenes[m] has quit [*.net *.split]
Blkt has quit [*.net *.split]
zmt01 has quit [*.net *.split]
hexagoxel has quit [*.net *.split]
samth has quit [*.net *.split]
greghendershott has quit [*.net *.split]
jackhill has quit [*.net *.split]
siel has quit [*.net *.split]
eagleflo_ has quit [*.net *.split]
Blkt has joined #racket
Sgeo has joined #racket
Irenes[m] has joined #racket
tmg has joined #racket
siel has joined #racket
samth has joined #racket
cemerick has joined #racket
eagleflo_ has joined #racket
zmt01 has joined #racket
rudybot has joined #racket
cky has joined #racket
twee has joined #racket
jackhill has joined #racket
jmiven has joined #racket
hexagoxel has joined #racket
ermo has joined #racket
greghendershott has joined #racket
nisstyre has joined #racket
JStoker has joined #racket
nisstyre has quit [Max SendQ exceeded]
nisstyre has joined #racket
libertyprime has quit [*.net *.split]
ZombieChicken has quit [*.net *.split]
mzan has quit [*.net *.split]
Zandose has quit [*.net *.split]
winny has quit [*.net *.split]
r3x5 has quit [*.net *.split]
epony has quit [*.net *.split]
thallada has quit [*.net *.split]
meimeix has quit [*.net *.split]
meimeix has joined #racket
epony has joined #racket
thallada has joined #racket
hoek has quit [Ping timeout: 252 seconds]
BitPuffin has quit [Ping timeout: 240 seconds]
gluon has quit [*.net *.split]
deeglaze has quit [*.net *.split]
cbarrett has quit [*.net *.split]
ephemeron has quit [*.net *.split]
banjiewen has quit [*.net *.split]
bchar has quit [*.net *.split]
ephemeron has joined #racket
ZombieChicken has joined #racket
Zandose has joined #racket
libertyprime has joined #racket
winny has joined #racket
mzan has joined #racket
r3x5 has joined #racket
cbarrett has joined #racket
deeglaze has joined #racket
juanfra has quit [*.net *.split]
juanfra_ has quit [Ping timeout: 245 seconds]
juanfra has joined #racket
Irenes[m] has quit [Ping timeout: 248 seconds]
Zandose has quit [Ping timeout: 277 seconds]
endformationage has quit [*.net *.split]
Trieste has quit [*.net *.split]
DGASAU has quit [*.net *.split]
sudden has quit [*.net *.split]
extrowerk has quit [*.net *.split]
dmiles has quit [*.net *.split]
poga has quit [*.net *.split]
abordado has quit [*.net *.split]
tonyg has quit [*.net *.split]
erkin has quit [*.net *.split]
phI||Ip has quit [*.net *.split]
zv has quit [*.net *.split]
ullbeking has quit [*.net *.split]
^[ has quit [*.net *.split]
edmoore has quit [*.net *.split]
cheers has quit [*.net *.split]
dumptruckman has quit [*.net *.split]
ohama has quit [*.net *.split]
bremner has quit [*.net *.split]
Cheery has quit [*.net *.split]
bkhl has quit [*.net *.split]
ullbeking has joined #racket
^[ has joined #racket
edmoore has joined #racket
dumptruckman has joined #racket
bkhl has joined #racket
ohama has joined #racket
Cheery has joined #racket
cheers has joined #racket
bremner has joined #racket
gluon has joined #racket
notzmv has quit [*.net *.split]
manualcrank has quit [*.net *.split]
danderson has quit [*.net *.split]
ephemera_ has quit [*.net *.split]
mceier has quit [*.net *.split]
asumu_ has quit [*.net *.split]
pounce has quit [*.net *.split]
sauvin has quit [*.net *.split]
dddddd has quit [*.net *.split]
sagax has quit [*.net *.split]
nullman has quit [*.net *.split]
wingo has quit [*.net *.split]
bartbes has quit [*.net *.split]
aeth has quit [*.net *.split]
dev has quit [*.net *.split]
fiddlerwoaroof has quit [*.net *.split]
casaca has quit [*.net *.split]
Oxyd has quit [*.net *.split]
xensky has quit [*.net *.split]
idxu has quit [*.net *.split]
zenspider has quit [*.net *.split]
dzoe has quit [*.net *.split]
ullbeking has quit [Max SendQ exceeded]
endformationage has joined #racket
Trieste has joined #racket
poga has joined #racket
DGASAU has joined #racket
zv has joined #racket
phI||Ip has joined #racket
dmiles has joined #racket
erkin has joined #racket
sudden has joined #racket
tonyg has joined #racket
abordado has joined #racket
extrowerk has joined #racket
dmiles has quit [Max SendQ exceeded]
notzmv has joined #racket
danderson has joined #racket
ephemera_ has joined #racket
pounce has joined #racket
asumu_ has joined #racket
manualcrank has joined #racket
mceier has joined #racket
nullcone has quit [Ping timeout: 240 seconds]
mario-goulart has quit [*.net *.split]
camelCaser has quit [*.net *.split]
k_sze has quit [*.net *.split]
m1dnight_ has quit [*.net *.split]
newnix has quit [*.net *.split]
notnotdan has quit [*.net *.split]
technomancy has quit [*.net *.split]
rubic88 has quit [Ping timeout: 270 seconds]
hoek has joined #racket
olavx200 has quit [Ping timeout: 240 seconds]
rodlogic has quit [Ping timeout: 245 seconds]
mario-goulart has joined #racket
technomancy has joined #racket
camelCaser has joined #racket
newnix has joined #racket
k_sze has joined #racket
m1dnight_ has joined #racket
notnotdan has joined #racket
sauvin has joined #racket
dddddd has joined #racket
xensky has joined #racket
nullman has joined #racket
sagax has joined #racket
Oxyd has joined #racket
wingo has joined #racket
dev has joined #racket
casaca has joined #racket
zenspider has joined #racket
dzoe has joined #racket
aeth has joined #racket
bartbes has joined #racket
fiddlerwoaroof has joined #racket
idxu has joined #racket
krono has quit [*.net *.split]
fridim has quit [*.net *.split]
tazjin has quit [*.net *.split]
boeg has quit [*.net *.split]
`micro has quit [*.net *.split]
shachaf has quit [*.net *.split]
dancek has quit [*.net *.split]
ecraven has quit [*.net *.split]
theruran has quit [*.net *.split]
englishm has quit [*.net *.split]
lexi-lambda has quit [*.net *.split]
eMBee has quit [*.net *.split]
friscosam has quit [*.net *.split]
^[ has quit [Ping timeout: 260 seconds]
rubic88 has joined #racket
`micro has joined #racket
fridim has joined #racket
ecraven has joined #racket
shachaf has joined #racket
dancek has joined #racket
krono has joined #racket
tazjin has joined #racket
dmiles has joined #racket
lexi-lambda has joined #racket
englishm has joined #racket
theruran has joined #racket
friscosam has joined #racket
eMBee has joined #racket
YuGiOhJCJ has quit [*.net *.split]
cartwright has quit [*.net *.split]
englishm has quit [Max SendQ exceeded]
dmiles has quit [Max SendQ exceeded]
tazjin has quit [Ping timeout: 252 seconds]
rodlogic has joined #racket
rodlogic has quit [Changing host]
rodlogic has joined #racket
ullbeking has joined #racket
dmiles has joined #racket
hoek has quit [Ping timeout: 248 seconds]
theruran has quit [Ping timeout: 245 seconds]
ullbeking has quit [Excess Flood]
cbarrett has quit [Ping timeout: 246 seconds]
ullbeking has joined #racket
Zandose has joined #racket
boeg has joined #racket
YuGiOhJCJ has joined #racket
nullcone has joined #racket
YuGiOhJCJ has quit [*.net *.split]
englishm has joined #racket
theruran has joined #racket
hoek has joined #racket
cbarrett has joined #racket
cbarrett has quit [Excess Flood]
cbarrett has joined #racket
tazjin has joined #racket
YuGiOhJCJ has joined #racket
nullcone has quit [Excess Flood]
^[ has joined #racket
nullcone has joined #racket
nullcone has quit [Excess Flood]
nullcone has joined #racket
^[ has quit [Excess Flood]
^[ has joined #racket
^[ has quit [Excess Flood]
^[ has joined #racket
hoek has quit [Excess Flood]
hoek has joined #racket
YuGiOhJCJ has quit [*.net *.split]
hoek has quit [Excess Flood]
hoek has joined #racket
hoek has quit [Excess Flood]
hoek has joined #racket
cartwright has joined #racket
asf has joined #racket
<asf>
hi, is there any syntactic difference between parentheses and square brackets or is just a readability thing?
<aeth>
I think it's just by convention.
<aeth>
Plenty of Schemers who write wracket just use parens for everything and the code still runs
<aeth>
s/wracket/with Racket/
lavaflow has joined #racket
true-grue has quit [Read error: Connection reset by peer]
orivej has joined #racket
<bremner>
asf: in "#lang racket" it's just a convention. You can test with (read), everything is normalized to () iirc
Fernando-Basso has quit [Quit: Leaving]
badkins has joined #racket
badkins has quit [Remote host closed the connection]