C# hejt

Bodově:

• Type inference nemůže být použita u návratového typu metody, což mimo jiné znemožňuje vracet objekty anonymních tříd.
• Type inference se v C# doporučuje používat jenom v případech, kdy je to nezbytně nutné (LINQ, anonymní třídy) nebo kdy nemůže dojít ke zmatení (viz. str. 78 Essential LINQ [1]).
• Inicializátory kolekcí jsou poněkud stupidní. Neumí si odvodit typ elementu. Viz C# new List<int> { 1, 2, 3 } vs. Scala: List(1, 2, 3)
• Delegáti jsou velice matoucí. Je to koncept, který je tolik odlišný od všeho ostatního v typovém systému. Na jedné straně tady je hierarchická struktura tříd a na druhé straně odkazy na metody.
• Variance delegátů je správná, tedy kontravariantní argumenty, kovariantní návratový typ. Ale je tu jedno ale. Před C# 4.0 fungovala jenom pokud jsme do delegátu přiřadili funkci, ale ne když jsme jeden delegát přiřadili do jiného delegátu. To proto, že C# před verzí 4.0 neměl obecný mechanismus variance (viz ukázka).
• Delegáty nejsou vůbec potřeba, pokud jsou v jazyce funkční objekty. Delegát je stejně nakonec jenom třída s operátorem (). Anonymní funkce jsou v některých případech překládány na anonymní třídy. (viz & viz & viz)
• V jazyce jsou delegáty, anonymní delegáty a lambda funkce a někdy se poněkud duplikují.
• Variance se týká jenom generických rozhraní a delegátů. Když implementujeme generické rozhraní, implementující třída je invariantní. Třídy a structy mají smůlu. Z toho plyne, že: - ImmutableList<Person> list = new ImmutableList<Employee>(); // tady si bude kompilátor stěžovat - IEnumerable<Person> list = new ImmutableList<Employee>(); // ale tady ne
• Typové argumenty na které je aplikována variance mohou být jen referenční typy, žádné velké překvapení.
• "Zdánlivě" rekurzivní deklarace povoleny. interface INumber : IComparable<INumber> Tohle se nesmí protože CLR. Pomalu si začínám myslet, že type erasure má svůj smysl.

K tématu:

• http://www.buunguyen.net/blog/new-features-of-csharp-4.html
• http://blogs.msdn.com/b/ericlippert/archive/tags/covariance+and+contravariance/

[1] Calvert Ch., Kulkarni D. Essential LINQ. Boston, MA: Addison-Wesley, 2009.