Ticket #315 (closed feature request: wontfix)

Opened 4 years ago

Last modified 9 months ago

Arbitrary function sections

Reported by: a0s Assigned to: nobody
Priority: normal Milestone: _|_
Component: Compiler (Parser) Version: None
Severity: minor Keywords:
Cc: Difficulty: Moderate (1 day)
Test Case: N/A Operating System: Unknown/Multiple
Architecture: Unknown/Multiple

Description (Last modified by igloo) 

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.

Change History

10/18/06 10:44:51 changed by igloo

  • description changed.
  • component changed from None to Compiler (Parser).
  • testcase set to N/A.
  • difficulty set to Moderate (1 day).
  • architecture set to Unknown.
  • milestone set to _|_.
  • os set to Unknown.

10/19/06 02:16:09 changed by simonmar

  • status changed from assigned to closed.
  • resolution changed from None to wontfix.

This idea was discussed on the haskell-prime list and the concensus was that it should not be adopted.

09/30/08 08:39:53 changed by simonmar

  • architecture changed from Unknown to Unknown/Multiple.

09/30/08 08:50:58 changed by simonmar

  • os changed from Unknown to Unknown/Multiple.