文字列のリストを文字ベクトルのベクトルに変換しようとしています:
import collection.breakOut
def stringsToCharVectors(xs: List[String]) =
xs.map(stringToCharVector)(breakOut) : Vector[Vector[Char]]
def stringToCharVector(x: String) =
x.map(a => a)(breakOut) : Vector[Char]
stringToCharVector
アイデンティティ関数とのマッピングを含まない実装方法はありますか? 一般的に、実装するためのより短い/より良い方法はありますstringsToCharVectors
か?