ML 中的 isSubstring 方法
isSubstring method in ML
fun appear(x:string,y:string)=
if String.isSubstring x y then print("APPEAR ") else print("NOT APPEAR ");
appear("abc","asabcbc");
我在 Moskow 中编写并编译了这个函数 ML.But 出现如下错误:
! Unbound value component: String.isSubstring
您使用的 Moscow ML 版本可能已过时。尝试 version 2.10 或更高版本,其中有 String.isSubstring
.
fun appear(x:string,y:string)=
if String.isSubstring x y then print("APPEAR ") else print("NOT APPEAR ");
appear("abc","asabcbc");
我在 Moskow 中编写并编译了这个函数 ML.But 出现如下错误:
! Unbound value component: String.isSubstring
您使用的 Moscow ML 版本可能已过时。尝试 version 2.10 或更高版本,其中有 String.isSubstring
.