jackdaniel changed the topic of #commonlisp to: Common Lisp, the #1=(programmable . #1#) programming language | Wiki: <https://www.cliki.net> | IRC Logs: <https://irclog.tymoon.eu/libera/%23commonlisp> | Cookbook: <https://lispcookbook.github.io/cl-cookbook> | Pastebin: <https://plaster.tymoon.eu/>
X-Scale has quit [Quit: Client closed]
tok` has quit [Remote host closed the connection]
X-Scale has joined #commonlisp
overclucker has quit [Read error: Connection reset by peer]
overclucker has joined #commonlisp
mm007emko has quit [Remote host closed the connection]
mm007emko has joined #commonlisp
OlCe has joined #commonlisp
mathrick has quit [Ping timeout: 245 seconds]
Noisytoot has quit [Ping timeout: 268 seconds]
Noisytoot has joined #commonlisp
random-nick has quit [Ping timeout: 264 seconds]
Devon7 has quit [Ping timeout: 256 seconds]
random-jellyfish has quit [Ping timeout: 260 seconds]
istewart has joined #commonlisp
mesuutt has joined #commonlisp
mesuutt has quit [Ping timeout: 268 seconds]
semz has quit [Quit: ZNC 1.8.2+deb2build5 - https://znc.in]
holycow has joined #commonlisp
semz has joined #commonlisp
X-Scale has quit [Quit: Client closed]
msv has quit [Remote host closed the connection]
msv has joined #commonlisp
istewart has quit [Remote host closed the connection]
istewart has joined #commonlisp
ixelp has quit [Ping timeout: 245 seconds]
son0p has quit [Ping timeout: 245 seconds]
fe[nl]ix has quit [Remote host closed the connection]
aeth has quit [Ping timeout: 245 seconds]
fe[nl]ix has joined #commonlisp
flip214 has quit [Ping timeout: 245 seconds]
ixelp has joined #commonlisp
aeth has joined #commonlisp
gilberth has quit [Ping timeout: 245 seconds]
Patternmaster has quit [Ping timeout: 245 seconds]
flip214 has joined #commonlisp
Fade has quit [Ping timeout: 245 seconds]
Patternmaster has joined #commonlisp
Fade has joined #commonlisp
thuna` has quit [Ping timeout: 260 seconds]
Devon7 has joined #commonlisp
<Devon7> who
Devon7 has left #commonlisp [#commonlisp]
Devon7 has joined #commonlisp
josrr has quit [Remote host closed the connection]
Devon7 has quit [Client Quit]
Devon has joined #commonlisp
pranav has quit [Remote host closed the connection]
decweb has quit [Ping timeout: 255 seconds]
mesuutt has joined #commonlisp
mesuutt has quit [Ping timeout: 245 seconds]
waleee has quit [Ping timeout: 252 seconds]
ym has joined #commonlisp
z0e has joined #commonlisp
Devon7 has joined #commonlisp
Devon has quit [Ping timeout: 252 seconds]
z0e has left #commonlisp [#commonlisp]
Devon7 has quit [Ping timeout: 252 seconds]
Fade has quit [Changing host]
Fade has joined #commonlisp
mesuutt has joined #commonlisp
mesuutt has quit [Ping timeout: 245 seconds]
jmercouris1 has joined #commonlisp
Pixel_Outlaw has quit [Quit: Leaving]
jmercouris1 has quit [Quit: jmercouris1]
gilberth has joined #commonlisp
Pixel_Outlaw has joined #commonlisp
wacki has joined #commonlisp
synchromesh has joined #commonlisp
oneeyedalien has joined #commonlisp
son0p has joined #commonlisp
oneeyedalien has quit [Remote host closed the connection]
nij- has joined #commonlisp
danza_ has joined #commonlisp
danza_ has quit [Ping timeout: 245 seconds]
nij- has quit [Ping timeout: 268 seconds]
mesuutt has joined #commonlisp
mesuutt has quit [Ping timeout: 252 seconds]
benkard has joined #commonlisp
mulk has quit [Ping timeout: 268 seconds]
benkard is now known as mulk
shka has joined #commonlisp
istewart has quit [Quit: Konversation terminated!]
Pixel_Outlaw has quit [Quit: Leaving]
zetef has joined #commonlisp
chomwitt has joined #commonlisp
mesuutt has joined #commonlisp
zetef has quit [Ping timeout: 255 seconds]
pve has joined #commonlisp
tourjin has joined #commonlisp
wacki has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
mesuutt has quit [Ping timeout: 255 seconds]
mathrick has joined #commonlisp
amb007 has quit [Read error: Connection reset by peer]
amb007 has joined #commonlisp
chomwitt has quit [Ping timeout: 268 seconds]
rtypo has joined #commonlisp
admich1 has quit [Ping timeout: 272 seconds]
tourjin has quit [Remote host closed the connection]
tourjin has joined #commonlisp
amb007 has quit [Ping timeout: 268 seconds]
amb007 has joined #commonlisp
mesuutt has joined #commonlisp
tok has joined #commonlisp
rgherdt has joined #commonlisp
pfdietz has quit [Quit: Client closed]
admich1 has joined #commonlisp
beach` has joined #commonlisp
beach has quit [Killed (NickServ (GHOST command used by beach`!~user@2a01:cb19:682:4600:a8ff:d66f:64c9:7094))]
beach` is now known as beach
amb007 has quit [Ping timeout: 245 seconds]
amb007 has joined #commonlisp
admich1 has quit [Ping timeout: 245 seconds]
danza_ has joined #commonlisp
chomwitt has joined #commonlisp
admich1 has joined #commonlisp
X-Scale has joined #commonlisp
amb007 has quit [Ping timeout: 268 seconds]
aciep has joined #commonlisp
psilord has quit [Ping timeout: 264 seconds]
emaczen has quit [Ping timeout: 256 seconds]
<tourjin> Lock on package SB-EXT violated when
<tourjin> defining RENAME as a function while in package COMMON-LISP-USER.
<tourjin> what does this mean?
<tourjin> it happened when I try to compile func in name of rename.
<beach> It means that you defined a function RENAME when you were in the COMMON-LISP-USER package, and that package imports the symbol SB-EXT:RENAME.
<beach> Furthermore, the package SB-EXT has a "package lock" on it, so you are not allowed to do that.
<beach> You should not use the COMMON-LISP-USER package to define your own stuff. Define your own package.
<tourjin> ok. where can I see document about what exactly sb-ext:rename is?
<beach> You don't have to. If you define your own package and define RENAME in it, the problem goes away.
<beach> (defpackage #:my-package (:use #:common-lisp)) (in-package #:my-package) (defun rename ...)
<beach> tourjin: I recommend you join #clschool which is meant for basic questions like this.
<tourjin> I mean if somewhere in sb-ext there already rename function defined i'd like to see what it is. ...oh ok i type in commonlisp channel again. i'll ask things on clschool channel. thank you. Mr. beach
amb007 has joined #commonlisp
<beach> tourjin: There are probably thousands of functions in various packages in the SBCL system. You can't possibly know them all.
<tourjin> thank you.
<beach> tourjin: But you can use DESCRIBE to find out some information about it.
dino_tutter has joined #commonlisp
<beach> In the version of SBCL that I have, there is not function RENAME in the SB-EXT package. Just a symbol by that name.
<beach> *there is no function
<tourjin> ok thank you. Mr. beach
<beach> Pleasure.
<tourjin> can you help me again? after trying defpackage #:my-package everythings gone. how can I go back to :sb-ext environment?
mgl_ has joined #commonlisp
donleo has joined #commonlisp
psilord has joined #commonlisp
<tourjin> ok I found my solution. sorry to bother you.
<beach> I am not sure what you mean. You change the package by using (in-package ...).
<tourjin> yes. in-package :cl-user did it. thank you.
<beach> Sure.
<beach> But again, you should not be doing serious work in the CL-USER package.
<tourjin> i'll read about it. define my own package. thank you.
<beach> Good luck!
aciep has quit [Quit: Konversation terminated!]
danza_ has quit [Read error: Connection reset by peer]
aciep has joined #commonlisp
xantoz has quit [Read error: Connection reset by peer]
mariari has quit [Quit: WeeChat 4.2.2]
chomwitt has quit [Ping timeout: 268 seconds]
xantoz has joined #commonlisp
xantoz has quit [Ping timeout: 268 seconds]
danse-nr3 has joined #commonlisp
Devon7 has joined #commonlisp
aciep has quit [Quit: Konversation terminated!]
aciep has joined #commonlisp
Devon7 has quit [Read error: Connection reset by peer]
mesuutt has quit [Ping timeout: 252 seconds]
jonatack has quit [Ping timeout: 268 seconds]
zetef has joined #commonlisp
zetef has quit [Remote host closed the connection]
X-Scale has quit [Quit: Client closed]
xantoz has joined #commonlisp
younder has quit [Remote host closed the connection]
younder has joined #commonlisp
mesuutt has joined #commonlisp
decweb has joined #commonlisp
mesuutt has quit [Ping timeout: 268 seconds]
xantoz_ has joined #commonlisp
xantoz has quit [Ping timeout: 268 seconds]
zetef has joined #commonlisp
mesuutt has joined #commonlisp
aciep has quit [Quit: Konversation terminated!]
tok has quit [Ping timeout: 268 seconds]
aciep has joined #commonlisp
tok has joined #commonlisp
X-Scale has joined #commonlisp
admich1 has quit [Ping timeout: 268 seconds]
tok has quit [Remote host closed the connection]
tok has joined #commonlisp
admich1 has joined #commonlisp
amb007 has quit [Ping timeout: 245 seconds]
tok has quit [Ping timeout: 245 seconds]
tok has joined #commonlisp
easye has quit [Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)]
King_julian has joined #commonlisp
Inline has quit [Quit: Leaving]
nij- has joined #commonlisp
admich1 has quit [Remote host closed the connection]
admich1 has joined #commonlisp
amb007 has joined #commonlisp
aciep has quit [Quit: Konversation terminated!]
Lord_of_Life_ has joined #commonlisp
Lord_of_Life has quit [Ping timeout: 260 seconds]
pillton has quit [Remote host closed the connection]
Lord_of_Life_ is now known as Lord_of_Life
alcor has joined #commonlisp
Krystof has quit [Ping timeout: 260 seconds]
Inline has joined #commonlisp
random-nick has joined #commonlisp
zetef has quit [Remote host closed the connection]
aciep has joined #commonlisp
danse-nr3 has quit [Ping timeout: 255 seconds]
chomwitt has joined #commonlisp
aciep has quit [Quit: Konversation terminated!]
yitzi has joined #commonlisp
aciep has joined #commonlisp
zetef has joined #commonlisp
tok has quit [Ping timeout: 256 seconds]
rtypo has quit [Quit: WeeChat 4.2.2]
nij- has quit [Ping timeout: 260 seconds]
tok has joined #commonlisp
aciep has quit [Ping timeout: 245 seconds]
green_ has quit [Ping timeout: 252 seconds]
tok has quit [Ping timeout: 256 seconds]
attila_lendvai has joined #commonlisp
tok has joined #commonlisp
attila_lendvai has quit [Remote host closed the connection]
attila_lendvai has joined #commonlisp
X-Scale has quit [Quit: Client closed]
attila_lendvai has quit [Ping timeout: 256 seconds]
cage has joined #commonlisp
josrr has joined #commonlisp
chomwitt has quit [Ping timeout: 255 seconds]
danse-nr3 has joined #commonlisp
admich1 has quit [Read error: Connection reset by peer]
admich1 has joined #commonlisp
green_ has joined #commonlisp
nij- has joined #commonlisp
<nij-> gilberth - One thing you may care (no hurries though): Aproposing "*" in novaspec doesn't work currently.
<nij-> Neither does "+".. perhaps non-eng characters in general.
<nij-> Question: LABELS defines local bindings to functions. How about local bindings to closures? Something like (lables_ext ((let ((x 7)) (cls () x)))) ?
synchromesh has quit [Read error: Connection reset by peer]
<bike> you can do (let ((x 7)) (labels ((cls () x)) ...)) just fine
synchromesh has joined #commonlisp
<nij-> Yeah.. but that's not "local" enough. Say in labels I have 5 local bindings, but that (x 7) is only required in the first local binding..
<nij-> (I guess that's the best we can do without extending the language with macros?)
<bike> when would this ever be important?
<paulapatience> Depending on what you intend to do, you could make lambdas and call serapeum:fbind
<nij-> bike I think that's just a matter of style and expressiveness. (let ..) is so useful because it allows me to know that such binding definitely only works here (lexically). In this aspect, the more localized the let form, the better and clearer.
<nij-> paulapatience Oh indeed fbind is helpful. Thanks :)
* nij- needs to learn and get immersed into alex and sera one day..
<nij-> Question: What does "initialize" mean in 15.2? https://novaspec.org/cl/f_make-array -- I thought it just meant "populate", but that way I can't understand the sentence:
<ixelp> make-array | Common Lisp Nova Spec
<nij-> > "If initial-element is not supplied, the consequences of later reading an uninitialized element of new-array are undefined unless either initial-contents is supplied or displaced-to is non-nil."
<nij-> What would an uninitialized element be..?
<nij-> Does the standard mean instead "an uninitialized slot/cell of new-array"?
<paulapatience> SBCL initializes to 0, Clasp and ECL to NIL
<bike> that's basically what it means, yes
<paulapatience> Basically: unportable
<bike> and initialize does mean populate
<bike> implementations will probably initialize it to something or another, since raw uninitialized memory could be something very weird and screw up the GC
<nij-> "uninitialized element" is not a good way to formulate.. it means something different.
jonatack has joined #commonlisp
<scymtym> what is not good about it?
edgar-rfx has joined #commonlisp
<nij-> It may mean that the element itself in a slot of an array has at least two states: initialized and uninitialized.
edgar-rft has quit [Ping timeout: 256 seconds]
<scymtym> yes. and reading an element that is in the uninitialized state results in undefined consequences, typically an implementation-dependent value is returned. you seem to think that way this is specified is not good rather than the behavior itself?
<mrcom> nij: If the programmer wishes CL to automatically ensure all elements have a know value, said programmer uses the :INITIAL-ELEMENT keyword.
<mrcom> If programmer decides "I'm about to load everything anyway, no point wasting CPU/memory that's just going to be thrown away", then programmer does *not* use :INITIAL-ELEMENT.
<mrcom> (Although it's better practice to explicitly set it to something like 0 or NIL. Those are atoms and won't allocate memory, and as bike said the language is probablly going to set it *something* anyway.)
<nij-> scymtym Oh no. What I mean is I think it
<nij-> would be better if the standard writes "the consequences of later reading an uninitialized slot" instead of "uninitialized element".
<mrcom> They aren't slots.
chomwitt has joined #commonlisp
<nij-> cells?
<nij-> places?
<mrcom> The specific term is *element*.
<nij-> Hmm. Lemme look up that term.
<mrcom> The standard is pretty darn good about specifically using terms correctly.
<nij-> 15.1.1 "An array contains a set of objects called elements that can be referenced individually according to a rectilinear coordinate system."
<mrcom> Sequences are said to have elements.
<nij-> so elements here are bojects
<nij-> What does it mean by "an object is uninitialized"?
<mrcom> "Object" is also a specific term--it's what everything is.
<mrcom> "Slots" are the fields in a structure or class.
<nij-> So does "an uninitialized object" mean anything?
<mrcom> "Uninitialized" means "no telling what exact value you'll get. It depends upon the implementation."
<nij-> I can understand "uninitialized". But how about "an uninitialized object"?
<mrcom> For example, unitialized elements in a bit array might really, truly be whatever garbage was already in memory there.
<nij-> I know what it really means. I just don't think that "uninitialized element" nor "uninitialized object" is a good way to express it, given 15.1.1.
<mrcom> Technically, an unitialized object might be of any type. So the first element might be a fixnum 42. The second a null.
<mrcom> Technically.
<mrcom> I think this is a mindset thing; it hasn't really clicked with you and been internalized.
<nij-> Yeah possibly. The spec is written in English, which is not my native lang, and also even if it were people understand it differently.
<mrcom> In CL, everthing is an object.
<mrcom> But CL is pretty fluid about what *type* a particular object can be.
<nij-> Just curious: Which part of the standard tells what an uninitialized object is?
<mrcom> You can have an array where the first element is a fixnum, the second a string, and the third a CONS cell.
<nij-> tells you*
<mrcom> It *doesn't*. That's the point. The standard is specifically saying "no telling what you'll get if you look at it before you've put something specific there."
edgar-rfx is now known as edgar-rft
rtypo has joined #commonlisp
<nij-> I see. I guess you are correct. There's not really a definition for the term "object" in the standard. The closest is https://www.lispworks.com/documentation/HyperSpec/Body/26_glo_o.htm#object , which says that an object is just any Lisp datum. But it doesn't define what a Lisp datum, iirc.
<ixelp> CLHS: Glossary-Section O
<mrcom> Even when you tell CL that you want an array to only contain, say, floating point numbers (:ELEMENT-TYPE 'FLOAT), that's kind of just a hint.
<nij-> That seems to make the term "uninitialized lisp datum" open to explanation.
<mrcom> You're kind of asking "the standard says that an object is any kind of thing. What's the definition of 'thing'?"
<mrcom> At some point you've got to stop defining :)
<mrcom> That's part of the mind set. It will click, and you're brain will go "ohhh! any 'thing' is *any* thing."
<nij-> Haha. I wish that day comes soon. Thanks!
<mrcom> You're welcome.
<beach> mrcom: Please don't repeat that in Common Lisp "everything is an object" because it just isn't so.
<beach> nij-: By a "datum" it means anything that can be the value of a variable, that can be passed as an argument to a function call, and that can be returned as the value of a function call.
X-Scale has joined #commonlisp
<nij-> Does it mention a def of "datum" somewhere in the spec? I couldn't find it last time.
<scymtym> i think the question of an "undefined object" doesn't come into play, at least in this context, since the consequences of "reading an uninitialized element of new-array" are already undefined. the operator, for example AREF, doesn't have to return anything at alla. the implementation could just crash
<beach> nij-: You can't define everything.
<beach> nij-: You are absolutely right. There should be a distinction between "element" as a placeholder of an object and the object contained in that placeholder.
chomwitt has quit [Ping timeout: 246 seconds]
<beach> It is the placeholder that may be uninitialized, meaning it does not necessarily contain a valid object.
<nij-> Thanks! I will try writing a WSCL issue on this.
<nij-> scymtym That makes sense to me too.
<nij-> But I think what it really means would have been much clearer if they defined "a placeholder" notion in the array. Alas that's not mentioned either.
<ixelp> 26.1 Glossary | Common Lisp Nova Spec
triffid has quit [Remote host closed the connection]
triffid has joined #commonlisp
<nij-> beach Right, the term "datum" is really hard to define well.
<beach> Well, I just defined it as "anything that can be...", but then you need to define "thing".
<nij-> scymtym Thanks! In #access, it links to #element, which says explicitly "2. [an element] (of an array) an object that is stored in the array."
<nij-> Best def I've seen is from a talk of Hickey
notzmv has quit [Read error: Connection reset by peer]
<nij-> (can't find it anymore quickly - I take the last sentence back.)
<scymtym> nij-: sure. i'm just pointing out related concepts since you said you wanted to write up an issue. CELL-ERROR talks about "location access" which seems like a good phrasing of the operation that triggres the undefined consequences in the contet of MAKE-ARRAY
<nij-> Note taken :) Thanks!
<scymtym> (only a read access is problematic)
admich1 has quit [Ping timeout: 245 seconds]
admich1 has joined #commonlisp
<nij-> Do most implementations take X3J13 issues into account?
<beach> Only the ones that made it into the standard.
<nij-> ! Any place that documents which X3J13 issues are in the standard, and which are not?!
<beach> Some of them didn't and shouldn't, at least I think so.
<nij-> I thought CLHS ~= dpANS3 + X3J13 ~= Standard
<beach> You said that the other day, and I denied it.
<beach> I also said that the Common Lisp HyperSpec is for all practical purposes the same as the standard.
alto has joined #commonlisp
<nij-> I'm a bit confused..
<nij-> "These issue writeups, while not part of the Common Lisp specification, are nevertheless useful for understanding original intent." http://www.ai.mit.edu/projects/iiip/doc/CommonLISP/HyperSpec/FrontMatter/X3J13-Issues.html
<ixelp> CLHS: X3J13 Issues
<bike> i mean, yes
<bike> when you file a bug on github, and the bug gets fixed, you don't just incorporate the text of the issue into your program
<bike> the issue says "hey, let's fix X by doing Y in the standard" and then Y ends up in the standard
<bike> the issue itself doesn't go into the standard
<nij-> Ah I see.
<mrcom> nij: Unfortunately, there are only two ways (that I can think of) to define something: either a) equate it to some other classification term, hopefully one you're familiar with :)
<mrcom> b) Exhaustively list every instance of the term.
<mrcom> "Datum", unfortunately, isn't a classification term that is widely used. I think that's probablly why the spec uses it; "thing" would be
<nij-> #..oO("thingy")
<mrcom> just too widely encompassing. As beach pointed out, stuff he considered "things" aren't datums.
<mrcom> "places" are a really good example of a Lisp "thingy" that's not a datum, and so isn't an object.
<mrcom> Comments aren't either, but I consider that just reaching :)
<dlowe> If I heard someone talking about CL objects I would assume CLOS objects, and by that measure not everything in CL is an object.
<dlowe> If you cite the glossary I invite you to stuff it up your linguistic prescriptiveness
<mrcom> dlowe: that's true, too, but only because other languages define "object" as an instance of a class. But it's a *really* common internalization.
<nij-> bike I'm a bit confused here. So, this x3j13 issue approves the macro nth-value to be added into the standard. http://www.ai.mit.edu/projects/iiip/doc/CommonLISP/HyperSpec/Issues/iss250-writeup.html
<ixelp> CLHS: Issue NTH-VALUE Writeup
<nij-> ANd when I searched in dpANS3, I find that macro too.
<nij-> Any substantial differences between dpAN3 and the standard?
<nij-> Apparently, I cannot conclude that "standard minus X3J13 issues= ~= dpANS3.
<mrcom> Technically, issues in the spec aren't part of the spec.
<mrcom> Practically, you'd be a fool to ignore them.
X-Scale has quit [Ping timeout: 250 seconds]
<nij-> dlowe What are CLOS objects? Do you mean the instanctes of STANDARD-OBJECT?
<mrcom> Ah, sorry, see I repeated what bike said.
OlCe has quit [Ping timeout: 256 seconds]
<mrcom> There you go nij, we'll make a language lawyer out of you yet :)
<bike> nij-: i don't know or care about differences between the standard, dpans, and CLHS. i just use the CLHS.
<nij-> I see. I will try to remember this preference..
<scymtym> nij-: x3j13 issues typically suggest one or more changes to the standard which are written up with supporting information like a description of the background, pros and cons of the proposed changes, etc. if one of the proposals has been accepted, the proposed change is now part of the standard, not the issue itself
notzmv has joined #commonlisp
<nij-> Right. scymtym Do you care about the differences among them?
<dlowe> nij-: language is used as a medium of both communication and specification, and I was speaking in the former mode.
luca_ has joined #commonlisp
luca_ is now known as OwlWizard
<nij-> dlowe I see.
<mrcom> nij-: dlowe isn't a language lawyer, but by choice not because he can't.
<beach> dlowe: a Common Lisp object is any Common Lisp datum.
<scymtym> nij-: in the sense that dpans is the basis for wscl, i care about improvements that are present in the standard or clhs but not dpans. i haven't seen many of those if any so far. in particular, i don't think any x3j13 issues have been "applied" in the standard but not in dpans
<gilberth> nij-: Indeed. This is on purpose. You need to type at least three chars iirc. This apropos interface is not obvious though. You can type e.g. "+ fun" or "+ va". Or e.g. "mu bind". Also it lacks keyboard navigation. Thanks for noting!
<nij-> yw gilberth :) Thanks
<beach> I would also be interested in finding an X3J13 issue that was not approved, but is listed in the Common Lisp HyperSpec.
<nij-> scymtym Thanks for sharing the experience :)
<nij-> beach That sounds difficult to find..
<nij-> Stating mine too - I would be interested in getting rid of the CLHS :-)
<beach> nij-: Yes, but it would prove my point that those issues are not related to any difference between the Common Lisp HyperSpec and the standard.
<mrcom> nij-: beach *is* a language lawyer, by choice and profession. Which is an important thing for the ecosystem. Without procesion we would have Perl. Or YAML.
<mrcom> Or (shudder) Rails.
<mrcom> s/procesion/precision/
floppy_disk has joined #commonlisp
<beach> I think it is important for the purpose of communication to use some consistent terminology, especially if that terminology is defined by the standard.
<mrcom> It is. And since human communication naturally "drifts" concepts and terms, it's important for someone to yank terminology back.
<mrcom> That's not going to keep people from naturally saying "object" when referring to instances of stuff that meats the CLOS protocols. Nor should it.
<mrcom> s/meets/ I'm really struggling with homonyms today. Hm.
<beach> The problem with "CLOS object" is that it can mean either a standard object (i.e., an instance of the class STANDARD-OBJECT) or an instance of a standard class (i.e., an instance of an instance of the class STANDARD-CLASS) and they are not the same.
<beach> The problem with "CLOS class" is that classes were introduced to Common Lisp as a result of incorporating CLOS, so every class can reasonably be thought of as a "CLOS class".
emaczen has joined #commonlisp
josrr has quit [Remote host closed the connection]
admich1 has quit [Ping timeout: 256 seconds]
josrr has joined #commonlisp
admich1 has joined #commonlisp
aciep has joined #commonlisp
King_julian has quit [Ping timeout: 246 seconds]
nij- has left #commonlisp [Using Circe, the loveliest of all IRC clients]
yitzi has quit [Remote host closed the connection]
waleee has joined #commonlisp
waleee has quit [Client Quit]
<mrcom> beach: OK, I've thought about it, and you were right to correct me about "thing" and "object". It's OK, and good to couch unfamiliar concepts by way of other familiar but fuzzy concepts,
<mrcom> and OK an good to couch things pedantically,
<mrcom> but doing one while swearing you're doing the other is not good.
<emaczen> I'm getting a compilation error when I asdf:load-system
<emaczen> however if I just compile-file and then load the fasl everything is fine
<mrcom> What are you loading, what's the compile error?
<emaczen> It says caught warning
<beach> mrcom: Great!
<emaczen> derived type of SEQUENCE is (VALUES VECTOR &OPTIONAL)
<emaczen> conflicting with its asserted type LIST
green_ has quit [Remote host closed the connection]
green_ has joined #commonlisp
<bike> that means your code has a problem (specifically, that problem). it will load but if you ever actually run the code the problem is in you'll get an error.
<bike> asdf treats warnings as failures by default, but you can still load the fasl if you don't mind that your code is wrong.
<bike> you should get the warning when you compile-file as well.
<emaczen> derived type is what the compiler finds the type to be right?
<emaczen> what exactly is asserted type?
<mrcom> He might be getting a different optimization level with asdf vs. plain REPL.
<mrcom> (So no warning when direct compiling)
<emaczen> mrcom: I reloaded .sbclrc etcc -- I see the warning now from #'compile-file
<bike> emaczen: that is what a derived type is, yes. asserted type means something declared. this might not be a declaration you wrote. for example you'd get a warning like that if you wrote (nth n sequence) where sequence is derived to be a vector, since NTH asserts that its argument is a list.
X-Scale has joined #commonlisp
<emaczen> ideas as to why the &optional?
<bike> that's just how sbcl indicates the type "exactly one vector"
<bike> as opposed to "a vector and then arbitrary other values"
<bike> in a multiple values sense
<bike> it's probably not relevant to the problem
<emaczen> The highlighted error is on #'sort
<bike> we might be able to help more if you pastebin the code somewhere.
alto has quit [Ping timeout: 255 seconds]
mesuutt has quit [Ping timeout: 256 seconds]
<emaczen> bike: I will in a bit if I can't figure it out...
<bike> sort itself can take a vector fine, so the problem is something else about the call, probably
admich1 has quit [Ping timeout: 245 seconds]
chomwitt has joined #commonlisp
admich1 has joined #commonlisp
admich1 has quit [Ping timeout: 255 seconds]
cage has quit [Quit: rcirc on GNU Emacs 29.2]
admich1 has joined #commonlisp
floppy_disk has quit [Quit: leaving]
mesuutt has joined #commonlisp
emilknievel has joined #commonlisp
mesuutt has quit [Ping timeout: 252 seconds]
<emaczen> I think my error is relatively trivial
<emaczen> I'm not sure why I am just finding it now
<emaczen> if I change mapcar to map 'list with sort being a subform it works. SBCL is making me change my code on multiple places
<emaczen> This must be because sort returns a sequence generally?
<bike> sort returns the same kind of sequence you put in
<bike> if you give it a vector, it returns a vector. so (mapcar foo (sort vector ...)) will not work, as you are calling mapcar on a vector.
<bike> mapcar only accepts lists. map accepts any kind of sequence, so using it instead of mapcar should be fine
<emaczen> (loop .... collect ) is always a list right?
<bike> collect makes a list, yes
<emaczen> Yeah, so why would SBCL give an error then? Is it just mad because sort could return a non list sequence?
<bike> no, it's mad because it is going to return a non list sequence
<bike> it has determined that you're passing SORT a vector
<bike> or at least that's my guess, since i don't know what your code looks like.
<emaczen> I'll make a paste because I want to know.
<beach> Please use plaster.tymoon.eu.
<emaczen> ok
<aeth> The compiler is (almost) always right... it's returning a vector. Maybe it couldn't detect this at compile time (instead of at runtime) until a relatively recent version.
phadthai has quit [Ping timeout: 268 seconds]
<bike> the compiler is probably right, but sbcl sometimes indicates its rightness inscrutably
<beach> emaczen: I think it is hard to tell anything from that code. Plus, the indentation is off. Your code may contain TABs.
<beach> emaczen: And it seems you are using an IF with no `else' branch.
<emaczen> indentation is off because I already changed it to map 'list in my code
<bike> it doesn't seem immediately problematic. SBCL says the warning is specifically on the SORT line? not the mapcar, for instance?
<emaczen> beach: if there are no children then it is nil -- what's wrong with that?
<beach> emaczen: It is bad style.
amb007 has quit [Ping timeout: 260 seconds]
<bike> the if is also redundant, since hash-values checks if the hash table is nil. but that's probably unrelated to the warning
<beach> emaczen: IF should always have both branches, because if it is used for value, then it is good style to include both branches, and if it is not used for value, it should be replaced by WHEN or UNLESS.
amb007 has joined #commonlisp
<beach> I mean, if it has only one branch, and it is not used for value, then...
X-Scale has quit [Quit: Client closed]
<emaczen> I probably have the if there when I got an error and tried a few things and never took it out.
<beach> emaczen: And (WHEN HT is a direct violation of the rules stated on page 13 of the LUV slides by Norvig and Pitman.
<beach> emaczen: The indentation is probably off for other reasons as well, because COLLECT is not aligned under FOR.
<emaczen> bike: slime or sbcl underlines the if.
<emaczen> if I remove the if form then sort is underlined
mgl_ has quit [Ping timeout: 256 seconds]
X-Scale has joined #commonlisp
danse-nr3 has quit [Read error: Connection reset by peer]
danse-nr3 has joined #commonlisp
wacki has joined #commonlisp
green_ has quit [Ping timeout: 256 seconds]
chomwitt has quit [Quit: WeeChat 3.8]
phadthai has joined #commonlisp
<bike> well, i can compile this code with no warnings, if i use identity functions and have the mapcar be the entire body of a function
<bike> so there's more relevant context
mesuutt has joined #commonlisp
aciep has quit [Remote host closed the connection]
<emaczen> conflicting with its asserted type LIST -- possible declarations on children? children is the accessor to a slot named children
<bike> there's also the fact the warning refers to a variable named SEQUENCE, which is not apparent in your code
<bike> so either it's elsewhere or part of an internal sbcl expansion
mesuutt has quit [Ping timeout: 245 seconds]
admich1 has quit [Ping timeout: 245 seconds]
attila_lendvai has joined #commonlisp
<emaczen> Thanks for looking -- I think it is worth forgetting about and to just use map 'list
mesuutt has joined #commonlisp
green_ has joined #commonlisp
mesuutt has quit [Ping timeout: 256 seconds]
Inline has quit [Ping timeout: 245 seconds]
<flip214> Is there a codewalker library that allows to wrap each value form (so in PROGN, variable bindings in LET, etc.; recursively) in some code?
<flip214> Ie. Is there a library that I pass some form and a function and the function is called with each value form therein?
amb007 has quit [Ping timeout: 268 seconds]
X-Scale has quit [Quit: Client closed]
amb007 has joined #commonlisp
danse-nr3 has quit [Ping timeout: 255 seconds]
nij- has joined #commonlisp
<nij-> Will WSCL issues ever get "integrated" into dpANS3? Or it's planned to have them remain as independent patches?
X-Scale has joined #commonlisp
OwlWizard has quit [Quit: OwlWizard]
zetef has quit [Remote host closed the connection]
emaczen has quit [Ping timeout: 255 seconds]
Pixel_Outlaw has joined #commonlisp
Inline has joined #commonlisp
nij- has quit [Ping timeout: 268 seconds]
mgl_ has joined #commonlisp
nij- has joined #commonlisp
mesuutt has joined #commonlisp
mesuutt has quit [Ping timeout: 260 seconds]
zetef has joined #commonlisp
admich1 has joined #commonlisp
<beach> nij-: They are already integrated in (at least one version of) the document created by scymtym that is at the same "level" as the Common Lisp HyperSpec and the Nova Spec.
<ixelp> wscl-issues: New issue STANDARDIZED-RESTART-NAMES · s-expressionists/wscl@04da4ec · GitHub
<beach> That's how we format the WSCL issues so that they will have the same format as the X3J13 issues, but that's not the document I was talking about.
<beach> I can't remember the link right now.
<nij-> That's fine. I will try to memorize this plan. Thanks.
mgl_ has quit [Ping timeout: 255 seconds]
admich1 has quit [Ping timeout: 255 seconds]
nij- has left #commonlisp [Using Circe, the loveliest of all IRC clients]
King_julian has joined #commonlisp
waleee has joined #commonlisp
zetef has quit [Read error: Connection reset by peer]
emaczen has joined #commonlisp
holycow has quit [Quit: Lost terminal]
xantoz_ is now known as xantoz
admich1 has joined #commonlisp
decweb has quit [Ping timeout: 245 seconds]
mgl_ has joined #commonlisp
King_julian has quit [Quit: leaving]
ec_ has joined #commonlisp
ec has quit [Ping timeout: 260 seconds]
admich1 has quit [Ping timeout: 255 seconds]
admich1 has joined #commonlisp
admich1 has quit [Ping timeout: 264 seconds]
admich1 has joined #commonlisp
waleee has quit [Ping timeout: 256 seconds]
mgl_ has quit [Ping timeout: 255 seconds]
nij- has joined #commonlisp
khrbtxyz has quit [Remote host closed the connection]
khrbtxyz has joined #commonlisp
luca_ has joined #commonlisp
luca_ is now known as OwlWizard
khrbtxyz has quit [Changing host]
khrbtxyz has joined #commonlisp
OwlWizard has quit [Quit: OwlWizard]
waleee has joined #commonlisp
akoana has joined #commonlisp
khrbtxyz has quit [Remote host closed the connection]
mgl_ has joined #commonlisp
admich1 has quit [Remote host closed the connection]
admich1 has joined #commonlisp
dlowe_ has joined #commonlisp
mesuutt has joined #commonlisp
dlowe_ has quit [Ping timeout: 252 seconds]
amb007 has quit [Ping timeout: 256 seconds]
amb007 has joined #commonlisp
X-Scale has quit [Quit: Client closed]
nij- has left #commonlisp [Using Circe, the loveliest of all IRC clients]
mgl_ has quit [Ping timeout: 252 seconds]
dlowe_ has joined #commonlisp
dlowe_ has quit [Read error: Connection reset by peer]
synchromesh has quit [Read error: Connection reset by peer]
dlowe_ has joined #commonlisp
dlowe_ has quit [Read error: Connection reset by peer]
dlowe_ has joined #commonlisp
dlowe_ has quit [Remote host closed the connection]
synchromesh has joined #commonlisp
admich1 has quit [Ping timeout: 255 seconds]
admich1 has joined #commonlisp
ec_ has quit [Remote host closed the connection]
ec has joined #commonlisp
mesuutt has quit [Ping timeout: 240 seconds]
wacki has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
mesuutt has joined #commonlisp
synchromesh has quit [Quit: WeeChat 4.0.5]
shka has quit [Ping timeout: 255 seconds]
decweb has joined #commonlisp
bollu has quit [Quit: The Lounge - https://thelounge.chat]
bollu has joined #commonlisp
synchromesh has joined #commonlisp
chiselfu1e has joined #commonlisp
chiselfuse has quit [Remote host closed the connection]
thuna` has joined #commonlisp
akoana has quit [Quit: leaving]
lagash has quit [Remote host closed the connection]
synchrom1 has joined #commonlisp
synchromesh has quit [Ping timeout: 268 seconds]
random-nick has quit [Ping timeout: 268 seconds]
mesuutt has quit [Ping timeout: 268 seconds]
dlowe_ has joined #commonlisp
pve has quit [Quit: leaving]
rtypo has quit [Ping timeout: 245 seconds]
<attila_lendvai> beach, are there plans to limit CL's reckless global state in WSCL?
<attila_lendvai> (thinking of *readtable* and its friends of global variables)
dino_tutter has quit [Ping timeout: 260 seconds]
random-nick has joined #commonlisp
attila_lendvai has quit [Ping timeout: 268 seconds]
tok has quit [Remote host closed the connection]
green_ has quit [Ping timeout: 252 seconds]
FragmentedCurve has joined #commonlisp
donleo has quit [Ping timeout: 268 seconds]
X-Scale has joined #commonlisp
chiselfu1e has quit [Remote host closed the connection]
chiselfuse has joined #commonlisp
hineios2 has quit [Quit: The Lounge - https://thelounge.chat]
hineios23 has joined #commonlisp
yitzi has joined #commonlisp
<yitzi> attila_lendvai: wscl is aimed at specifying the unspecified aspects of CL, not changing the behavior or adding extensions.
admich1 has quit [Ping timeout: 268 seconds]
admich1 has joined #commonlisp
mesuutt has joined #commonlisp
rgherdt has quit [Quit: Leaving]
mesuutt has quit [Ping timeout: 245 seconds]
emaczen has quit [Ping timeout: 246 seconds]
Renfield has quit [Ping timeout: 268 seconds]