新しくプログラミング言語を作る際に文字列型をどうするべきか