集合論に基づいた言語を作りたい

[420 １ 2014/10/03(金) 20:31:44.20 ID:dWJ2kSUt]

Rubyだとトリミングはstr.stripで一発だな。
ライブラリつかわんでもstr.gsub(/^ +/,"").gsub(/ +$/,"")でワンライナーか。
この比較がフェアかどうかは微妙だが、Rubyと比べてVDMは読むのしんどいな。
慣れてないだけかもしれんが。