Some functionally implemented algorithms