This is the mail archive of the
guile@sources.redhat.com
mailing list for the Guile project.
Re: pssyntax.ss and module system
- To: djurfeldt at nada dot kth dot se
- Subject: Re: pssyntax.ss and module system
- From: Mikael Djurfeldt <mdj at mdj dot nada dot kth dot se>
- Date: 01 Sep 2000 20:57:36 +0200
- Cc: Jost Boekemeier <jostobfe at mango2 dot zrz dot tu-berlin dot de>, <guile at sources dot redhat dot com>, djurfeldt at nada dot kth dot se
- Cc: djurfeldt at nada dot kth dot se
- References: <040e01c0131c$ae73a380$e30b0ac0@poet.de><xy7g0nl7b0y.fsf@mdj.nada.kth.se><p2tn1htcjzz.fsf@ruebe.zrz.tu-berlin.de><xy7em355hw2.fsf@mdj.nada.kth.se><p2tlmxcyqvu.fsf@anis.zrz.TU-Berlin.DE><xy74s40c8b8.fsf@mdj.nada.kth.se>
- Reply-To: djurfeldt at nada dot kth dot se
Mikael Djurfeldt <mdj@mdj.nada.kth.se> writes:
> But the module in itself is an abstract interface.
Actually, this is true only in one respect.
Dybvig's modules, considered as interfaces, are generally not abstract
in the sense that they hide the implementation.
But it is possible to use Dybvig's modules this way. We can create
new syntactic abstractions for creating abstract interfaces, hiding
implementation detail.
Actually, while Dybvig's system is very beautiful from a logical and
theoretical viewpoint, Guile's main purpose is to be a useful
environment for creating applications and systems of software.
Here, Dybvig's system doesn't provide everything we want. So, we have
to think about those issues. But I still think it's a nice base to
build on.