Pattern Matching, Destructing, and ADTs are amazing. Inference is much better and not just for local variables. for comprehension is the equivalent of LINQ sy

Pattern Matching, Destructing, and ADTs are amazing. Inference is much better and not just for local variables. for comprehension is the equivalent of LINQ syntax which is nice, very powerful when working with asynchronous calls. Higher Kinded Types combined with implicit parameters are the two aces in the hole that make it an asbolute definitive win when heads up against C#. When I had to switch back to C# in my last job (some projects were scala, some C#) this was what I missed the omst. Combining the two gives you the 'type class pattern', which is pretty much the first time i've actually seen composition and code sharing just work without the cruft of an 'OO' like framework. http://www.cakesolutions.net/teamblogs/demystifying-implicits-and-typeclasses-in-scala http://www.cakesolutions.net/teamblogs/demystifying-implicit...