Управление списками в OCaml - PullRequest
Новая
       15

Управление списками в OCaml

2 голосов
/ 11 марта 2009

У меня проблемы с манипулированием глубоко вложенными списками в OCaml в следующем контексте. 

class foo (pIn:int)=
object (self)
    val p = pIn
    val even = if (pIn mod 2) = 0 then true else (false)
    method doIt = "doIt"
    method isEven = even
    method getP = p
end;;

let rec createListOfElements howMany =  (
    Random.self_init ();
    if howMany > 1 then ((new foo (Random.int 10))::(createListOfElements (howMany - 1)))
    else ([(new foo (Random.int 10))])  );;

let myList = createListOfElements 5;;

let rec process1 param =
     if param <= 10 then
          let f = new foo param in          (
                if f#isEven then (myList <- List.append myList (createListOfElements f#getP));
                Printf.printf "%s\n" f#doIt;
                process1 (param+1)                                  )
in process1 0;;

Я получаю сообщение об ошибке: «Несвязанная переменная экземпляра myList». Как я могу присвоить myList результат «List.append myList (createListOfElements f # getP)» в этом контексте?

Спасибо!

Отредактированная функция: 

let myList = ref (createListOfElements 5);;

let rec process1 param =
     if param <= 10 then
          let f = new foo param in          (
                if f#isEven then (myList <- !myList @ (createListOfElements f#getP));
                Printf.printf "%s\n" f#doIt;
                process1 (param+1)                                  )
in process1 0;;

1 Ответ

1 голос
/ 11 марта 2009

Вы должны использовать ссылки, чтобы нарушить постоянство - так как функциональное программирование использует постоянные данные. Используйте ключевое слово ref в объявлении myList: 

let myList = ref (createListOfElements 5)

Для разыменования списка используйте !, поэтому рассматриваемая строка становится 

if f#isEven then
  myList := !myList @ f#getP;

Я предлагаю вам использовать аккумулятор, так как он в духе стиля функционального программирования, например: 

let rec process1 lst = function
  | x when x <= 10 ->
      let f = new foo x in
      if f#isEven then
          process1 (lst @ (createListOfElements f#getP)) (param+1)
      else
          process1 lst (param+1)
  | _ -> lst

EDIT:

Я не скомпилировал свой код и не заметил, что вы используете неправильный символ для изменения значения ссылки. Правильный символ - :=. Смотрите мои изменения выше. Тем не менее, я настоятельно рекомендую вам избегать ссылок и идти путем накопителя.

...