标签: units-of-measurement

8
推荐指数
3
解决办法
5434
查看次数

在语言中支持/整合测量单位的策略是什么?

我想从纯语言设计的角度来看,哪些"特征"(语义和句法)是SI单位的"实现"需要.

如果有人声称某种语言对测量单位有很大的支持,那么通常会预期哪些"功能"?

  • 就像特殊文字或语法糖一样?
  • 特殊约定使单位类型安全(但没有昂贵的运行时包装)?
  • 用于计算分数的特殊数学模式?
  • 单位之间的自动转换和强制?

例如,F#集成了对语言中测量单位的支持.它如何改进例如Java

应该在语言中加入哪些功能以提高单元的可用性?哪些功能不一定与测量单位有关,但实现更好?

java f# language-design units-of-measurement

8
推荐指数
1
解决办法
317
查看次数

是否有可能为Scala中的测量单位实施F#的基础设施?

F#附带了对测量单位系统的特殊支持,该系统提供静态类型安全性,同时编译为数字类型,而不是通过包装/展开操作增加运行时的负担.

是否有可能使用一些Scala的类型系统魔法来实现与之相当的东西?

f# types scala language-design units-of-measurement

8
推荐指数
2
解决办法
470
查看次数

如何将以体系结构格式显示的度量转换为浮点?

我有一个创建的数据库,供建筑公司使用.所有测量值都以如下格式存储:15-3/4"12'6-3/4".

有没有办法在Python中将这些类型的测量转换为浮点?或者是否有一个提供此功能的库?

同样,您如何从浮点转换为上述格式?

python regex measurement units-of-measurement

8
推荐指数
1
解决办法
1725
查看次数

是否有用于操作单位和数量的PHP库/类?

我正在寻找一个PHP库/类,以与ruby-units宝石类似的方式操纵单位和数量.我已经找到了一个叫做JavaScript的Ruby库的端口js-quantities,但没有找到PHP.

是否有用于操作单位和数量的PHP库/类?

php class units-of-measurement

8
推荐指数
1
解决办法
1291
查看次数

使用F#测量单位从m/s转换为km/h

我正在学习F# - 目前正在研究测量单位.我有一个简单的计算返回米每秒,我想引入一个函数将其转换为每小时公里.

我的代码看起来像这样:

[<Measure>] type kg
[<Measure>] type s
[<Measure>] type m
[<Measure>] type km
[<Measure>] type h            

let msToKmph(speed : float<m/s>) =
    (float speed) * 3.6<km/h>

let gravityOnEarth = 9.81<m/s^2>
let heightOfJump = 3.5<m>

let speedOfImpact = sqrt (2.0 * gravityOnEarth * heightOfJump)
let speedOfImpactKmh = msToKmph(speedOfImpact)
Run Code Online (Sandbox Code Playgroud)

这是有效的 - 我得到8.28673639 m/s和29.832251 km/h.我不确定的是,这是表达不同单位之间关系的最佳方式.这可以更优雅地完成吗?

例如,行(浮动速度)从速度参数中移除单位信息,使msToKmph返回km/h.如果我在进行计算之前没有删除单位信息,则返回的单位为:km m /(hs)

f# units-of-measurement

8
推荐指数
1
解决办法
4934
查看次数

在Chrome开发者工具中使用Ems而不是px?

em在样式表中到处使用s而不是px.但Chrome Developer Tools中计算出的样式/指标似乎默认显示给我px,即使对于我em在样式表中明确使用s的元素:

在此输入图像描述

(这是带有来自Font Awesome的图标的按钮的计算长度的图片.我将填充设置为0.4em,然后我把它抬起来看看图标有多高.)当然我可以将所有内容除以16,但是对于像"14.841"这样的数字来说,这在我脑海里并不容易.是否有设置改变长度测量单位?(有点像大多数桌面图形和图像处理程序,我可以选择像素,点,英寸或厘米?)或者,或者在开发工具中的其他地方可以显示ems的长度?(统治者,......?)

css units-of-measurement google-chrome-devtools

8
推荐指数
1
解决办法
4214
查看次数

计量单位如何表示?

我刚刚开始使用F#,我想知道测量单位:

我知道它们只出现在编译时,并且Reflector确认了这一点:创建一个不是别名的度量单位创建一个具有MeasureAttribute属性的类,但除此之外,float<km/h>表示为plain System.Double.并且类型,构造函数参数或属性没有属性.

到目前为止我明白了.但是当我从另一个项目引用编译的程序集时,它似乎知道所有关于度量单位的信息,包括别名.它是如何获得这些信息的?他们在集会的哪个地方?

f# units-of-measurement

7
推荐指数
1
解决办法
325
查看次数

何时选择 REM 而不是 PX?

我什么时候应该使用 rem 而不是 px?我看到很多文章说我应该使用 REM 来尊重用户的偏好,但是示例总是说字体大小,而不是整个样式 - 边距、填充、边框、宽度、高度等。 拿了这篇文章例如:我应该在 CSS 中使用 px 还是 rem 值单位?

所有的答案都是关于字体大小的,好吧,我明白了,rem 更适合字体大小,但是其他样式呢?我看到引导程序使用 px 到容器类,到 col-* 类,是否有原因?

我正在创建这个覆盖 Bootstrap 默认样式的站点,我应该用 pxs 覆盖它使用 px 的地方还是应该使用 rem?

谢谢你。

html css units-of-measurement

7
推荐指数
1
解决办法
8155
查看次数

GNU 时代的千字节还是千字节?

我们正在进行一些性能测量,包括一些内存占用测量。我们一直在用 GNU 时间来做这件事。但是,我无法判断它们是以千字节(1000 字节)还是千字节(1024 字节)为单位进行测量的。

我的系统的手册页提到了%M格式键(我们用它来测量峰值内存使用量):“进程在其生命周期内的最大驻留集大小,以千字节为单位。”

我假设这里的 K 表示 SI“Kilo”前缀,即千字节。但在通过各种工具查看了其他一些对各种事物的记忆测量后,我相信这个假设,就像我相信一只饥饿的狮子在为期一周的假期期间看管我的狗一样。

我需要知道,因为对于我们的测试,1000 KB 与 1024 KB 的差异加起来接近 8 GB,而且我想我可以将测量中的潜在误差减少几十亿。

memory time byte units-of-measurement measure

7
推荐指数
1
解决办法
512
查看次数