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

この記事は「言語実装 Advent Calendar 2025」の3日目の記事です。 この記事は、新しくプログラミング言語を設計する際に文字列型をどうするべきかについて、私の持論をまとめたものです。 以前「新しくプログラミング言語を作る際に数値型をどうするべきか」という記事を書きましたが、この記事はそれの文字列版です。 推敲が足りずに同じことを何箇所かで繰り返している場合がありますが、冗長性だと思ってご容赦ください……。 文字列とは何か 文字列とは何でしょうか？文字の列ですね。では計算機上での「文字」とは何でしょうか？ 計算機に関するやり取りの中での「文字」は警戒すべき単語で、時と場合により以下のいずれかを指します： 7ビットまたは8ビットの整数で表される、符号化された文字（主にアルファベット） 16ビット整数で表される、UnicodeのBMPのコードポイント（サロゲートコードポイントを含

[strawberryhunter]

Goのruneの仕組みを知った時、ああこういうのもあるんだなと思った。Rustは文字列を表す型がいくつもあるらしいので大変そう。／RubyはSassが日本語に対応していなかったのが衝撃だった。

[khwarizmi]

面白すぎる

[deep_one]

そもそも「連続したメモリ空間の塊」とする場合と、「文字へのポインタのリスト」とする場合があるはずだがその辺は扱っていない？個人的にはポインタのリストだと文字数がカウントしやすくていい（笑）

[mohno]

文字（文字コード）は、あまり考えたくないテーマではある。「しがらみのない新言語を作る場合は、UTF-8を基本とするのが良いと思います」←なんのしがらみもない新言語に需要があるのか、という問題はあるだろうね。

[takahashim]

せっかく新しく作るなら文字列は「書記素クラスターの列」みたいな奇特な仕様のように見せたりすると楽しそうです（内部実装は普通にUTF-8で良さそう）

[gfx]

こういう話大好きです。まあモダンな言語はimmutable UTF-8がいいよねえ。

[daruyanagi]

面白かった _(:3 」∠)_

[megumin1]

Rustの中身がutf8であることが保証されているString, &strが一番心地よい。utf8じゃなかったらそれはプログラミングエラーであるという"慣習"による型は、プログラミング言語のデザインの最初期で採用するべき。

[zyzy]

Rust形式が良いのでは？　と思ったら大体そんな感じの話だった（GoとSwiftは知らんかった）。JVM系列はここがネックよな。

[murashit]

好きな話だ

[crimson_diamond]

2025年にもなって人間のためのプログラミング言語を考えている化石人間発見！人間のためのプログラミングはただの趣味になって、実用に耐えるプログラミング言語は今後どんどんAIフレンドリーになっていく、時代遅れ乙

[kkobayashi]

Perlも文字列がゴミだと思います！（歴史が古すぎるから仕方ないけど）Python3は特に不満ないな。てか思った以上にややこしいすね文字列の扱い・・・

[t_f_m]

"現代のプログラミング言語はUnicodeをうまく扱える必要があります。 100年後のIT業界がどうなっているかは分かりませんが、ここ10年以内に普及させたいプログラミング言語はなんらかのUnicodeサポートを盛り込むべきです"