>>20のやり方がいいんじゃねーかな
たぶん>>16も同じこと？

たぶん両者が言ってるのはこんな感じ？(1/2)
type action =
| Work // バイトをする
| Deposite // 銀行で貯金をする
| Rest;; // 家で寝る

type life_state =
| Working // …ということを目標金額まで繰り返し
| Resting;; // ごろ寝

let sigma event state =
match (event, state) with
// バイトをする: 手持ちが1増える
| (Work, (budget, account)) -> (budget + 1, account)
// 銀行で貯金をする: 手持ちを0にし、貯金が1増える
| (Deposite, (budget, account)) -> (0, account + 1)
// 家で寝る: 貯金が1減る
| (Rest, (budget, account)) -> (budget, account - 1);;