Advertisements
Advertisements
Question
What are called Parameters and write a note on Parameter with Type?
Solution
Parameters are the variables in a function definition and arguments are the values that are passed to a function definition.
Parameter with Type
Parameter with Type:
Now let us write the same function definition with types for some reason:
(requires: b > 0 )
(returns: a to the power of b )
let rec pow (a: int) (b: int): int: =
if b=0 then 1 else a * pow b (a-1)
- When we write the type annotations for ‘a’ and ‘b’ the parentheses are mandatory.
- There are times we may want to explicitly write down types.
- This useful at times when you get a type error from the compiler that doesn’t make sense.
- Explicitly annotating the types can help with debugging such an error message.
APPEARS IN
RELATED QUESTIONS
Which of the following is a distinct syntactic block?
The variables in a function definition are called as ______
The values which are passed to a function definition are called ______
Which of the following are mandatory to write the type annotations in the function definition?
Define Function with respect to Programming language.
What are called Parameters and write a note on Parameter without Type?
Identify in the following program.
let rec gcd a b:=
if b <> 0 then gcd b (a mod b) else return a
Identify the statement which tells it is a recursive function?
Identify in the following program.
let rec gcd a b:=
if b <> 0 then gcd b (a mod b) else return a
Name of the argument variable.
