On 08/01/2012, at 7:19 PM, john skaller wrote:

> 
> @ x . f1 . f2  . f3 .f4 . #


> Since we now have a lot more TeX operators, I will probably disambiguate
> operator . which currently means: struct field, reverse application, and 
> composition.



However you should note that whilst clearly:

        (f1.f2).f3==f1.(f2.f3)

this is also true:

        @(x.f) == (@x) .f

taking the first . to be rev application and the second rev composition.
In fact you can keep moving the ) right wards. Which actually suggests
the proper notation for rev composition is

        f @. g

so we'd have

        @ (x . f) == (@x) @. f

i.e. the @ is lifting the rev application to rev composition.


--
john skaller
skal...@users.sourceforge.net





------------------------------------------------------------------------------
Ridiculously easy VDI. With Citrix VDI-in-a-Box, you don't need a complex
infrastructure or vast IT resources to deliver seamless, secure access to
virtual desktops. With this all-in-one solution, easily deploy virtual 
desktops for less than the cost of PCs and save 60% on VDI infrastructure 
costs. Try it free! http://p.sf.net/sfu/Citrix-VDIinabox
_______________________________________________
Felix-language mailing list
Felix-language@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/felix-language

Reply via email to