Interesting! I think lenses have popped up in the context of machine learning, where information “flows up”
https://ieeexplore.ieee.org/abstract/document/8785665 The notion of information/discarding information is present in linear logic, quite eager to see how this pans out! Cheers, Vanessa McHale > On Jul 7, 2024, at 12:50 PM, gmhwxi <[email protected]> wrote: > > Yes, it is lense (not lens). > > "Lense" is word I coined that means something kind of related to > the notion of 'tense' in grammar. > > (I tried 'linse' but settled on 'lense'). > > If the lense of a verb is '1', then the verb maintains its object. > If the lense of a verb is '0', then the verb consumes its object. > > The typical word whose lense is 0 is 'free' (as in freeing an object). > And the typical word whose lense is 1 is 'copy'. > > In ATS3 library, the name of a function should, by convention, indicate > explicitly the lense of the verb contained in the name. > > Cheers, > > --Hongwei > > > > -- > You received this message because you are subscribed to the Google Groups > "ats-lang-users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected] > <mailto:[email protected]>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/ats-lang-users/1abd3417-527d-4afb-a8e4-5b9e05d025bfn%40googlegroups.com > > <https://groups.google.com/d/msgid/ats-lang-users/1abd3417-527d-4afb-a8e4-5b9e05d025bfn%40googlegroups.com?utm_medium=email&utm_source=footer>. -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/E366AD08-6EB7-4645-A5C1-B2F48D93D31A%40gmail.com.
