You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Function sum has an argument called u. Function List.fold_left is applied to three parameters: ( + ), 0 and u.
This is wrong, it should be:
Function sum has a parameter called u. Function List.fold_left is applied to three arguments: ( + ), 0 and u.
This issue is about checking if the words “parameter” and “argument” are used correctly throughout the tutorials. Whenever any of those terms is used, check if it is the right one; if it is not substitute with the other.
An argument is a value passed to a function. This is at function application.
A parameter is a value a function expects. This is at function definition.
Example:
This is wrong, it should be:
This issue is about checking if the words “parameter” and “argument” are used correctly throughout the tutorials. Whenever any of those terms is used, check if it is the right one; if it is not substitute with the other.
Documents in scope (in urgency order).
Do not review the following documents (deprecated, external or rewrite ongoing):
The text was updated successfully, but these errors were encountered: