So type constructors take types as their parameters and return new types you're saying, whereas the variant type in my example, the values are the constructors that make up the value of Type Answer
I also dislike unnecessary use of programming jargon. A type constructor is all the possible ways to make a value of that type. For example: type answer = | Yes | No | Maybe The type is 'answer'. The constructors are…
The tool is called a schedule. You write what you should be doing at that time in the schedule. It does not run your life, instead it is the most optimized use of your time and it's up to you to follow it. After many…
So type constructors take types as their parameters and return new types you're saying, whereas the variant type in my example, the values are the constructors that make up the value of Type Answer
I also dislike unnecessary use of programming jargon. A type constructor is all the possible ways to make a value of that type. For example: type answer = | Yes | No | Maybe The type is 'answer'. The constructors are…
The tool is called a schedule. You write what you should be doing at that time in the schedule. It does not run your life, instead it is the most optimized use of your time and it's up to you to follow it. After many…