Re:Ask HN: How to be fluent in functional language speak?
by Durgasoft on Tuesday May 05, 2020 @06:41PM
(#23085983)
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
[ Parent
| on HN ]
Re:Ask HN: How to be fluent in functional language speak?
by bweitzman on Tuesday May 05, 2020 @06:44PM
(#23086008)
That's right. Type constructors are related to generics. For example if you have a generic type `List<A>` you could think of `List` as a type constructor.
In most languages, however, that's not a construct you can do much of anything with.