The challenges behind Ruby type checking

Type Checking