C# hejt

18. 2. 2011 — k47 (CC by) (♪)

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.