当前位置: 首页 > 编程笔记 >

F# 确保计算中的单位一致

马承
2023-03-14
本文向大家介绍F# 确保计算中的单位一致,包括了F# 确保计算中的单位一致的使用技巧和注意事项,需要的朋友参考一下

例子

度量单位是可以添加到浮点数或整数的其他类型注释。它们可用于在编译时验证计算是否一致使用单位。

要定义注释:

[<Measure>] type m // 米
[<Measure>] type s // 秒
[<Measure>] type accel = m/s^2 // 加速度定义为米/秒平方

定义后,便可以使用注释来验证表达式产生的预期类型。

// Compile-time checking that this function will return meters, since (m/s^2) * (s^2) -> m
// 因此,我们知道在计算中已正确使用了单位。
let freeFallDistance (time:float<s>) : float<m> = 
    0.5 * 9.8<accel> * (time*time)    

// 在调用站点上也将其明确显示,因此我们知道传递的参数应该以秒为单位
let dist:float<m> = freeFallDistance 3.0<s>
printfn "%f" dist
           

 类似资料:
  • 本文向大家介绍F# 计算列表中数字的总和,包括了F# 计算列表中数字的总和的使用技巧和注意事项,需要的朋友参考一下 示例 通过递归 上面的例子表示:“看list,它是空返回0,否则它是一个非空列表所以它可能是?。 [1],[1; 2][1; 2; 3]等,如果list是[1]然后将其绑定变量head到1并tail以[]再执行head + sumTotal tail。 执行示例: 封装上述模式的更通

  • 问题内容: 用MySQL计算中位数的最简单方法(希望不是太慢)是什么?我一直在寻找均值,但是我很难找到一种简单的计算中位数的方法。现在,我将所有行返回给PHP,进行排序,然后选择中间行,但是肯定必须有一个简单的方法可以在单个MySQL查询中完成。 示例数据: 排序给出,因此中位数应为,而其中== 。 问题答案: 在MariaDB / MySQL中: 史蒂夫·科恩(Steve Cohen)指出,在第

  • 所以,这不是关于如何计算数字中的数字。它是如何计算每一个有多少。说: 多少个0,多少个1等等,我想把它放到树形图中 那我该怎么做呢? 数组将是任意大小的,所以我想我可以循环通过它,对于每个新的int,检查每个数字,如果那么等。但不确定如何增加KV映射中的值。

  • 我需要找到一个单词中元音的计数。然而,当我比较单词中的字母是否是元音时, 举个例子,我做的就像下面这个, ……)//其余部分被省略 语句变得太长。有没有办法将它们与正则表达式或类似正则表达式的比较进行比较,并给我字符串中元音出现的次数?

  • 问题内容: 到目前为止,我的代码是这样的: 我想添加一个代码,该代码可以计算来自模式(此路径中的42个txt文件)中的唯一单词,但我不知道该怎么做。有谁能够帮助我? 问题答案: 在Python中计算对象的最佳方法是使用为此目的而创建的类。它的行为类似于Python字典,但计数时使用起来稍微容易一些。您只需传递对象列表,它就会自动为您计数。 Counter也有一些有用的方法,例如most_commo

  • 我正在学习AWS SageMaker,它应该是一个用于机器学习的无服务器计算环境。在这种类型的无服务器计算环境中,谁应该确保软件包的一致性并更新版本? 例如,我运行了SageMaker附带的演示程序,deepar_synthetic。在这第二个单元格中,它执行以下操作:!安装-y s3fs 然而,我得到了以下警告信息: 解决环境:完成== 既然是无服务器计算,我还应该自己更新软件包吗? 另一个例子