gpt4 book ai didi

dll - F# 有自己的字符串操作库吗?

转载 作者:行者123 更新时间:2023-12-03 09:50:37 25 4
gpt4 key购买 nike

F# 有自己的字符串操作库吗?

当我尝试学习 F# 时,我发现自己在使用现有的 System.string 方法?

我应该这样做吗?

代码:

open System

type PhoneNumber =
{ CountryCode:int
Number:string }

// b. Create a function formatPhone that accepts a PhoneNumber record and formats it to look like something like this: "+44 1234 456789"
let formatPhone phoneNumber =

let getLeadingCharacters (length:int) (text:string) =
text.Substring(0, length)

let getLastCharacters (length:int) (text:string) =
text.Substring(text.Length - length, length)

printf "+%i %s %s" phoneNumber.CountryCode
(phoneNumber.Number |> getLeadingCharacters 4)
(phoneNumber.Number |> getLastCharacters 6)

formatPhone { CountryCode=44; Number="123456789" };;

更新

更新函数来自:
let formatPhone phoneNumber =

let getLeadingCharacters (length:int) (text:string) =
text.Substring(0, length)

let getLastCharacters (length:int) (text:string) =
text.Substring(text.Length - length, length)

printf "+%i %s %s" phoneNumber.CountryCode
(phoneNumber.Number |> getLeadingCharacters 4)
(phoneNumber.Number |> getLastCharacters 6)

formatPhone { CountryCode=44; Number="123456789" };;

至:
let formatPhone phoneNumber =

printf "+%i %s %s" phoneNumber.CountryCode
phoneNumber.Number.[0..3]
phoneNumber.Number.[4..8]

formatPhone { CountryCode=44; Number="123456789" };;

最佳答案

不,F# 没有特定的 String library复制 .NET 库。它确实有 string module带有额外的字符串函数。
是的,使用 .NET 函数。
F# 可以利用所有 .NET 库这一事实是它最强大的功能之一。起初,将使用 curried 参数的函数与使用元组参数的 .NET 函数混合在一起似乎很奇怪。
这就是为什么在 NuGet 中您会看到也具有 FSharp 扩展的包的原因。例如MathNet NumericsMathNet Numerics FSharp .这些是允许 F# 习惯使用 .NET 库的包装函数。
在寻找与 F# 一起使用的函数和方法时,我经常使用这个技巧。
要搜索 .NET,请使用 class作为关键字并搜索 F# 特定代码,请使用 module作为关键字。
例如:
谷歌:MSDN string class第一项:String Class
谷歌:MSDN string module第一项:Core.String Module (F#) (现在是 404)但它也是 String 的 F# 语言引用的有效链接.有什么不对劲。

关于dll - F# 有自己的字符串操作库吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/35366996/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com