[MLton-devel] phantom types and directed graphs

[Matthew Fluet]

> Yes, I guess that that is true.  So in the end, you have a finite number of
> types (of nodes) and any function that can deal with more than one kind of
> node must be let-bound, which was already true, phantom types or not.
> Maybe I was thinking of when you use phantom types to reflect subtyping
> (where the inheritance corresponds to chains of polymorphic types).

I think the use of phantom types in directed graphs would be helpful.  The
major issue I've run into with using phantom types is that you can
occasionally run into value restriction problems, but one can always
eta-expand to recover.




-------------------------------------------------------
This SF.NET email is sponsored by:
SourceForge Enterprise Edition + IBM + LinuxWorld = Something 2 See!
http://www.vasoftware.com
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel