Overloaded Types

[Hazelfire]

One of the next stages is to add overloaded functions, like multiplying both lists and numbers using *. This might get pretty complicated and theoretical, and will likely follow after the implementation specified in this thesis
.

This way we can do natural calculations for Against Malaria Foundation and other GiveWell evaluations.

[ArcticAtelier]

Hi, would you happen to have an alternative link to the thesis? The old one says 404.

[Hazelfire]

So it is a 404! Here's what link I am referring to:
For googling if this link dies too, title: POLYMORPHIC TYPE INFERENCE
FOR LANGUAGES WITH OVERLOADING AND
SUBTYPING
Author: Geoffrey Seward Smith
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.72.9509&rep=rep1&type=pdf