Units of Measure in F#: Part Three, Generic Units

Dew Drop - September 5, 2008 | Alvin Ashcraft's Morning Dew

Dew Drop - September 5, 2008 | Alvin Ashcraft's Morning Dew — Fri, 05 Sep 2008 15:07:27 GMT

PingBack from http://www.alvinashcraft.com/2008/09/05/dew-drop-september-5-2008/

The Weekly Source Code 34 - The Rise of F#

Readed By Wrocław NUG members — Thu, 25 Sep 2008 12:46:31 GMT

First, let me remind you that in my new ongoing quest to read source code to be a better developer ,

re: Units of Measure in F#: Part Three, Generic Units

CarlMon — Thu, 25 Sep 2008 21:54:34 GMT

Thanks for the great post!

I am trying to get my head around UoM... Is it possible to define partially generic units? Consider my attempt at currency conversion:

[<Measure>]

type USD =

static member convert (value : float<USD>) (ratio : float< _ / USD>) = value * ratio

The static method has signiture:

"value:float<USD> -> (float<'a0> -> float<USD/'a0>)"

it converts a ratio of type float<EUR / USD> correctly but does not limit the ratio USD exchange rates. I would like this signiture to be:

"value:float<USD> -> (float<'a0 / USD> -> float<'a0>)"

Defining Generic Types

xelatihy — Sat, 04 Oct 2008 00:01:12 GMT

Andrew,

I do wonder if the 4th part of the series will be coming soon. I am using this feature for a new research project and have found it impossible to be able to. My problem is defining 3D vectors/points that are generic with respect to the units of measures. I have had significant trouble in particular with operator overloading. Any help would be fantastic!

Recursos de F# y Programación Funcional

Angel "Java" Lopez — Sat, 11 Oct 2008 18:54:24 GMT

F# es un lenguaje funcional, creado por Microsoft. Implementado bajo el soporte de .NET CLR, es un lenguaje

F#中有趣的计量单位

Anders Cui — Sat, 29 Nov 2008 15:23:52 GMT

NASA气象卫星意外坠落说明，计量单位绝非小事。为编程语言添加对计量单位的支持可以很大程度上避免这样的错误，编程任务也变得更有趣。F#提供了对计量单位的静态检查，并且封装了国际单位制的各个单位和物理常量，另外我们也可以定义自己的单位；在单位之间进行换算也很简单；此外F#还支持计量单位的泛型。作为对NASA气象卫星的纪念，本文最后给出了一个模拟太阳系的例子 :)

F# Programming Contest, by Kean at AutoDesk

Don Syme's WebLog on the F# Language and Related Topics — Sun, 11 Jan 2009 22:24:28 GMT

Kean over at AutoDesk (think AutoCAD etc.) is running an F# programming contest ! I've included his post

Konkurs F# i AutoDesk

.neting in the free world — Wed, 11 Feb 2009 03:09:47 GMT

Ostatnio ponowiłem wysiłki do opanowania nowych języków z rodziny MS w tym także implementacji znanych

Konkurs F# i AutoDesk

.neting in the free world — Mon, 16 Feb 2009 13:12:20 GMT

Ostatnio ponowiłem wysiłki do opanowania nowych języków z rodziny MS w tym także implementacji znanych