5 ms·
>"But then the "types" analogy comes to the fore, and we end up with a system that's even more complex, a kind of HKT for declarative behaviors." I agree with
by bogomipz 5y ago
>"But then the "types" analogy comes to the fore, and we end up with a system that's even more complex, a kind of HKT for declarative behaviors."
I agree with all of your points. What is HKT here though?
- c0balt 5y agoNot parent but most likely Higher-kinded Type[0] [0]: https://en.m.wikipedia.org/wiki/Kind_(type_theory) https://en.m.wikipedia.org/wiki/Kind_(type_theory)