The distinctions between polymorphic functions in ML and generic functions in ADA are as follows:

Write a simple C++ program which converts the static binding to dynamic binding

How can I define a haskell function sum with the function foldr?

How do function objects support the concept of 'currying' in functional programming languages?

How do function objects interact with scoping rules, especially in languages that support closures?

How do function objects provide flexibility in creating custom iterator and generator constructs in languages like Python?

code in ada with Ada.Numerics.Generic_Elementary_Functions; package body Number_Theory is -- Instantiate the library for floating point math using Floating_Type. package Floating_Functions is new Ada.Numerics.Generic_Elementary_Functions(Floating_Type); use Floating_Functions; function Factorial(N : in Factorial_Argument_Type) return Positive is begin -- TODO: Finish me! -- -- 0! is 1 -- N! is N * (N-1) * (N-2) * ... * 1 return 1; end Factorial; function Is_Prime(N : in Prime_Argument_Type) return Boolean is Upper_Bound : Prime_Argument_Type; Current_Divisor : Prime_Argument_Type; begin -- Handle 2 as a special case. if N = 2 then return True; end if; Upper_Bound := N - 1; Current_Divisor := 2; while Current_Divisor < Upper_Bound loop if N rem Current_Divisor = 0 then return False; end if; Upper_Bound := N / Current_Divisor; end loop;...

How do function objects contribute to metaprogramming capabilities in statically-typed languages?

a) We have seen different reduction strategies and evaluation forms in lambda calculusand in Haskell. What are the key points that you can summarise and how would youcomment on these different evaluation strategies, with reference to normalisation?b) Comment on the ways "typing" is handled in the theory (à-la-Church and à-la-Curry) incomparison to those you have seen in Haskell.

Describe how function objects can be used to implement callback mechanisms.

In the context of functional programming in Haskell, explain the concept of a Higher-Order Function. As part of your answer, provide an example together with a brief explanation of the example

Determine whether some C compiler to which you have access implements the free function.

Could you define parametric polymorphism in a subprogram and provide an example of its application?