3 May
2017
3 May
'17
9:11 a.m.
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 at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml