制限があるなら型を作ろうよ感・・・＞＜

"例えば、引数が文字列型だとして「どんな形式の文字列であるべきなのか」までを言語仕様で制限できるものはそんなにないですよね。少なくとも、メインストリームで使われているプログラミング言語としてはすぐには思い当たりません。"
https://employment.en-japan.com/engineerhub/entry/2018/05/22/110000