F # 측정 단위는 어떻게 작동합니까?

Question

누군가가 F# Units of Measure이 어떻게 작동하는지 파고 들었습니까? 그것은 단지 형식 기반 chicanery입니까, 아니면 (잠재적으로) 다른 .net 언어에서 사용할 수있는 숨겨진 CLR 유형입니까? 어떤 수치 단위로도 작동할까요, 아니면 부동 소수점 값으로 제한 될까요? (모든 예제에서 사용하는 것입니까?)

Answer 1

다음 관련 블로그 게시물의 response에 따르면, 이들은 F # 컴파일러에서 완전히 정적 인 메커니즘입니다. 따라서 단위 데이터의 CLR 표현은 없습니다.

현재 비 플로트 유형에서 작동하는지 여부는 완전히 명확하지 않지만 유형 시스템의 관점에서 보면 이론적으로 가능합니다.

Answer 2

Andrew Kennedy의 블로그에있는 최고의 (내 생각에 공식적인) 장소는 Andrew Kennedy의 블로그입니다.

여기에 (현재) 관련 게시물이 있습니다.

• Units of Measure in F#: Part One, Introducing Units
• Units of Measure in F#: Part Two, Unit Conversions
• Units of Measure in F#: Part Three, Generic Units
• Units of Measure in F#: Part Four, Parameterized Types

나는 당신의 응답자가 언급 된 게시물에 말했듯이, 이것은 당신이 C#으로 할 수없는 일이 가장 확실히 (그러나 나는 당신이 할 수 있었 더라면 좋겠다고 생각한다).