Back to Questions
1.4k
views 1
comment
Some questions about OCaml to F#
f# ocaml
Hi Everyone,

Love F# and OCaml and I'm learning more and more every day.

However, I'm a bit frustrated by a few things as I try and convert some OCaml to F#.

For example, how do I use something like this:

let rec highest_adp_satisfying ?(verbose=false) rulelist s : Player.t =

In F#? The problem area is the ?(verbose=false) because I get a syntax error there.

Also, how do I use labels like this:

~cmp:(fun (v1, _) (v2, _) -> compare v2 v1)

in F#? Do I simply just take out the ~cmp: and leave the rest there? Here's the statement that line belongs to:

let arg_max f l =
  let valued =
    List.map
      (fun i -> (f i, i))
      l in
  let ordered =
    List.sort
      ~cmp:(fun (v1, _) (v2, _) -> compare v2 v1)
      valued in
  snd (List.hd (ordered))

Plus I have a small section of OCaml code that I'm not certain how to translate properly because F# doesn't seem to want to do this for me:

module OrderedPlayer =
  struct
    type t = Player.t (* string type *)
    let compare x y = compare x.id y.id (* a compare function I guess *)
  end;;

module PSet = Set.Make(OrderedPlayer)</b>

The Set.Make(OrderedPlayer) gives me a syntax error.

They're probably stupid questions and no I'm not too lazy to go through tutorials and documentations for both languages, I'm just very confused right now.

Any help would be appreciated.
.
Hello,

Optional arguments are only permitted on type members.
Functors and labels are not supported.
You able to instantiate all collections without functors:

Set.of_list [for i in 1..100 -> i*i]
Set.empty<int>
... (see docs to F# library)

If you want to define Set<your_own_type>, you can implement type with appropriate interface declared.
By on 8/23/2008 7:55 AM ()

    Topic tags

    IntelliFactory Offices Copyright (c) 2011-2012 IntelliFactory. All rights reserved.
    Home | Products | Consulting | Trainings | Blogs | Jobs | Contact Us     		Built with WebSharper