見せ算をScalaで実装してみた / Scalaわいわい勉強会 #2

さや香の見せ算 (https://www.youtube.com/watch?v=QSfNwVBg3EA) をScalaで実装しましたという小話です

https://scala-tokyo.connpass.com/event/297260/

Transcript

1. 見せ算をScalaで 実装してみた id:arthur-1 株式会社はてな 2024-02-27 Scala わいわい勉強会 #2 LT 1
2. Arthur と申します 株式会社はてな アプリケーションエンジニア 前回のScalaわいわい勉強会でも LTさせてもらいました！ 𝕏: @Arthur1__ 2
3. Mackerel 作ってます 3
4. 最近、 キャリア悩み中 4
5. あんまりエンジニアに こだわってもいない 5
6. お笑い芸人も いいな〜 6
7. M-1 2023 見ましたか？ 7
8. 8 https://www.youtube.com/watch?v=QSfNwVBg3EA
9. 決勝の出来事 お笑いコンビ「さや香」の新山が 四則演算に加えて5則目の「見せ算」を提唱 “数字と数字を見せ合わせて、どう思うか？” 9
10. 見せ算の基本ルール: その1 同じ数字を「見せ」すると、その「眼」は0になる [例] 1見せ1＝0 同じ服装の人が前からやってくると恥ずかしく なってお互い立ち去る 10
11. 見せ算の基本ルール: その2 違う数字を「見せ」すると、大きい方が「眼」に なる [例] 1見せ2＝2 小さい者が大きい者を見ると怖くなって逃げる 11
12. 見せ算の応用ルール • 6見せ9=11 ◦ 似てるな〜と気になってお互い近づく • 2見せ5=1.1 ◦ 同様に近寄るも、「違う！」とびっくりして携帯を落とす • 1見せ100=83 ◦ 1が逃げられないと腹を括って突っ込み17人倒す 12
13. そろそろ タイトルコール 13
14. 見せ算をScalaで 実装してみた id:arthur-1 株式会社はてな 2024-02-27 Scala わいわい勉強会 #2 LT 14
15. なぜ Scala か 中置演算子を自由に作れる！ 2 mise 5 のように書ける • 演算子はメソッド • 既存の型の拡張ができる 15
16. 演算子はメソッド 16 case class MyInt (v: Int) { def unary_- : MyInt = MyInt(-this.v) def +(that: MyInt): MyInt = MyInt(this.v + that.v) } -MyInt(4) // MyInt(-4) MyInt(3) + MyInt(2) // MyInt(5) https://scastie.scala-lang.org/N10goNFbQj6eOwmPzGPDRQ
17. 既存の型の拡張ができる 17 implicit class ExtendedInt(val i: Int) { def **(j: Int): Int = if (j <= 0) 1 else i ** (j - 1) * i } 3 ** 2 // 9 ビルトインの型にも演算子を増やせる https://scastie.scala-lang.org/CvFRoSDPQF6gWilg9hHCKQ
18. Scala 3 からは…… 18 extension (i: Int) def **(j: Int): Int = if (j <= 0) 1 else i ** (j - 1) * i 3 ** 2 // 9 extensionキーワードでより直感的に書ける https://scastie.scala-lang.org/ly6je4cNRweIh4lRbGSi6g
19. 見せ算の実装はこんな感じ 19 extension (i: Int) def mise(j: Int): BigDecimal = (i min j, i max j) match case (6, 9) => 11 case (2, 5) => 1.1 case (1, 100) => 83 case (small, big) => if (small == big) 0 else big https://scastie.scala-lang.org/LrLMjihdQMejwFhiTvHphQ
20. GitHubに上げておきました 20 https://github.com/Arthur1/misezan-scala
21. 余談その1 Scala 3のコードではOptional Braces Syntaxを 使ってみたけど皆さんは好きですか？ Tour of Scalaなどのコードも{}なくなってる https://docs.scala-lang.org/tour/pattern-matching.html 21
22. {}をちゃんとつけるとこんな感じ 22 extension (i: Int) { def mise(j: Int): BigDecimal = (i min j, i max j) match { case (6, 9) => 11 case (2, 5) => 1.1 case (1, 100) => 83 case (small, big) => if (small == big) 0 else big } }
23. 余談その2 見せ算を使ったアプリケーション開発を支援するため Maven Central Repositoryにpublishしようと思った のだが…… 23
24. 助けてくれ！ issues.sonatype.orgが 2024年2月に廃止された 最近アカウント作ったユーザーは、OSSRHではなく Central Portal経由でpublishするしかない • アップロード先のendpointやAPIも変わっていそう • これに対応したsbt pluginの情報など大募集中です 24
25. おしまい？ 25
26. ここからは 大学院の講義 26
27. 型レベルプログラミング版 https://github.com/Arthur1/misezan-scala-type 27
28. 実装の紹介 こっちはScala 2で実装 AUXパターン: 引数と結果に相当する型のマッピングを作るイメージ 場合分けは型制約とimplicitの解決で実現 面倒なので基本的な型はsharplessに頼ってみた まだ基本ルールだけなので今後の自分に期待 28
29. おしまい 29