lexi-lambda changed the topic of #racket to: Racket v7.1 has been released: http://blog.racket-lang.org/2018/10/racket-v7-1.html -- Racket -- https://racket-lang.org -- https://pkgs.racket-lang.org -- Paste at http://pasterack.org
pierpal has joined #racket
lockywolf__ has quit [Ping timeout: 268 seconds]
lockywolf has joined #racket
lockywolf has quit [Remote host closed the connection]
lockywolf has joined #racket
lockywolf has quit [Remote host closed the connection]
lockywolf has joined #racket
lockywolf_ has joined #racket
ng0 has quit [Quit: Alexa, when is the end of world?]
lockywolf has quit [Ping timeout: 268 seconds]
ubLIX has quit [Quit: ubLIX]
pie___ has joined #racket
pie__ has quit [Remote host closed the connection]
lockywolf__ has joined #racket
YuGiOhJCJ has quit [Quit: YuGiOhJCJ]
ziyourenxiang has joined #racket
lockywolf_ has quit [Ping timeout: 268 seconds]
lockywolf_ has joined #racket
lockywolf__ has quit [Ping timeout: 268 seconds]
dddddd has quit [Remote host closed the connection]
momofarm has joined #racket
pera has quit [Ping timeout: 246 seconds]
momofarm has quit [Quit: leaving]
[X-Scale] has joined #racket
orivej has joined #racket
X-Scale has quit [Ping timeout: 245 seconds]
[X-Scale] is now known as X-Scale
orivej has quit [Ping timeout: 268 seconds]
g00s has joined #racket
lockywolf_ has quit [Ping timeout: 268 seconds]
rnmhdn has joined #racket
pera has joined #racket
g00s has quit [Quit: Textual IRC Client: www.textualapp.com]
rnmhdn has quit [Quit: WeeChat 2.3]
Lowl3v3l has joined #racket
Sgeo_ has joined #racket
Sgeo has quit [Ping timeout: 250 seconds]
orivej has joined #racket
pie__ has joined #racket
pie___ has quit [Remote host closed the connection]
pera has quit [Ping timeout: 250 seconds]
YuGiOhJCJ has joined #racket
g00s has joined #racket
endformationage has quit [Quit: WeeChat 2.3]
jao has quit [Ping timeout: 250 seconds]
Diagon has joined #racket
g00s has quit [Quit: Textual IRC Client: www.textualapp.com]
buyfn has joined #racket
Diagon has quit [Quit: Leaving]
mzan has joined #racket
buyfn has quit [Quit: buyfn]
ziyourenxiang has quit [Ping timeout: 244 seconds]
YuGiOhJCJ has quit [Ping timeout: 256 seconds]
pierpal has quit [Remote host closed the connection]
gour has joined #racket
krono has joined #racket
m1dnight_ has joined #racket
<m1dnight_> Hey guys, I'm having some isssues with racket, and the module name resolver.
<m1dnight_> I think this might be a bug or so. Should I explain it here?
<m1dnight_> drracket*
<Lowl3v3l> m1dnight_: won't hurt to try
<m1dnight_> Okay. So I have a folder with a lot of modules for an algo&data course. And I added it to my collections path: https://exbin.call-cc.be/GaggingPoniards
<m1dnight_> And then I have a sample file that loads up this stack module, and uses it.
<m1dnight_> And all this works, so no problem there. But whenever racket reloads the file (when I type or whatever), it shows me this error:
<m1dnight_> https://i.imgur.com/gqANjP3.png <- my settings in racket
<m1dnight_> So in the end it all works, but the error is really annoying. Students have it as well.
<m1dnight_> My racket version is 7.1.
<m1dnight_> I have given the source for the two files so somebody should be able to reproduce the error.
Habib has joined #racket
<Habib> lexi-lambda, thanks for your help yesterday. i got my keymap working with a little hack; instead of `enter!`ing a file, I simply echo the contents of the file into the `-e` argument using a subshell.
<Habib> nnoremap <leader>r :w \| !racket -e "$(grep -v '\#lang' %)" -i<cr>
<Habib> you can also go with this alternative to ignore blank lines and convert newlines to spaces, even though racket's -e option doesn't care about those minor details
<Habib> nnoremap <leader>r :w \| !racket -e "$(grep -v '\#lang' % \| grep -v '^$' \| tr '\n' ' ')" -i<cr>
mzan has quit [Ping timeout: 246 seconds]
mzan has joined #racket
<Habib> Oops, regex should probably only match #lang declarations at the beginning of the line; just insert a caret before the \#lang.
ubLIX has joined #racket
Habib has quit [Quit: Habib]
Habib has joined #racket
orivej has quit [Ping timeout: 250 seconds]
Habib has left #racket [#racket]
ubLIX has quit [Quit: ubLIX]
ZombieChicken has quit [Ping timeout: 256 seconds]
ng0 has joined #racket
iyzsong has joined #racket
confusedwanderer has joined #racket
dddddd has joined #racket
dan_f has quit [Quit: dan_f]
fmnt has joined #racket
gour_ has joined #racket
gour has quit [Ping timeout: 246 seconds]
gour_ is now known as gour
ziyourenxiang has joined #racket
tautologico has joined #racket
fmnt has quit [Ping timeout: 250 seconds]
iyzsong has quit [Ping timeout: 252 seconds]
fmnt has joined #racket
pie___ has joined #racket
pie__ has quit [Remote host closed the connection]
Arcaelyx has joined #racket
orivej has joined #racket
pierpal has joined #racket
rnmhdn has joined #racket
<rnmhdn> what is the difference between (list 'a 'b) and (cons 'a 'b)?
<bremner> nil
<bremner> rudybot: (equal? (list 'a 'b) (cons 'a (cons 'b nil)))
<rudybot> bremner: error: with-limit: out of time
<bremner> boo.
<rnmhdn> what?
<rnmhdn> my question is what is the type of (cons 'a 'b)
<rnmhdn> what does that . mean?
<bremner> it's just notation for cons
<bremner> (cons 'a 'b) is a "pair" in racket jargon
Lowl3v3l has quit [Quit: Leaving.]
<rnmhdn> but (pair? (list 'a 'b)) is also #t
<bremner> yes. a list is a special kind of pair
<rnmhdn> that?
<rnmhdn> that has a null in it?
<bremner> yeah, as as the second element
jao has joined #racket
<rnmhdn> oh ok thanks.
<tilpner> Well, not really
<tilpner> '(42 . (21 . ())) is also a list, despite the second element being '(21 . ()) instead of nil
<bremner> err. right, lists need to be defined recursively
<tilpner> (By nil, I meant to say '() or null)
<rnmhdn> yeah I think they meant the last element
<bremner> (anything . list) is a list. and '() is a list
<rnmhdn> what is the difference between . and ' '?
<rnmhdn> (1 (1 2)) vs (1 . (1 2))
<bremner> (a . b) == (cons a b)
<bremner> ot
<bremner> err, it's just an old notation to emphasize the pair aspect.
<bremner> I could do without it myself. I think it just adds confusion.
<rnmhdn> I still don
<rnmhdn> 't get the diff between the two
<rnmhdn> (1 (1 2)) vs (1 . (1 2))
<tilpner> The first has two elements, the second has three
<tilpner> The first contains a list as an element, the second does not
<bremner> try (cons 1 '(1 2)) in a repl to see what tilpner means
<rnmhdn> yeah I got it.
Arcaelyx has quit [Quit: Textual IRC Client: www.textualapp.com]
Arcaelyx has joined #racket
sleepnap has joined #racket
pierpal has quit [Quit: Poof]
pierpal has joined #racket
<lf94> bremner, with that equivalence, does it mean I don't have to use . at all?
<lf94> What is the breakdown of "cons"?
<bremner> I don't think cons really "breaks down". I'm not aware of any (non-contrived) setting where the use of "." cannot be replaced by cons.
<bremner> People who know more about internals might have a more informed view.
<lf94> This question stems from: everything should break down to lambda terms
<lf94> terms/expressions...
<lf94> (lamba x.x) <- expression or term?
<bremner> I think it probably depends on what lambda calculus formalism / book you study, but I don't really know much about it
pierpal has quit [Quit: Poof]
pierpal has joined #racket
endformationage has joined #racket
YuGiOhJCJ has joined #racket
pera has joined #racket
dbmikus has joined #racket
pierpal has quit [Quit: Poof]
pierpal has joined #racket
ziyourenxiang has quit [Ping timeout: 240 seconds]
fmnt has quit [Ping timeout: 246 seconds]
Arcaelyx has quit [Ping timeout: 260 seconds]
fmnt has joined #racket
dbmikus has quit [Read error: Connection reset by peer]
fmnt has quit [Quit: Leaving.]
dbmikus has joined #racket
YuGiOhJCJ has quit [Quit: YuGiOhJCJ]
dbmikus has quit [Ping timeout: 244 seconds]
buyfn has joined #racket
dbmikus has joined #racket
orivej has quit [Ping timeout: 245 seconds]
dbmikus_ has joined #racket
dbmikus has quit [Ping timeout: 245 seconds]
buyfn has quit [Quit: buyfn]
DGASAU has joined #racket
buyfn has joined #racket
orivej has joined #racket
orivej has quit [Ping timeout: 245 seconds]
gour has left #racket ["Leaving"]
<endformationage> dustyweb: I've come across your ocap-secure actor library Goblins. I'm curious if you're aware of the COAST architectural style? http://isr.uci.edu/content/coast-dynamic-secure-demand-services
<endformationage> dustyweb: COAST is also heavily inspired by E and its object-capability security. In fact it embeds computation exchange (implemented as actors) in object-capability infrastructure.
orivej has joined #racket
<endformationage> dustyweb: The disertation on COAST (Gorlick, M., 8/2016) better details the arch. and its influences from E and others, and describes other cool properties such as adaptability (live update). For a more general into see: http://isr.uci.edu/projects/coast/about.html
<endformationage> dustyweb: A reference implementation of the COAST style (written in racket!) called Motile/Island has been made available here: https://github.com/karinies/coast
<endformationage> Unfortunately it seems it has not been kept up to date with its dependencies.
<endformationage> FWIW, COAST's Motile/Island is what brought me to racket.
mahmudov has joined #racket
orivej has quit [Ping timeout: 246 seconds]
dbmikus_ has quit [Ping timeout: 246 seconds]
dbmikus_ has joined #racket
pie__ has joined #racket
pie___ has quit [Remote host closed the connection]
g00s has joined #racket
buyfn has quit [Quit: buyfn]
Fernando-Basso has joined #racket
<dustyweb> endformationage: interesting, and I heard about it and had opinions but forgot what they were and need to re-review ;)
confusedwanderer has quit [Quit: confusedwanderer]
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #racket
dan_f has joined #racket
mzan has left #racket [#racket]
dustyweb has quit [Remote host closed the connection]
buyfn has joined #racket
dan_f has quit [Quit: dan_f]
dan_f has joined #racket
orivej has joined #racket
CoderPuppy has quit [Quit: Breaking stuff]
cpup has joined #racket
dddddd has quit [Ping timeout: 268 seconds]
ubLIX has joined #racket
buyfn has quit [Quit: buyfn]
dddddd has joined #racket
rnmhdn has quit [Ping timeout: 246 seconds]
dustyweb has joined #racket
rnmhdn has joined #racket
acarrico has quit [Ping timeout: 250 seconds]
Fernando-Basso has quit [Read error: Connection reset by peer]
ZombieChicken has joined #racket
rnmhdn has quit [Ping timeout: 246 seconds]
pera has quit [Ping timeout: 246 seconds]
dbmikus_ has quit [Read error: Connection reset by peer]
sleepnap has left #racket [#racket]
dbmikus_ has joined #racket
dbmikus_ has quit [Read error: Connection reset by peer]
dbmikus_ has joined #racket
pera has joined #racket
orivej has quit [Ping timeout: 268 seconds]
dbmikus_ has quit [Ping timeout: 246 seconds]
<lf94> Very cool
<lf94> car is just "true" in lambda calculus. cdr is "false".
g00s has quit [Quit: Textual IRC Client: www.textualapp.com]
badkins_ has joined #racket
badkins has quit [Ping timeout: 240 seconds]
<jcowan> (a . b) works in literal expressions, whereas (cons 'a 'b) works only in code