Hello Arie,
Wednesday, August 23, 2006, 2:54:54 AM, you wrote:
>> With the proper interpretation, type synonyms like
>> type ABlockStream = BlockStream b => b
>> type AMemoryStream = MemoryStream m => m
> How does your proposal compare to introducing existential types proper? As in
> type ABl
Arie Peterson wrote:
Hello Brandon,
This could be handled with existential wrappers, except that the
wrapping is annoying, and probably interferes with optimizing when a
concrete type is known. Instead, a few changes to type synonyms handle
Bulat's cases.
With the proper interpretation, ty
Hello Brandon,
> This could be handled with existential wrappers, except that the
> wrapping is annoying, and probably interferes with optimizing when a
> concrete type is known. Instead, a few changes to type synonyms handle
> Bulat's cases.
>
> With the proper interpretation, type synonyms like