Reverse polish calculator compiler in F# using quotations, derived from this 35-line Racket example http://beautifulracket.com/stacker/source-listing.html Raw

ReversePolishCompiler1.fs

let (|Float|_|) s =
  let mutable x = 0.0
  if System.Double.TryParse(s, &x) then Some x else None

let rec (|Parse|) = function
  | Float x::t -> <@ x @>, t
  | "+"::Parse(x, Parse(y, t)) -> <@ %x + %y @>, t
  | "*"::Parse(x, Parse(y, t)) -> <@ %x * %y @>, t

let (Parse(f, _)) = stdin.ReadToEnd().Split '\n' |> List.ofSeq |> List.rev

printfn "%f" (QuotationCompiler.QuotationCompiler.Eval f)