freenode/#lisp - IRC Chatlog
Search
11:52:16
bhartrihari
I don't think I understand that fully. You mean there is no standardized representation (ABI?) to conform to?
11:53:54
beach
Sort of. The internal representation of objects is often visible everywhere in the system, say in the form of tag bits and such. CLOS would help abstract those dependencies away.
11:58:30
beach
But it would be a monumental task to modify an existing implementation in that direction.
12:09:30
bhartrihari
Writing a standardized spec for that is a task in itself. Unless there's some ABI standard out there that fits the bill well.
12:13:54
bhartrihari
I think layout is fine. But calling conventions would probably take it too close to the compilation target. I would like to see something that both sbcl and ECL can conform to.
12:16:52
bhartrihari
I do need to do more readings in ABI specs before setting expectations on that though.
12:17:45
beach
For object layout, you may want to look in the SICL specification. I am using what I think is the simplest possible layout that will still allow for decent performance.
12:23:11
sm2n_
does it really matter, as long as you can convert to and from the format you make to whatever format the implementation in question uses?
12:36:58
bhartrihari
Though for now, I wasn't thinking of the possibility of two implementations running a piece of code simultaneously (that's the only case that comes to mind where we have competing GCs). Only at how that standardization can help with image based programming.
12:41:49
bhartrihari
I guess what it comes down to is perhaps to have a standard way to represent the "world", which multiple implementations can use.
12:43:00
beach
bhartrihari: But then the question is, what makes the difference between different implementations? Currently object layout (closely related to memory management) is an important part of that.
12:55:24
aaaaaa
Hi all. Have anybody used Lisp for static webpage generation? I would be interested in how it was done
12:58:40
contrapunctus
aaaaaa: I believe there are innumerable solutions for that. One is listed here - https://github.com/CodyReichert/awesome-cl#static-site-generators
13:35:35
adlai
ACTION has yet to patiently read the entire document, although it should be much more interesting than https://www.cliki.net/LLGPL and its ilk
13:42:15
adlai
ACTION is currently targeting a childishly simple goal: reducing the number of forks hosted under github.com/adlai that exist for the sole purpose of an open pull request
13:44:05
adlai
the practical relevance is that I am wondering whether to adopt the websocket client library, due to the uncertain status of its dependency, 8arrow's library event-emitter
13:45:26
adlai
this is skew-parallel, and not quite orthogonal, to the licensing uncertainty hovering over scalpl.
13:49:15
adlai
ACTION can't even recall whether the author's IRC nick is 8arrow or nitro_idiot ; either way, does not seem to be here right now :(
13:59:10
adlai
I realize my current goal is arguably a waste of time; however, since my primary purpose is turning a throwaway prototype into a tool both useful and worthy of publication, and this tool is explicitly for use by for-profit enterprises, it does seem counterproductive to rely on free services.
14:13:50
edgar-rft
Let's start a service that's only goal is to make others pay money and serve nobody
15:17:42
ak-coram
hi, I'm playing around with simd instructions in sbcl. does anyone know how I can unpack simd-packs?
15:31:05
rumbler31_
hey everyone. After perusing the latest quicklisp dist update, I am reading this code and trying to figure out what it does. https://github.com/Hexstream/enhanced-typep/blob/master/main.lisp
15:32:42
rumbler31_
it appears that if the argument is a constant, then a lambda is returned that tests a random object var against the specified type, otherwise
15:35:01
rumbler31_
the code looks deceptively simple and short but i'm having trouble figuring out what it does, and what machinery behind define-compiler-macro makes it necessary
15:39:26
adlai
rumbler31_: it's worth noting that code using define-compiler-macro should always have identical correct behavior when the forms defining the compiler macro are deleted
15:40:09
adlai
no guarantees about consistent failures, nor efficiency; although, compilers are allowed to ignore define-compiler-macro
15:43:08
adlai
ACTION begins to experience anger after too much time reading common lisp in github's website, and finds himself nostalgic for paste.lisp.org
15:43:57
rumbler31_
running the code in the repl was illuminating. I see that we are returning forms, not the lambdas themselves
15:44:35
adlai
correct, the function in question builds a lambda form, that can be compiled into a function
15:45:20
adlai
you may want to avoid thinking of the given arguments as "random", and instead just call them the given object name, and given type name.
15:49:02
adlai
rumbler31_: the author[s] have published their own chat website, in another repository under that same account, in case you want to contact them directly; although please remember to update, in here, if you learn something surprising in answer to your questions there
15:50:39
rumbler31_
I'm trying to play in the repl to understand the output of the function a little better
15:51:56
adlai
the function in question probably returns a lambda form, instead of a literal function, to avoid preventing serialization of compiled code.
15:52:58
adlai
yes; if you modify the code you are running so that it returns #'(lambda ...) instead of '(lambda ...), it will return a literal function object
15:53:18
adlai
that will work when you test it interactively, although it will almost certainly fail in certain compilation scenarios.
15:54:04
adlai
ACTION forgets the precise syntax for doing this bad idea with quasiquote, although it is probably `#'(lambda ... ,etc)
16:02:34
adlai
I hope you aren't also trying to unread projects that are removed from quicklisp... that is the garbage collector's job, not yours.
16:06:17
adlai
ok, read all of scalpl. it is terrible code, hitting almost all the nasty twisted corners of the standard, and it works.
16:07:29
adlai
if there is a specific part of the standard that you wish to see in use, please designate it.
18:11:57
daphnis
what's the cl equivalent of echo foo >bar, where bar is a named pipe? (with-open-file (s "bar" :direction :output :if-exists :supersede) (format s "foo")) doesn't seem to work.
23:39:26
no-defun-allowed
I would say that your IRC client uses lists somewhere, but IPL "invented" lists so it wouldn't be much of a point.
23:48:53
aeth
honestly, this is some weak trolling... if you want to troll better, pretend to be a paul graham fanboy