On 22/08/12 23:37, Phil Clayton wrote:
I'll see if I can get any comment on the sml-basis-discuss list.
From sml-basis-discuss:
On 23/08/12 01:11, John Reppy wrote:
> This issue was a point of debate during the basis design discussion.
There was an argument by some that distinct types would make code more
portable (which I believe is correct), but there was a counter argument
that making the type distinct would make programmers work harder.
>
> In the end it was decided to keep the status quo, which was that the
types are not distinct.
See the following for previous discussion. You need to be subscribed to
the list to view archives.
Subject: [Sml-basis-discuss] "same" and "equal" structures
https://mailman.cs.uchicago.edu/mailman/private/sml-basis-discuss/2004-January/thread.html
Subject: [Sml-basis-discuss] abstract numeric types
https://mailman.cs.uchicago.edu/mailman/private/sml-basis-discuss/2004-April/thread.html
https://mailman.cs.uchicago.edu/mailman/private/sml-basis-discuss/2004-May/thread.html
Phil
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml