Swift 3.0ウイッシュリスト

ツール群の改善

私が欲しいのはより成熟されたツール群です。その筆頭はデバッガで、時々ではなく、常に信頼できるデバッガが欲しいです。現在のスタックフレームに存在するシンボルの値を常に表示してほしいです。エディタは、少なくともObjective-CでできているようにSwiftでもリファクタリングができるようにしてほしいです。そうすれば、コードをメソッド化して抜き出したり、プロジェクト全体に渡って同じクラスやメソッドの名前を変更できるようになります。

エディタには、お決まりのコードをいちいちタイプする煩わしさから私を開放してほしいです。例えば、私が使おうとしているプロトコルで要求されるメソッドがクラスや構造体に実装されていないことをコンパイラーが検知し、エディタが欠けているメソッドの定義を自動的に補完してくれるようになってくれたらいいですね。

テストの改善

２つめの要望はシンプルですがテストに関わる人すべてを幸せにするものです。シミュレータを使わずにテストを走らせることが可能になってほしいです。もしあるクラスがFoundationのみに依存しているようであれば、そのテストはシミュレータを使うこと無しに実行できるはずです。これにより、テストの総実行時間を削減し、テスト自体を簡単にすることができます。

イントロスペクション

３つめは言語そのものに影響を与えるものです。より改善されたイントロスペクション（リフレクションと呼んでもいいでしょう）とより動的なディスパッチが欲しいです。これらが無ければモッキングフレームワークのようなツールを作ることはできません。

高階型変数

まずこのSwift 3への要望を書き始める前に謝らなければなりません。おそらくこれから私が要望としてあげる機能は、幾多の開発者がSwiftチームに要望していて、あなたも聞き飽きているであろうものです。しかし、それでも未実装の機能の中では最も大切だと思うので、書きますね。

高階型変数はちょっとバイアスがかかった単語なので、我々が好きな関数型プログラミングの例え「ブリトー」を使って説明しますね。ブリトーは中身に何が入っているかに関わらず、みんなが同じように食べることができます。ブリトーは中身を包んでいる容器にしか過ぎないのです。もし、Swiftに対して「ここにオブジェクトがあります。私はそれがブリトーであることだけしか気にしていません。」と言ったらどうでしょう。「中身がステーキであろうが、野菜であろうが、エビであろうが知ったことはありません。それはいずれにしろブリトーなのです！」と。でもSwiftはそんなことは許してくれません。「同じ中身が入っていれば同じブリトーです。ブリトー配列の中身をみて、実装し、オプショナルブリトーを・・・」なんてことをしなければいけないのです。

上記は、Swiftには、まだ表現することができない上層構造の型が存在することを示す、ちょっと変わった例えでした。すべてのインスタンスがちゃんと動くMonadやFunctorの定義を書くことはまだできません。これは新しいSequenceTypeを追加するたびに、S: Equatable when S.Element: Equatableと書かなければならないということです。こんなことを何度も繰り返すうちに本来の意図を型システムに織り込むことが難しくなりますし、プログラマーがミスをしたりバグを作ったりするようになってしまうのです。

Xcodeを切り離す

私は、今のところSwift言語そのものの進化には非常に満足しています。言語チームはコミュニティのニーズを予測し、それに的確に対応するという点において、素晴らしい仕事をしていると思います。

Swift 3.0に向けては、言語をXcodeから切り離してほしいなと強く思います。Swift 2.0はXcode 7に依存しているので、私自身はSwift 2.0に移行できずにいます。Xcode 7がiOS 7のサポートを打ち切ってしまったからです。SwiftのバージョンをXcode（とiOS SDK）のバージョンに関連付けることは、新バージョンへの移行に不必要な障害を作り出しています。

難しいトレードオフで我々を苦しめること無しに、この史上最高の言語を使わせてほしいと思います。

Extensionにストアドプロパティ

Scalaのトレイトのように、エクステンションを使って既存のクラスに新しいプロパティを追加することができたらいいなと思います。ObjCランタイムを使えば現時点でも可能では有りますが、下記のようなコードを書くたびに、何か嫌な予感がするのです。

extension UIView {
  var myTag: String? {
    get {
      return objc_getAssociatedObject(self, "myTag") as? String
    }
    set(newValue) {
      objc_setAssociatedObject(self, "myTag", newValue, UInt(OBJC_ASSOCIATION_RETAIN))
    }
  }
}

共変なカスタムジェネリクス

組み込み型についてはすでに共変ですが、自分でParty<T>のような型を作りたいと思ったときには、ゲストリストに違う種類の人々をデフォルトで追加しなければなりません。

class 🎃 {}
class 👻 : 🎃 {}
class 👹 : 🎃 {}

struct Party<T> {
  let attendees:[T]
  init(attendees:[T]) {
    self.attendees = attendees
  }
}

func guestList(party:Party<🎃>) -> String {
  return party.attendees.description
}

var attendees = Party(attendees:[👻(), 👻()])
guestList(attendees)

Protocol Conformance for Constrained Generics

Swiftのエクステンションには２つのとても便利な機能があります。ひとつ目はSwift 1からあったプロトコルへの準拠です。

extension String: JSONEncodable {
  func toJSON() -> JSON { return .String(self) }
}

もうひとつはSwift 2で導入された、エクステンションへの型パラメータ制約の追加です。

extension Array where Element: JSONEncodable {
  func toJSON() -> JSON {
    return .Array(self.map { $0.toJSON() })
  }
}

残念ながらこれら２つを組み合わせて使うこと（型パラメータに制約を持つプロトコルの準拠）はできません。（例えばextension Array: JSONEncodable where Element: JSONEncodableとは書けません。）これは「プロトコル指向プログラミング」を実践しようとするなら、ジェネリック型を避けるか、苦労して多重定義をしなければならないということです。もしSwift 3でこれができるようになれば、たくさんのコードを書かなくてよくなりますし、プロトコルとジェネリクスがもっと便利になると思います。

言語そのものには特に要望はなく、C#の非同期スタイルの関数があればいいなとは思います。私の一番大きな要望はむしろツールの改善です。XcodeでSwiftを書くのはいまだに骨が折れます。リファクタリング機能が無いなんて、何十年も前のIDEに舞い戻ったみたいです。エディタの改善と、問題発生時のエラー内容の改善がされたら、とてもすばらしいと思います。

また、Optional.Noneを明示的に書かせることでnilを無くしちゃえばいいんじゃないかと思うのですが、これはお酒を飲みながら話すようなトピックですね🍷。

正直Swift 3.0についてよく考えたことはありません。標準ライブラリはとてもよくできていて、もし何か足りないものがあれば、標準ライブラリを利用して作ることができます。