#咖喱

近年来，不仅在Haskell圈子中，而且在基于CiC的证明助理从业者（Coq，Lean等）中都广泛讨论了Curry-Howard的对应关系。简而言之，它使＆＃34; programs＆ ＃34; （通常是某种类型的lambda演算的术语）和＆＃34; proofs＆＃34; （这些程序是它们类型的证明，或者更确切地说......

Curry三角形有时也称为缺失的方形拼图，是美国神经精神病学家L.Vosburgh Lions创建的解剖谬误，以Paul Curry发现的现象为例。该图显然显示出，区域60的三角形，包含矩形孔的区域58的三角形以及区域59的虚线矩形可以全部由同一组6个多边形片形成。对此的解释在于初始细分的不准确性。在图中，小的直角三......

函数映射(fn，default，list){}const MAPK=curry。固定(地图)常量正方形=a=>；a**2mapk(正方形)(0)([1，2，3，4，NULL])//[1，4，9，16，0]//或重用常量mapSquare=MAPK(正方形)(0)mapSquare([1，2，3，4，NULL])/......