go2go_memo.md

go2goの仕組みを追え！！

• https://github.com/golang/go/compare/master...dev.go2go

  • dev.go2goブランチがmaster取り込んでいるのか知らんけど
  • まぁでも1.15のベータでたし、ロックされてるか？
  • わりかし、compilerの方も変更されてるな？
  • テストか？

• https://github.com/golang/go/tree/dev.go2go/src/cmd/compile/internal/types2

  • type2というやつがいる

• https://github.com/golang/go/tree/dev.go2go/src/cmd/go2go

  • “go/go2go”
  • はーん
  • go2goパッケージ

• https://github.com/golang/go/tree/dev.go2go/src/go/go2go

  • https://github.com/golang/go/blob/dev.go2go/src/cmd/go2go/translate.go#L21:6
  • https://github.com/golang/go/blob/dev.go2go/src/cmd/go2go/translate.go#L14
  • 本体はgo2goパッケージ

• ast.Field

  • https://github.com/golang/go/compare/master...dev.go2go#diff-0ac140681fc0b25abb354eddda9ed7e2R195 (edited)

• ast.FuncType

  • https://github.com/golang/go/compare/master...dev.go2go#diff-0ac140681fc0b25abb354eddda9ed7e2R439 (edited)

• ast.InterfaceType

  • https://github.com/golang/go/compare/master...dev.go2go#diff-0ac140681fc0b25abb354eddda9ed7e2R449
  • 型パラメータはast.FieldListとast.Fieldで表現される

• ast.TypeSpec

  • https://github.com/golang/go/compare/master...dev.go2go#diff-0ac140681fc0b25abb354eddda9ed7e2R903

• 関係ない修正ww

  • https://github.com/golang/go/compare/master...dev.go2go#diff-0ac140681fc0b25abb354eddda9ed7e2R971

• parameterだと分かりづらいから、type and value parameterになってる

  • https://github.com/golang/go/compare/master...dev.go2go#diff-0ac140681fc0b25abb354eddda9ed7e2R982

• https://github.com/golang/go/compare/master...dev.go2go#diff-0ac140681fc0b25abb354eddda9ed7e2R987

  • えっww関係ないけど便利
  • NumFieldってnilでも0を返すのか

• ast.Walk関数も変更に伴い変わっている

  • https://github.com/golang/go/compare/master...dev.go2go#diff-db3af999e936c5fa251841efbad06c94R166
  • knsh14のastreeは自前walkだった気がするからtype parameterが導入された改修必要そうで頑張れって感じする

• https://github.com/golang/go/compare/master...dev.go2go#diff-5c7b748593c74766199194bb5516efe2R1

  • 日記だ

• types.Configに AcceptMethodTypeParams が追加されているけど、メソッドにtype paramを導入する実験してんのかな？

  • https://github.com/golang/go/compare/master...dev.go2go#diff-3a18a42c50e80e9ac085981e9cc1956bR108

• types.Info

  • https://github.com/golang/go/compare/master...dev.go2go#diff-3a18a42c50e80e9ac085981e9cc1956bR188
  • Inferredが追加
  • 型推論を行って型引数を省略したパターンのやつが来る

• https://blog.kotlin-academy.com/programmer-dictionary-parameter-vs-argument-type-parameter-vs-type-argument-b965d2cc6929

  • type param と type argの違いはこれだな ** Type parameter is blueprint or placeholder for a type declared in generic. ** Type argument is actual type used to parametrize generic.
  • 型の仮引数がtype pramで型の実引数がtype arg

• 推論された結果が入る

  • https://github.com/golang/go/compare/master...dev.go2go#diff-3a18a42c50e80e9ac085981e9cc1956bR348

• Walkが使えるようになっているってことはast.Inspectは使えそうだな

• 内部のassertableに引数が増えてる

  • https://github.com/golang/go/compare/master...dev.go2go#diff-3a18a42c50e80e9ac085981e9cc1956bR392

• Sum?

  • https://github.com/golang/go/compare/master...dev.go2go#diff-990424a4b0fe7bde6944c841762c9a7cR178

• ん？Under？

  • https://github.com/golang/go/compare/master...dev.go2go#diff-d14c94437327924ce90807d1ab883b7fR90
  • うぉぉぉぉ！
  • https://github.com/golang/go/compare/master...dev.go2go#diff-cbe4929fead4b1ae1cd2b35b6f5696b4R490
  • これは！全俺がほしかったやつじゃｎ
  • Underlyginを辿って行くやつじゃん

• types.IsParameterized

  • https://github.com/golang/go/compare/master...dev.go2go#diff-4e21aea682c000e99caa12a16ad89e36R162
  • 指定した型がtype paramを持つか

• types.IsParameterizedList

  • https://github.com/golang/go/compare/master...dev.go2go#diff-4e21aea682c000e99caa12a16ad89e36R257 IsParameterizedのスライス版 (edited)

• うほっtypes.Typeのメソッドがめちゃ増えておる

  • https://github.com/golang/go/compare/master...dev.go2go#diff-e2c0d36a77ccf3da4f5998ab49123d9bR15
  • キャストするやーつか

• types.Sum

  • https://github.com/golang/go/compare/master...dev.go2go#diff-e2c0d36a77ccf3da4f5998ab49123d9bR338
  • interface中のtype listとかを表す型（Goの型ではない）
  • types.TypeParamのUnderlyingになるやつ

• types.TypeParam

  • https://github.com/golang/go/compare/master...dev.go2go#diff-e2c0d36a77ccf3da4f5998ab49123d9bR831

他のパッケージから必ずインポートできるようにするため

type Importable୦ int