libera/#commonlisp - IRC Chatlog
Search
3:16:12
nij-
Two questions.. uiop:launch-program allows as to talk to the process with :stream. Which kind of socket does it use? Does it work on all of linux, macos, and windows?
3:17:02
nij-
Second, if I want to do socket programming portably (on all three os types), what kind of socket should I use? BSD socket doesn't work on windows iirc.
3:27:32
nij-
Hmm.. it sees to call sbcl's run-program, which relies on bsd socket.. does that mean it won't work for windows users?
5:31:44
asarch
How could you make a function like: (calc '+ 10 10) or (calc '- 8 3) or (calc 'exp 2 9)?
5:33:32
White_Flame
also, this is a lisp-2, 'operator' isn't a function, and the operator parameter is never used
5:34:34
White_Flame
you also can't directly do (list operator a b), because you're passing in the operator quoted
5:34:59
White_Flame
(operator a b) is a function use of the symbol OPERATOR, there is no variable use of the parameter OPERATOR
5:51:19
asarch
Do you remember when I made the PDF version of that book? I think something is missing
6:15:29
asarch
Wouldn't be great to use '?' as the last character of predicates? (e.g. (empty? ...))
6:56:41
splittist
There's a lot to like about Dylan. It's an interesting (...) mix of well-thought-through and rushed.
8:05:29
Tallund
Hi, I'd recently tried to implement type generics in custom collections defined by defstruct via macro. The struct would be created with a read only slot of type 'symbol' to act as a type specifier that would be read out at macro expansion time into a backquoted declaration form preceding collection operations. And I did succeed, actually- for
8:05:29
Tallund
values known at compile time. It fails as soon as I call the function-like-macro on a collection bound to a fresh let form within the REPL. I think I've read something about runtime type declarations somewhere and started trying to figure that out with a type specifier symbol retrieved only then but I've been having trouble finding anything about
8:05:30
Tallund
the evaluation semantics for the different declaration forms. Am I wasting my time here? Is there a better way to do this? Is there maybe some quicklisp package that implements generics I didn't find in the curated list?
8:09:21
flip214
I seem to remember that clouseau (or was it something in McClim?) would show a graphic of a CLOS class hierarchy, but I can't find that any more. Any hints, please? Thanks a lot!
8:10:43
beach
flip214: The CLIM listener can do that. I believe it has a "," command for that, like ,show class subclasses or something similar.
8:12:31
beach
Tallund: But it is hard to say what is going wrong since you are not showing your code.
8:13:33
Tallund
I'm a bit embarrassed to share it but I'll do so in a moment after testing it again.
8:13:34
beach
Tallund: I don't know what that means, but I was telling you about "the evaluation semantics for the different declaration forms".
8:16:51
beach
Tallund: But maybe you are asking about the semantics about type declarations in general. The answer is that the implementation is free to ignore them.
8:17:34
Tallund
I had Java's varying List<>s in mind when I said that, which could be specified to be of type 'List<String>' for example, and Java would then do its' typical compile time type checking upon insertion of elements into the specific list object and the retrieval of elements from the same object
8:17:35
beach
Tallund: The standard says that a type declaration is a promise from the programmer, and the implementation may or may not check it.