https://palhargitai.eu/tags/Type-Checking/ Recent content in Type Checking on Pal Hargitai Personal Blog Hugo -- 0.152.2 en-us Thu, 05 May 2016 11:00:00 +0000 https://palhargitai.eu/post/2016-05-05-slippery-slope-of-java-8/ Thu, 05 May 2016 11:00:00 +0000 https://palhargitai.eu/post/2016-05-05-slippery-slope-of-java-8/ <p>With the advent of Java 8, Closures and Lambdas have been added to the language. While this makes it (a lot) easier to create certain constructions (I won&rsquo;t get into the details here), there are a number of downsides to it.</p>