引数のチェックしたい人向けに、
check( a => String , b => String){
a = "new\n"
b = a.chomp!
}
check( a => String , b => String){
a = "new"
b = 12 # => Error
}
check( a => String , b=> String){
a = "new"
b =
}
こんな駄目かな？？
check(){}で囲めば、今までのコードにも簡単に制約つけられるし。

あと、
check_by( a.size < 12 , b.size < 12 ){
a = "あいうえお"
b = "あいうえおかきくけこ" # => Error
}

こんなの便利じゃない？？