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 <sebf@informatik.uni-kiel.de>

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