[Maude-users] type inference...?

[L.G. Meredith]

Steven,

Minimal in the sense of the following analogy:

Theory : Type :: Module : Morphism

with type inferencing being akin to Hindley-Milner type-inferencing and thus
the analogy extends to

:: minimal : prinicpal.

Best wishes,

--greg

On 8/30/06, Steven Eker <eker at csl.sri.com> wrote:
>
> On Monday 28 August 2006 10:36, L.G. Meredith wrote:
> > This is a neophyte question from a neophyte user, but is there anyway in
> > Maude to get the minimal theory of a functional module?
>
> I've no idea what you mean by a _minimal theory_ or what this might have
> to do
> with type inference. Maude is strictly first order.
>
> Steven
>



-- 
L.G. Meredith
Partner
Biosimilarity LLC
505 N 72nd St
Seattle, WA 98103

+1 206.650.3740
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://maude.cs.uiuc.edu/pipermail/maude-users/attachments/20060830/6dba2ebd/attachment.html