Bulat Ziganshin wrote:
in case you not seen this and may be interested:
http://okmij.org/ftp/Haskell/types.html#partial-sigs
Yes, I know there are workarounds (and I use them sometimes). It'd be
nice if there was direct support for them. :-)
Thanks,
Martijn.
___
Hello Martijn,
Monday, September 28, 2009, 1:42:10 PM, you wrote:
>> Another nice
>> thing this suggests is the ability to use underscore as a pattern for
>> when you know the compiler will infer the type but it's too complex to
>> want to write out (e.g. while experimenting).
in case you not
Martijn van Steenbergen wrote:
> wren ng thornton wrote:
>> Another nice
>> thing this suggests is the ability to use underscore as a pattern for
>> when you know the compiler will infer the type but it's too complex
>> to want to write out (e.g. while experimenting).
>
> I'd love this!
F# has th
wren ng thornton wrote:
Another nice
thing this suggests is the ability to use underscore as a pattern for
when you know the compiler will infer the type but it's too complex to
want to write out (e.g. while experimenting).
I'd love this!
M.
___
H
Louis Wasserman wrote:
I'd like to see something resembling as-patterns in type signatures.
Specifically, there are cases where I'm inclined to use
(m ~ pat) in a type context when m isn't otherwise constrained, just so I
can use m as an abbreviation for pat. To reduce these cases, I'd like to
s
On Sun, Sep 27, 2009 at 5:29 PM, Louis Wasserman
wrote:
> I'd like to see something resembling as-patterns in type signatures.
> Specifically, there are cases where I'm inclined to use
> (m ~ pat) in a type context when m isn't otherwise constrained, just so I
> can use m as an abbreviation for pa
I'd like to see something resembling as-patterns in type signatures.
Specifically, there are cases where I'm inclined to use
(m ~ pat) in a type context when m isn't otherwise constrained, just so I
can use m as an abbreviation for pat. To reduce these cases, I'd like to
see the syntax m...@pat al
