Re: cap patterns in 1ml

On Sun, Jan 24, 2016 at 1:48 PM, Matt Rice <[email protected]> wrote:
> 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


Is there a good example anywhere of how to get that level of security
in a language? Thanks.