Functio differentiabilis - Other languages