我一直在深入研究FP及其周围的一切,我发现了某种类型的投影仪的概念,没有细节也没有解释.
我发现的唯一一件事是这个github项目,我开始考虑它是指这个特定项目,还是FP中的一些通用概念？
那么,什么是投影仪？为什么有用？(如果可能的话,你能提供例子,资源等吗？)
functional-programming scala lambda-calculus higher-kinded-types kind-projector
functional-programming ×1
higher-kinded-types ×1
kind-projector ×1
lambda-calculus ×1
scala ×1