RBS、Rubysの新しいタイプ注釈システムを理解する

先に進む前に、この概念を明確にしましょう。動的に型付けされた言語は静的な言語とどのように比較されますか？

RubyやJavaScriptなどの動的型付けされた言語では、実行時に禁止された操作が発生した場合の処理​​方法をインタープリターが理解するための事前定義されたデータ型はありません。

これは、静的型付けから期待されるものの反対です。 JavaやCなどの静的に型付けされた言語は、コンパイル時に型を検証します。

次のJavaコードスニペットを参照してください：

int number = 0;
number = "Hi, number!";

2行目でエラーがスローされるため、静的型付けではこれは不可能です。

error: incompatible types: String cannot be converted to int

次に、Rubyで同じ例を取り上げます。

number = 0;
number = "Hi, number!";
puts number // Successfully prints "Hi, number!"

Rubyでは、変数のタイプはその場で変化します。つまり、インタプリタは、ある変数から別の変数に動的にスワップする方法を知っています。

その概念は一般的に強く型付けされたと混同されます vs弱いタイプ 言語。

Rubyは動的であるだけでなく、強く型付けされた言語でもあります。つまり、実行時に変数がその型を変更できるようにします。ただし、クレイジーなタイプのミキシング操作を実行することはできません。

前の例を応用した次の例（Ruby）を見てください：

number = 2;
sum = "2" + 2;
puts sum

今回は、異なるタイプ（ Integer ）に属する2つの数値の合計を試しています。 およびString ）。 Rubyは次のエラーをスローします：

main.rb:2:in `+': no implicit conversion of Integer into String (TypeError)
  from main.rb:2:in `<main>'

言い換えれば、Rubyは、（おそらく）異なるタイプを含む複雑な計算を実行する仕事はすべてあなた次第だと言っています。

一方、JavaScriptは、およびが弱いです。 動的に型付けされ、同じコードで異なる結果が得られます：

> number = 2
  sum = "2" + 2
  console.log(sum)
> 22 // it concatenates both values

RBSはSorbetとどのように異なりますか？

まず、それぞれが採用するアプローチからコードへの注釈付けまで。 Sorbetはコード全体に注釈を明示的に追加することで機能しますが、RBSでは .rbsを使用して新しいファイルを作成する必要があります。 拡張機能。

これの主な利点は、レガシーコードベースの移行について考えるときです。元のファイルは影響を受けないため、プロジェクトにRBSファイルを採用する方がはるかに安全です。

作成者によると、RBSの主な目標は構造を説明することです。 あなたのRubyプログラムの。クラス/メソッドの署名のみを定義することに焦点を当てています。

RBS自体はタイプチェックできません。その目標は、タイプチェッカー（SorbetやSteepなど）が仕事をするための基礎として構造を定義することに限定されています。

単純なRuby継承の例を見てみましょう：

class Badger
    def initialize(brand)
      @brand = brand
    end

    def brand?
      @brand
    end
end

class Honey < Badger
  def initialize(brand: "Honeybadger", sweet: true)
    super(brand)
    @sweet = sweet
  end

  def sweet?
    @sweet
  end
end

すごい！いくつかの属性と推測されたタイプを持つ2つのクラス。

以下に、可能なRBS表現を示します。

class Brand
  attr_reader brand : String

  def initialize : (brand: String) -> void
end

class Honey < Brand
  @sweet : bool

  def initialize : (brand: String, ?sweet: bool) -> void
  def sweet? : () -> bool
end

かなり似ていますね。ここでの主な違いはタイプです。 初期化 Honeyのメソッド たとえば、クラスは1つの Stringを受け取ります および1つのboolean パラメータを設定し、何も返しません。

class Animal
    def initialize(weight)
      @weight = weight
    end

    def breathe
      puts "Inhale/Exhale"
    end
end

class Mammal < Animal
    def initialize(weight, is_terrestrial)
      super(weight)
      @is_terrestrial = is_terrestrial
    end

    def nurse
      puts "I'm breastfeeding"
    end
end

class Cat < Mammal
    def initialize(weight, n_of_lives, is_terrestrial: true)
        super(weight, is_terrestrial)
        @n_of_lives = n_of_lives
    end

    def speak
        puts "Meow"
    end
end

rbs prototype rb animal.rb mammal.rb cat.rb

class Animal
  def initialize: (untyped weight) -> untyped

  def breathe: () -> untyped
end

class Mammal < Animal
  def initialize: (untyped weight, untyped is_terrestrial) -> untyped

  def nurse: () -> untyped
end

class Cat < Mammal
  def initialize: (untyped weight, untyped n_of_lives, ?is_terrestrial: bool is_terrestrial) -> untyped

  def speak: () -> untyped
end

class Meta
    define_method :greeting, -> { puts 'Hi there!' }
end

Meta.new.greeting

class Meta
end

class Terrestrial < Animal
    def initialize(weight)
        super(weight)
    end

    def run
        puts "Running..."
    end
end

interface _CanRun
  # Requires `<<` operator which accepts `Terrestrial` object.
  def <<: (Terrestrial) -> void
end

def run: (_CanRun) -> void

def fly: () -> (Mammal | Bird | Insect)

def evolutionary_cousins: () -> Enumerator[Animal, void] | { (Animal) -> void } -> void

gem install typeprof

class Animal
    def initialize(weight)
      @weight = weight
    end

    def die(age)
      if age > 50
        true
      elsif age <= 50
        false
      elsif age < 0
        nil
      end
    end
end

Animal.new(100).die(65)

## Classes
class Animal
  @weight: Integer

  def initialize: (Integer weight) -> Integer
  def die: (Integer age) -> bool?
end