Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Julio Di Egidio <julio@diegidio.name>
Newsgroups: sci.logic,comp.theory
Subject: Modularity is not compositionality
Date: Sat, 26 Apr 2025 16:10:48 +0200
Organization: A noiseless patient Spider
Lines: 7
Message-ID: <vuiph8$29hd5$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 26 Apr 2025 16:10:49 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="1bf88f6fdee12b290f21b91d8d59b88b";
	logging-data="2409893"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18HHbDXuBijrRf/WSYlfq+Aje6QiiZkoL0="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:WSqbCGa6RPLSFq2DoyrW+kWGCrI=
Content-Language: en-GB, it
Bytes: 1164

[Cross-posted: please set follow-ups as you see fit.]

Modularity does not reduce to compositionality, in fact
compositionality is not even the point, nor some easier
understanding: the point of modularity is *reuse*.

Julio