F# match with when

Нельзя согласно синтаксису?

хз, просто не нашёл про ограничение на when в перечислении шаблонов, а он не работает...

let p = true
let pp = false
match p with 
| true  
| false when pp -> 1
| _ -> 2

вот так, к примеру можно

Глянул, там эдакая фича - переменные можно обзывать одинаково и использовать в одном when биндинге, правда набор переменных должен совпадать:

type T =
    | One   of int
    | Two   of int
    | Zero


let foo t =
    match t with
        | One i | Two i when i = 2 -> printfn "2"
        | One i when i < 2 -> printfn "ONE!!"
        | _ -> printfn "ZERO!"

[<EntryPoint>]
let main _ =
    let t1 = One 1
    let t2 = One 2
    let t3 = Two 2

    [t1; t2; t3] |> List.iter foo


    Console.ReadLine() |> ignore
    0

Выдаст:

ONE!! 2 2

http://msdn.microsoft.com/ru-ru/library/dd233242.aspx - тут вообще ничего нету про сокращённый синтаксис | «rule».

Если хочешь - ройся тут http://research.microsoft.com/en-us/um/cambridge/projects/fsharp/manual/spec.... может сие есть баг, а может - фича. Но что-то мне подсказывает, что это фича)

http://msdn.microsoft.com/ru-ru/library/dd233242.aspx - тут вообще ничего нету про сокращённый синтаксис | «rule».

Я к тому, что использовать его можно на свой страх и риск :) Я так вообще не пользуюсь им, как и when.

печально, была бы удобная фича...

к слову, на лиспере, что ты всё таки думаешь - почему такая разность в производительности

к слову, на лиспере, что ты всё таки думаешь - почему такая разность в производительности

Ты о чём?

о, мы наверное не с тобой там разговаривали)

Видимо да) Из компьютерных форумов я на LOR и CodeNet бываю, поэтому и удивился.

понятно, просто чел написал там, что на подобный вопрос только про F# отвечал мне на ЛОРе я и подумал, что ты)

вот, если интересно о чём я - http://lisper.ru/forum/thread/660