Re: The Liskov Substitution Principle in the Rationale | Simplelists

The Liskov Substitution Principle in the Rationale Marc Nieper-Wißkirchen (07 May 2020 08:00 UTC)

Re: The Liskov Substitution Principle in the Rationale John Cowan (12 May 2020 03:06 UTC)

Re: The Liskov Substitution Principle in the Rationale Marc Nieper-Wißkirchen (12 May 2020 06:27 UTC)

Re: The Liskov Substitution Principle in the Rationale Arthur A. Gleckler (12 May 2020 19:58 UTC)

Re: The Liskov Substitution Principle in the Rationale John Cowan (12 May 2020 20:10 UTC)

Re: The Liskov Substitution Principle in the Rationale Marc Nieper-Wißkirchen (12 May 2020 21:16 UTC)

Re: The Liskov Substitution Principle in the Rationale John Cowan (12 May 2020 23:06 UTC)

Re: The Liskov Substitution Principle in the Rationale Marc Nieper-Wißkirchen (13 May 2020 13:59 UTC)

Re: The Liskov Substitution Principle in the Rationale Marc Nieper-Wißkirchen (14 May 2020 21:30 UTC)

Re: The Liskov Substitution Principle in the Rationale John Cowan (16 May 2020 01:03 UTC)

Re: The Liskov Substitution Principle in the Rationale Shiro Kawai (16 May 2020 01:18 UTC)

Re: The Liskov Substitution Principle in the Rationale John Cowan (16 May 2020 03:08 UTC)

Re: The Liskov Substitution Principle in the Rationale Shiro Kawai (16 May 2020 03:31 UTC)

Re: The Liskov Substitution Principle in the Rationale Marc Nieper-Wißkirchen (16 May 2020 13:51 UTC)

Re: The Liskov Substitution Principle in the Rationale Arthur A. Gleckler (16 May 2020 18:40 UTC)

Re: The Liskov Substitution Principle in the Rationale Marc Nieper-Wißkirchen (16 May 2020 18:55 UTC)

Re: The Liskov Substitution Principle in the Rationale Marc Nieper-Wißkirchen (16 May 2020 21:17 UTC)

Re: The Liskov Substitution Principle in the Rationale Shiro Kawai (16 May 2020 21:47 UTC)

Re: The Liskov Substitution Principle in the Rationale John Cowan (23 May 2020 00:00 UTC)

Re: The Liskov Substitution Principle in the Rationale Arthur A. Gleckler (23 May 2020 00:09 UTC)

Re: The Liskov Substitution Principle in the Rationale John Cowan (23 May 2020 00:10 UTC)

Re: The Liskov Substitution Principle in the Rationale Marc Nieper-Wißkirchen (23 May 2020 10:58 UTC)

Re: The Liskov Substitution Principle in the Rationale Marc Nieper-Wißkirchen (23 May 2020 13:02 UTC)

Re: The Liskov Substitution Principle in the Rationale Marc Nieper-Wißkirchen (16 May 2020 18:41 UTC)

Re: The Liskov Substitution Principle in the Rationale Marc Nieper-Wißkirchen 14 May 2020 21:30 UTC

Am Mi., 13. Mai 2020 um 15:59 Uhr schrieb Marc Nieper-Wißkirchen
<xxxxxx@nieper-wisskirchen.de>:

[...]

> What I can think of is a procedure `freeze` that takes a general
> Scheme object and returns an immutable Scheme object that is `equal?`
> to it. This can be efficiently implemented by copying the data
> structure to a memory area that can be mprotected to be read-only.

Such a procedure should also come (or only come) in a linear-update
variant `freeze!`.