The Introduction

The number of source code lines is less than 50.

Rubype brings you advantage of type
without any changing existing code's behavior.

You are able to take "meaningful error", "Executable documentation" and so on without polluting your code and Ruby.