プチコン3号の自作関数の引数の変数の型、OUT以降の戻り値の変数の型は最初に値を代入した時点で型が決まるというのは最初に書いた通りであり、型を曖昧にせずサフィックス（#や%や$という記号）通りにきちんと動作するようにすれば扱いやすくなりそうですが、その場合はできることが減ってしまいます。（型が厳格化された場合には整数型、実数型、文字列型すべてに対応させた関数を作ることはできず、3つの関数を作りそれを使い分ける必要性が出てくるため不便になる）