Feature Requests item #1155875, was opened at 2005-03-03 16:36 Message generated for change (Tracker Item Submitted) made by Item Submitter You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=358032&aid=1155875&group_id=8032 Category: None Group: None Status: Open Priority: 5 Submitted By: Dinko Tenev (a0s) Assigned to: Nobody/Anonymous (nobody) Summary: Arbitrary function sections Initial Comment: For operators we have the following shorthand: op :: a -> b -> c (`op` y) === \x -> x `op` y (x `op`) === \y -> x `op` y It would be nice to have a similar facility for functions, e.g.: f :: a -> b -> c -> d -> e f _ y _ t === \x z -> f x y z t f x _ z _ === \y t -> f x y z t f x _ z === \y -> f x y z === \y t -> f x y z t Because "_" is currently not allowed as an identifier in contexts where this facility could possibly be in effect, it seems safe to use it to indicate omitted parameters in function application. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=358032&aid=1155875&group_id=8032