Added tailrec annotation, currying and higher-order function

[EugeunieOrz]

Added a tailrec annotation to ensure the method uses a tail call optimization which is one of the main functional programming patterns.