Doing OO in F# : Defining an F# Class

Here we see three object-oriented mechanisms in action inside of F#.  hotel and motel are classes, class motel inherits class hotel, and the numberOfRooms is a privately encapsulated field of the motel class.  Also note that we publicly expose numberOfRooms with the property NumberOfRooms.

#light

type hotel = class
  val name : string
  new() = {name = "Hotel California"}
  end

type motel = class
  inherit hotel
  val mutable private numberOfRooms: int
  val CAPACITY : int
  member x.CalculateRate = (float)x.numberOfRooms * 125.50
  member x.IncrementRooms(n) = x.numberOfRooms <- x.numberOfRooms + n  
  member x.Vacant = (x.numberOfRooms = 0)
  member x.Filled = (x.numberOfRooms > x.CAPACITY)
  member this.NumberOfRooms
   with get() = this.numberOfRooms
   and set((v:int)) = (this.numberOfRooms <- v) 
  new() = { CAPACITY = 400
                 numberOfRooms = 0 }
  end

open System
let motel1 = new motel()
Console.WriteLine("***** {0} *******", motel1.name)
Console.WriteLine ("number of rooms = {0}", motel1.NumberOfRooms)
if (motel1.Vacant) then
  Console.WriteLine ("The motel is empty")
motel1.IncrementRooms (5)
Console.WriteLine ("number of rooms = {0} costing {1:c}", motel1.NumberOfRooms, motel1 .CalculateRate )

if (motel1.Vacant) then
  Console.WriteLine ("The hotel is empty")motel1.NumberOfRooms <- 400
Console.WriteLine ("number of rooms = {0} costing {1:c}", motel1.NumberOfRooms, motel1.CalculateRate )
Console.ReadLine()

The code above excercises the IncrementRoom method and the NumberOfRooms Property to simulate the occupation of a motel.  It also calculates the total rate from the number of rooms occupied at any given time.

The result of running the code listed above is shown in the screenshot below.