ihji

scala java programming language formal method abstract interpretation yoyak scaladays static analysis array contravariance covariance type system contravariant type theory covariant type variance null ruby ruby on rails security web application performance optimization tuning jvm garbage collection mac os x ios swift overview apple path dependent types case class trait immutability fold composability tail recursion functional language springcamp