Re: cap patterns in 1ml

Matt Rice <[email protected]> Sun, 24 Jan 2016 13:48:13 -0800

Newsgroups	gmane.comp.capabilities.general
Message-ID	<CACTLOFqEQ0-Vn+taNPqtF90VdCCOuo1uYLW=CcVTxLSGUW3+Aw@mail.gmail.com>

On Tue, Jan 19, 2016 at 7:45 PM, Matt Rice <[email protected]> wrote:
>
> I haven't quite gotten to factories yet,

Well I am skeptical that types & pure constructors alone is going to
be able to confine now primarily because I don't believe the effects
of a monad within in a pure constructor are going to be confined to
the pure constructor, without some form of environment restriction
e.g. the usual ways