Re: [Toss-devel] Specification of Hierarchical Terms
Status: Beta
Brought to you by:
lukaszkaiser
From: Lukasz K. <luk...@gm...> - 2012-07-01 23:37:07
|
> It is simpler than I thought. :p To remove the problem that a term is > ISA-equivalent to its upper grounding, we make variables *strictly > more general* than their types. Actually, I've made a variable ISA > only another variable, while any other term t ISA a variable if t ISA > the variable's type. But I've kept checking for syntactic equality of > subterms that match the same variable, it makes sense and will be > helpful when moving to explicit sharing. This is nice to hear! :) > I probably should have written it in latex in the reference document, > rather than in ocamldoc. Yes. I have nothing against leaving it in the OCaml file, especially in the period when it changes a lot (like now). But please - when you feel that it is stable enough (already? after implementing?) then look at the section about terms in the reference and maybe simply replace it entirely. It will be definitely easier to read for me if it is there. Best! :) Lukasz |