Can someone give an example of a "reasonable" function that never uses one
of its parameters, and justify the existence of that parameter in this case,
please?
Because for this example,
f :: _unused -> A -> B
f _ a = b
I think what I'd do is to write the function f without that first parameter,
and call the funcrtion accordingly.
Best,
2010/1/13 Sebastian Fischer
On Jan 13, 2010, at 6:54 PM, Evan Laforge wrote:
It's not a big issue, but it seemed like a nice symmetry with pattern
matching syntax.
And I don't think it's a weird idea. The "Haskell dialect" Curry [1] supports this syntax. Maybe the hurdle for Haskell is the competition with more complex, conflicting proposals like [2].
Sebastian
[1] http://curry-language.org [2] http://hackage.haskell.org/trac/haskell-prime/wiki/PartialTypeSigs
-- Underestimating the novelty of the future is a time-honored tradition. (D.G.)
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
-- Ozgur Akgun