Fun keyword can be thought as a constructor

satyajit_sarangdhar · December 12, 2024, 5:30pm

Exploring the language currently, inside the language implementation, simple eg below

let sum = (fun i -> (fun j -> i + j));;

Can the fun keyword be thought as a polymorphic constructor? In other languages constructors are functions, so can we think this is a polymorphic function which takes any type and returns a function.

Topic		Replies	Views
Sum type constructor declaration subtlety (and documentation wanted!) Ecosystem	25	3050	May 8, 2018
Different inferred type with or without rec keyword Learning	3	665	February 13, 2019
Is the fun keyword strictly necessary in the language grammar? Learning syntax	16	3105	December 2, 2020
Using constructors defined in a recursive module outside of it Learning	1	461	June 12, 2021
Beginner: Some constructor Learning	2	1014	April 17, 2020

Fun keyword can be thought as a constructor

Related topics