libera/#sicl - IRC Chatlog
Search
8:00:18
beach
If X is (say) a symbol, then the program should report an error in +. With a backward type inference, it could assume that X is a fixnum in in order to do the addition.
8:04:20
MichaelRaskin
OK, I would use both forward and backward notions more widely (just generally possible-output-type-based and presumed-input-type-based), but as you wish
8:05:17
MichaelRaskin
I just wanted to say that I understood that I had earlier missed a rather natural answer to your question > And what do you do with the last [presumed input type] type of information that doesn't violate the semantics of the language?
8:10:46
MichaelRaskin
(Indeed, we did not discuss that time what exactly counts as «backwards» for inference)
13:40:29
heisig
The only annoying thing was that the surgery was postponed several times, so I spent a total of four days waiting (and not eating or drinking!) for most of the day.
13:41:03
heisig
But I understand that. The hospital also has to treat emergency patients, and they are hard to schedule.
13:42:33
heisig
Yes, so when the surgery finally took place, I was not just relaxed, I was practically cheerful and relieved. Thar surprised the surgeons :)
13:45:47
heisig
One great thing is that my surgery took place at our university's hospital. That means my WiFi connects automatically.
13:47:46
heisig
Yes, I am writing this from my hospital bed. They still have to monitor me and pump me full of drugs.
13:51:06
heisig
Now I'd like to hear about your working-at-home situation. Mine is that I have a standing desk and go for the occasional long walk.
13:51:39
heisig
The situation also improved a lot recently in that I can now go out for lunch again.
13:57:11
beach
I was thinking of the birds singing in the morning, and the AC when (like today and the next few days) it is 35°C outside. As opposed to a hospital bed.
13:58:37
heisig
I actually have birds singing outside in the morning, Erlangen has a lot of trees and parks.
13:58:45
MichaelRaskin
I hope Munich weather is a better approximation than Bordeaux weather in this case (and that's ten degrees better)
14:00:05
heisig
The weather is why I wanted to have this surgery over before the summer really starts. It is no fun having a swollen face at more than 30°C.
15:31:15
beach
So here is the plan for ADJUST-ARRAY. I create a new array by calling MAKE-ARRAY according to the arguments given. Then, if INITIAL-CONTENTS was not given, I copy relevant elements from the original array to the new array. Finally, I set the rack of the original array to the rack of the new array.
15:32:22
Colleen
Bike: drmeister said at 2021.06.12 15:13:14: I've added a feature so that extensions can register an extension_startup_load command - this integrates their lisp code into clasp. I'm trying to figure out how to get that to work with ASDF using (provide <extension>)
15:32:22
Colleen
Bike: drmeister said at 2021.06.12 15:16:57: It's a bit tricky because clasp + extension can't assume that ASDF/quicklisp are available - but with cando they are builtin.
16:21:02
beach
So Eclector tries to create an array of type T, but then I start by testing for subtype of character, so a string is created instead.
16:21:31
beach
But I need to wait and debug that problem tomorrow. I need to go start dinner for my (admittedly small) family.
17:03:13
pjb
beach: on the other hand, if the new size is less than or equal to the old one, you can not change the rack, and if it's greater and there's free space after the rack, it could be extended without moving it?
17:04:08
pjb
That said that depends on the allocation strategy… In my GC, I allocate blocks at the end of the free block. I would have to manage the free list otherwise to allocate them at the start, so they can be extended.
17:05:29
pjb
beach: notice that normally, initial-contents is valided for its size. So if the size change, you have to copy the elements outside of a CL:MAKE-ARRAY.