F# Car Rental Business model -


i in new f#, please have mercy. trying model a car rental business in f#. types are:
customer
driver
car
vehicletype
rentalagreement not implemented yet

my specific question can f# class have member discriminated union? car should have attribute reflects type of vehicle is...compact, sedan, truck, etc... below code far... 

namespace dsl2  // du type vehicletype =  truck | compact | econ | sedan  // record type customer =  {firstname: string; lastname: string; gender: string}  //a class implicit ctor'tion type car(numdoors:int ,  make: string , year:int)  = class     member this.numdoors = numdoors     member this.make = make     member this.year = year   end  //a class explicit ctor'tion type car2 = class     val numdoors: int     val make: string     val year: int      (*first ctor*)     new (numdoors, make, year) =          {numdoors = numdoors; make = make; year = year}   end

yes, add member class , include in constructor desired value.

// du type vehicletype =  truck | compact | econ | sedan  // record type customer =  {firstname: string; lastname: string; gender: string}  //a class implicit ctor'tion type car(numdoors:int ,  make: string , year:int)  = class     member this.numdoors = numdoors     member this.make = make     member this.year = year   end  //a class explicit ctor'tion type car2 = class     val numdoors: int     val make: string     val year: int     val du: vehicletype      (*first ctor*)     new (numdoors, make, year, cust) =          {numdoors = numdoors; make = make; year = year;  du = truck }  end

Comments

Post a Comment

Popular posts from this blog

javascript - RequestAnimationFrame not working when exiting fullscreen switching space on Safari -

request animation frame stops working when exiting fullscreen clicking on original space's safari window. fine if fullscreen mode canceled escape key or calling cancelfullscreen(). steps reproduce: open https://dl.dropboxusercontent.com/u/769042/prezi/safari-fullscreen.html click "draw raf", kittie appears click "fullscreen", go fullscreen click "draw raf", kittie appears go space original safari was, showing "click exit fullscreen mode", click anywhere, out fullscreen click "draw raf", nothing happens what handling click calling: window.requestanimationframe(draw); which draws on canvas context: function draw() { ctx.drawimage(img, math.random()*500|0, math.random()*400|0, 100, 100); } i checked .hidden , .visibilitystate, updated correctly. tested on osx 10.9.3, safari 7.0.4 (9537.76.4). has workaround/solution other switching old settimeout? this sounds webkit bug 88940 : using reque...
Read more

jsf - How to ajax update an item in the footer of a PrimeFaces dataTable? -

this visual of table have: +---------+------------+-------------------+ | header1 | header2 | header3 | +---------+------------+-------------------+ | row | input | calc'ed output | | row b | input b | calc'ed output b | | etc.. | etc.. | etc.. | +---------+------------+-------------------+ | total: total calc'ed output | +------------------------------------------+ and stripped-down code: <p:datatable id="mytable" value="#{mybean.somelist}" var="currentitem"> <p:column headertext="header1"> <h:outputtext value="#{currentitem.name}" /> </p:column> <p:column headertext="header2"> <pe:inputnumber value="#{currentitem.inputval}"> <p:ajax event="change" listener="#{mybean.changelistener}" update="outputval outputtotal...
Read more

django - CSRF verification failed. Request aborted. CSRF cookie not set -

error: reason given failure: csrf cookie not set. in general, can occur when there genuine cross site request forgery, or when django's csrf mechanism has not been used correctly. post forms, need ensure: browser accepting cookies. view function uses requestcontext template, instead of context. in template, there {% csrf_token %} template tag inside each post form targets internal url. if not using csrfviewmiddleware, must use csrf_protect on views use csrf_token template tag, accept post data. you're seeing section of page because have debug = true in django settings file. change false, , initial error message displayed. can customize page using csrf_failure_view setting. did find, nothing helped, must foolish(( my template <form method="post">{% csrf_token %} {% field in form %} <div class="control-group"> {{ field }} </div> {% endfor %} <input type=...
Read more