Alex Myodov (amyodov)

*Haskell *programming
F# — первый виденный мною язык программирования, поддерживающий единицы измерения. Что, неужто больше ни у кого нет?

#795873
from Lenovo, 19 months ago

← All messages

Replies (9)

Post a reply (xmpp)

@Nikolay:
а что это?
#795873/1
from tkabber, 19 months ago
@antage:
А чем единицы измерения отличаются от обычных типов в том же Хаскелле?
#795873/2
from tkabber, 19 months ago
@amyodov:
@antage Если я правильно понимаю, 1<m>, делённый на 1<s>, автоматом превращается в 1<m/s>.
#795873/3
from Lenovo, 19 months ago, in reply to /2
@antage:
@amyodov А какой тогда смысл? Как мне описать, что вольты деленные на амперы — это не <V/A>, а оммы? С типами я могу это описать, а как это описать в F#?
#795873/4
from tkabber, 19 months ago, in reply to /3
@amyodov:
@antage А это как раз второе отличие единиц измерения от типов.

[<Measure>] type m;;
[<Measure>] type s;;
let a = 10<m>;;
let b = 2<s>;;

let c = a + b;;
error FS0001: The unit of measure ’s’ does not match the unit of measure ’m’».

let v = a/b;;
val v : int<m/s> = 5

[<Measure>] type Hz = 1/s;;
#795873/5
from Lenovo, 19 months ago, in reply to /4
@jtootf:
haskell.org boost.org — но на уровне самого языка лично я больше нигде не видел; во всяком случае в ЯП общего назначения — системы физического моделированя, очевидно, должны позволять работать с единицами измерения естественным образом
#795873/6
from Psi, 19 months ago
@amyodov:
@jtootf Я предчувствовал, что если где-то ещё что-то и есть (или вообще решаемо), то в Haskell... спасибо, поизучаю на досуге :)
#795873/7
from Lenovo, 19 months ago, in reply to /6
@jtootf:
@amyodov ну, вторая ссылка на boost, т.е. C++, однако там размерности вводятся посредством TMP,- достаточно нетривиально
#795873/8
from Psi, 19 months ago, in reply to /7
@amyodov:
@jtootf Я ещё про хаскель недочитал :) imgs.xkcd.com
#795873/9
from Lenovo, 19 months ago, in reply to /8

Alex Myodov (amyodov)

Subscribe

Replies (9)

Messages

Tags all

Search

Statistics