crystal tool implementationの話

さっき作った (@MakeNowJust)

自己紹介

crystal tool implementationとは？

crystal tool implementationとは？

  • crystal tool 何とかで使えるコマンドの 1 つ

    • crystal tool formatもこの仲間
  • メソッドの呼び出し位置から実装を検索できる
  • なんかエディタから使って定義位置へジャンプとかしたりできるらしい

使い方:

$ crystal tool implementation -c ファイル:行:列 エントリーファイル

例

foo.cr

def foo(x)
  p x
end

foo 42

$ crystal tool implementation -c foo.cr:5:1 foo.cr
1 implementation found
/Users/makenowjust/foo.cr:1:1

例 (オーバーロード)

bar.cr

def bar(x : Int32)
end

def bar(x : String)
end

x = rand() < 0.5 ? 1 : "x"
bar x

$ crystal tool implementation -c bar.cr:8:1 bar.cr
2 implementations found
/Users/makenowjust/bar.cr:1:1
/Users/makenowjust/bar.cr:4:1

便利そう 🤔

失敗例 (マクロ)

mac.cr

macro mac(x)
  p {{x}}
end

mac 42

$ crystal tool implementation -c mac.cr:5:1 mac.cr
no implementations or method call found

失敗例 (呼び出されてないメソッドの中)

in-call.cr

def foo
  bar
end

def bar
end

$ crystal tool implementation -c in-call.cr:2:3 in-call.cr
no implementations or method call found

上手くいかない例

  1. マクロ
  2. 呼び出されていないメソッドの中の呼び出し
  3. クラスなどの型
  4. 型エイリアス
  5. 定数
  6. メソッドの型制約

世知辛いのじゃ〜

進捗パート

ここ一週間くらいcrystal tool implementationを弄っていた。

上手くいかない例

色々直した。

  1. マクロ
  2. 呼び出されていないメソッドの中の呼び出し
  3. クラスなどの型
  4. 型エイリアス
  5. 定数
  6. メソッドの型制約

https://github.com/crystal-lang/crystal/pull/7742

例 (型)

cls.cr

class Foo
end

Foo.new

$ bin/crystal tool implementation -c cls.cr:4:1 cls.cr
Foo
1 implementation found
/Users/makenowjust/cls.cr:1:1

例 (型エイリアス)

als.cr

class Foo
end

class Bar
end

alias Baz = Foo | Bar

Baz

$ bin/crystal tool implementation -c als.cr:9:1 als.cr
Baz
1 implementation found
/Users/makenowjust/als.cr:7:1

乞うご期待

まだマージされてないです

https://github.com/crystal-lang/crystal/pull/7742

マージされるといいですね

上手くいかない例(展望)

  1. マクロ ← がんばればどうにか。
  2. 呼び出されていないメソッドの中の呼び出し ← 原理的に無理
  3. クラスなどの型
  4. 型エイリアス
  5. 定数
  6. メソッドの型制約 ← 大変そうだけど不可能じゃない？