标签: units-of-measurement

F#计量单位能否在OCaml中实施?

F#具有度量单位能力(本研究报告中有更多细节).

[<Measure>] type unit-name [ = measure ]
Run Code Online (Sandbox Code Playgroud)

这允许定义单位,例如:

type [<Measure>] USD
type [<Measure>] EUR
Run Code Online (Sandbox Code Playgroud)

代码写成:

let dollars = 25.0<USD>
let euros = 25.0<EUR>

// Results in an error as the units differ
if dollars > euros then printfn "Greater!"
Run Code Online (Sandbox Code Playgroud)

它还处理转换(我猜这意味着Measure定义了一些函数,让Measures成倍增加,分割和取幂):

// Mass, grams.
[<Measure>] type g
// Mass, kilograms.
[<Measure>] type kg

let gramsPerKilogram : float<g kg^-1> = 1000.0<g/kg>

let convertGramsToKilograms (x : float<g>) = x / gramsPerKilogram
Run Code Online (Sandbox Code Playgroud)

这个功能可以在OCaml中实现吗?有人建议我看一下幻像类型,但它们看起来并不像单位那样构成.

(披露:几个月前我问过关于Haskell的这个问题,得到了一个有趣的讨论,但没有超出'可能不是'的确定答案).

f# ocaml units-of-measurement

42
推荐指数
2
解决办法
1162
查看次数

如何将pt转换为sp?

我是一名视觉设计师,从事Android设计工作,我正在尝试为我们的工程师指定我的PSD文件.我似乎无法找到任何关于在任何Android文档中将点大小转换为SP的文档.(只是SP应该用于类型).

android psd units-of-measurement

40
推荐指数
3
解决办法
6万
查看次数

在R中转换单位

我希望在R中将英制单位转换为公制单位,反之亦然.我该怎样做呢?

如果没有当前的方法,我怎么能创建一个包呢?

r units-of-measurement

38
推荐指数
5
解决办法
1万
查看次数

在CSS中指定0值时,我应该明确标记单位还是省略?

这更像是一个"哲学"论点,但我想知道这里的推荐做法.我没有将它设置为Wiki,以防有"官方"答案.

显然,0px和0em之间没有区别,所以可以简单地指定0并且单位是冗余的(参见0和0em之间的CSS差异).一些回答这个问题的人认为应该总是省略单位.

但是,在我看来,省略该单元更容易出错,因为稍后的更改可能会意外地省略该单元.它与文档中其他地方的非零元素也不太一致.

css units-of-measurement

38
推荐指数
3
解决办法
6917
查看次数

如何计算openweathermap.org JSON中返回的摄氏温度?

我正在使用openweathermap.org获取城市的天气.

jsonp调用正在运行,一切正常,但生成的对象包含未知单位的温度:

{
    //...
    "main": {
        "temp": 290.38, // What unit of measurement is this?
        "pressure": 1005,
        "humidity": 72,
        "temp_min": 289.25,
        "temp_max": 291.85
    },
    //...
}
Run Code Online (Sandbox Code Playgroud)

这是一个console.log完整对象的演示.

我不认为由此产生的温度是华氏温度,因为将290.38华氏温度转换为摄氏温度143.544.

有谁知道openweathermap返回的温度单位是​​多少?

javascript json units-of-measurement weather-api openweathermap

38
推荐指数
3
解决办法
3万
查看次数

使用区域设置来检测使用英制单位的时间

我正在开发一个想要以厘米(cm)或英寸(")显示长度的应用程序.有没有办法从区域设置中选择正确的单位?无论如何我还要投入一个选项,以便用户可以覆盖区域设置.

美国,利比里亚和缅甸应使用英制单位和世界其他地区的正常单位.一种方法是在我自己的类中加入这个逻辑,但我更喜欢使用任何内置逻辑(如果可用).有什么指针吗?

android localization internationalization units-of-measurement

27
推荐指数
5
解决办法
1万
查看次数

如何在CSS网格布局中设置列的最大宽度?

我想要实现的目标:

使用CSS网格布局,使页面具有正确的列,其大小是从其内容派生的,但最多只能占窗口宽度的20%.

我怎么认为它会起作用:

div {
  border-style: solid;
}

#container {
  width: 300px;
  height: 300px;
  display: grid;
  grid-template-columns: 1fr minmax(auto, 20%);
}
Run Code Online (Sandbox Code Playgroud)
<div id="container">
  <div>
    some content
  </div>
  <div>
    Lorem ipsum dolor sit amet, consectetur adipiscing elit. Donec cursus eu leo ac ultrices. Vivamus ornare, orci sed pretium sollicitudin
  </div>
</div>
Run Code Online (Sandbox Code Playgroud)

它看起来不错,但是当我删除第二个内容时div,左列不会崩溃:

div {
  border-style: solid;
}

#container {
  width: 300px;
  height: 300px;
  display: grid;
  grid-template-columns: 1fr minmax(auto, 20%);
}
Run Code Online (Sandbox Code Playgroud)
<div id="container">
  <div>
    some content
  </div>
  <div></div> …
Run Code Online (Sandbox Code Playgroud)

html css units-of-measurement css3 css-grid

24
推荐指数
4
解决办法
3万
查看次数

您是否在程序中使用"kibibyte"作为度量单位?

几十年来,在计算领域(磁盘制造商除外),KB(千字节)被理解为1024字节.在过去的几年里,有一种运动使用KiB("kibibyte")来表示1024字节,并将千字节的含义改为1000字节,让我们陷入更多年的困惑.另一方面,运动似乎仅限于Gnome,以及一些过于热心的维基百科编辑.

你会转换你的程序使用KiB吗?如果您曾以KB格式显示文件大小,是否除以1000或1024?

naming units-of-measurement

23
推荐指数
12
解决办法
4565
查看次数

Java中的烹饪单位

是否有任何开源库可用于表示烹饪单位,例如Java中的Teaspoon和tablepoon?

我只找到了JSR-275(https://jcp.org/en/jsr/detail?id=275),这很棒,但不了解烹饪单位.

java units-of-measurement

21
推荐指数
1
解决办法
1622
查看次数

有没有一种标准的pythonic方法来处理python中的物理单位/数量?

有没有一种标准的pythonic方法来处理python中的物理单位/数量?我从物理学或神经科学等不同领域看到了不同的模块特定解决方案.但我宁愿使用标准方法而不是"孤岛"解决方案,因为其他人应该能够轻松读取我的代码.

python physics units-of-measurement

20
推荐指数
2
解决办法
1771
查看次数