A ruby-like language with experimental constraints