Scalaではそれが可能なので、SMLでもこれが可能かどうか疑問に思います。そのようなコードを検討してください。
fun in_list(elem,coll) =
case coll of
[] => false
| elem :: tail => true
| head :: tail => in_list(elem,tail);
case
引数から使用したいの2行目ですelem
が、SMLはそれをプレースホルダーとして扱い、冗長な場合にエラーをスローします(3行目)。
それでelem
、ここで使用することは可能ですか?はいの場合、どのように使用しますか?