Am Sa., 22. Okt. 2022 um 13:38 Uhr schrieb Marc Nieper-Wißkirchen
<xxxxxx@gmail.com>:
>
> Am Sa., 22. Okt. 2022 um 13:30 Uhr schrieb Lassi Kortela <xxxxxx@lassi.io>:
> >
> > > Having a static type system is orthogonal to banning mutation, isn't it?
> >
> > It is, but effect types let you have mutation with some guarantees that
> > the mutations don't step on each other's toes.
>
> Yes, you can use a static type system for this; a hypothetical Scheme
> dialect could use other methods.  In the end, of course, it depends on
> the definition of what you call a type system. At least on the level
> of macros, it is not hard to emulate some kind of type system with
> Scheme.  But we digress. :(

Oops. I meant to type :).

(I currently have the US layout enabled on my keyboard, but it places
the parentheses one to the right where the parentheses are on the
German layout.)

:)