stormluke

翻译自 Learning to Hash for Big Data: A Tutorial。 最近邻搜索（Nearest Neighbor Search）：给定查询点 q，返回数据库中距离 q 最近（最相似）的点集。 让无关图像对应的哈希编码尽可能不同，让相似图像的哈希编码尽可…

大体上说，允许自身元素变化的类型不应该是协变的。 设C[T]是一个参数化的类型，A、B类型满足A <: B。总体上，C[A]和C[B]间有三种可能的关系： 答案是A <: B。 所以说函数的参数类型是逆变的，而返回值类型是协变的。于是Function1这个trait可以修改成：…

Scala中函数值确实被当做对象对待。 所以说函数是有apply方法的对象。 还有Function2、Function3等等这些traits，可以有更多的参数（目前到22）。 自己并不是一个函数值。 这种转换为匿名函数的方法在λ演算中叫做η变换(eta-expansion)。 …

数x叫做一个函数的不动点，如果f(x) = x。 之前的sqrt函数可以改为求y = x / y的y值，即y => x / y的不动点。 如果按上面这样写就会陷入循环，比如sqrt(2)时每次的guess在1.0、2.0反复。一个解决的办法是平均原序列的后继值： 其实这种求平均…

这两个都是递归函数，区别是gcd在最后仅调用自己，而factorial在最后调用自己且乘上一个值。 如果一个函数最后一个动作是调用自己，那么它的栈帧可以被复用。这叫做尾递归。 一般来说，如果一个函数最后的动作是调用某个函数（可能是同一个函数），则两个函数用一个栈帧就足够了。这个…

上面叫做代换模型，中心思想是把表达式退变成值。 这个代换模型在λ演算(lambda-calculus)中被正式提出，是函数式编程的基础。 不是。例如： 先重写函数，再对参数求值。 上面第一种叫做call-by-value，第二种叫做call-by-name。 时，两种都会退化成…

Cousera 上 Functional Programming Prinples in Scala 的笔记。 范式描述了某些科学学科中独特的概念或者思考模式。 简单来理解，命令式编程就是Von Neumann计算机上的指令序列。 这在程序规模变大时会出现问题。怎样才能避免逐字…