2024.10.10
将来は卵1パックの価格が2倍に? 多くの日本人が知らない世界の新潮流、「動物福祉」とは
リンクをコピー
記事をブックマーク
中村学氏(以下、中村):ScalaではHaskell等から輸入された型クラスが使われています。専用の構文が用意されているわけではなく、implicit parameterという言語機構を使って実現しています。
これはちょっと語弊ありますね。implicit parameterそのものが型クラスを実現するために作られた言語機構でもあるので、専用の言語機構があるという言い方も、できると言えばできますが、型クラス以外にもimplicit parameterは使えるので、そういう表現をしています。
そもそもimplicit parameterって何なのよという話ですが、メソッドの引数グループのところにimplicitという修飾子を付けると、そのメソッドを呼び出すところで、スコープ中に型が一致するimplicitな値が存在していれば、呼び出しのときに明示的に書かなくてもコンパイラが補ってくれる仕組みです。
逆に、スコープ中に型が一致する値が存在しなかったり、複数あってどれを選んでいいかわからないときには、コンパイルエラーになります。ではそのimplicitな値とは何なのか。これも単純で、定義時にimplicitという修飾子を付けた値です。val foo: Fooなどで定義したときにimplicitと付けられるられますし、Singletonオブジェクトを宣言するときも、implicitは付けられます。
逆に、値だけじゃなくてdef、メソッド定義でもimplicitは付けられます。これは、その評価結果がimplicitな値になるという感じです。
じゃあ、そもそも型クラスは何に使うの? というと、合成可能性のある制約を型に提供できますよ、と。ちょっと意味がわからないですね。
型への制約というと、通常のtraitのmixinのようなものでも表現できます。Javaでもよくありますが、Comparableのようなものです。値を比較することができる制約を表したいときに、traitを使います。クラスを定義するときにそのtraitをmixinすることで、そのクラスは比較可能なんだよ、と表せる感じです。型への制約という意味だと、通常のtraitのmixinでも表せます。
通常のtraitのmixinだと、そのジェネリックなクラスに対して十分な制約をかけられません。例えば、さっきのようなIntを持っているFooというクラスだったら、Foo同士を比較したいときにはそのIntの値を比較してあげればよいですが、逆にジェネリックなBarというクラスの定義をしたいと。
ただこれを比較可能にしたいとなったときに、Aが比較可能じゃないと、そもそも比較ができなくなってしまいます。どうしたものか。そもそも型引数A自体にComparableの制約を設けてしまえばいいんじゃないか。これも1つ成り立ちますよね。しかし、そのBarが比較可能な型のみしか使えないクラスになってしまって、これはこれで不便になってしまいます。
それを解決するために、型クラスが使われます。制約自体をクラスの定義と分離して書けるようにする感じです。ComparableではなくComparator[A]というのを用意して、compareメソッドとしては、値を2つ取って比較するtraitを用意しますと。
クラス自体は普通に何もmixinせずに定義します。implicitな値として、Comparator[Foo]のようなもの用意してあげる。Foo同士を受け取って比較するような定義ができます。Comparableのパターンと、Comparatorを使うパターンが同じような感じで書けます。
上がComparableを使ったときのパターン。それをFooに直接mixinしているケースです。下がComparatorを使っていて、implicitな値としてComparatorを用意している感じになります。おもしろいのは、ある型引数が特定の型クラスインスタンスを持っているときに限って、型クラスインスタンスを提供するような定義が可能です。
さっき言っていたような、クラスBarが型引数Aを持っているようなときに、implicit valueとしてComparator[Bar]を用意したいとなります。最初にimplicit valueを定義するときにvalとかobject以外にもdefで定義できることを最初に伝えたと思いますが、そのときの定義に、さらにimplicit parameterを自分自身で受け取ることもできます。
そのため、BarのComparatorを定義するときにimplicit parameterとしてAのComparatorを受け取るような書き方をすると、Aが比較可能なときだけ、Barが比較可能になるようなComparatorを定義できる。使う側としては、mixinと変わらない使い方ができます。
sortメソッドでは、AがComparableなときに、Traversable[A]とmixinで型の制約を表現できますが、同じようにimplicit parameterでsort[A]を表現するときTraversable[A]を受け取ってimplicit parameterとしてComparatorを受け取るようなかたちで定義しておくと、実際に使うときは同じようにsortにfoosを渡してあげればいいだけになります。
使う側としてはmixinでも型クラスでもそんなに変わりませんが、その「比較可能な」というのが、Aが再帰的に比較可能かどうかというのを見てチェックできる感じです。
まとめると、Scalaだと型の制約を表現するときに、型クラスを使えます。型クラスはそのimplicit parameterを使って実現でき、型クラスを使うと、より柔軟な制約を表現できます。
さっきみたいにジェネリックな型だと単純にComparableのようなものをmixinできませんが、Comparatorのような型クラスにしてあげることで、より再帰的に制約を表現できます。いわゆる「型クラス」とよく言われますが、ある種のデザインパターンの1つだと思ってもらえればいいかなという感じです。
よくあるのが、JavaだとSerializableというインタフェースがあって、オブジェクトの状態をバイト配列に書き出して、バイト配列からまたオブジェクトに戻すような仕組みがあります。Javaのリストだと中身がSerializableでないとシリアライズにリストが失敗してしまうような状況がありますが、そこを普通のインタフェースで表現しているので、中身がシリアライズかどうかをコンパイラがチェックできません。
実際に、実行時に直列化が失敗するようなことがよくありますが、Scalaの場合はこの型クラスを使って表現することで、あくまで中でもっている型が直列化可能であれば、そのリスト全体も直列化可能な指定ができるので、その辺はだいぶ安全に実現ができる仕組みになっています。という感じで、型クラスの説明です。
残りで宣伝をさせてください。Tech to Valueという会社では、Scalaのオンラインコードレビューサービスを提供しています。SlackやGitHubなどでプルリクベースでレビューようなものを、サービスとして提供しています。「Scalaでプロジェクトをやりたいけどエキスパートがいなくてちょっと不安」というチームなどにフィットする感じです。
僕のリソースの問題で受付を停めていましたが、いろいろな世界的な状況の変化でプロジェクトが終了したり、状況が変わってきていくらか受け入れる状況があるので、もしよかったら申し込んでもらえたらと思います。
またもう1つ。エフ・コードという会社ではエンジニアを募集しているので、こちらもよかったら、興味のある方は見ていってください。
という感じで以上です。ご清聴ありがとうございました。
2024.11.13
週3日働いて年収2,000万稼ぐ元印刷屋のおじさん 好きなことだけして楽に稼ぐ3つのパターン
2024.11.11
自分の「本質的な才能」が見つかる一番簡単な質問 他者から「すごい」と思われても意外と気づかないのが才能
2024.11.13
“退職者が出た時の会社の対応”を従業員は見ている 離職防止策の前に見つめ直したい、部下との向き合い方
2024.11.12
自分の人生にプラスに働く「イライラ」は才能 自分の強みや才能につながる“良いイライラ”を見分けるポイント
2023.03.21
民間宇宙開発で高まる「飛行機とロケットの衝突」の危機...どうやって回避する?
2024.11.11
気づいたら借金、倒産して身ぐるみを剥がされる経営者 起業に「立派な動機」を求められる恐ろしさ
2024.11.11
「退職代行」を使われた管理職の本音と葛藤 メディアで話題、利用者が右肩上がり…企業が置かれている現状とは
2024.11.18
20名の会社でGoogleの採用を真似するのはもったいない 人手不足の時代における「脱能力主義」のヒント
2024.11.12
先週まで元気だったのに、突然辞める「びっくり退職」 退職代行サービスの影響も?上司と部下の“すれ違い”が起きる原因
2024.11.14
よってたかってハイリスクのビジネスモデルに仕立て上げるステークホルダー 「社会的理由」が求められる時代の起業戦略