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
