OCaml: попытка подсчета частоты символов в строке

Question

let countA =0 in 
let countC =0 in 
let countG =0 in 
let countT =0 in 
let countChar x = 
    match x with 
    'A' -> countA = countA + 1 
    |'C'-> countC = countC + 1 
    |'G' -> countG = countG + 1 
    |'T'-> countT = countT + 1 
;; 

Я получаю синтаксическую ошибку, но я не понимаю, почему, я все еще довольно новичок в Ocaml.

Answer 1

Ошибка вашего синтаксиса возникает из-за того, что ваш последний let не имеет in после него. Это, в свою очередь, вызвано тем, что ваша функция countChar не определена на самом внешнем уровне (модуля). Если вы хотите, чтобы определить ряд имен верхнего уровня, вы должны определить их все без in:

let countA = 0 
let countC = 0 
let countChar x = ... 

Таким образом, это ваша проблема синтаксиса. Однако есть много других проблем с этим кодом.

Наиболее очевидными двумя являются (A), которые вы ожидаете, чтобы иметь возможность изменять значения countA и так далее. Но они неизменные ценности, вы не можете их изменить. (B) Вы используете =, как если бы это был оператор присваивания. Но в OCaml это оператор сравнения. Ваш код - только СравнениеcountA против countA + 1. Поэтому, конечно, результат false.

Конечно, стоит научиться вычислять с неизменяемыми значениями, поэтому я попытаюсь исправить этот код, научившись переносить кумулятивные значения как параметры функции и возвращать их в конце. Но если вы настаиваете на кодировании императивно, вам придется использовать ссылки для ваших подсчетов.

Я также не вижу никакого кода, который работает на строке. Ваша функция countChar (как следует из названия) работает только с одним символом.

Update

Вот функция, которая подсчитывает, сколько появляются четные и нечетные Интсы в массиве. Она работает без мутирует ничего:

let eoa array = 
    let rec inner n (evenct, oddct) = 
     if n >= Array.length array then 
      (evenct, oddct) 
     else 
      let newcounts = 
       if array.(n) mod 2 = 0 then (evenct + 1, oddct) 
       else (evenct, oddct + 1) 
      in 
      inner (n + 1) newcounts 
    in 
    inner 0 (0, 0) 

Вот как это выглядит, когда вы запустите его:

# eoa [| 3; 1; 4; 1; 5; 9; 2 |];; 
- : int * int = (2, 5)