Function Template
Strong type language seems to be an obstacle for a relatively simple function to achieve relatively simple functions. For example, the algorithm for the following function min () is simple, but strong type language requires us to implement an instance for all the types of comparisons:
INT min (int A, int b) {
RETURN A
}
Double min (double A, double b) {
RETURN A
Type min (Type A, Type B) {RETURN A