懒评估
09 May, 2019懒评估(Lazy Evaluation，下面简称LE)顾名思义就是和紧评估(Strict Evaluation, SE)对应，是指延迟计算直到需要的时候，如果只是这样，我们称它为“按名”(by name…
协变与逆协变
06 May, 2019假定A <: B (A是B的子类)，如果T[A] <: T[B]，那么我们就说T是协变的(covariant)。如果T[B] <: T[A]，那么我们说T是逆协变的(contravariant)。如果T[B]和T[A]没有从属关系，我们就说T是非协变的(invariant…
Spring Test
06 May, 2019Spring有spring-test, 加之Mockito和Junit，使得Test变得容易。 @RunWith(SpringJUnit4ClassRunner.class) 和 @ContextConfiguration(locations…
Hello World
04 May, 2019前情提要 两年前(2017)搞了一个， 也就是这里,采用的当时流行的Jekyll，它是基于Ruby语言的。但是它有个很诱人的特点就是可以很方便的免费使用Github Pages来做静态网站。步骤如下： 选择一个theme，Jekyllthemes里有很多，我采用的是Minimal…
