jackdaniel changed the topic of #lisp to: Common Lisp, the #1=(programmable . #1#) programming language | <http://cliki.net/> <https://irclog.whitequark.org/lisp> <http://ccl.clozure.com/irc-logs/lisp/> | SBCL 1.4.5, CMUCL 21b, ECL 16.1.3, CCL 1.11.5, ABCL 1.5.0
robotoad has quit [Quit: robotoad]
graphene has quit [Remote host closed the connection]
lmy9900 has quit [Client Quit]
graphene has joined #lisp
anamorphic has joined #lisp
lmy9900 has joined #lisp
graphene has quit [Remote host closed the connection]
wusticality has joined #lisp
Kaisyu has joined #lisp
graphene has joined #lisp
robdog has quit [Ping timeout: 252 seconds]
wusticality has quit [Ping timeout: 252 seconds]
Bronsa` has joined #lisp
frgo has quit [Read error: Connection reset by peer]
frgo_ has joined #lisp
Bicyclidine is now known as Bike
lmy9900 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
robdog has joined #lisp
anamorphic has quit [Quit: anamorphic]
robotoad has joined #lisp
robdog has quit [Ping timeout: 252 seconds]
Roy_Fokker has quit [Read error: Connection reset by peer]
robdog has joined #lisp
robdog has quit [Ping timeout: 252 seconds]
warweasle has quit [Quit: rcirc on GNU Emacs 24.4.1]
iAmDecim has quit [Ping timeout: 252 seconds]
wusticality has joined #lisp
robdog has joined #lisp
elfmacs has joined #lisp
nirved has quit [Ping timeout: 250 seconds]
Bronsa` has quit [Ping timeout: 252 seconds]
iAmDecim has joined #lisp
robdog has quit [Ping timeout: 268 seconds]
rumbler31 has quit [Remote host closed the connection]
robdog has joined #lisp
robdog has quit [Ping timeout: 252 seconds]
kajo has quit [Remote host closed the connection]
zch has quit [Quit: Leaving]
graphene has quit [Remote host closed the connection]
kajo has joined #lisp
robdog has joined #lisp
graphene has joined #lisp
Mr-Potter_ has quit [Ping timeout: 250 seconds]
iAmDecim has quit [Ping timeout: 252 seconds]
robdog has quit [Ping timeout: 268 seconds]
dale has quit [Quit: dale]
arescorpio has joined #lisp
trocado has joined #lisp
<trocado> hi! how do I write a function that, if it's going to return nil, lands the user in the debugger with the option to input a value, and then returns that value?
robdog has joined #lisp
<no-defun-allowed> use restart-case with a handler that does (return-from your-function value) somehow
lmy9900 has joined #lisp
robdog has quit [Ping timeout: 268 seconds]
lmy9900__ has joined #lisp
rumbler31 has joined #lisp
lmy9900 has quit [Ping timeout: 268 seconds]
lmy9900 has joined #lisp
fitzsim has quit [Quit: ERC (IRC client for Emacs 27.0.50)]
lmy9900__ has quit [Ping timeout: 244 seconds]
robdog has joined #lisp
rumbler31 has quit [Ping timeout: 244 seconds]
gigetoo has quit [Ping timeout: 268 seconds]
lmy9900_ has joined #lisp
robdog has quit [Ping timeout: 252 seconds]
lmy990___ has joined #lisp
<aeth> trocado: (check-type foo (not null)) foo
lmy9900 has quit [Ping timeout: 268 seconds]
<aeth> assert and other ways will work, but check-type is the easiest, if it is easily expressable as a type
lmy9900_ has quit [Ping timeout: 246 seconds]
<aeth> Note that check-type always returns NIL so you need to have foo, your return value, on the next line. foo should also be a place.
<aeth> Something like this: (let ((foo 42)) (check-type foo (not null)) foo)
<aeth> If that's too verbose, you can use a simple macro there.
lmy9900 has joined #lisp
gigetoo has joined #lisp
lmy990___ has quit [Ping timeout: 240 seconds]
lmy990___ has joined #lisp
lmy9900 has quit [Ping timeout: 250 seconds]
esrse has joined #lisp
<pillton> That macro should be in alexandria. ensure-the maybe.
<aeth> The only difference is that you'd want multiple-value-bind if you put it in something like alexandria (especially with matching the's API because the does accept values)
<aeth> (the (values integer integer) (values 1 2)) vs. (ensure-the (values integer integer) (values 1 2))
<aeth> SBCL's (the (values integer integer) (values 1 2d0)) doesn't behave like check-type (you cannot provide a new value) so there would be a use for a macro like this
lmy9900 has joined #lisp
buffergn0me has quit [Quit: ERC (IRC client for Emacs 25.3.1)]
lmy990___ has quit [Ping timeout: 240 seconds]
<aeth> pillton: I already wrote this macro, actually. Well, I use the same principle to do return type checks in my define-function macro when in check-type mode so the only thing missing is determining if there's one type or a values list and passing it into the function return-type-check.
buffergn0me has joined #lisp
lmy9900_ has joined #lisp
<aeth> (i.e. If it's a list whose car is VALUES, treat it as a return type list; otherwise, treat it as a type.)
mejja has quit [Quit: mejja]
<trocado> aeth: i got this working with your suggestion, thanks!
<pillton> aeth: Ahh right. You would need introspect-environment:typexpand then also.
lmy9900 has quit [Ping timeout: 250 seconds]
<elderK> Guys, what's the point of adding :execute alongside :compile-toplevel and :load-toplevel/
<elderK> As far as understand, :execute is only really used when the eval-when is not a top-level form.
<elderK> And if the compiler sees a progn, it treats everything in the progn as top-level forms, so, eval-when inside a progn would be treated just as if it were at the top-level.
<trocado> aeth: actually, it would be nice to be able to give a specific error message...
lmy9900_ has quit [Ping timeout: 268 seconds]
lmy9900 has joined #lisp
lmy9900_ has joined #lisp
arescorpio has quit [Remote host closed the connection]
wusticality has quit [Ping timeout: 244 seconds]
<aeth> A strange consequence is that it will append nils to the end because of how multiple-value-bind works. Only multiple-value-list and multiple-value-call can actually catch if you don't provide a value when a value is expected.
<pillton> aeth: You need to expand the compound type before checking if the car is equal to 'values.
robdog has joined #lisp
<pillton> Someone could do (deftype shonky-values () '(values (and (integer 0) (integer * (0))))).
lmy990___ has joined #lisp
mindCrime has joined #lisp
<aeth> That's weird
<pillton> Yes, but legal from what I can tell.
lmy99____ has joined #lisp
lmy9900 has quit [Ping timeout: 272 seconds]
lmy9900_ has quit [Ping timeout: 268 seconds]
lmy990___ has quit [Ping timeout: 250 seconds]
robdog has quit [Ping timeout: 268 seconds]
lmy9900__ has joined #lisp
lmy99____ has quit [Ping timeout: 250 seconds]
<elderK> :| Hmm. SBCL, stuff that you add to the environment during compilation, seems to stay around after the compile-file.
<pillton> Compilation has access to the null lexical environment.
lmy9900__ has quit [Ping timeout: 246 seconds]
milanj has quit [Quit: This computer has gone to sleep]
<elderK> Yes, but it's implementation defined whether stuff that enters the environment during compilation, is present in the environment after compilation completes.
<elderK> Is it not?
<elderK> And compile-file, afaiu, the compiler's environment is that which is in effect when compile-file is called.
lmy9900 has joined #lisp
<pillton> "The compilation environment inherits from the evaluation environment, and the compilation environment and evaluation environment might be identical."
<elderK> Right. That agrees with what I mentioned above, no?
<pillton> and "The evaluation environment inherits from the startup environment."
lmy9900_ has joined #lisp
<elderK> " The startup environment is the environment of the Lisp image from which the compiler was invoked."
<pillton> Yes, so the evaluation environment might be identical to the startup environment. Thus any processing of eval-when forms will change the startup environment.
<elderK> Damn. That throws a spanner into the works for me :)
lmy9900 has quit [Ping timeout: 250 seconds]
<elderK> The key is, of course, is that there is no requirement for the startup environment and the compilation environment to be identical. The compilation environment could be a copy of the startup environment, a distinct environment.
<elderK> Like, a snapshot say.
<pillton> I think a vast majority of people here would like it to be that way.
<LdBeth> good evening
pfdietz has quit [Remote host closed the connection]
<elderK> pillton: The snapshot-view? I would certainly like it to be that way.
<elderK> I'm not sure how I can use eval-when to help me here, either.
<pillton> elderK: My apologies. The snapshot-view is important for reproducible builds.
xkapastel has quit [Quit: Connection closed for inactivity]
<pillton> I suspect a lot of things would break though since there isn't much discussion on with-compilation-unit.
<pillton> I suspect with-compilation-unit would get more use if the snapshot-view was used.
<elderK> NP pillton. It's useful to talk about these things :)
<elderK> I'm just glad I provided a hook for testing whether metadata instances are "compatible."
<elderK> So that if you redefine something, it'll issue an error (or warning) only if they're not "compatible."
<elderK> So, I just have to implement a method :)
<pillton> defstruct does that. defclass does that if you change metaclasses.
<elderK> Aye :)
<elderK> That's where I got my inspiration.
<elderK> I'm working on a binary parsing system, you see.
<elderK> So, there is a bit of metadata I have to keep track of.
graphene has quit [Remote host closed the connection]
graphene has joined #lisp
lmy9900_ has quit [Ping timeout: 246 seconds]
lmy9900 has joined #lisp
meepdeew has quit [Remote host closed the connection]
lmy9900 has quit [Read error: Connection reset by peer]
lmy9900 has joined #lisp
dddddd has quit [Remote host closed the connection]
lmy9900_ has joined #lisp
pfdietz has joined #lisp
lmy9900 has quit [Ping timeout: 246 seconds]
lmy9900__ has joined #lisp
lmy9900 has joined #lisp
lmy9900_ has quit [Ping timeout: 244 seconds]
lmy9900__ has quit [Ping timeout: 250 seconds]
rozenglass has quit [Remote host closed the connection]
mindCrime_ has joined #lisp
mindCrime has quit [Ping timeout: 246 seconds]
equwal has joined #lisp
lmy9900 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<beach> Good morning everyone!
<LdBeth> Good morning
meepdeew has joined #lisp
elfmacs has quit [Ping timeout: 268 seconds]
meepdeew has quit [Ping timeout: 268 seconds]
dale has joined #lisp
dacoda has joined #lisp
romulas has joined #lisp
<romulas> Made with LISP: "We conjure the spirits of the computer with our spells" https://www.youtube.com/watch?v=aHk42kDwesM
<beach> Do you have a point?
<romulas> I just thought it was interesting.
<romulas> It is a meme.
<romulas> From 4chan.
<beach> You don't seem to come here very often.
<beach> So, it would be best to start with making sure your postings conform to the topic and ask some modest questions about the purpose of this channel.
romulas has quit [Read error: Connection reset by peer]
<fiddlerwoaroof> pillton: interesting, I didn't realize that with-compilation-unit was in the standard
<fiddlerwoaroof> I'd seen something like that in the documentation for implementations, but I never noticed that it was a thing in CLHS
<beach> fiddlerwoaroof: That's probably because you have never attempted to write an implementation of Common Lisp.
<fiddlerwoaroof> true :) Although I've thought about writing an implementation several times.
<fiddlerwoaroof> That's not quite the same thing, though
<beach> Let me know if you want to help out with SICL.
<fiddlerwoaroof> I will
<fiddlerwoaroof> Hmm, does a form with an implicit progn like with-compilation-unit have the same effect as progn wrt. toplevel-ness of the subforms?
<beach> I would think so. Let me check...
<beach> It has to.
<beach> Because it is specified that COMPILE-FILE wraps the compilation in WITH-COMPILATION-UNIT.
<fiddlerwoaroof> Yeah, it just occurred to me to wonder if this was true more generally
<beach> It doesn't seem to say so explicitly.
<fiddlerwoaroof> The question I'm asking is, more explicitly, would the defun in (form-specified-to-have-an-explicit-progn ... (defun foo ())) be considered to be a toplevel form?
<beach> No, not in general.
<fiddlerwoaroof> Because, if it's an explicit _progn_, then it should have the semantics of progn
<beach> If the form is LET, then the body is not considered top level.
<fiddlerwoaroof> Although, I guess one could say that the implicit progn doesn't occur at toplevel.
<beach> It doesn't have to do with the implicit progn.
<beach> It has to do with each specific form.
<beach> The forms that preserve top-level-ness are documented.
<beach> clhs 3.2.3.1
<specbot> Processing of Top Level Forms: http://www.lispworks.com/reference/HyperSpec/Body/03_bca.htm
<beach> fiddlerwoaroof: Did you faint?
<fiddlerwoaroof> No, I'm reading that and doing some experiments :)
<fiddlerwoaroof> thanks
<fiddlerwoaroof> The interesting thing is that (eval-when () ...) is effectively a comment
<fiddlerwoaroof> if I understand that page correctly
<fiddlerwoaroof> there is no circumstance (at the toplevel, at least), where the subforms will be executed
kajo has quit [Ping timeout: 252 seconds]
<fiddlerwoaroof> My current project is to figure out if porting sbcl to power9 looks like a feasible project
<beach> fiddlerwoaroof: Er, for :compile-toplevel, the forms are evaluated.
<beach> The remaining forms are compiled as indicated.
groovy2shoes has joined #lisp
<beach> Oh, I see what you mean.
<beach> When the SITUATIONS is the empty list.
<fiddlerwoaroof> Yeah
<beach> Never thought about that.
igemnace has quit [Quit: WeeChat 2.3]
<LdBeth> What’s up
Lycurgus has joined #lisp
<equwal> Morn'
<beach> Hello equwal.
<equwal> Just finished Let Over Lambda, was good.
dale has quit [Quit: dale]
kajo has joined #lisp
lmy9900 has joined #lisp
<beach> LdBeth: That's a very general question. Personally, with my favorite coauthor I am working on a paper about bootstrapping, but I fear that it is impossible to explain to anyone who has not already tried to do something like that, at least with the 8-page limitation of an ELS submission.
<beach> It could just be that we are unable to describe it, since this is the first time anything like this has been attempted, so there is no existing description of anything similar.
Inline has quit [Quit: Leaving]
<equwal> What are you bootstrapping? I think I'll understand. How difficult is it to get a paper into ELS?
lmy9900_ has joined #lisp
<equwal> Still have a couple months, hopefully got a draft done?
<beach> equwal: It depends on the number of submissions. Maybe 50% or so of the submissions are accepted.
<beach> The percentage is not given ahead of time. There are a certain number of presentation slots to fill, so that number of papers will be accepted.
<equwal> I recognize Irène from last year's ELS I believe.
<beach> Of course.
<equwal> Pretty sure this has been done before with SBCL?
<beach> Nope.
<beach> Nobody bootstraps CLOS first.
<equwal> Oh first paragraph.
lmy9900 has quit [Ping timeout: 250 seconds]
lmy9900 has joined #lisp
<beach> Now, if we could make sure that Xof and people like him were the referees, then we would be fairly certain that the referees would understand the technique, but that is not possible, so we need to make sure it could be understood by a more general audience.
lmy9900_ has quit [Ping timeout: 246 seconds]
lmy9900_ has joined #lisp
dacoda has quit [Remote host closed the connection]
<beach> Time for a break. I'll be back in 30 minutes or so. It will take you that long to read the draft. :)
<LdBeth> It’s particularly interesting seeing how to bootstrap CLOS because so far only more general “call by name lambda calculus” is discussed as the focus
lmy99____ has joined #lisp
lmy9900 has quit [Ping timeout: 250 seconds]
lmy9900 has joined #lisp
lmy9900_ has quit [Ping timeout: 268 seconds]
lmy99____ has quit [Ping timeout: 250 seconds]
orivej has joined #lisp
<LdBeth> beach: does SICL use some
<LdBeth> compile to “relatively low level” Common Lisp subset processes?
<fiddlerwoaroof> LdBeth: from things he's said before to me, I'm pretty sure that's what he's trying to avoid.
lmy99____ has joined #lisp
marusich has joined #lisp
lmy9900 has quit [Ping timeout: 272 seconds]
nullheroes has quit [Quit: WeeChat 1.9.1]
meepdeew has joined #lisp
nullheroes has joined #lisp
lmy9900 has joined #lisp
shifty has quit [Ping timeout: 268 seconds]
<LdBeth> So how’s the optimization be done? In a form of AST?
<|3b|> sicl/cleavir does something like something like CST -> AST -> HIR -> MIR -> ..., where the 'MIR' and '...' parts are still a bit undetermined
<equwal> beach: I'm surprised you didn't reference SICP since they did this in scheme. This process (bootstrapping a language onto itself) is called "metacircular evaluation" https://mitpress.mit.edu/sites/default/files/sicp/full-text/book/book-Z-H-26.html#%_sec_4.1
<|3b|> optimization can happen at any of those steps, though i think it is mostly expected at HIR/MIR levell
lmy99____ has quit [Ping timeout: 246 seconds]
meepdeew has quit [Ping timeout: 250 seconds]
vlatkoB has joined #lisp
<equwal> Although I admit I haven't seen anyone try to do it with a Common Lisp, probably because it is so much more of an undertaking than tiny scheme.
<LdBeth> equwal: I’m pretty sure meta evaluator and bootstrapped compiler are very different
lmy9900 has quit [Ping timeout: 268 seconds]
lmy9900 has joined #lisp
<equwal> Oh, yep.
nullheroes has quit [Quit: WeeChat 1.9.1]
<equwal> I'm pretty sure it's been done in scheme, my link was bogus though.
nullheroes has joined #lisp
trocado has quit [Ping timeout: 250 seconds]
<beach> LdBeth: The compilation to a subset is only part of the bootstrapping procedure. In the production system, we will compile to machine code.
lmy9900_ has joined #lisp
<beach> equwal: Thank you for pointing out the thing about metacircular evaluation, because your remark shows that we have been completely unable to communicate the difficulty of this bootstrapping procedure. I am now more convinced than ever that the paper will be rejected.
<LdBeth> equwal: I believe both of them have been done in Scheme, though.
<|3b|> beach: in 5.2, "the function compute-discriminating function" looks like it should be "the function compute-discriminating-function"
<beach> LdBeth: Optimizations are done on the HIR (High-level Intermediate Representation) level.
<equwal> No, my mistake is that I have never read the chapter from SICP that I linked, so I didn't know that it wasn't a self-hosting interpreter.
<beach> |3b|: Absolutely. Thanks.
kajo has quit [Ping timeout: 244 seconds]
lmy9900 has quit [Ping timeout: 250 seconds]
<beach> |3b|: Fixed! Thanks again.
<equwal> Either way this paper is pretty interesting. Do you have the code up?
<beach> We do. In ../Code/Boot in the SICL repository.
<beach> The README contains instructions for running it.
<beach> ... the README in the root directory.
<LdBeth> Well, source code level optimization can be done separately anyway.
<|3b|> beach: in 4.3, "The essence of our technique consists of four phases. " might be nice to specify "and six environments" too
lmy9900_ has quit [Ping timeout: 268 seconds]
<beach> |3b|: Yes, thanks.
lmy9900 has joined #lisp
nullheroes has quit [Quit: WeeChat 1.9.1]
nullheroes has joined #lisp
<beach> Added.
<beach> Anyway, this stuff has got to be one of the hardest things I have ever attempted.
kajo has joined #lisp
rozenglass has joined #lisp
lmy9900 has quit [Ping timeout: 246 seconds]
lmy9900 has joined #lisp
lmy9900_ has joined #lisp
trittweiler has joined #lisp
sauvin has joined #lisp
lmy9900 has quit [Ping timeout: 268 seconds]
lmy990___ has joined #lisp
jruchti has joined #lisp
lmy9900_ has quit [Ping timeout: 250 seconds]
lmy9900 has joined #lisp
DGASAU has joined #lisp
frodef has joined #lisp
lmy9900_ has joined #lisp
elfmacs has joined #lisp
ealfonso has joined #lisp
lmy990___ has quit [Ping timeout: 268 seconds]
lmy9900__ has joined #lisp
lmy9900 has quit [Ping timeout: 246 seconds]
lmy9900 has joined #lisp
DGASAU has quit [Ping timeout: 268 seconds]
lmy9900_ has quit [Ping timeout: 268 seconds]
lmy9900__ has quit [Ping timeout: 250 seconds]
lmy990___ has joined #lisp
lmy99____ has joined #lisp
X-Scale has quit [Read error: Connection reset by peer]
lmy9900 has quit [Ping timeout: 250 seconds]
trittweiler has quit [Ping timeout: 250 seconds]
lmy990___ has quit [Ping timeout: 268 seconds]
lmy9900_ has joined #lisp
themsay has joined #lisp
lmy9900__ has joined #lisp
robdog has joined #lisp
lmy99____ has quit [Ping timeout: 250 seconds]
lmy990___ has joined #lisp
lmy9900_ has quit [Ping timeout: 246 seconds]
lmy9900 has joined #lisp
lmy9900_ has joined #lisp
lmy9900__ has quit [Ping timeout: 245 seconds]
robdog has quit [Ping timeout: 268 seconds]
lmy9900__ has joined #lisp
lmy990___ has quit [Ping timeout: 246 seconds]
lmy9900 has quit [Ping timeout: 245 seconds]
lmy9900_ has quit [Ping timeout: 250 seconds]
lmy9900 has joined #lisp
lmy9900__ has quit [Ping timeout: 245 seconds]
DGASAU has joined #lisp
lmy99____ has joined #lisp
lmy9900 has quit [Ping timeout: 250 seconds]
lmy9900 has joined #lisp
lmy99____ has quit [Ping timeout: 246 seconds]
robdog has joined #lisp
lmy9900_ has joined #lisp
DGASAU has quit [Ping timeout: 268 seconds]
JohnMS_WORK has joined #lisp
lmy9900__ has joined #lisp
JohnMS has joined #lisp
lmy9900 has quit [Ping timeout: 268 seconds]
lmy9900_ has quit [Ping timeout: 240 seconds]
lmy9900 has joined #lisp
<flip214> thanks!
JohnMS_WORK has quit [Ping timeout: 250 seconds]
lmy9900_ has joined #lisp
robdog has quit [Ping timeout: 252 seconds]
lmy9900__ has quit [Ping timeout: 250 seconds]
jcowan has quit [Quit: Connection closed for inactivity]
lmy990___ has joined #lisp
slyrus2 has joined #lisp
slyrus1 has quit [Read error: Connection reset by peer]
lmy9900 has quit [Ping timeout: 272 seconds]
lmy9900_ has quit [Ping timeout: 246 seconds]
slyrus2 is now known as slyrus1
_whitelogger has joined #lisp
lmy9900 has joined #lisp
makomo has quit [Ping timeout: 245 seconds]
lmy9900_ has joined #lisp
milanj has joined #lisp
igemnace has joined #lisp
yvy has joined #lisp
lmy990___ has quit [Ping timeout: 272 seconds]
lmy9900__ has joined #lisp
lmy9900 has quit [Ping timeout: 250 seconds]
rixard has quit [Ping timeout: 252 seconds]
lmy9900_ has quit [Ping timeout: 246 seconds]
graphene has quit [Remote host closed the connection]
graphene has joined #lisp
lmy9900 has joined #lisp
marusich has quit [Quit: Leaving]
nirved has joined #lisp
lmy9900_ has joined #lisp
angavrilov has joined #lisp
robdog has joined #lisp
lmy9900__ has quit [Ping timeout: 250 seconds]
slyrus1 has quit [Ping timeout: 246 seconds]
lmy9900 has quit [Ping timeout: 268 seconds]
lmy9900__ has joined #lisp
lmy9900_ has quit [Ping timeout: 246 seconds]
lmy9900 has joined #lisp
lmy9900_ has joined #lisp
lmy9900__ has quit [Ping timeout: 250 seconds]
lmy9900__ has joined #lisp
lmy990___ has joined #lisp
lmy9900 has quit [Ping timeout: 246 seconds]
DGASAU has joined #lisp
lmy9900_ has quit [Ping timeout: 246 seconds]
lmy9900 has joined #lisp
Demosthenex has joined #lisp
lmy9900__ has quit [Ping timeout: 246 seconds]
lmy990___ has quit [Ping timeout: 250 seconds]
lmy9900_ has joined #lisp
lmy9900 has quit [Ping timeout: 268 seconds]
lmy9900__ has joined #lisp
lmy9900 has joined #lisp
robdog has quit [Ping timeout: 268 seconds]
lmy9900_ has quit [Ping timeout: 246 seconds]
lmy9900_ has joined #lisp
lmy9900__ has quit [Ping timeout: 246 seconds]
lmy9900 has quit [Ping timeout: 250 seconds]
lmy9900 has joined #lisp
hiroaki has joined #lisp
lmy9900__ has joined #lisp
robdog has joined #lisp
<equwal> Is there a reason why (defun test (x) (declare (ftype (number) number)) x) doesn't do the same thing as (defun ... (the x))?
<splittist> morning #lisp
lmy9900_ has quit [Ping timeout: 240 seconds]
equwal has left #lisp ["ERC (IRC client for Emacs 25.3.1)"]
lmy9900 has quit [Ping timeout: 250 seconds]
lmy9900 has joined #lisp
lmy9900_ has joined #lisp
lmy990___ has joined #lisp
lmy9900__ has quit [Ping timeout: 246 seconds]
lmy9900__ has joined #lisp
lmy9900 has quit [Ping timeout: 250 seconds]
lmy99____ has joined #lisp
lmy9900_ has quit [Ping timeout: 250 seconds]
varjag has joined #lisp
hiroaki has quit [Remote host closed the connection]
lmy990___ has quit [Ping timeout: 245 seconds]
lmy9900__ has quit [Ping timeout: 250 seconds]
hiroaki has joined #lisp
robdog has quit [Ping timeout: 252 seconds]
shifty has joined #lisp
lmy99____ has quit [Ping timeout: 246 seconds]
lmy9900_ has joined #lisp
lmy990___ has joined #lisp
lmy99____ has joined #lisp
lmy9900_ has quit [Ping timeout: 246 seconds]
themsay has quit [Ping timeout: 245 seconds]
lmy9900 has joined #lisp
robdog has joined #lisp
lmy990___ has quit [Ping timeout: 268 seconds]
lmy99____ has quit [Ping timeout: 244 seconds]
lmy9900_ has joined #lisp
ealfonso has quit [Ping timeout: 252 seconds]
jackdaniel has quit [Quit: ZNC 1.7.0 - https://znc.in]
lmy9900 has quit [Ping timeout: 244 seconds]
lmy9900 has joined #lisp
jackdaniel has joined #lisp
lmy9900__ has joined #lisp
lmy9900_ has quit [Ping timeout: 246 seconds]
lmy9900_ has joined #lisp
lmy9900 has quit [Ping timeout: 268 seconds]
lmy9900 has joined #lisp
lmy9900__ has quit [Ping timeout: 250 seconds]
jochens has joined #lisp
robdog has quit [Ping timeout: 268 seconds]
lmy9900__ has joined #lisp
lmy9900_ has quit [Ping timeout: 246 seconds]
lmy9900_ has joined #lisp
lmy9900 has quit [Ping timeout: 268 seconds]
lmy9900 has joined #lisp
lmy9900__ has quit [Ping timeout: 246 seconds]
lmy990___ has joined #lisp
hiroaki has quit [Ping timeout: 268 seconds]
lmy9900_ has quit [Ping timeout: 268 seconds]
lmy9900 has quit [Ping timeout: 250 seconds]
pierpal has quit [Read error: Connection reset by peer]
lmy990___ has quit [Ping timeout: 250 seconds]
lmy9900 has joined #lisp
hjudt has quit [Quit: leaving]
hjudt has joined #lisp
lmy9900_ has joined #lisp
hjudt has quit [Client Quit]
Zaab1t has joined #lisp
lmy9900 has quit [Ping timeout: 250 seconds]
lmy9900__ has joined #lisp
frgo_ has quit [Remote host closed the connection]
frgo has joined #lisp
hhdave has joined #lisp
lmy99____ has joined #lisp
lmy9900_ has quit [Ping timeout: 268 seconds]
hhdave_ has joined #lisp
lmy9900__ has quit [Ping timeout: 250 seconds]
hhdave has quit [Ping timeout: 250 seconds]
hhdave_ is now known as hhdave
lmy9900 has joined #lisp
hjudt has joined #lisp
hjudt has quit [Client Quit]
ggole has joined #lisp
heisig has joined #lisp
lmy99____ has quit [Ping timeout: 246 seconds]
hjudt has joined #lisp
fikka has joined #lisp
lmy9900_ has joined #lisp
lmy9900 has quit [Ping timeout: 245 seconds]
lmy9900 has joined #lisp
lmy9900_ has quit [Ping timeout: 250 seconds]
Demosthenex has quit [Ping timeout: 246 seconds]
lmy9900_ has joined #lisp
Demosthenex has joined #lisp
lmy9900 has quit [Ping timeout: 246 seconds]
lmy9900 has joined #lisp
lmy9900__ has joined #lisp
robotoad has quit [Quit: robotoad]
lmy9900_ has quit [Ping timeout: 272 seconds]
lmy990___ has joined #lisp
lmy9900 has quit [Ping timeout: 268 seconds]
xkapastel has joined #lisp
lmy9900__ has quit [Ping timeout: 250 seconds]
bsimjoo has joined #lisp
lmy9900 has joined #lisp
fikka has quit [Ping timeout: 246 seconds]
lmy9900__ has joined #lisp
lmy990___ has quit [Ping timeout: 246 seconds]
lmy9900 has quit [Ping timeout: 268 seconds]
lmy9900 has joined #lisp
lmy9900_ has joined #lisp
fikka has joined #lisp
lmy9900__ has quit [Ping timeout: 250 seconds]
robdog has joined #lisp
lmy9900 has quit [Ping timeout: 246 seconds]
lmy9900 has joined #lisp
frodef has quit [Ping timeout: 246 seconds]
lmy990___ has joined #lisp
lmy9900_ has quit [Ping timeout: 240 seconds]
robdog has quit [Ping timeout: 268 seconds]
lmy9900_ has joined #lisp
lmy9900 has quit [Ping timeout: 246 seconds]
lmy9900 has joined #lisp
lmy990___ has quit [Ping timeout: 250 seconds]
lmy9900_ has quit [Ping timeout: 240 seconds]
robdog has joined #lisp
lmy9900_ has joined #lisp
lmy9900 has quit [Ping timeout: 250 seconds]
lmy9900_ has quit [Ping timeout: 268 seconds]
lmy9900_ has joined #lisp
robdog has quit [Ping timeout: 252 seconds]
Mr-Potter_ has joined #lisp
lmy9900 has joined #lisp
lmy9900__ has joined #lisp
lmy9900_ has quit [Ping timeout: 250 seconds]
lmy990___ has joined #lisp
elfmacs has quit [Ping timeout: 250 seconds]
lmy9900 has quit [Ping timeout: 250 seconds]
robdog has joined #lisp
mindCrime_ has quit [Ping timeout: 250 seconds]
yvy has quit [Ping timeout: 250 seconds]
lmy9900__ has quit [Ping timeout: 245 seconds]
lmy9900 has joined #lisp
robdog has quit [Ping timeout: 260 seconds]
lmy9900__ has joined #lisp
lmy990___ has quit [Ping timeout: 268 seconds]
lmy990___ has joined #lisp
lmy9900 has quit [Ping timeout: 268 seconds]
lmy9900__ has quit [Ping timeout: 250 seconds]
robdog has joined #lisp
lmy990___ has quit [Ping timeout: 268 seconds]
bsimjoo has quit [Quit: bsimjoo]
lmy9900 has joined #lisp
lmy9900_ has joined #lisp
robdog has quit [Ping timeout: 268 seconds]
lmy9900__ has joined #lisp
lmy9900 has quit [Ping timeout: 250 seconds]
debsan has quit [Ping timeout: 244 seconds]
lmy9900_ has quit [Ping timeout: 246 seconds]
lmy9900 has joined #lisp
hiroaki has joined #lisp
lmy9900__ has quit [Ping timeout: 250 seconds]
fikka has quit [Ping timeout: 246 seconds]
lmy990___ has joined #lisp
steiner has quit [Read error: Connection reset by peer]
steiner has joined #lisp
lmy9900 has quit [Ping timeout: 272 seconds]
fikka has joined #lisp
lmy9900 has joined #lisp
Lycurgus has quit [Quit: Exeunt]
kajo has quit [Ping timeout: 252 seconds]
lmy9900_ has joined #lisp
lmy990___ has quit [Ping timeout: 250 seconds]
lmy9900 has quit [Ping timeout: 244 seconds]
lmy9900__ has joined #lisp
lmy9900_ has quit [Ping timeout: 268 seconds]
dddddd has joined #lisp
lmy9900__ has quit [Ping timeout: 246 seconds]
Zaab1t has quit [Quit: bye bye friends]
X-Scale has joined #lisp
esrse has quit [Ping timeout: 268 seconds]
fikka has quit [Ping timeout: 268 seconds]
makomo has joined #lisp
Necktwi has quit [Quit: leaving]
Necktwi has joined #lisp
robdog has joined #lisp
robdog has quit [Remote host closed the connection]
robdog has joined #lisp
frgo has quit [Read error: Connection reset by peer]
frgo has joined #lisp
frgo has quit [Remote host closed the connection]
frgo has joined #lisp
frgo has quit [Ping timeout: 268 seconds]
fikka has joined #lisp
pierpal has joined #lisp
SaganMan has joined #lisp
fikka has quit [Ping timeout: 246 seconds]
vlatkoB has quit [Read error: Connection reset by peer]
jello_pudding has quit [Ping timeout: 250 seconds]
fikka has joined #lisp
jello_pudding has joined #lisp
vlatkoB has joined #lisp
m00natic has joined #lisp
fikka has quit [Ping timeout: 246 seconds]
gxt has quit [Ping timeout: 252 seconds]
fikka has joined #lisp
elfmacs has joined #lisp
pierpal has quit [Quit: Poof]
dantali0n has joined #lisp
pierpal has joined #lisp
jkordani_ has joined #lisp
jkordani has quit [Ping timeout: 240 seconds]
orivej has quit [Ping timeout: 250 seconds]
bsimjoo has joined #lisp
bsimjoo has quit [Client Quit]
jcowan has joined #lisp
fikka has quit [Ping timeout: 246 seconds]
dantali0n has quit [Ping timeout: 250 seconds]
milanj has quit [Quit: This computer has gone to sleep]
frgo has joined #lisp
dantali0n has joined #lisp
khisanth_ has quit [Quit: Leaving]
robdog has quit [Remote host closed the connection]
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #lisp
Demosthenex has quit [Ping timeout: 250 seconds]
myrkraverk has joined #lisp
dantali0n has quit [Ping timeout: 250 seconds]
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #lisp
fikka has joined #lisp
Demosthenex has joined #lisp
anewuser has quit [Quit: anewuser]
robdog has joined #lisp
robdog_ has joined #lisp
pierpal has quit [Ping timeout: 240 seconds]
fikka has quit [Ping timeout: 240 seconds]
robdog_ has quit [Ping timeout: 252 seconds]
Demosthenex has quit [Ping timeout: 250 seconds]
Bike is now known as Bicyclidine
lionrouge has joined #lisp
confusedwanderer has joined #lisp
<lionrouge> hi ! Is there a way to transcompile some LISP dialect to C ?
Demosthenex has joined #lisp
<Xach> lionrouge: i believe that is a capability of ecl
<Xach> Not something I've tried, sorry.
<lionrouge> Xach: thanks :)
<Xach> lionrouge: out of curiosity, what will you do with it if you find it?
<lionrouge> teach kids
<Xach> teach kids C?
<lionrouge> no, LISP
<lionrouge> I
robdog_ has joined #lisp
<Xach> How does the C part factor in?
<lionrouge> I'm a part time school teacher
<lionrouge> because learning a language that is not supported at programming olympiads is not fun
<Xach> That hasn't been my experience, but I'm also not a teacher.
<jackdaniel> I would think that an interactive environment is much more pleasent to work with. Common Lisp transpiled to C doesn't work anything like C person could write
<jackdaniel> s/doesn't work/doesn't look/
<jackdaniel> as of ECL it won't work in that scenario, becasue C sources depend on a runtime library libecl.so
Necktwi has quit [Quit: leaving]
<lionrouge> here in Russia there are several online platforms which are used to conduct programming olympiads. It's a major factor of motivation.
<Xach> ok
<lionrouge> and none of them has any dialect of LISP supported
Necktwi has joined #lisp
<lionrouge> (they can check students code automatically by running tests against them)
robdog has quit [Ping timeout: 250 seconds]
<jackdaniel> I think that if teaching language supported by these platforms is a hard requirement, and these platforms do not provide lisp of any kind, you should pick another language
<lionrouge> I'm tired of Python actually. I think it's a bad language for teaching
<jackdaniel> working on transpilet source code is no fun nor a productive task (unless you are the compiler implementer, then you may find some joy in looking at these innards)
<jackdaniel> transpiled*
<lionrouge> nobody will look at the transpiled code - whether it works and don't go over limits on CPU time and memory are the only things that matters
<jackdaniel> *but* wait, give me a minute to look at my bookmarks
<heisig> lionrouge: It is a shame that these competitions do not support modern Lisp compilers. A workaround might be to use a Lisp interpreter written in another language, like http://norvig.com/lispy2.html.
<ogamita> lionrouge: there are several. clicc (free software), mocl (http://wukix.com commercial), ecl has been mentionned, but it uses C only as an assembler, you wouldn't maintain the generated C code.
<lionrouge> ogamita: I bet it will work slow enough to be uncompetitive
<confusedwanderer> lionrouge: there is also chicken scheme
<ogamita> lionrouge: mocl works, but it only implements a subset of CL, so you cannot quickload random libraries and hope they will work. For newly written code targetting mocl, it is ok and works well.
<lionrouge> one of such platforms is http://codeforces.com/?locale=en
<jackdaniel> ha, found it!
<ogamita> lionrouge: clicc is in need of a good refresh and improvement.
<lionrouge> you may have a feeling of what it looks like
<jackdaniel> lionrouge: check out https://github.com/kiselgra/c-mera
<jackdaniel> this is not a lisp descendant per se, but it works on s-expressions and (afair) has macros
<lionrouge> confusedwanderer: thanks for Chicken Scheme! I heard of it some time ago but forgotten about it
nolanv has joined #lisp
<confusedwanderer> lionrouge: you're welcome!
fikka has joined #lisp
<ogamita> lionrouge: however, if you want to be able to maintain the C code, have a look at: https://github.com/informatimago/lisp-vs-c
<lionrouge> what makes me sad if that these platforms do include modern languages: there is Go, D, Rust and even Kotlin ! And they are open-minded enough to even include OCaml and Haskell
<lionrouge> but no LISP at all
<confusedwanderer> that's a shame
<jackdaniel> did you try to suggest it to them?
<ogamita> lionrouge: ie. "source equivalence", or "human reader equivalence" is of no use with C. (+ a b) and a+b are two totally different operations.
<tumdum> lionrouge: you can check scheme called Chicken
iAmDecim has joined #lisp
<lionrouge> I wrote a letter to one (no answer yet). I think I should ask the other one (the third one has so much problems maintaining the server that it's definitely not in plans)
<lionrouge> the second one is https://contest.yandex.ru/?lang=en
kajo has joined #lisp
<ogamita> lionrouge: there are automatical programming judges that support lisp. http://spoj.com does IIRC.
<lionrouge> thanks ! But it has only English localization - it's often a problem for 13yo kids
fikka has quit [Ping timeout: 246 seconds]
<makomo> there are other 2-3 online judges that also support lisp iirc
<minion> makomo, memo from elderK: Best of luck for your exam, man! :)
<ogamita> Perhaps you could contribute a russian version of that site?
<makomo> elderK: haha, thanks! :-)
iAmDecim has quit [Ping timeout: 252 seconds]
<makomo> lionrouge: hackerrank also supports lisp
<lionrouge> ogamita: you mean including all the problems? I don't have that much time unfortunately
<makomo> but i don't think it is localized to russian either
<ogamita> Oh, right, there's not only the web site. And furthermore, some problem deal with text, so the solutions would have to be different too, they'd be different problems.
<lionrouge> I think pushing one of local contest platforms to add LISP would be easier
<ogamita> Indeed.
<lionrouge> the other problem is that participants often are not allowed to have any electronic devices with them - only paper materials (language manuals, cheatsheets,etc.). And in order to use something like Chicken Scheme they need it installed somewhere to produce C code
<lionrouge> but it can be arranged I suppose
fikka has joined #lisp
Demosthenex has quit [Ping timeout: 246 seconds]
<lionrouge> thank you all, it was very helpful
<confusedwanderer> good luck!
<confusedwanderer> hope you can figure it out
Demosthenex has joined #lisp
fikka has quit [Ping timeout: 250 seconds]
kajo has quit [Ping timeout: 252 seconds]
milanj has joined #lisp
gxt has joined #lisp
kyby64 has joined #lisp
fikka has joined #lisp
<elderK> lionrouge: I definitely support the use of Chicken Scheme. It's a fantastic Scheme implementation and compiles to C. It does, afaik, require you to link with libchicken although I'm pretty sure you can static link if desired. You might want to check out #chicken here on Freenode. Fantastic bunch.
<elderK> Another alternative is Cyclone Scheme.
fikka has quit [Ping timeout: 250 seconds]
<ogamita> elderK: well the same is true of ecl. In #lisp we'd advise ecl rather than chicken…
fikka has joined #lisp
<ogamita> UNLESS, you plan to port and run Butterfly CL on Chicken Scheme. Have fun!
pierpal has joined #lisp
<confusedwanderer> in my defense i mentioned chicken because lionrouge asked for a dialect!
<confusedwanderer> :)
<ogamita> In CL there are no dialects, there are subset or superset of the CL language. There may be supersets of subsets of CL.
<ogamita> clhs 1.6
<ogamita> clhs 1.7
amberglint has joined #lisp
<ogamita> superset -> extensions.
amberglint has quit [Client Quit]
<ogamita> otherwise, to confuse more: Have a look at (intersection common-lisp emacs-lisp scheme) http://www.informatimago.com/develop/lisp/com/informatimago/small-cl-pgms/intersection-r5rs-common-lisp-emacs-lisp/
<confusedwanderer> i see, i guess i interpreted "LISP" in lionrouge's question more widely
<ogamita> I would consider ISO Lisp to be a "dialect" of CL :-)
rozenglass has quit [Read error: Connection reset by peer]
pierpal has quit [Quit: Poof]
hiroaki has quit [Ping timeout: 244 seconds]
pierpal has joined #lisp
rozenglass has joined #lisp
<beach> confusedwanderer: I think ogamita is referring to the fact that the channel topic is Common Lisp, not Lisp in general.
<confusedwanderer> beach: right, sorry about that
<beach> Don't worry about it.
<confusedwanderer> :)
<Odin-> ISO Lisp? ISLISP, I presume?
<Odin-> I seem to recall a FAQ being rather touchy on the name. :p
debsan has joined #lisp
shifty has quit [Ping timeout: 272 seconds]
Demosthenex has quit [Ping timeout: 268 seconds]
<ogamita> Odin-: indeed. ISLISP is ISO/IEC 13816:2007(E).
Demosthenex has joined #lisp
<pfdietz> Is a november quicklisp dist coming?
lmy9900 has joined #lisp
lmy9900 has quit [Client Quit]
<jcowan> JMcC wanted there to be no standardized versions called simply "<name of org> Lisp"
<jcowan> so far the founder's wishes have been respected on this point
<ogamita> Oh I see. Then ISLisp.
* Odin- finds ISLISP intriguing.
Bike has joined #lisp
<Odin-> In particular, the fact there don't really seem to be too many implementations.
<Bronsa> xj
<jcowan> No, there aren't. I had the ambition to make one using the Kawa framework (on the JVM), but then I got sidetracked by this R7RS-large stuff
<Bronsa> (sorry, missed my ctrl key)
makomo has quit [Ping timeout: 250 seconds]
<ogamita> So, no Din Lisp, no Afnor Lisp, no Ansi Lisp, etc…
<Odin-> jcowan: I've wondered if there's an element of "might as well just do CL" to it, because cursory examination seems to indicate implementing ISLISP is kind of equivalent to implementing a fair portion of CL with no major incompatibilities...
<jcowan> ogamita: Yes
<Odin-> ogamita: And no substantial upgrades every decade or so, either, with compiler support lagging a version behind. :p
<jcowan> EuLisp is a marginal case: if it were written "EU Lisp" it would definitely violate the stricture. As is, it can be read "European Lisp" or even "the good Lisp". :-)
<Odin-> (Whether that's an advantage or a disadvantage, I'm not quite sure.)
robdog has joined #lisp
<jcowan> The main thing about ISLisp is that it's a static language. My CL-R effort is meant to be a kind of upgrade of ISLisp to full compatibility with CL.
<ogamita> Now a nice tool would take a CL asdf system, and note all the non-ISLisp elements in the code.
<Odin-> jcowan: Except EuLisp doesn't have anything to do with the EU, so debatable whether it applies. Otherwise Common Lisp kinda falls foul as well...
<ogamita> We should name them John Lisp or Barbara Lisp, etc.
robdog_ has quit [Remote host closed the connection]
<Xach> pfdietz: working on it
nicksmaddog has joined #lisp
<dlowe> follow tropical storm naming conventions
<jcowan> ogamita: It's not so simple: ILOS is different enough from CLOS to make mere annotation insufficient.
<Xach> heisig: hello!!
orivej has joined #lisp
<Xach> heisig: http://report.quicklisp.org/2018-11-29/failure-report/petalisp.html shows many fresh problems for me
<jcowan> "Common Lisp" started life as "this common Lisp" and then became a name
<heisig> Xach: Sorry, working on it.
<dlowe> The US military prefers nice boring names. Only acronyms are more preferred.
<Xach> I got all new components for a Quicklisp build server, assembled them, and it won't boot. So I am now running quicklisp dist builds on a backup iMac via virtualbox.
<Odin-> jcowan: The name EuLisp seems to be a few years older than the EU, funnily enough. :p
<Xach> In the meantime I am looking for a PC speaker to maybe get beep code diagnostics. The case I got doesn't have one (maybe it's no longer common?)
<jcowan> Odin-: Figures
<dlowe> Xach: usually these days there's a led display on the mb
<dlowe> that displays a hex code
<Xach> dlowe: Interesting. I don't think the manual mentions one and I don't see one, but maybe I overlooked it.
makomo has joined #lisp
<heisig> Xach: Should be fixed. Stupid me forgot to depend on trivia. Thanks for reporting!
<Xach> heisig: cool, thanks!
CrazyEddy has quit [Remote host closed the connection]
<Xach> heisig: everything looks good now
robdog_ has joined #lisp
lmy9900 has joined #lisp
igemnace has quit [Quit: WeeChat 2.3]
makomo has quit [Ping timeout: 244 seconds]
<pfdietz> Xach: thanks.
lionrouge has quit [Quit: Page closed]
Roy_Fokker has joined #lisp
frodef has joined #lisp
fikka has quit [Ping timeout: 246 seconds]
gxt has quit [Ping timeout: 268 seconds]
orivej has quit [Ping timeout: 240 seconds]
gxt has joined #lisp
warweasle has joined #lisp
fikka has joined #lisp
FreeBirdLjj has joined #lisp
elfmacs has quit [Ping timeout: 246 seconds]
jochens_ has joined #lisp
makomo has joined #lisp
jochens has quit [Ping timeout: 246 seconds]
Necktwi has quit [Quit: leaving]
Necktwi has joined #lisp
Necktwi has quit [Client Quit]
<pfdietz> Is clisp no longer working with ql?
<pfdietz> DEFPACKAGE QL-CLISP: There is no symbol EXT::DELETE-DIR .
graphene has quit [Remote host closed the connection]
graphene has joined #lisp
iAmDecim has joined #lisp
<ogamita> pfdietz: only bit rot: it has been published as ext:delete-directory.
<ogamita> pfdietz: it's ql that doesn't work with newer versions of clisp!
<ogamita> pfdietz: you can't complain that clisp is maintained and evolves, and complain that it is not and does not at the same time!
<pfdietz> Let's make gratuitous changes to exported interfaces. What could possibly go wrong?
iAmDecim has quit [Ping timeout: 252 seconds]
<jackdaniel> yup, it is very tempting to clean up the exported interfaces to match better (for instance) a grand new refactored internals, but then half of the world breaks
<ogamita> pfdietz: let's use fucking internal :: symbols. What could possibly go wrong?
<ogamita> Otherwise, any time to win the lottery, you can put a few million on the table to clean the messes up quickly…
<ogamita> jackdaniel: the bad half, the evil half that used foreign internals! Let them break and fall!
<jackdaniel> changing names of exported interaces without a warning is breaking the contract between the API producent and consumer
robdog_ has quit [Remote host closed the connection]
<jackdaniel> if consumer uses internals he is aware, they may break
<jackdaniel> or she ,)
<pfdietz> True, this was not exported. My bad.
lmy9900 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jochens has joined #lisp
rippa has joined #lisp
lmy9900 has joined #lisp
jochens_ has quit [Ping timeout: 268 seconds]
Inline has joined #lisp
<Xach> I don't know why I used delete-dir there.
anamorphic has joined #lisp
Lycurgus has joined #lisp
dale_ has joined #lisp
dale_ is now known as dale
robdog_ has joined #lisp
rozenglass has quit [Remote host closed the connection]
sjl_ has joined #lisp
debsan has quit [Ping timeout: 246 seconds]
robdog_ has quit [Ping timeout: 250 seconds]
* pfdietz waits for clisp to finish register-local-projects.
<jackdaniel> pfdietz: quick hack: you may call register-local-projects from sbcl and /then/ start clisp
<Xach> sbcl's wildcard walking is pretty slow too :(
slyrus1 has joined #lisp
<Xach> i'd like to see something that is smarter - something that compiles the matching and does it *before* converting the pathnames to lisp strings.
rumbler31 has joined #lisp
frgo has quit [Remote host closed the connection]
<pfdietz> jackdaniel: doesn't help.
fikka has quit [Ping timeout: 272 seconds]
rumbler31 has quit [Ping timeout: 246 seconds]
<jkordani_> xach: what model mobo did you get?
<Xach> jkordani_: gigabyte b450m ds3h
orivej has joined #lisp
<dlowe> yeah, I guess you're stuck getting a pc speaker
<Xach> i used to have so many leftover chassis to raid until i cleaned house
nicksmaddog has quit [Ping timeout: 246 seconds]
<Xach> "when will i ever need this clunky junk"
fikka has joined #lisp
<dlowe> if you haven't built a system in a while, note that mobos have two power inputs now.
<Xach> the lights light up, the fans spin, but no display on DVI or HDMI. responds to power switch as expected.
<Xach> anyway, sorry to blab about this - it's only very very thinly lisp-related.
<jkordani_> xach: do you even have a list of beep codes? the manual is a little sparse on troubleshooting steps. Good luck
<Xach> pretty frustrating though. happy to continue via messages.
Mr-Potter_ has quit [Ping timeout: 246 seconds]
robotoad has joined #lisp
<jkordani_> oops, I thought that was supposed to be a private message...
heisig has quit [Quit: Leaving]
Kaisyu has quit [Quit: Connection closed for inactivity]
kajo has joined #lisp
debsan has joined #lisp
robdog_ has joined #lisp
fikka has quit [Ping timeout: 272 seconds]
mindCrime_ has joined #lisp
robdog_ has quit [Ping timeout: 268 seconds]
robdog_ has joined #lisp
h11 has quit [Quit: The Lounge - https://thelounge.github.io]
h11 has joined #lisp
Demosthenex has quit [Ping timeout: 272 seconds]
<nirved> Xach: which cpu are you using?
warweasle is now known as warweasle_burger
graphene has quit [Remote host closed the connection]
lmy9900 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
graphene has joined #lisp
fikka has joined #lisp
SaganMan is now known as blackadder
<pfdietz> directory-entries appears to be looping in quicklisp on clisp
<Xach> pfdietz: which clisp?
<pfdietz> GNU CLISP 2.49.93+ (2018-02-18)
<pfdietz> which I think is the most recent release?
robotoad has quit [Quit: robotoad]
Demosthenex has joined #lisp
<Xach> There are new releases again?
<Xach> I thought it was still on 2.49
<pfdietz> Ok, the issue is that a particular local project has a link to ..
<pfdietz> This makes directory-entries go into an infinite loop
<Xach> oh
warweasle_burger is now known as warweasle
varjag has quit [Quit: ERC (IRC client for Emacs 25.2.2)]
nowhere_man has quit [Remote host closed the connection]
nowhere_man has joined #lisp
rozenglass has joined #lisp
Demosthenex has quit [Ping timeout: 244 seconds]
<pfdietz> Is asdf supposed to work with more than one defsystem form in a single asd file?
<sjl_> Yes
Demosthenex has joined #lisp
<sjl_> > It is often useful to define multiple systems in a same file, but ASDF can only locate a system’s definition file based on the system name. For this reason, ASDF 3’s system search algorithm has been extended to allow a file foo.asd to contain secondary systems named foo/bar, foo/baz, foo/quux, etc., in addition to the primary system named foo.
<pfdietz> clisp is not finding a name that follows that convention. Must be an older asdf version.
robdog_ has quit [Remote host closed the connection]
<pfdietz> Ah. It's getting asdf from quicklisp, which has ... 2.26?
frgo has joined #lisp
robotoad has joined #lisp
iAmDecim has joined #lisp
<pfdietz> (googles) I may be stepping on a sore point here.
robdog_ has joined #lisp
FreeBirdLjj has quit [Remote host closed the connection]
<Xach> yes, best to BYOA if you use clisp
LiamH has joined #lisp
FreeBirdLjj has joined #lisp
iAmDecim has quit [Ping timeout: 268 seconds]
Demosthenex has quit [Ping timeout: 268 seconds]
<pfdietz> Replacing quicklisp/asdf.lisp with the current version solved that problem.
Mr-Potter_ has joined #lisp
Demosthenex has joined #lisp
<pfdietz> 3.3.2.11
JohnMS has quit [Quit: KVIrc 4.2.0 Equilibrium http://www.kvirc.net/]
<Bike> Hello again for stupidly obscure question time: is append with one argument an identity, and if so, can't the append method combination be :identity-with-one-argument t?
marvin2 has quit [Ping timeout: 245 seconds]
<sjl_> > [the last argument] is returned directly if there are no preceding non-empty lists.
rumbler31 has joined #lisp
<sjl_> sounds like identity to me
kajo has quit [Ping timeout: 268 seconds]
Lycurgus has quit [Ping timeout: 240 seconds]
joast has quit [Quit: Leaving.]
heisig has joined #lisp
joast has joined #lisp
rumbler31 has quit [Ping timeout: 246 seconds]
jochens has quit [Remote host closed the connection]
cage_ has joined #lisp
jochens has joined #lisp
varjag has joined #lisp
<Bike> in ecl the method combination is marked as not, and i'm wondering why
<Bike> i don't know how to do the "git blame from before this commit" thing in gitlab...
<Bike> it's not in sbcl too
jochens has quit [Ping timeout: 246 seconds]
<Bike> and it has been like that since the initial revision 19 years ago
<beach> It might just be that nobody cared to look carefully.
<Bike> Probably, but if there is a real reason i'd like to know it
<beach> I completely understand.
meepdeew has joined #lisp
frodef has quit [Ping timeout: 245 seconds]
nowhere_man has quit [Ping timeout: 252 seconds]
mathrick has joined #lisp
igemnace has joined #lisp
anamorphic has quit [Quit: anamorphic]
<luis> TIL that each of APPEND's argument must be a proper list except the last, which may be any object.
<luis> (append nil 42) is slightly puzzling. :-)
robdog_ has quit [Remote host closed the connection]
nanoz has joined #lisp
<cage_> maybe (append '() 42) is not :)
<jcowan> The idea is to think of 42 as an improper list with 0 elements. So 0 elements + 0 elements with a tail = 0 elements with a tail.
robdog_ has joined #lisp
<luis> jcowan: that's an interesting way to think about it.
shka_ has joined #lisp
robdog_ has quit [Ping timeout: 252 seconds]
Necktwi has joined #lisp
<TMA> luis: the real trick is to implement your own APPEND-2 as an exercise and only then ponder about (append '(a b) 42)
robdog_ has joined #lisp
<jcowan> indeed, Scheme's list library has three predicates list?, circular-list?, and improper-list? that exhaustively partition all objects; note that they are O(n).
<pfdietz> (loop for x in '((a) (b) c) appending x) ==> error
hhdave has quit [Ping timeout: 250 seconds]
<pfdietz> (append '(a) '(b) 'c) ==> (a b . c)
<Bike> huh
<pfdietz> LOOP restricts the values being accumulated to be lists.
robdog_ has quit [Ping timeout: 260 seconds]
<pfdietz> (loop for x in '((a) (b) (c . d)) appending x) ==> (a b c . d)
<Bike> oh no
gxt has quit [Ping timeout: 245 seconds]
<fiddlerwoaroof> clhs append
robdog_ has joined #lisp
meepdeew has quit [Remote host closed the connection]
<fiddlerwoaroof> This behavior of append reminds me of "modern" alist operations in ACL2 for some reason
FreeBirdLjj has quit [Remote host closed the connection]
gxt has joined #lisp
anamorphic has joined #lisp
mindCrime_ has quit [Ping timeout: 240 seconds]
anamorphic has quit [Client Quit]
anamorphic has joined #lisp
wglb has quit [Remote host closed the connection]
frodef has joined #lisp
Bronsa` has joined #lisp
Jesin has joined #lisp
<luis> Fun fact, in Allegro CL: (nconc 41 42) => 42
robdog_ has quit [Ping timeout: 268 seconds]
pierpal has quit [Ping timeout: 250 seconds]
<pjb> luis: I think that's conforming!
<pjb> err, nope.
<pjb> (nconc 42) #| --> 42 |# is conforming.
<pjb> But (nconc 41 42) is not, since 41 should be a list.
<luis> Yes, exactly.
<pjb> (nconc) #| --> nil |# so we can use nconc with reduce without an initial-value.
kajo has joined #lisp
<pjb> (reduce 'nconc '(a)) #| --> a |# (reduce 'nconc (list (list 'a 'b) (list 'c 'd) (list 'e 'f))) #| --> (a b c d e f) |#
<sjl_> clhs nonc
<specbot> Couldn't find anything for nonc.
<sjl_> clhs nconc
Patzy has quit [Ping timeout: 260 seconds]
Demosthenex has quit [Ping timeout: 240 seconds]
<sjl_> it says each but the last "must be a list" but not that an error must be signaled...
<sjl_> not sure if that's technically conforming or not
jkordani has joined #lisp
Patzy has joined #lisp
<pjb> Well, the program (nconc 41 42) is not conforming. A conforming implementation must behave in an implementation specific way in presence of non-conforming code. So (nconc 41 42) -> 42 is as good as anything else.
Demosthenex has joined #lisp
<pjb> The only thing, is that as a customer, I prefer the behavior of eg. ccl on (nconc 41 42) #| ERROR: The value 41 is not of the expected type list. |#
<sjl_> Right. Signalling an error is certainly more helpful
<sjl_> SBCL signals too
jkordani_ has quit [Ping timeout: 250 seconds]
fikka has quit [Ping timeout: 250 seconds]
m00natic has quit [Remote host closed the connection]
mindCrime_ has joined #lisp
akovalenko has quit [Remote host closed the connection]
CrazyEddy has joined #lisp
fikka has joined #lisp
rumbler31 has joined #lisp
bitmapper has joined #lisp
<bitmapper> hi
fikka has quit [Ping timeout: 250 seconds]
rumbler31 has quit [Ping timeout: 250 seconds]
robdog_ has joined #lisp
robdog_ has quit [Ping timeout: 252 seconds]
skidd0 has joined #lisp
debsan has quit [Ping timeout: 246 seconds]
orivej has quit [Ping timeout: 246 seconds]
ggole has quit [Quit: ggole]
anamorphic has quit [Quit: anamorphic]
Lycurgus has joined #lisp
robdog_ has joined #lisp
anamorphic has joined #lisp
meepdeew has joined #lisp
fikka has joined #lisp
bitmapper has quit [Quit: leaving]
anamorphic has quit [Quit: anamorphic]
anamorphic has joined #lisp
graphene has quit [Remote host closed the connection]
meepdeew has quit [Remote host closed the connection]
Grumblefumb has joined #lisp
graphene has joined #lisp
Lycurgus has quit [Quit: Exeunt]
milanj has quit [Quit: This computer has gone to sleep]
pierpal has joined #lisp
fikka has quit [Ping timeout: 246 seconds]
blackadder has quit [Quit: WeeChat 1.6]
DGASAU has quit [Ping timeout: 268 seconds]
fikka has joined #lisp
mindCrime_ has quit [Read error: Connection reset by peer]
rumbler31 has joined #lisp
mindCrime_ has joined #lisp
fikka has quit [Ping timeout: 246 seconds]
nanoz has quit [Ping timeout: 250 seconds]
orivej has joined #lisp
rumbler31 has quit [Remote host closed the connection]
mathrick has quit [Remote host closed the connection]
mathrick has joined #lisp
robdog_ has quit [Remote host closed the connection]
pierpal has quit [Ping timeout: 246 seconds]
robdog_ has joined #lisp
anamorphic has quit [Quit: anamorphic]
anamorphic has joined #lisp
fikka has joined #lisp
Demosthenex has quit [Ping timeout: 268 seconds]
Mr-Potter_ is now known as Mr-Potter
irdr has quit [Ping timeout: 250 seconds]
Demosthenex has joined #lisp
gxt has quit [Ping timeout: 250 seconds]
skidd0 has quit [Ping timeout: 250 seconds]
fikka has quit [Ping timeout: 244 seconds]
skidd0 has joined #lisp
fikka has joined #lisp
Demosthenex has quit [Ping timeout: 250 seconds]
irdr has joined #lisp
Demosthenex has joined #lisp
marvin2 has joined #lisp
cage_ has quit [Remote host closed the connection]
Grumblefumb has quit [Remote host closed the connection]
heisig has quit [Quit: Leaving]
rippa has quit [Quit: {#`%${%&`+'${`%&NO CARRIER]
anamorphic has quit [Quit: anamorphic]
Lycurgus has joined #lisp
robdog_ has quit [Remote host closed the connection]
anamorphic has joined #lisp
robdog_ has joined #lisp
confusedwanderer has quit [Quit: confusedwanderer]
warweasle has quit [Quit: rcirc on GNU Emacs 24.4.1]
robdog_ has quit [Ping timeout: 260 seconds]
gxt has joined #lisp
kyby64 has quit [Quit: Leaving]
astronavt has joined #lisp
elderK has quit [Ping timeout: 250 seconds]
anamorphic has quit [Quit: anamorphic]
shka_ has quit [Ping timeout: 245 seconds]
astronavt has quit [Quit: Leaving]
milanj has joined #lisp
vlatkoB has quit [Remote host closed the connection]
Demosthenex has quit [Ping timeout: 246 seconds]
robdog_ has joined #lisp
specbot has quit [Remote host closed the connection]
specbot has joined #lisp
Yaargh has joined #lisp
wigust has joined #lisp
angavrilov has quit [Remote host closed the connection]
ebrasca has left #lisp ["ERC (IRC client for Emacs 25.3.1)"]
Demosthenex has joined #lisp
robdog_ has quit [Ping timeout: 268 seconds]
Mr-Potter_ has joined #lisp
phoe has joined #lisp
Mr-Potter has quit [Ping timeout: 246 seconds]
orivej has quit [Ping timeout: 268 seconds]
Demosthenex has quit [Ping timeout: 250 seconds]
slyrus1 has quit [Quit: slyrus1]
slyrus1 has joined #lisp
astronavt has joined #lisp
Bike has quit [Ping timeout: 256 seconds]
Demosthenex has joined #lisp
anamorphic has joined #lisp
robdog_ has joined #lisp
debsan has joined #lisp
Demosthenex has quit [Ping timeout: 250 seconds]
rumbler31 has joined #lisp
mathrick has quit [Ping timeout: 250 seconds]
rumbler31 has quit [Ping timeout: 250 seconds]
rumbler31 has joined #lisp
robdog has quit [Ping timeout: 268 seconds]
scottj has left #lisp [#lisp]
rumbler31 has quit [Remote host closed the connection]
shenghi has quit [Ping timeout: 250 seconds]
shifty has joined #lisp
mathrick has joined #lisp
wusticality has joined #lisp
Demosthenex has joined #lisp
robdog_ has quit [Remote host closed the connection]
robdog has joined #lisp
shenghi has joined #lisp
_whitelogger has joined #lisp
Demosthenex has quit [Ping timeout: 246 seconds]
robdog has quit [Ping timeout: 264 seconds]
Demosthenex has joined #lisp
graphene has quit [Remote host closed the connection]
graphene has joined #lisp
mindCrime_ has quit [Ping timeout: 246 seconds]
Demosthenex has quit [Ping timeout: 268 seconds]
troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]
anamorphic has quit [Quit: anamorphic]
troydm has joined #lisp
Khisanth has joined #lisp
graphene has quit [Remote host closed the connection]
graphene has joined #lisp
Demosthenex has joined #lisp
troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]
troydm has joined #lisp
vutral has quit [Ping timeout: 246 seconds]
rumbler31 has joined #lisp
vutral has joined #lisp
<skidd0> I'm running into an issue where cl-json can encode a decoded json string, but it cannot encode a lisp object that represents that json string.
<skidd0> https://bin.0x00sec.org/?f939b9e64578f4e6#VoPPZllV+6OBjKg2YSlPbEqYIdh/fIEZGO3r2iRH65I=
<pillton> You haven't quoted the argument to encode-json.
<skidd0> oh with a ' ?
<skidd0> sweet that was wuick thanks
<pillton> Yes. The error explains what is going on.
<skidd0> well i was trying to figure out which function call was illegal
<skidd0> i was thinking the :keywords weren't functions
rumbler31 has quit [Ping timeout: 250 seconds]
<skidd0> which they aren't
<pillton> json:encode-json is a function. The argument forms are evaluated first.
<skidd0> oh right
<skidd0> so the quote is the arg
<skidd0> rather then what I was doing where the (:keyword "value") was seen as trying to execute a function
<pillton> When evaluating a form that is a list, then the first value of the list should be either a symbol or a lambda expression.
<pillton> clhs 3.1.2.1.2
robdog has joined #lisp
<Xach> skidd0: keywords can name functions
Bronsa` has quit [Ping timeout: 252 seconds]
<Xach> but it is not a good idea to do that in many cases
<skidd0> okay
lmy9900 has joined #lisp
equwal has joined #lisp
ku has quit [Read error: Connection reset by peer]
ku has joined #lisp
Yaargh has quit [Read error: Connection reset by peer]
lmy9900 has quit [Client Quit]
gabot has quit [Ping timeout: 246 seconds]
gabot has joined #lisp
steiner has quit [Remote host closed the connection]
steiner has joined #lisp
Bike has joined #lisp
robdog has quit [Ping timeout: 260 seconds]
varjag has quit [Ping timeout: 250 seconds]
LiamH has quit [Quit: Leaving.]
robdog has joined #lisp
elderK has joined #lisp
robdog has quit [Ping timeout: 252 seconds]
<elderK> Hello all
robotoad has quit [Quit: robotoad]