Vypadá to, že se nám rodí nový programovací jazyk, ve zkratce: Jedná se o rozšíření C# Rozšíření System type o Not null typy a "checked exception". Kdo programuje v Jave bude vědět, kdo ne tak: jde v podstatě o to, že pro dannou metodu musíte uvést, které