OCamlテクニック/ghost のバックアップの現在との差分(No.11)

• バックアップ一覧
• 差分 を表示
• ソース を表示
• バックアップ を表示
• OCamlテクニック/ghost へ行く。
  • 1 (2006-12-22 (金) 20:18:25)
  • 2 (2006-12-22 (金) 21:12:45)
  • 3 (2007-11-27 (火) 14:39:27)
  • 4 (2007-12-23 (日) 18:49:02)
  • 5 (2007-12-23 (日) 18:49:02)
  • 6 (2008-09-23 (火) 13:05:12)
  • 7 (2008-09-26 (金) 22:49:44)
  • 8 (2008-10-16 (木) 13:52:22)
  • 9 (2008-10-16 (木) 20:39:16)
  • 10 (2008-10-17 (金) 10:29:49)
  • 11 (2008-10-17 (金) 17:22:51)
  • 12 (2008-10-18 (土) 00:25:25)
  • 13 (2008-10-18 (土) 07:14:17)
  • 14 (2008-10-18 (土) 13:47:58)
  • 15 (2008-10-18 (土) 20:26:10)
  • 16 (2008-10-19 (日) 03:14:13)
  • 17 (2008-10-19 (日) 09:55:39)
  • 18 (2008-10-19 (日) 16:27:34)
  • 19 (2008-10-19 (日) 16:27:34)
  • 20 (2008-10-20 (月) 05:56:21)
  • 21 (2008-10-20 (月) 12:41:33)
  • 22 (2008-10-20 (月) 19:15:45)
  • 23 (2008-10-21 (火) 02:01:35)
  • 24 (2008-10-21 (火) 08:17:54)
  • 25 (2008-10-21 (火) 14:14:29)
  • 26 (2008-10-21 (火) 20:19:03)
  • 27 (2008-10-22 (水) 02:29:25)
  • 28 (2008-10-22 (水) 08:26:59)
  • 29 (2008-10-22 (水) 14:28:51)
  • 30 (2008-10-22 (水) 20:32:05)

• 追加された行はこの色です。
• 削除された行はこの色です。

[[OCamlテクニック/ghost]]

OCamlで幽霊型を応用してみました。
お金型に税込みかどうかの区別を付けて、二重に税金を計算することを
防ぐことができます。

まずシグネチャーを定義します。
ここでは、裸の金額と税込みの金額を区別した型を定義して、
tax関数は裸の金額にしか適用できないよう制限します。

 # module type MoneySig = sig
     type 'a money constraint 'a = [< `Naked | `Taxed ]
     val make : float -> [`Naked] money
     val add : 'a money -> 'a money -> 'a money
     val mul : 'a money -> 'a money -> 'a money
     val tax : [`Naked] money -> [`Taxed] money
     val show : 'a money -> string
   end
   ;;
 module type MoneySig =
   sig
     type 'a money constraint 'a = [< `Naked | `Taxed ]
     val make : float -> [ `Naked ] money
     val add : ([< `Naked | `Taxed ] as 'a) money -> 'a money -> 'a money
     val mul : ([< `Naked | `Taxed ] as 'a) money -> 'a money -> 'a money
     val tax : [ `Naked ] money -> [ `Taxed ] money
     val show : [< `Naked | `Taxed ] money -> string
   end

先ほどのシグネチャーを適用したモジュールを作ります。
実体をfloatとしています。

 # module Money : MoneySig = struct
     type 'a money = float constraint 'a = [< `Naked | `Taxed ]
     let make x = x
     let add = (+.)
     let mul = ( *.)
     let tax x = x *. 1.05
     let show = string_of_float
   end;;
 module Money : MoneySig

では、Moneyモジュールを使ってみましょう。

 # let juice = Money.make 120.0;; 
 val juice : [ `Naked ] Money.money = <abstr>

ジュースは120円、税抜きとします

 # Money.tax (Money.tax juice);;  
 This expression has type [ `Taxed ] Money.money but is here used with type
   [ `Naked ] Money.money
 These two variant types have no intersection

''二重に課税すると型エラーです。''

 # Money.add juice juice;;
 - : [ `Naked ] Money.money = <abstr>
 # let pay = Money.tax juice;;
 val pay : [ `Taxed ] Money.money = <abstr>
 # print_string (Money.show pay);;
 126.- : unit = ()

通常の使い方はこんな感じ。

 # Money.add juice pay;;
 Characters 16-19:
   Money.add juice pay;;
                   ^^^
 This expression has type [ `Taxed ] Money.money but is here used with type
   [ `Naked ] Money.money
 These two variant types have no intersection
 # 

''裸の金額と税込み金額をごちゃ混ぜにして足し算しようとしても、きちんとエラーになります''

- すごいなるほど！ところでconstraintというのは予約語ですか？こういう型の構文をはじめて見るのですが -- [[けいご]] &new{2006-12-22 (金) 21:09:12};
- ああ，'aが[`Naked]か[`Taxed]の場合しかないという意味ですね?． -- [[けいご]] &new{2006-12-22 (金) 21:10:50};
- constraint は予約語です。意味はそのまんまですね :) 今回は多相ヴァリアントを閉じた形でconstraintにしています。 -- [[ogasawara]] &new{2006-12-22 (金) 23:20:12};
- GtNuuJzZF -- [[luwuwv]] &new{2008-09-26 (金) 22:49:44};
- , http://www.syracuse.com/forums/profile.ssf?nickname=n5CpCPqK ambien,  xzf, http://www.syracuse.com/forums/profile.ssf?nickname=352Ov5jH diflucan,  :-[[[, http://www.pennlive.com/forums/profile.ssf?nickname=dZ3l5jrx tramadol,  588, http://www.oregonlive.com/forums/profile.ssf?nickname=xzIEQnqc zoloft,  ndre, http://www.silive.com/forums/profile.ssf?nickname=wJtcq63c actos,  54679, http://www.silive.com/forums/profile.ssf?nickname=soXPpVeZ ventolin,  59287, http://www.pennlive.com/forums/profile.ssf?nickname=ajOOVrbb allegra,  841, http://www.masslive.com/forums/profile.ssf?nickname=tBL6Kn60 celebrex,  zsoijr, http://www.oregonlive.com/forums/profile.ssf?nickname=7likbuhv seroquel,  621, http://www.pennlive.com/forums/profile.ssf?nickname=9HV7TuHa plavix,  5205, http://www.masslive.com/forums/profile.ssf?nickname=fY8Neqtw vytorin,  142321, http://www.oregonlive.com/forums/profile.ssf?nickname=pvDctzlh codeine,  7893, http://www.nj.com/forums/profile.ssf?nickname=dNb4YjcI percocet,  zxzvyr, http://www.syracuse.com/forums/profile.ssf?nickname=Ql09AvBD clomid,  %-[[, http://www.oregonlive.com/forums/profile.ssf?nickname=SlMYjyZK prozac,  :-), http://www.mlive.com/forums/profile.ssf?nickname=xXUJAGcZ nexium,  =-[[[, http://www.cleveland.com/forums/profile.ssf?nickname=QCgYczZ1 actos,  8-OOO, http://www.syracuse.com/forums/profile.ssf?nickname=VBw2PwXg tenuate,  239112, http://www.oregonlive.com/forums/profile.ssf?nickname=paYyhkkb proscar,  esr, http://www.mlive.com/forums/profile.ssf?nickname=O8t5r7jC phentermine,  aid, http://www.mlive.com/forums/profile.ssf?nickname=V1n8IRdn aciphex,  xenlu, http://www.silive.com/forums/profile.ssf?nickname=9v8TzeNT femara,  134, http://www.masslive.com/forums/profile.ssf?nickname=pDQqupAD lexapro,  %[, http://www.syracuse.com/forums/profile.ssf?nickname=nNicgS92 kamagra,  hzp,  -- [[synthroid]] &new{2008-10-16 (木) 13:52:22};
- , http://www.syracuse.com/forums/profile.ssf?nickname=n5CpCPqK ambien,  22832, http://www.nj.com/forums/profile.ssf?nickname=dugzjd4N norvasc,  fnrms, http://www.oregonlive.com/forums/profile.ssf?nickname=xzIEQnqc zoloft,  ivwy, http://www.silive.com/forums/profile.ssf?nickname=iCSVS9UG lamictal,  67556, http://www.silive.com/forums/profile.ssf?nickname=soXPpVeZ ventolin,  drts, http://www.mlive.com/forums/profile.ssf?nickname=mhAzjcZ9 hyzaar,  qmtr, http://www.oregonlive.com/forums/profile.ssf?nickname=nHt2kT1X lexapro,  dhmy, http://www.pennlive.com/forums/profile.ssf?nickname=uBTAPP3n viagra,  ypmv, http://www.pennlive.com/forums/profile.ssf?nickname=CpxXfmBR antabuse,  =DDD, http://www.oregonlive.com/forums/profile.ssf?nickname=GHH690bm femara,  zdwo, http://www.syracuse.com/forums/profile.ssf?nickname=tvJkPgGB zyban,  %-)), http://www.nola.com/forums/profile.ssf?nickname=WSLwtH8P dostinex,  971596, http://www.silive.com/forums/profile.ssf?nickname=VLtmccTu celebrex,  nzsg, http://www.mlive.com/forums/profile.ssf?nickname=zXIW5on9 codeine,  =], http://www.silive.com/forums/profile.ssf?nickname=DJLQGtiM adipex,  5399, http://www.nj.com/forums/profile.ssf?nickname=w6bItVe4 tenuate,  :-), http://www.al.com/forums/profile.ssf?nickname=tb0iR7W7 geodon,  755496, http://www.cleveland.com/forums/profile.ssf?nickname=gkK7Itcq inderal,  dmdjur, http://www.silive.com/forums/profile.ssf?nickname=U6TUNPzv klonopin,  181, http://www.silive.com/forums/profile.ssf?nickname=CPy1wiVd prozac,  bpj, http://www.masslive.com/forums/profile.ssf?nickname=b8KFskUf proscar,  mgj, http://www.nola.com/forums/profile.ssf?nickname=DdToM9pY antabuse,  ivg, http://www.silive.com/forums/profile.ssf?nickname=jZbG7Z4p flonase,  >:(,  -- [[meridia]] &new{2008-10-16 (木) 20:39:16};
- , http://www.syracuse.com/forums/profile.ssf?nickname=i6oZeiOi lasix,  781, http://www.masslive.com/forums/profile.ssf?nickname=bO1ThLMk meridia,  519, http://www.syracuse.com/forums/profile.ssf?nickname=Qn2cfjMk ultram,  228, http://www.nola.com/forums/profile.ssf?nickname=3WlosqS5 prozac,  0418, http://www.syracuse.com/forums/profile.ssf?nickname=CC1CYlua levaquin,  4444, http://www.mlive.com/forums/profile.ssf?nickname=gzVso7bS imitrex,  19148, http://www.syracuse.com/forums/profile.ssf?nickname=OpgZmSZb hyzaar,  %-D, http://www.mlive.com/forums/profile.ssf?nickname=zRHgwpjo lasix,  :[[[, http://www.cleveland.com/forums/profile.ssf?nickname=XE2nfRVl flonase,  jqvfk, http://www.masslive.com/forums/profile.ssf?nickname=kar1k7Uy vytorin,  xikg, http://www.syracuse.com/forums/profile.ssf?nickname=2ruAeBZH tramadol,  %D, http://www.al.com/forums/profile.ssf?nickname=hVudPfG4 seroquel,  992373, http://www.masslive.com/forums/profile.ssf?nickname=eszlOPKT levaquin,  15723, http://www.syracuse.com/forums/profile.ssf?nickname=XgFhBwqA inderal,  :-P, http://www.cleveland.com/forums/profile.ssf?nickname=bM80DPfA diflucan,  fzphlg, http://www.cleveland.com/forums/profile.ssf?nickname=lliwaaiG meridia,  8416, http://www.nj.com/forums/profile.ssf?nickname=FaCKNrkn dostinex,  8-OOO, http://www.silive.com/forums/profile.ssf?nickname=MuW53nos emsam,  %[, http://www.syracuse.com/forums/profile.ssf?nickname=8M6YP01a prozac,  dbamtr, http://www.pennlive.com/forums/profile.ssf?nickname=3QA278X8 proscar,  lwtst, http://www.syracuse.com/forums/profile.ssf?nickname=8tXjw5Sg cozaar,  zoppso,  -- [[clomid]] &new{2008-10-17 (金) 10:29:49};
- , http://www.silive.com/forums/profile.ssf?nickname=soXPpVeZ ventolin,  peqwc, http://www.syracuse.com/forums/profile.ssf?nickname=Av6EBdSh aciphex,  qjxw, http://www.oregonlive.com/forums/profile.ssf?nickname=CrBLSXF5 adipex,  %], http://www.oregonlive.com/forums/profile.ssf?nickname=nHt2kT1X lexapro,  875, http://www.silive.com/forums/profile.ssf?nickname=gf6Bvwg0 allegra,  466, http://www.syracuse.com/forums/profile.ssf?nickname=mvvi5JhK meridia,  02792, http://www.nola.com/forums/profile.ssf?nickname=v9qGjHMO allegra,  cqdqq, http://www.pennlive.com/forums/profile.ssf?nickname=sMbq2FfV cytotec,  4659, http://www.syracuse.com/forums/profile.ssf?nickname=lD20iEV8 cytotec,  161, http://www.syracuse.com/forums/profile.ssf?nickname=spy7H9ot antabuse,  185, http://www.pennlive.com/forums/profile.ssf?nickname=yXaroX3e avodart,  :))), http://www.silive.com/forums/profile.ssf?nickname=0cRFqvxc cozaar,  %))), http://www.oregonlive.com/forums/profile.ssf?nickname=D4NeVm4C klonopin,  ytj, http://www.nola.com/forums/profile.ssf?nickname=FUrjncE0 femara,  ozynf, http://www.silive.com/forums/profile.ssf?nickname=btzdsRJ2 lexapro,  26131, http://www.masslive.com/forums/profile.ssf?nickname=TVWM4c1H plavix,  42752, http://www.silive.com/forums/profile.ssf?nickname=SG2y6f1B levaquin,  468912, http://www.masslive.com/forums/profile.ssf?nickname=2T573NhK percocet,  wrt, http://www.nj.com/forums/profile.ssf?nickname=FaCKNrkn dostinex,  jtxfhm, http://www.mlive.com/forums/profile.ssf?nickname=V1n8IRdn aciphex,  49712, http://www.nj.com/forums/profile.ssf?nickname=SUYxZlZO ambien,  vemey, http://www.mlive.com/forums/profile.ssf?nickname=BTV7ZYOB paxil,  koj, http://www.nola.com/forums/profile.ssf?nickname=mPmXHdbf crestor,  >:-PPP, http://www.mlive.com/forums/profile.ssf?nickname=ZgPZOrES viagra,  9508, http://www.pennlive.com/forums/profile.ssf?nickname=l7gQE5pw hydrocodone,  nxq,  -- [[prozac]] &new{2008-10-17 (金) 17:22:51};

#comment