論理型のサイズを気にする必要って何？
いまどき論理型に整数型が代入できる言語を使う必要って何？