freenode/#lisp - IRC Chatlog
Search
5:45:59
iqubic
I thought you were doing the thing where it's always "morning" when you enter an IRC channel and "night" when you leave.
6:30:51
beach
Wow, more offers to help me with the work on SICL. Perhaps I should convert to being a project manager instead of writing the code myself.
6:34:35
beach
I have always explored the design space by writing code, so that would have to change. Or at least, I would have to stick to small code snippets for showing the consequences of some particular design decision.
6:35:45
whoman
hmm makes sense. architecting the garden geometry itself rather than tilling and plotting and weeding
7:59:46
phoe
or, simply use an implementation that allows you to extend CL:SEQUENCE, see http://www.doc.gold.ac.uk/~mas01cr/papers/ilc2007/sequences-20070301.pdf
8:35:27
beach
Let's suppose I have an initial executable containing the image of a minimal Common Lisp system. In particular, it does not contain an evaluator. Now, I can cross compile DEFMETHOD forms so that the result is in a FASL file that can be loaded into that minimal image.
8:35:41
beach
The code for a method has already been processed by MAKE-METHOD-LAMBDA, so the METHOD-FUNCTION of the method already contains definitions of NEXT-METHOD-P and CALL-NEXT-METHOD (we assume the default situation where a method function is called with a list of arguments and a list of next methods).
8:35:50
beach
So, in this minimal image, I must be able to call the applicable methods according to the method combination of the generic function. I can't really call COMPUTE-APPLICABLE-METHODS or COMPUTE-APPLICABLE-METHODS-USING-CLASSES each time I call a generic function, because these are generic functions as well, so I would get into an infinite computation.
8:36:14
beach
But in SICL, I have a call history in every generic function. It contains a list of pairs (S,E) where S is a signature consisting of classes of specialized arguments that have already been seen, and E is something that we can call an "effective method function".
8:36:20
beach
It is not an "effective method" because that term is define in the AMOP to be a form that needs to be converted by the evaluator to a function. Now, after some methods have been loaded from FASL files, I need to be able to take them into account when I call the generic function.
8:36:32
beach
So when the call fails because the call history does not contain an existing pair that will do, I need to compute a new such pair. But I can't do that by calling COMPUTE-EFFECTIVE-METHOD, because the result of such a call would have to be evaluated. So here is my tentative solution that I would like comments on:
8:36:41
beach
In the initial image, when a call to a generic function fails because there is no appropriate pair in the call history, I create a new one as follows: I call COMPUTE-APPLICABLE-METHODS-USING-CLASSES and perhaps also COMPUTE-APPLICABLE-METHODS as usual. Then, instead of calling COMPUTE-EFFECTIVE-METHOD, I call a different SICL-specific function called (say) COMPUTE-EFFECTIVE-METHOD-FUNCTION.
8:36:42
beach
It takes the applicable methods and returns a closure that can be used as the E component of the pair. The CODE for that closure is already in the image, so it is compiled. Therefore, creating the effective method function does not require any evaluator. Does this sound right, or am I missing something?
8:52:08
scymtym
beach: are the individual precompiled method functions compiled with particular lexical function bindings for NEXT-METHOD-P and CALL-NEXT-METHOD that are aware of this scheme?
8:53:30
beach
That method function, by default, takes a list of arguments to the generic function and a list of next methods.
8:53:56
beach
So, the cross compiler has already inserted definitions of NEXT-METHOD-P and CALL-NEXT-METHOD.
8:53:58
scymtym
sure, i was uncertain whether the way in which the list of next methods is passed is compatible between this scheme and the scheme eventually used once the compiler becomes available
8:54:47
beach
But later on, I will specify optimized versions for standard generic functions, so the methods would then have to be compiled again.
8:56:06
beach
Once I have the compiler in the image, I can ditch the first-class global environment that has been used for the initial image, and create a completely new first-class global environment that contains optimized versions of everything.
8:59:32
scymtym
i will have to read more about the bootstrapping procedure to understand why that couldn't be done in the host lisp
9:04:28
dim
the very simple image that depends on possibly nothing from the host? do you want to be able to bootstrap SICL from itself someday? I mean we have quite advanced Open Source standard CL implementations around that you could choose to depend on?
9:06:44
beach
The executable image is supposed to be a complete Common Lisp implementation, so it can't depend on any existing implementation. The host Common Lisp system, used to cross compile code to generate SICL FASLs and to create the initial image can in theory be any conforming Common Lisp implementation that also supports closer-mop.
9:09:45
dim
the simple image you're talking to is its own thing, you cross-compile it but then it runs by itself, without the need of any CL host around, right?
9:10:52
beach
Sorry! It is hard for me to describe something that I have been so familiar with for such a long time.
9:11:45
dim
I though SICL was about offering pieces of CL implemented in CL, following the metamodular idea, so that if e.g. an implementation has loop and other things but not CLOS, it could use SICL implementation of CLOS
9:12:31
dim
didn't understand that you want to produce a full CL image from SICL sources, and now the whole bootstrapping idea makes more sense
9:14:32
dim
so can you compile the SICL image from CL+SICL, then use this first SICL image to compile SICL again, and then use that second SICL image as a CL compiler/env?
9:15:14
dim
I think that's the classic compiler bootstrapping, in 3 stages, right? (I kind of remember that from classes ~20 years ago)
9:19:25
beach
dim: My initial plan was to define some kind of order between modules, so that one could start with some minimal Common Lisp implementation and then load modules in that order. However, that turned out to be too painful because one would have to keep track of what subset of Common Lisp to use for each module.
9:19:26
beach
Also, the maintainability of the code would suffer from not being able to use the full language. So I abandoned that idea.
9:27:45
dim
yeah, and it's not like you are pioneering CL anymore, you can trust/depend on having a good solid first implementation of the standard to use ; hell you even have a choice of Open Source solutions
9:34:37
beach
There is not an executable file named `sicl' that you can start by typing `sicl' to your shell prompt.
9:37:16
dmiles
ah I thought it was when you said the executable image is supposed to be a complete Common Lisp implementation, so it can't depend on any existing implementation.
9:39:15
beach
It becomes too boring to write things like "the executable image (should I live long enough to make the bootstrapping procedure complete enough that such an image might actually work)...."
9:46:24
dim
so SICL is about being able to write a full CL implementation in (only) CL, and with native first-class environments and some other nice improvements to the current standard, is that right?
9:47:18
beach
Right. The first-class global environments were invented mainly for the purpose of bootstrapping, but they can obviously be used for other purposes like sandboxing.
9:48:33
beach
There are very few "improvements to the standard". Mainly implementation techniques that I hope will be better than what currently exists. Like the fast dispatch technique, and the implementation of the sequence functions.
9:53:14
dim
in my book having generic “APIs” over sequences and streams (ala grey streams but natively so) and maybe hash table functions would be significant improvements to the standard “grey areas” (pun intended)
9:56:47
dim
I wonder if stream level abstractions make sense for higher level (network) protocols, such as MySQL or PostgreSQL protocols
10:25:38
Shinmera
For instance you could model exchange protocols with streams that emit objects representing messages.
11:04:54
ebrasca
I have write http://termbin.com/b11k but for some reason don't give expected checksums.
11:17:36
stylewarning
ebrasca: if you’re using SBCL there’s a dedicated function for that in the module SB-ROTATE-BYTE
11:19:54
stylewarning
ebrasca: then it might be worth abstracting it into a portable function and implementing the assembly code for it! :D
13:05:52
megachombasss
hello guys. do you see any redundant code, errors, or things i could do in other way in this code? https://codepaste.net/bc72wz
13:08:34
beach
And it's a bad idea to use identifiers in some language other than English, especially if, like now, you want an international crowd to understand it.
13:09:42
beach
Don't use the "get-" prefix in Common Lisp. Don't use the "is-" prefix either. Use the "p" suffix instead.
13:14:33
beach
Emacs indents three semicolons so that they are at the left margin, but two semicolons so that it is indented with the code.
13:15:04
beach
CamelCase, is when you have a capital letter in the middle of a word, like resolutionEtiquette.
13:15:38
beach
In Common Lisp, we don't use CamelCase. Use resolution-etiquette, or rather resolution-label instead.
13:17:05
beach
megachombasss: Perhaps it is a problem with TAB characters. In that case, make sure you don't use TABs in the code.
13:17:55
beach
megachombasss: Some paste services can handle it. Some others can't. It is best to avoid TABs.
13:19:29
beach
megachombasss: Don't use the "set-" prefix. Use a SETF function instead. LIke (defun (setf drapeaux) ...). Even better, (defun (setf flag) ...).
13:21:06
beach
megachombasss: So, fix the whitespace, the semicolons, the CamelCase, and the language, and then resubmit.
13:22:03
beach
megachombasss: Also, go read a text book on Common Lisp, and you will see how different their code looks from yours.
13:23:36
beach
megachombasss: What implementation of Common Lisp are you using that it doesn't tell you where it is?
13:24:54
beach
megachombasss: So if you want help, it is better to use one of the more widely used implementations.
13:26:06
Shinmera
You could try https://portacle.github.io, which will ship SBCL and should run without installation or admin privs.
13:27:40
beach
Oh, so I am wasting my time. You are not going to want to learn Common Lisp after this assignment is due. I guess I'll go do something else then.
13:31:39
megachombasss
tbh lisp itself doesnt interest me at all, knowing i have to do this project and teacher didnt give a single course on how lisp works
13:33:12
megachombasss
nono, dont ask you to do my course work (as i literally had no courses about it)
13:34:12
stylewarning
megachombasss: If you’re a beginning programmer, then the book Common Lisp: A Gentle Intro by Touretzky is a great book to teach yourself Lisp. If you know another programming language at an advanced level, then Practical Common Lisp is a great resource.
13:35:23
stylewarning
megachombasss: unfortunately for beginners, it’s easy to write bad Lisp code, with poor efficiency, style, and use of the language features
13:40:02
stylewarning
paule32: Write a function called GATE-EQUAL which tests if two gates are the same for your purpose. Happy to help after you’ve done that and can explain that function to me.
13:40:29
beach
paule32: I am asking you why, despite being told an uncountable number of times, you continue submitting code that does not respect the conventions. I have told you over and over again that it is very impolite. And you keep right on doing it.
13:58:14
KZiemian
do you know that book "Object-Oriented Programming in Common Lisp: A Programmer's Guide to CLOS" by Sonya Keene is free to download
14:11:00
megachombasss
https://codepaste.net/3nyez7 i dont manage to see where the hell he finds more than 2 params for the if?
14:15:28
pjb
megachombasss: notice, if you used setf as I told you yesterday, and as I explain again in my sprunge, you wouldn't have to call gethash twice, since setf already returns the last value assigned!
14:16:32
megachombasss
wait a sec, the source code of what you've sent me seems exactly as the same i using, hence the one im using wasnt that one
14:17:45
pjb
megachombasss: it looks like the code shown in the error message you get is expanded from a macro.
14:19:42
pjb
megachombasss: when you get an error, you need to locate the source of the error; it's not always the form or the frame the debugger shows; you have to look up in the stack frames, to locate the actual source form or frame where the error occured.
14:22:15
megachombasss
well, the code you just pasted me, its exactly what i need. BUT, they should be more functions in that code
14:23:36
pjb
Youngsters these days! They believe things come from out there, from the Internet, instead of from the brains of somebody, including themselves!
14:26:00
pjb
Well, I don't know, first thing I do when I load bad lisp code in emacs, is C-x h C-M-\
14:33:48
megachombasss
i still have problems with this if clause. source : https://codepaste.net/rodwcr
14:34:07
megachombasss
dont know why it says i have to much arguments for the if condition, when i have 2 in both of them
14:34:59
megachombasss
it isnt that, before putting it "on the clisp standard", i need that the code work first
14:35:20
pjb
megachombasss: it can help to use emacs, with slime and paredit, so that indentation is performed automatically and correctly by emacs.
14:35:44
beach
megachombasss: You don't understand. You are submitting your code for others to read. If you don't follow conventions, you are putting the burden on those other people, and that is VERY impolite.
14:37:55
beach
megachombasss: Then you know that if you want to communicate your code for others to read, it must have the correct indentation, spacing, naming convention, etc.
14:37:58
pjb
megachombasss: for resetMemoire, you need &key or &optional: defun resetMemoire (&key (VM 'vm) (tmem 10000))
14:40:11
megachombasss
well, give me a couple minutes that i fix all this mess, put it in decent clisp lookin, and i come back
14:41:26
pjb
In universities, they should start by teaching emacs, as a prerequisite to any programming courses…
14:42:15
dlowe
One of my "todo" projects is to make a really nice stand-alone source code formatter for CL.
14:46:02
muyinliu
pjb: The Emacs stuff remind me of the early days...It's quite difficult to get used to Emacs.
14:46:03
tazjin
writing executable elisp scripts is trivial and emacs is widely available (and much easier to install than npm and all the rest of that ecosystem)
14:47:12
ghard
Things coud be worse - my daughter has her first programming course in the uni so I had to install netbeans on one of my boxen...
14:52:36
pjb
I don't remember if FizzBuzz Enterprise Edition uses the Interpreter Pattern. Perhaps it can be improved…
14:53:30
ghard
Thing is she's studying molecular biology, not CS so they don't care about programming hygiene
14:53:51
megachombasss
therefore, event with your comments, i have high troubles understanding some of the transformations you recomend me to do
14:54:32
megachombasss
so sir pjb, i would really need asistance of this. im whiling to pay if needed , but i really need to present something for tomorrow
14:54:48
pjb
megachombasss: in C or C++, you would use a struct to define vm? Then use defstruct in CL!
14:55:39
pjb
megachombasss: it's really a programming language just like any other. Since you said you know already four of them, you should be able to jump into CL without any problem. There's nothing different.
14:57:36
zazzerino
megachombasss: the parenthesis are giving you a headache because you're not using an editor that can help you deal with them. You've already been told this but it didn't seem to get though- try using https://portacle.github.io/
14:58:06
megachombasss
not familliar with emacs, and those are the only few installed on these computers
14:58:33
pjb
megachombasss: but if you do, you use it wrong, because it features: * Bracket matching !!!!
14:59:34
pjb
megachombasss: furthermore, it even has a lisp syntax highlighting module: https://ubuntuforums.org/showthread.php?t=2253625
15:00:00
muyinliu
megachombasss: You REALLY need Emacs with rainbow-delimiters, take a look at this: http://pasteall.org/pic/index.php?id=123935
15:01:25
zazzerino
Are there really universities that require Common Lisp for projects but don't allow students to install or use emacs? I find it hard to believe, but I didn't study programming in school...
15:02:34
ghard
Worse - dropping someone into CL straight from imperative languages without giving an initial course first.
15:05:16
rumbler31
There's no way this user hasn't had a lead up of some kind to have to use lisp for their final project. There's no fooling us in that regard. But it is not uncommon for departments to set up hosted machines where students must save and submit their work.
15:12:20
muyinliu
rumbler31: This online-editor is quire poor, without auto-indent or colorful parentheses...
15:13:13
rumbler31
its not great. but its better than gedit, and I can't find the other ones that were fully featured
15:15:11
sebastien_
which GTK+ binding would you recommend for a new application? cl-cffi-gtk or gtk-cffi?
15:16:31
sebastien_
the difference between the two is not obvious at first glance, though cl-cffi-gtk seems more maintained