"Get rid of linear update!" and responses Wolfgang Corcoran-Mathe (10 Jun 2021 15:26 UTC)
Re: "Get rid of linear update!" and responses Per Bothner (10 Jun 2021 15:47 UTC)
Re: "Get rid of linear update!" and responses Marc Nieper-Wißkirchen (10 Jun 2021 16:12 UTC)
Re: "Get rid of linear update!" and responses Per Bothner (10 Jun 2021 16:27 UTC)
Re: "Get rid of linear update!" and responses Marc Nieper-Wißkirchen (10 Jun 2021 16:38 UTC)
Re: "Get rid of linear update!" and responses Marc Nieper-Wißkirchen (11 Jun 2021 08:36 UTC)
Re: "Get rid of linear update!" and responses Arvydas Silanskas (11 Jun 2021 17:13 UTC)
Re: "Get rid of linear update!" and responses Wolfgang Corcoran-Mathe (11 Jun 2021 17:21 UTC)
Re: "Get rid of linear update!" and responses Arvydas Silanskas (11 Jun 2021 17:32 UTC)
Re: "Get rid of linear update!" and responses Per Bothner (11 Jun 2021 18:36 UTC)
Re: "Get rid of linear update!" and responses John Cowan (12 Jun 2021 04:30 UTC)

Re: "Get rid of linear update!" and responses Per Bothner 11 Jun 2021 18:35 UTC


On 6/11/21 10:21 AM, Wolfgang Corcoran-Mathe wrote:
> On 2021-06-11 20:13 +0300, Arvydas Silanskas wrote:
>> re: static types. What about steme / static-scheme?
>
> I think this is a great idea, although I'm not aware of any active
> statically-typed Scheme projects (except for Typed Racket and the
> related Pie).

Kawa has optional types and does compile-time type-checking.
--
	--Per Bothner
xxxxxx@bothner.com   http://per.bothner.com/