I designed a language called Poly as part of my PhD in the early 80s.
The early versions of Poly/ML were written in that language. It seems
that Harland also designed a language with the same name but it was a
completely different language. As I recall it used dynamic type
checking so wasn't polymorphic in the way that ML is and (my) Poly was.
Regards,
David
On 02/05/2017 18:47, Yves Cloutier wrote:
Hello,
I'm wondering if the language Poly had any relation to the language Poly
described in the book* Polymorphic Programming Languages* by David Harland?
Regards,
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
