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/>
markb1 has joined #commonlisp
jeffrey has quit [Quit: jeffrey]
<ym> Is SB-SIMD internal in SBCL? Shouldn't it be mentioned in *FEATURES*? Or what make option enables it on SBCL compilation stage?
contrapunctus has joined #commonlisp
markb1 has quit [Ping timeout: 252 seconds]
<ym> Ok, never mind, found it myself.
dra has quit [Ping timeout: 272 seconds]
markb1 has joined #commonlisp
shawnw has quit [Ping timeout: 252 seconds]
snoreboar has quit [Quit: The Lounge - https://thelounge.chat]
wbooze has joined #commonlisp
triffid has quit [Remote host closed the connection]
triffid has joined #commonlisp
screwlisp has quit [Remote host closed the connection]
markb1 has quit [Ping timeout: 244 seconds]
wbooze has quit [Read error: Connection reset by peer]
wbooze has joined #commonlisp
markb1 has joined #commonlisp
markb1 has quit [Ping timeout: 260 seconds]
<boigahs> What was the answer?
<boigahs> Now I'm curious
surabax_ has joined #commonlisp
random-nick has quit [Ping timeout: 268 seconds]
surabax_ has quit [Client Quit]
surabax has quit [Ping timeout: 260 seconds]
markb1 has joined #commonlisp
<nytpu> boigahs: you do `(require '#:sb-simd)` to load it (same for any of the other contrib SBCL modules)
thuna` has quit [Ping timeout: 268 seconds]
ym has quit [Ping timeout: 260 seconds]
Pixel_Outlaw has joined #commonlisp
semz has quit [Quit: ZNC 1.8.2+deb2ubuntu0.1 - https://znc.in]
veqq has joined #commonlisp
semz has joined #commonlisp
Pixel_Outlaw has quit [Quit: Leaving]
waleee has quit [Remote host closed the connection]
markb1 has quit [Ping timeout: 276 seconds]
wbooze has quit [Ping timeout: 252 seconds]
markb1 has joined #commonlisp
gorignak has joined #commonlisp
shawnw has joined #commonlisp
usagi_mimi has quit [Ping timeout: 252 seconds]
<beach> veqq: Remarks from SBCL maintainers suggested that the kind of improvements I wanted were never going to be accepted.
<veqq> What sort did you want? Along the lines of SICL or something else?
<beach> veqq: More use of CLOS for one thing, so as to improve maintainability. The remark I got was that there was no point in making the code slower by using CLOS. Of course, making CLOS faster would also have been something I wanted, and I published a paper about that.
<beach> jackdaniel is of course right that it is not trivial to change an existing implementation to use some external library to replace existing implementation-specific code, and since the code often already works, the benefit might not compensate for the effort required.
<beach> So the totally obvious conclusion to me was that we need to write a new Common Lisp implementation from scratch.
vardhan_ has joined #commonlisp
chiselfuse has quit [Ping timeout: 264 seconds]
chiselfuse has joined #commonlisp
decweb has quit [Quit: Konversation terminated!]
Pixel_Outlaw has joined #commonlisp
King_julian has quit [Ping timeout: 244 seconds]
olnw has joined #commonlisp
olnw has quit [Client Quit]
snoreboar has joined #commonlisp
mishoo has joined #commonlisp
markb1 has quit [Ping timeout: 245 seconds]
markb1 has joined #commonlisp
prokhor-zhakarov has quit [Ping timeout: 248 seconds]
prokhor-zhakarov has joined #commonlisp
chomwitt has joined #commonlisp
pve has joined #commonlisp
lutherann has joined #commonlisp
fengshaun has quit [Quit: Ciao!]
fengshaun has joined #commonlisp
markb1 has quit [Ping timeout: 265 seconds]
markb1 has joined #commonlisp
cercopith has joined #commonlisp
Ruby has quit [Quit: ZNC - https://znc.in]
markb1 has quit [Ping timeout: 260 seconds]
edgar-rft` has joined #commonlisp
wbooze has joined #commonlisp
edgar-rft has quit [Ping timeout: 272 seconds]
wbooze has quit [Read error: Connection reset by peer]
yazz_ has joined #commonlisp
yazz has quit [Ping timeout: 265 seconds]
khinsen has joined #commonlisp
shka has joined #commonlisp
vardhan_ has quit [Ping timeout: 244 seconds]
markb1 has joined #commonlisp
vardhan has joined #commonlisp
Ruby has joined #commonlisp
yazz_ has quit [Ping timeout: 252 seconds]
yazz has joined #commonlisp
Ruby has quit [Client Quit]
apac has quit [Ping timeout: 252 seconds]
wbooze has joined #commonlisp
Ruby has joined #commonlisp
Pixel_Outlaw has quit [Quit: Leaving]
veqq1 has joined #commonlisp
Venoflux has joined #commonlisp
veqq has quit [Ping timeout: 244 seconds]
veqq1 is now known as veqq
Venoflux has quit [Client Quit]
Guest47 has joined #commonlisp
Venoflux has joined #commonlisp
istewart has quit [Quit: Konversation terminated!]
ingeniot has joined #commonlisp
varjag has joined #commonlisp
chomwitt has quit [Quit: WeeChat 3.8]
chomwitt has joined #commonlisp
Lord_of_Life has quit [Ping timeout: 252 seconds]
Lord_of_Life has joined #commonlisp
jjnkn has joined #commonlisp
dra has joined #commonlisp
GalaxyNova has quit [Ping timeout: 276 seconds]
markb1 has quit [Ping timeout: 260 seconds]
treflip has joined #commonlisp
Guest47_ has joined #commonlisp
Guest47 has quit [Ping timeout: 248 seconds]
markb1 has joined #commonlisp
bpanthi977 has quit [Ping timeout: 246 seconds]
mgl has joined #commonlisp
<mgl> Is this always true: (EQ (TYPEP OBJ TYPE) (SUBTYPEP (TYPE-OF OBJ) TYPE))? Looks intuitive, but I can't see anything in the spec to this effect.
khinsen has left #commonlisp [#commonlisp]
<jackdaniel> (typep 3 '(integer 3 3)) ; (subtypep (type-of obj) '(integer 3 3)) ; is an counterexample
<jackdaniel> because type-of could yield just INTEGER
<mgl> Ah, nice. What if TYPE is restricted to be a CLASS?
<mgl> Since TYPE-OF is guaranteed to be at least as specific as CLASS-OF, the above should hold, right?
<jackdaniel> then I think that it should hold, otherwise the substitution principle would not work
<mgl> Thanks
<jackdaniel> sure
JoshYoshi has left #commonlisp [Gotta go fast!]
Josh_2 has joined #commonlisp
bpanthi977 has joined #commonlisp
bpanthi977 has quit [Ping timeout: 260 seconds]
treflip` has joined #commonlisp
treflip has quit [Ping timeout: 244 seconds]
treflip` has quit [Changing host]
treflip` has joined #commonlisp
wbooze has quit [Read error: Connection reset by peer]
treflip` is now known as treflip
markb1 has quit [Ping timeout: 244 seconds]
treflip has quit [Ping timeout: 268 seconds]
treflip has joined #commonlisp
Posterdati has quit [Ping timeout: 272 seconds]
treflip` has joined #commonlisp
markb1 has joined #commonlisp
treflip has quit [Ping timeout: 268 seconds]
treflip`` has joined #commonlisp
treflip` has quit [Ping timeout: 252 seconds]
dajole has quit [Quit: Connection closed for inactivity]
markb1 has quit [Ping timeout: 252 seconds]
Venoflux has quit [Ping timeout: 245 seconds]
skeemer has joined #commonlisp
markb1 has joined #commonlisp
Guest47_ has quit [Quit: Textual IRC Client: www.textualapp.com]
markb1 has quit [Ping timeout: 244 seconds]
attila_lendvai has joined #commonlisp
chomwitt has quit [Ping timeout: 268 seconds]
Guest4323 has joined #commonlisp
ingeniot has quit [Ping timeout: 240 seconds]
Guest47 has joined #commonlisp
markb1 has joined #commonlisp
attila_lendvai has quit [Ping timeout: 248 seconds]
vardhan has quit [Ping timeout: 252 seconds]
markb1 has quit [Ping timeout: 265 seconds]
markb1 has joined #commonlisp
csos95 has quit [Quit: The Lounge - https://thelounge.chat]
csos95_ has quit [Quit: ZNC 1.8.2 - https://znc.in]
treflip`` has quit [Ping timeout: 252 seconds]
markb1 has quit [Ping timeout: 276 seconds]
markb1 has joined #commonlisp
csos95 has joined #commonlisp
csos953 has joined #commonlisp
markb1 has quit [Ping timeout: 252 seconds]
Equill has joined #commonlisp
Guest4323 has quit [Ping timeout: 252 seconds]
Guest1605 has joined #commonlisp
markb1 has joined #commonlisp
chomwitt has joined #commonlisp
chomwitt has quit [Ping timeout: 248 seconds]
random-nick has joined #commonlisp
pranav has quit [Remote host closed the connection]
treflip`` has joined #commonlisp
markb1 has quit [Ping timeout: 252 seconds]
surabax has joined #commonlisp
surabax has quit [Changing host]
surabax has joined #commonlisp
Venoflux has joined #commonlisp
markb1 has joined #commonlisp
pranav has joined #commonlisp
thollief has joined #commonlisp
pranav has quit [Read error: Connection reset by peer]
markb1 has quit [Ping timeout: 265 seconds]
markb1 has joined #commonlisp
ym has joined #commonlisp
pranav has joined #commonlisp
treflip has joined #commonlisp
treflip`` has quit [Ping timeout: 252 seconds]
markb1 has quit [Ping timeout: 252 seconds]
White__Flame has joined #commonlisp
White_Flame has quit [Ping timeout: 272 seconds]
josrr has joined #commonlisp
treflip` has joined #commonlisp
treflip has quit [Ping timeout: 276 seconds]
markb1 has joined #commonlisp
decweb has joined #commonlisp
Venoflux has quit [Ping timeout: 248 seconds]
cage has joined #commonlisp
treflip`` has joined #commonlisp
treflip` has quit [Ping timeout: 244 seconds]
skeemer has quit [Ping timeout: 244 seconds]
Posterdati has joined #commonlisp
markb1 has quit [Ping timeout: 246 seconds]
treflip`` has quit [Ping timeout: 252 seconds]
Th30n has quit [Quit: going off]
ingeniot has joined #commonlisp
jjnkn has quit [Ping timeout: 268 seconds]
chomwitt has joined #commonlisp
markb1 has joined #commonlisp
Venoflux has joined #commonlisp
Posterdati has quit [Ping timeout: 244 seconds]
Guest47 has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
Guest47 has joined #commonlisp
wbooze has joined #commonlisp
markb1 has quit [Ping timeout: 272 seconds]
gorignak has quit [Read error: Connection reset by peer]
gorignak has joined #commonlisp
chomwitt has quit [Ping timeout: 248 seconds]
varjag has quit [Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)]
bpanthi977 has joined #commonlisp
danza has joined #commonlisp
markb1 has joined #commonlisp
wbooze has quit [Quit: Leaving]
bpanthi977 has quit [Ping timeout: 244 seconds]
cdegroot has quit [Ping timeout: 260 seconds]
markb1 has quit [Ping timeout: 244 seconds]
<mgl> Is this legal? (subtypep 'method '(method)) => NIL, NIL
<mgl> The hyperspec says "For every atomic type specifier, x, there is an equivalent compound type specifier with no arguments supplied, (x)."
<beach> SUBTYPEP is allowed to answer "don't know" in way too many situations.
<jackdaniel> it is, second value means "not sure"
<mgl> I don't think subtypep is allowed to return don't-know here.
<mgl> "subtypep never returns a second value of nil when both type-1 and type-2 involve only the names in Figure 4-2, "
<mgl> where Figure 4-2 lists METHOD.
<mgl> Now, "involve" is the ambiguous part.
cdegroot has joined #commonlisp
<jackdaniel> list consritues a compound typespec, so it is a name and a compound
<jackdaniel> constitues
<beach> I am not sure what the standard means exactly, but I would consider returning NIL here to be wrong.
<beach> bike: What does ctype return in this case?
<gilberth> METHOD is not an atomic type specifier. <https://novaspec.org/cl/1_4_Definitions#sec_1_4_4_6> The table is here: <https://novaspec.org/cl/4_2_Types#sec_4_2_3>
<ixelp> 1.4 Definitions | Common Lisp Nova Spec
* gilberth was too slow.
markb1 has joined #commonlisp
<beach> How is METHOD not an atomic type specifier?
<bike> uh, method is right there in the table?
<gilberth> What? /me looks closer.
<bike> under long-float?
<gilberth> METHOD is a class, isn't it?
<beach> It is, yes.
<bike> all standard classes also have atomic type specifiers
<bike> beach: not sure. i actually don't remember this thing mgl quoted.
<gilberth> That's odd. So I misunderstood that part all the time. Not my day.
<beach> bike: I'll try to check. I need to reboot SICL without Quaviver.
<gilberth> So then this is broken? ,(typep *package* '(package))
<ixelp> (typep *package* '(package)) ERROR: Invalid type specifier: (PACKAGE) .
<bike> mgl: where did you get this "for every atomic type specifier" bit?
<gilberth> As PACKAGE is listed as well, and so (PACKAGE) should also be a type specifier?
<beach> It's in the glossary.
<bike> ah, i see
<beach> Under "atomic type specifier"
<bike> well i have never seen this before. honestly it seems like kind of a silly rule to me
<bike> wouldn't be hard to implement, though
<bike> (typep *package* '(package)) is also an error in SBCL
<bike> ixelp is ccl, as i recall
<mgl> but (subtypep 'function '(function)) => t, t
<gilberth> It's an error in CMUCL, CLISP, ECL, and ACL as well. ABCL says T.
<bike> mgl: FUNCTION is not an atomic type specifier. you can specify arguments and return values.
<mgl> Again, the glossary disagrees.
<bike> i mean, i guess it is an atomic type specifier, but can also be used as a compound specifier
<bike> No, I"m saying that (function) is accepted not because of the glossary entry, but because (function) is a valid specifier for other reasons
Venoflux has quit [Quit: Venoflux]
<mgl> So the glossary entry, which is not authoritive in any case, is wrong, right?
<bike> it certainly seems to be wrong in a practical sense, and I don't think this supposed rule is stated in the main text anywhere
<bike> does the glossary count as non-normative back matter for 1.4.3? probably, right?
<beach> ctype errors as well it seems.
<beach> No applicable method for CONS-SPECIFIER-CTYPE.
thuna` has joined #commonlisp
zxcvz has joined #commonlisp
<beach> mgl: What is it that you are working on?
ingeniot has quit [Ping timeout: 240 seconds]
<beach> mgl: It seems interesting! :)
danza has quit [Remote host closed the connection]
<mgl> beach: In the context of DRef, I'm integrating the hierarchy of definitions and the normal type hierarchy. The normal type system only has types for first-class objects, while the purpose of DRef provide definition objects for named things.
<mgl> (dtypep (find-class 'xxx) 'type) => t
<mgl> (dtypep (dref 'my-type 'type) 'type) => t
<mgl> (dtypep (dref 'pi 'constant) 'variable) => t
<mgl> (dtypep (dref '*print-readably* 'variable) '(and variable (not constant))) => t
<beach> I think this is the first time I heat about DRef. Do you have a link?
<mgl> It's packaged with mgl-pax, from which it grew out: https://github.com/melisgl/mgl-pax/tree/master/dref
<ixelp> mgl-pax/dref at master · melisgl/mgl-pax
<beach> Thanks.
ingeniot has joined #commonlisp
bpanthi977 has joined #commonlisp
nytpu has quit [Remote host closed the connection]
Guest47 has quit [Quit: Textual IRC Client: www.textualapp.com]
bpanthi977 has quit [Ping timeout: 268 seconds]
markb1 has quit [Ping timeout: 265 seconds]
markb1 has joined #commonlisp
NotThatRPG has quit [Ping timeout: 260 seconds]
bpanthi977 has joined #commonlisp
bpanthi977 has quit [Ping timeout: 248 seconds]
<jackdaniel> mgl: presentation types may parametrize existing classes and generally are quite flexible and extensible
skeemer has joined #commonlisp
Guest47 has joined #commonlisp
chomwitt has joined #commonlisp
bpanthi977 has joined #commonlisp
attila_lendvai has joined #commonlisp
<cdegroot> I've looked but I've not been able to find anthing: Elixir (my daytime $Job language) has Rustler, which generates all you need to call Rust code from Elixir. It's actually very nice, even though people are overusing it for the wrong reasons. I don't think anything similar for CL exists?
bpanthi977 has quit [Ping timeout: 272 seconds]
bpanthi977 has joined #commonlisp
bpanthi977 has quit [Remote host closed the connection]
bpanthi977 has joined #commonlisp
markb1 has quit [Ping timeout: 245 seconds]
bpanthi977 has quit [Remote host closed the connection]
jjnkn has joined #commonlisp
markb1 has joined #commonlisp
NotThatRPG has joined #commonlisp
gooba` has joined #commonlisp
gooba has quit [Remote host closed the connection]
gooba` has quit [Remote host closed the connection]
gooba has joined #commonlisp
<mgl> jackdaniel: you mean those in CLIM?
<jackdaniel> yes, they are useful for many things not only gui
nytpu has joined #commonlisp
<mgl> Thank for the pointer, I'll check it out.
<jackdaniel> if you have questions about these hit me on irc, I'll try to help
markb1 has quit [Ping timeout: 268 seconds]
khinsen has joined #commonlisp
Guest47 has quit [Quit: Client closed]
markb1 has joined #commonlisp
vardhan has joined #commonlisp
ingeniot has quit [Quit: Client closed]
yitzi has joined #commonlisp
pranav has quit [Remote host closed the connection]
Inline has joined #commonlisp
cage has quit [Remote host closed the connection]
cage has joined #commonlisp
cage has quit [Remote host closed the connection]
cage has joined #commonlisp
Inline has quit [Client Quit]
lutherann has quit [Quit: WeeChat 4.4.3]
lutherann has joined #commonlisp
Inline has joined #commonlisp
ingeniot has joined #commonlisp
Pixel_Outlaw has joined #commonlisp
markb1 has quit [Ping timeout: 252 seconds]
markb1 has joined #commonlisp
Inline has quit [Quit: Leaving]
chomwitt has quit [Ping timeout: 272 seconds]
vardhan has quit [Ping timeout: 246 seconds]
markb1 has quit [Ping timeout: 244 seconds]
ixelp has quit [Ping timeout: 244 seconds]
markb1 has joined #commonlisp
ixelp has joined #commonlisp
yitzi has quit [Remote host closed the connection]
ingeniot has quit [Quit: Client closed]
bpanthi977 has joined #commonlisp
bpanthi977 has quit [Ping timeout: 260 seconds]
X-Scale has quit [Ping timeout: 272 seconds]
bpanthi977 has joined #commonlisp
gorignak has quit [Quit: quit]
gorignak has joined #commonlisp
jonatack has quit [Read error: Connection reset by peer]
jonatack has joined #commonlisp
dajole has joined #commonlisp
Demosthenex has quit [Ping timeout: 252 seconds]
zxcvz has quit [Quit: zxcvz]
zxcvz has joined #commonlisp
wbooze has joined #commonlisp
zxcvz has quit [Quit: zxcvz]
jjnkn has quit [Remote host closed the connection]
akoana has joined #commonlisp
younder has quit [Remote host closed the connection]
Demosthenex has joined #commonlisp
varjag has joined #commonlisp
akoana has quit [Quit: leaving]
younder has joined #commonlisp
waleee has joined #commonlisp
jonatack has quit [Read error: Connection reset by peer]
jonatack has joined #commonlisp
mishoo has quit [Ping timeout: 245 seconds]
cage has quit [Quit: rcirc on GNU Emacs 30.1]
Equill has quit [Ping timeout: 272 seconds]
GalaxyNova has joined #commonlisp
NotThatRPG has quit [Ping timeout: 245 seconds]
NotThatRPG_ has joined #commonlisp
Equill has joined #commonlisp
usagi_mimi has joined #commonlisp
Guest1605 has quit [Ping timeout: 268 seconds]
khinsen has left #commonlisp [#commonlisp]
thollief has quit [Quit: Leaving]
chomwitt has joined #commonlisp
chiselfuse has quit [Remote host closed the connection]
chiselfuse has joined #commonlisp
NotThatRPG_ has quit [Quit: Textual IRC Client: www.textualapp.com]
NotThatRPG has joined #commonlisp
pve has quit [Quit: leaving]
GalaxyNova has quit [Ping timeout: 268 seconds]
josrr has quit [Ping timeout: 246 seconds]
Posterdati has joined #commonlisp
mwnaylor has joined #commonlisp
pranav has joined #commonlisp
mgl has quit [Ping timeout: 246 seconds]
jonatack has quit [Read error: Connection reset by peer]
jonatack has joined #commonlisp
jonatack has quit [Ping timeout: 248 seconds]
shka has quit [Quit: Konversation terminated!]
X-Scale has joined #commonlisp
Spawns_Carpeting has quit [Ping timeout: 260 seconds]
Spawns_Carpeting has joined #commonlisp
chomwitt has quit [Ping timeout: 245 seconds]
dra has quit [Ping timeout: 272 seconds]
<jmercouris> There's something that's going on that I can't understand, maybe I'm just too tired
<ixelp> dpaste: 96Q5RWTFP
<jmercouris> "There is no applicable method for the generic function"
<jmercouris> HOWEVER the object in question in subclasses the object it needs to!
<jmercouris> I could easily fix it by changing the signature, but I don't understand WTF is going on here
sell is now known as sel
<jmercouris> It's probably some simple PEBKAC
varjag has quit [Remote host closed the connection]
varjag has joined #commonlisp
varjag has quit [Ping timeout: 268 seconds]
usagi_mimi has quit [Quit: WeeChat 4.5.2]
mosin has joined #commonlisp
<reb> It looks like you may have passed NYXT::MODES-STRING a BUFFER, not a NYXT:BUFFER.
<reb> jmercouris: ^^
Pixel_Outlaw has quit [Quit: Leaving]