TSは型システムが自由度高くて契約プログラミングの立場から見ると魅力的なんだが、
いかんせん記法が複雑すぎて黒魔術化するケースがしばしばある

その点C#は見た目素直で扱いやすい
でも判別共用体と型クラスははよう実装してくれ