“Traits are a Local Maxima”を読んだ

Traits are a Local Maxima · thunderseethe’s devlog を読んだ。

• プログラミング言語RustのTraitsについての記事である。
• Traitsは80年代からその概念があり、成熟している。
• Traitsは型を定義するCrateに存在、またはTraitsを定義するCrateにある必要がある。
  • Rust が特性の実装を特定のクレートに強制的に配置するのは、タイプごとに 1 つの実装のみを許可するためです。
• Orphan instance – HaskellWiki という問題が生じる。
• COCHIS という論文がある
• Local Implicit は孤立インスタンツを解決する？
• 筆者はTraitが現状の局所最適で、局所暗黙のほうがよいと考えている。