しばしば比較される Visual C# と Visual C++ の IntelliSense ですが，こういう視点で見てみるとどうでしょう？ 簡単のためにインスタンスメソッド (拡張メソッドも含む) の補完に話を絞ります． Visual C# では，補完候補に出てくるインスタンスメソッドを…

var children = new List<Child>(); // List<Child> の concept は保存される ICollection<Child> children = new List<Child>(); // ICollection<Child> まで concept を弱める 真の concept-based overload があって，それがライブラリ設計者にとっても利用者にとっても当たり前の世界を考えて</child></child></child></child></child>…

F# 1.9.3.7 にて実験． open System open System.Collections.Generic open Microsoft.FSharp type Util = struct [<OverloadID("1")>] static member Hey (dict:IDictionary<'a, 'b> when 'b:>IEnumerable<'a>) = "HauHau!" [<OverloadID("2")>] static member Hey (dict:IDictionary<'a, 'b> </overloadid("2")></overloadid("1")>…

拡張メソッドと不思議なパターンマッチ - NyaRuRuの日記 concept-based overload の使い道はそれこそいくらでも…… - Cry’s Diary んーと，C++0x は規格が決まってから見ればいいやと思ってあんまり規格を追いかけてないのですが，とりあえず C# 2.0/3.0 では…