GoのType Setsという概念

2023/08/20に行われたZli OB/OG LTの資料です

イベントページはこちら
https://zli.connpass.com/event/292467/

Transcript

1. GoのType Setsとは？ どんなもの？なに？ 彼女はいるの？調べてみました！ 2023/08/20 Zli OBOG LT
2. • 学年：28期 • 所属：会津大学コンピュータ理工学部 • 今興味のある技術：Rust（研究で使う） • 趣味： ◦ イカᔦꙬᔨ ◦ PokemonSleep ◦ VTuber ▪ やしきず • Twitter：@matumoto_1234 matumoto 松本 響輝 自己紹介
3. インターフェースの型定義 • 実装がないメソッドを要素に持たせることが出来る
4. 構造体とメソッド • 構造体を定義してメソッドを生やすことが出来る
5. 関数とジェネリクス • 関数に型パラメータを取らせることができる
6. 構造体とジェネリクス • 構造体に型パラメータを取らせることができる
7. Type Setsとはなんぞや
8. インターフェースまわりの 新しい概念
9. Type Setsとは • ある型がインターフェースを「実装する」条件を記述するための新しい概念 • 任意の型は type set という集合を持ってる • 今までは method set と呼ばれる概念があった ◦ 型 T がインターフェース I を実装するには、型 T の method setがインターフェース I の method setを包含している必要がある I のmethod set T のmethod set Add() Print() Hoge() Ahoy()
10. Type Setsとは • type setを用いた新しい条件 • 型 T がインターフェース I を実装するには、T が I の type set の要素である必要がある I のtype set int32 uint64 string T MyInt
11. インターフェースってメソッド しか要素に持てないのでは？
12. どうやって、type setは決まるの？
13. type setの決まり方 • 事前に宣言された intや string などのtype set ◦ その型のみを要素に持つ集合 ◦ e.g. {int}, {string} • 空のインターフェース interface{} のtype set ◦ 全ての非インターフェース型からなる集合 • 空でないインターフェースのtype set ◦ インターフェース要素のtype setの共通部分（積集合） Add(int) int Sub(int) int I のtype set
14. いろんな文法の追加 • 型制約としてのインターフェースには、「 インターフェース要素」と呼ばれる新しい構成要素が増 えた ◦ 任意の型（インターフェース型でなくても良い） ◦ union element(合併要素)と呼ばれる新しい文法要素 ◦ approximation element(近似要素)と呼ばれる新しい文法要素 ※なお、approximation elementやunion elementといった呼び方は、Type Setsのproposalの中でそ う呼ばれているのを用いています ※型制約は Print[T any]() の any の部分のやつ（any は interface{} へのエイリアス）
15. インターフェース要素　任意の型 • インターフェース要素として任意の型をもたせられる
16. インターフェース要素　union element • T1 | T2 | … | Tn というように | 区切りで、型もしくはapproximation elementを繋げられる • union element の type set は、 | 区切りで繋いだ要素の type set の和集合
17. インターフェース要素　approximation element • ~T というように ~ を型 T の前にくっつけて記述する • 型制約として、型 T をunderlying typeに持つ全ての型を許容できるようになる • approximation element の type set は型 T をunderlying typeに持つ全ての型
18. インターフェース要素　approximation element • 以下のコードは全部OK
19. インターフェース要素　approximation element • 以下のコードはNG
20. underlying typeって？
21. ここで人の資料を見る
22. いかがでしたか？