Life

private class Life : IDisposable
{
    public Live()
    {
        while(this.Alive)
        {
            if(!this.WantToLive)
            {
                break;  // kill myself
            }
            if(this.Riajuu)
            {
                Life.Enjoy(this);    // 到達できないコードが検出されました
            }
        }
        this.Die();
    }
}

let rec Life state =
    match state with
    | Sinitai -> Die ()     (* kill myself *)
    | Riajuu -> Enjoy ()    (* This rule will never be matched *)
    | _ -> Life state

class Life(object):
    pass

全てくだらない思いつき。