Pattern Matching of Units of Measure in F#

Posted by Oldrich Svec on Stack Overflow See other posts from Stack Overflow or by Oldrich Svec
Published on 2010-04-19T09:06:54Z Indexed on 2010/04/19 9:13 UTC
Read the original article Hit count: 227

Filed under:

F#

|

pattern-matching

|

units-of-measurement

This function:

let convert (v: float<_>) =
  match v with
  | :? float<m> -> v / 0.1<m>
  | :? float<m/s> -> v / 0.2<m/s>
  | _ -> failwith "unknown"

produces an error

The type 'float<'u>' does not have any proper subtypes and cannot be used as the source of     a type test or runtime coercion.

Is there any way how to pattern match units of measure?

© Stack Overflow or respective owner

Related posts about F#

FSharp.Core.sigdata not found alongside FSharp.Core

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm trying to use F# for an ASP.NET MVC application. One my controller actions sends an F# list to the view, so I write: <%@ Page Language="C#" Inherits="ViewPage<FSharpList<int>>" %> Of course, for this to work, I have to add Microsoft.FSharp.Collections to the namespaces element… >>> More
F# Powerpack's Metadata doesn't recognize FSharp.Core as an F# library

as seen on Stack Overflow - Search for 'Stack Overflow'
Here's my test code to isolate the problem: open Microsoft.FSharp.Metadata [<EntryPoint>] let main args = let core = FSharpAssembly.FromFile @"C:\Program Files\FSharp-2.0.0.0\\bin\FSharp.Core.dll" let core2 = FSharpAssembly.FSharpLibrary let core3 = System.AppDomain.CurrentDomain.GetAssemblies()… >>> More
Nasty mono bug with F#

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi, I have this monstrous f# 2.0 program My mono version is Mono JIT compiler version 2.9 (master/f593354 Sun Dec 26 03:15:55 EET 2010) Copyright (C) 2002-2010 Novell, Inc and Contributors. www.mono-project.com TLS: __thread SIGSEGV: altstack Notifications: epoll Architecture:… >>> More
Could not load file or assembly FSharp.Core, Version=4.0.0.0

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm trying to deploy a web application which uses F# 4.0 on Windows Server 2008. It works on my computer where VS2010 is installed but it doesn't work on the server. Everytime you open the page you'll get this error message: Could not load file or assembly 'FSharp.Core, Version=4.0.0.0, Culture=neutral… >>> More
FSharp.Compiler.CodeDom for VS2008 and VS2010 side-by-side

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm using FSharp.Compiler.CodeDom to dynamically create F# classes. The problem is, that I have both VS2008 and VS2010 on my computer side-by-side (they works fine), and using F# in this configuration is buggy at best: If I don't install InstallFSharp.msi, then under VS2008 the built classes complain… >>> More

Related posts about pattern-matching

A couple of pattern matching issues with pattern matching in Lua

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm fairly new to lua programming, but I'm also a quick study. I've been working on a weather forecaster for a program that I use, and it's working well, for the most part. Here is what I have so far. (Pay no attention to the zs.stuff. That is program specific and has no bearing on the lua coding… >>> More
pattern matching in .Net consistent with IsolatedStorageFile.GetFileNames() pattern matching

as seen on Stack Overflow - Search for 'Stack Overflow'
Is the pattern matching logic used by this API exposed for reuse somewhere in the .Net Framework? Something of the form FilePatternMatch( string searchPattern, stringfileNameToTest ) is what I'm looking for. I'm implementing a temporary workaround for WP7 not filtering the results for this overload… >>> More
pattern matching in Bash

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi, Here is an example to get different parts of a filename bash-3.2$ pathandfile=/tmp/ff.txt bash-3.2$ filename=$(basename $pathandfile) bash-3.2$ echo $filename ff.txt bash-3.2$ echo ${filename##*.} txt bash-3.2$ echo ${filename%.*} ff I was wondering what does ##… >>> More
What is a 'Pattern Matching' in functional languages?

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm reading about functional programming (in academic purpose) and I've noticed that Pattern Matching is mentioned in many articles as one of the core features of functional languages. Can someone explain for a java/c++/javascript developer what does it mean? >>> More
Lua pattern matching vs. regular expressions

as seen on Stack Overflow - Search for 'Stack Overflow'
hello, i'm currently learning lua. regarding pattern-matching in lua i found the following sentence in the lua documentation on lua.org: Nevertheless, pattern matching in Lua is a powerful tool and includes some features that are difficult to match with standard POSIX implementations. as i'm… >>> More