Funzionamento bancomat in OCaml!

Samueleex

OCaml è un linguaggio di programmazione funzionale di alto livello nato nel 90.
Questo linguaggio possiede anche alcune caratteristiche di programmazione imperativa, come le variabili ecc... il che lo rende un linguaggio di programmazione adatto sia per lo sviluppo di applicazioni funzionali che imperative, insomma utile per l'implementazione di strutture dati e algoritmi complessi.

Vediamo ora un esempio pratico; ho scritto questo semplice programma che simula un bancomat o ATM. Il programma chiede all'utente di inserire il PIN e poi gli offre la possibilità di effettuare un prelievo o un deposito.
La funzione prompt_for_pin chiede all'utente di inserire il PIN, in questo caso quello corretto è "1234", se lo scrivete in modo errato il codice restituisce un messaggio di errore e richiede nuovamente il PIN (funzione ricorsiva).
La funzione prompt_for_transaction chiede all'utente di scegliere tra un prelievo o un deposito e quindi richiede l'importo della transazione.
La funzione main rappresenta l'entry point del programma. Inizialmente viene impostato il saldo del conto su 1000 in seguito si trasforma in funzione prompt_for_pin.

Il codice:

let rec prompt_for_pin () =
  print_string "Please enter your PIN: ";
  let input = read_line () in
  if input = "1234" then
    true
  else
    (print_string "Invalid PIN. Please try again.\n";
     prompt_for_pin ())

let rec prompt_for_transaction account_balance =
  print_string "Please select a transaction type (D for deposit, W for withdrawal): ";
  let transaction_type = read_line () in
  if transaction_type = "D" then
    (print_string "Please enter the amount you would like to deposit: ";
     let amount = read_float () in
     account_balance +. amount)
  else if transaction_type = "W" then
    (print_string "Please enter the amount you would like to withdraw: ";
     let amount = read_float () in
     let new_balance = account_balance -. amount in
     if new_balance < 0. then
       (print_string "Insufficient funds.\n";
        account_balance)
     else
       new_balance)
  else
    (print_string "Invalid transaction type. Please try again.\n";
     prompt_for_transaction account_balance)

let main () =
  let account_balance = 1000. in 
  print_string "Welcome to the ATM.\n";
  if prompt_for_pin () then 
    let new_balance = prompt_for_transaction account_balance in 
    print_string "Transaction complete. Thank you for using our ATM.\n";
    print_string "Your new balance is: ";
    print_float new_balance;
    print_string "\n"
  else
    print_string "Sorry, you have entered an invalid PIN.\n"

let () = main ()

Come sempre se volete testarlo vi lascio qui un IDE online dove potete eseguirlo!

Giulio_M

Samueleex non ho mai approfondito questo linguaggio, ne avevo (ovviamente) sentito parlare e il nome incuriosisce. La cosa interessante è come è nato, l'acronimo, ovvero ML = Meta Language (per la definizione di altri linguaggi, come ad esempio XLM) e OCaml è successore del precedente CAML = Categorical Abstract Machine Language, la lettera "O" è stata aggiunta per estendere l'ambito alla nuova introduzione della programmazione ad oggetti.

In termini di performance, il suo codice compilato è considerato circa alla pari del C/C++. Sarebbe interessante testarlo anche in questo senso, magari vedo di apprendere le basi della sintassi di questo linguaggio e creare un bel benchmark come ho già fatto (stessa macchina, stesso problema da risolvere, per avere una confrontabilità), per capirci come il Benchmark performance C, Python, MATLAB - GNU Octave, JavaScript, PHP che poi ho esteso anche a COBOL, con la discussione COBOL per l'analisi numerica: integrali definiti, benchmark C, Python.

In termini di performance (e non solo ahah) COBOL aveva un po' deluso le aspettative, OCaml sembra invece promettere bene! 😀

Fondatori