List Char -> StringPurescriptで関数を書くための慣用的な方法を探しています。
これは簡単なことのように思えますが、私はPurescriptを初めて使用し、しばらくの間ドキュメントを閲覧していて、進歩はありません。
背景情報： HaskellからPurescriptに単純な関数を移植しています
generateId :: Int -> [Char]
これにより、指定された長さの文字列が生成されます。使用するコードに変換するのは非常に簡単でしたList Char（オペレーションListからであるData.ListPurescript中に）。Haskell[Char]でも同じなStringので、他の処理は必要ありませんが、PurescriptでList CharネイティブStringに変換する関数が見つかりません！
私の検索は私を fromCharArray :: Array Char -> String に導きまし た Data.String 、しかし私はからに変換する方法を見つけることができませんでし List Char た Array Char ！
折りたたんでusing List Char を構築する ことで手動で変換できます が、Purescriptの基本的な文字列操作のように見える組み込みのソリューションが不足しているに違いありません。 Array Char snoc
編集： fromList任意のUnfoldable（配列など）からに変換するために機能しListます。これを達成するためのより慣用的な方法がある場合に備えて、この質問を開いたままにしておきます。
私はあなたの編集に同意します。Data.String.fromCharArray <<< Data.List.fromList私にはかなりまともなように聞こえます。fromCharArrayを使用してネイティブJSに実装されarray.join("")ます。
更新： fromList現在非推奨です-toUnfoldable代わりに使用してください
この記事はインターネットから収集されたものであり、転載の際にはソースを示してください。
侵害の場合は、連絡してください[email protected]
コメントを追加