首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往

如何在F#中获取逗号后的数字

在F#中获取逗号后的数字可以通过以下步骤实现:

  1. 首先,将字符串转换为字符数组。可以使用String.ToCharArray()方法将字符串转换为字符数组。
  2. 然后,使用List.fold函数遍历字符数组,找到逗号后的数字。List.fold函数接受一个累加器和一个列表作为参数,并对列表中的每个元素应用一个函数。在这个函数中,我们可以检查当前字符是否为逗号,并将标志位设置为true。当标志位为true时,我们可以将字符转换为数字并将其添加到结果列表中。

下面是一个示例代码:

代码语言:fsharp
复制
let input = "abc,123,def"

let getNumbersAfterComma (str: string) =
    let mutable flag = false
    let mutable result = []
    let charArray = str.ToCharArray()
    
    List.fold (fun acc c ->
        if flag then
            match System.Int32.TryParse(c.ToString()) with
            | true, num -> result <- num :: result
            | _ -> ()
        if c = ',' then
            flag <- true
        acc
    ) () charArray
    
    List.rev result

let numbersAfterComma = getNumbersAfterComma input
printfn "%A" numbersAfterComma

在上面的示例中,我们定义了一个名为getNumbersAfterComma的函数,它接受一个字符串作为输入,并返回逗号后的数字列表。我们使用List.fold函数遍历字符数组,并根据逗号的位置提取数字。最后,我们使用List.rev函数将结果列表反转,以保持正确的顺序。

请注意,这只是一个简单的示例,仅处理了一个逗号和一个数字的情况。在实际应用中,您可能需要根据具体需求进行适当的修改和扩展。

页面内容是否对你有帮助?
有帮助
没帮助

相关·内容

获取不连续数字数字

且将断号号码找出来。 需求分析 凭证短号规则,也就是这个凭证是通过怎么一个规则来判断短号。最后和产品了解每个公司都有自己规则。不一定是纯数字,也有可能标记有横杠特殊字符等。...砍需求,由于我们在年底进行开发版本是POC版本,并且时间非常紧急(以至于我们每天都要搞到11点)。所以说不用很复杂业务需求,所以最后讨论下来先做为写死数字校验。 所以有了今天这篇文章。...CODOING 其实有很多同学看到这个一串数字断号校验,这有什么可讲呢?简单一批。 刚开始思路:这些数字有可能从零开始,也有可能从一开始,也有可能从。也有可能中间有很多断号等等。。。。...min = (long) objects[0]; min <= max; min++) { integers.add(min); } //返回缺失数字...100个短号那就采用只获取第一个短号 if(max - min > 100){ for (int i = 0; i < nos.size()-1

2K30

何在keras添加自己优化器(adam等)

2、找到keras在tensorflow下根目录 需要特别注意是找到keras在tensorflow下根目录而不是找到keras根目录。...一般来说,完成tensorflow以及keras配置即可在tensorflow目录下python目录中找到keras目录,以GPU为例keras在tensorflow下根目录为C:\ProgramData...找到optimizers.pyadam等优化器类并在后面添加自己优化器类 以本文来说,我在第718行添加如下代码 @tf_export('keras.optimizers.adamsss') class...# 传入优化器名称: 默认参数将被采用 model.compile(loss=’mean_squared_error’, optimizer=’sgd’) 以上这篇如何在keras添加自己优化器...(adam等)就是小编分享给大家全部内容了,希望能给大家一个参考。

44.9K30

何在 React 获取点击元素 ID?

在 React 应用,我们经常需要根据用户点击事件来执行相应操作。在某些情况下,我们需要获取用户点击元素唯一标识符(ID),以便进行进一步处理。...本文将详细介绍如何在 React 获取点击元素 ID,并提供示例代码帮助你理解和应用这个功能。使用事件处理函数在 React ,我们可以使用事件处理函数来获取点击元素信息。...使用 ref除了事件处理函数,我们还可以使用 ref 来获取点击元素信息。通过创建一个引用(ref),可以在组件引用具体 DOM 元素,并访问其属性和方法。...在事件处理函数 handleClick ,我们可以通过 btnRef.current.id 来获取点击元素 ID。当用户点击按钮时,handleClick 函数会打印出点击元素 ID。...结论本文详细介绍了在 React 获取点击元素 ID 两种方法:使用事件处理函数和使用 ref。

3.2K30

何在onCreate获取View高度和宽度

何在onCreate获取View高度和宽度 在开发过程中经常需要获取到View宽和高,可以通过View.getWidth()和View.getHeight()来得到宽高。...然而新手们经常在onCreate方法中直接调用上面两个方法得到值是0! 这是为什么呢? 因为View绘制是通过两个遍历来完成,一个measure过程,一个layout过程。...而这一切是发生在onCreate方法之后。所以在onCreate中直接使用View.getWidth()和View.getHeight()是无法得到正确。...那应该怎么onCreate获取View宽高呢?...开发者可以通过View.post()方法来获取到View宽高,该方法传递一个Runnable参数,然后将其添加到消息队列,最后在UI线程执行。

5.3K20

何在 WordPress 获取最新被评论文章列表

我之前「WordPress 文章查询教程6:如何使用排序相关参数」详细介绍了文章查询排序参数,其中介绍可以通过评论数进行排序: $query = new WP_Query( array(...'orderby' => 'comment_count' ) ); 但是需求总是不停变化,现在又有了新需求,获取最新被评论文章列表,意思就是某篇文章刚被评论,它就排到最前面,在某些社交需求网站可能需要用到...但是使用 SQL 来实现可能就会造成 API 不一致问题,无法直接使用 WP_Query 进行各种操作,所以最好是通过 posts_clauses 接口实现让 WP_Query 排序参数支持 comment_date...$order}"; } return $clauses; }, 10, 2); 上面的代码简单解释一下,就是通过 posts_clauses 接口实现文章表和评论表连表,然后通过评论时间进行排序获取最新被评论文章列表...当然你也可以不需要了解和使用上面的代码,因为 WPJAM Basic 已经整合,你只需要知道最后可以通过下面简单方式就能够获取最新被评论文章列表: $query = new WP_Query( array

1.5K30

何在Bash遍历由变量定义数字范围

问: 当范围由变量给出时,如何在Bash遍历这一范围内数字?...我知道我可以这样做(在 Bash 文档称为“序列表达式”): for i in {1..5}; do echo $i; done 它会输出: 1 2 3 4 5 然而,我该如何用变量替换范围任意一个端点呢...$END}; do echo $i; done 这会输出: {1..5} 答: 提问者代码不起作用原因是花括号扩展在任何其他扩展之前执行,且其他扩展具有特殊含义任何字符都会在结果中保留下来。...换句话说,花括号扩展只是简单地基于文本替换,它不会根据周围语法环境或者花括号内部文本进行复杂分析或解析。这种方式确保了扩展过程快速且不依赖于特定语境。...如何将一个大文本文件拆分为行数相等小文件 在bash:-(冒号破折号)用法 在Bash如何从字符串删除固定前缀/后缀

19410

何在代码获取Java应用当前版本号?

最近需要在项目中获取项目的版本号,最笨方法莫过于硬编码一个版本号,当然我也是这么干。不过闲下来时候突发奇想Spring Boot项目中pom.xml定义版本号能不能通过API获得呢?...从配置文件读取 Maven在构建项目时可以通过资源插件将构建属性即pom.xml属性注入到指定资源文件,具体操作为: ... 恰好spring-boot-starter-parent已经设置了这种方式。...Spring Boot提供 Spring Boot其实已经内置了获取项目构建信息自动配置ProjectInfoAutoConfiguration,它包含一个条件BeanBuildProperties:...spring-boot-version", "time" : { "epochSecond" : 1620664643, "nano" : 591000000 } } 总结 今天介绍了几种从通过API获取项目构建版本信息方法

3.1K20

何在代码获取Java应用当前版本号?

最近需要在项目中获取项目的版本号,最笨方法莫过于硬编码一个版本号,当然我也是这么干。不过闲下来时候突发奇想Spring Boot项目中pom.xml定义版本号能不能通过API获得呢?...从配置文件读取 Maven在构建项目时可以通过资源插件将构建属性即pom.xml属性注入到指定资源文件,具体操作为: ... 恰好spring-boot-starter-parent已经设置了这种方式。...Spring Boot提供 Spring Boot其实已经内置了获取项目构建信息自动配置ProjectInfoAutoConfiguration,它包含一个条件BeanBuildProperties:...spring-boot-version", "time" : { "epochSecond" : 1620664643, "nano" : 591000000 } } 总结 今天介绍了几种从通过API获取项目构建版本信息方法

5.7K20

何在 MSBuild 项目文件 csproj 获取绝对路径

通常我们能够在 csproj 文件仅仅使用相对路径就完成大多数编译任务。但是有些外部命令执行需要用到绝对路径,或者对此外部工具来说,相对路径具有不同含义。...本文介绍如何在项目文件 csproj 中将一个相对路径转换为绝对路径。...在 MSBuild 4.0 ,可以在 csproj 编写调用 PowerShell 脚本代码,于是获取一个路径绝对路径就非常简单: 1 [System.IO.Path]::GetFullPath...你可以阅读我其他篇博客了解到 $(OutputPath) 其实最终都会是相对路径: 项目文件已知属性(知道了这些,就不会随便在 csproj 写死常量啦) - walterlv 如何更精准地设置...欢迎转载、使用、重新发布,但务必保留文章署名 吕毅 (包含链接: https://blog.walterlv.com ),不得用于商业目的,基于本文修改作品务必以相同许可发布。

21730

何在MySQL 更改数据前几位数字

前言在 MySQL 数据库,有时候我们需要对数据进行一些特定处理,比如更改数据某个字段前几位数字。这种需求可能涉及到数据清洗、数据转换或者数据修复等操作。...使用 SUBSTR 函数要更改数据字段前几位数字,可以使用 SUBSTR 函数来截取字段子串,并进行修改。...通过这个示例,我们成功地将每条记录电话号码前三位数字修改为了 555。...总结本文介绍了如何使用 MySQL SUBSTR 函数来更改数据字段前几位数字。通过合理 SQL 查询和函数组合,我们可以实现对数据灵活处理和转换。...在实际应用,根据具体需求和情况,可以进一步扩展和优化这种数据处理方式,使其更加高效和可靠。

20210

Excel何在大于零数字旁边显示为“正常”?

Excel技巧:Excel何在大于零数字旁边显示为“正常”? 问题:如何在大于零数字旁边显示为“正常”? 解答:利用If函数轻松搞定。...具体操作如下:新建一个Excel工作簿,您可以自己输入一些大于0或小于0数字。等下我们要在旁边显示,凡是大于0数字,显示为“正常”二字。 ?...输入函数完毕,单击回车键,然后双击D4单元格数据柄(下图1处),自动向下填充函数公式即可。 ? 双击完毕,效果如下: ? 大于零数值显示为正常,小于零数值显示为空格。...总结:注意函数参数,只要超过两个字符,就需要用半角输入法引号引用起来,否者函数公式会报错。本例中小于零数值显示为空格,是一种让单元格不显示内容一种常规方法(其实单元格有内容是空格)。

3.2K10

aardiowhttp库调用post()如何获取headercookie值

目前whttp库调用get和post无法通过readHeader()函数读取返回header。...因为一鹤认为一个请求完毕以后就不应该再去获取header了, 想要获取header必须在请求完毕之前完成。...因为readHeader函数必须在请求完成之前调用才能获取到header,而一鹤写库里面,只有请求method=”head”时才调用这个函数, 其他post、get方法都不会调用。...控制这个逻辑代码在whttp库down函数里面,大概573行: if( method == “HEAD” || noReceiveData ){ this.readHeader(); this.endRequest...(); return true; } 只要把    this.readHeader(); 这行代码移动到这个判断语句外面, 就可以在post()之后再调用readHeader来获取返回http头了

30040

何在H264码流SPS获取宽和高信息?

前言 了解H264视频编码格式小伙伴都知道,H264编码存在两个非常重要参数集。...没错,它们就是序列参数集(SPS)和图像参数集(PPS),而且通常情况下,PPS会依赖SPS部分参数信息,同时,视频码流宽高信息也存储在SPS。...那么如何从中获取视频宽高信息呢,就是今天本文主要内容。 正文 一、SPS结构 对H264码流进行解码时,肯定会用到SPS相关参数,因此,我们非常有必要了解其中参数含义。...SPS,第一个字节表示profile_idc,根据profile_idc值可以确定码流符合哪一种档次。...也就是SPS类型标识,伪代码如下: data[3] & 0x1f == 7 data[4] & 0x1f == 7 SPS 对于H264而言,就是编码第一帧,如果是读取H264文件,就是第一个帧界定符和第二个帧界定符之间数据

2.8K10

ThinkPHP获取指定日期工作日具体日期方法

思路: 1、获取到查询年份内所有工作日数据数组 2、获取到查询开始日期在工作日索引 3、计算需查询日期索引 4、获得查询日期 /*创建日期类型记录表格*/ CREATE TABLE `tb_workday...= $minute = $second = 0; //转换成时间戳 $strap = mktime($hour, $minute, $second, $month, $day, $year); //获取数字型星期几...$number_wk = date("w", $strap); //获取数字对应星期 return $number_wk; //自定义星期数组 //$weekArr = array("星期日", "...星期一", "星期二", "星期三", "星期四", "星期五", "星期六"); //获取数字对应星期 //return $weekArr[$number_wk]; } /** * 获取指定日期段内每一天日期...updateDate($year); if ($ret 0) { return self::getWorkDays($year); } else { return false; } } } /** * 获取开始日期

1.9K20

何在非Spring容器管理类中注入获取 Spring容器 Bean?

何在非Spring容器管理类中注入/获取 Spring容器 Bean? 前言:此文仅限新手入行,大佬回避。...什么是被Spring容器管理类? 只要是被称之为Bean类就是被Spring容器管理类。...不了解可以看看小简写这一篇: 将Bean交给Spring容器管理几种方式 在非Spring管理怎么办? 有时候我们就是需要在非Spring管理类中使用Bean怎么办呢?...比如我这一篇: 踩坑篇之WebSocket实现类无法使用@Autowired注入对象 解决方法 我们定义一个上下文类,在Spring将Bean全部扫描完成,我们去使用类去实现ApplicationContextAware...接口,重写setApplicationContext方法,获取到ApplicationContext数据,放到静态属性

3.7K40

何在 WPF 获取所有已经显式赋过值依赖项属性

获取 WPF 依赖项属性值时,会依照优先级去各个级别获取。这样,无论你什么时候去获取依赖项属性,都至少是有一个有效值。有什么方法可以获取哪些属性被显式赋值过呢?...如果是 CLR 属性,我们可以自己写判断条件,然而依赖项属性没有自己写判断条件地方。 本文介绍如何获取以及显式赋值过依赖项属性。...因此,你不能在这里获取到常规方法获取依赖项属性真实类型值。 但是,此枚举拿到所有依赖项属性值都是此依赖对象已经赋值过依赖项属性本地值。如果没有赋值过,将不会在这里遍历中出现。...,同时有更好阅读体验。...欢迎转载、使用、重新发布,但务必保留文章署名 吕毅 (包含链接: https://blog.walterlv.com ),不得用于商业目的,基于本文修改作品务必以相同许可发布。

16540
领券