Esiste un debugger di traccia come dbg disponibile per Haskell o OCaml?Esiste un debugger di traccia come `dbg` disponibile per Haskell o OCaml?
Molto informalmente, è il debug in stile printf solo migliore, completamente configurabile in fase di esecuzione. In sostanza, l'utente può registrare un gestore di traccia quando è in esecuzione un sistema, che verrà richiamato su ogni azione da un insieme di azioni supportate dal runtime (ad es. Su ogni chiamata/ritorno di funzione, su ogni messaggio inviato/ricevuto ecc.) . Tale gestore può registrare ogni operazione, che fornisce una bella sequenza di tutti i passaggi che si verificano in (parte del) sistema.
Questo meccanismo può essere utilizzato per la registrazione/debugging, profilazione di alcune parti del sistema, ma in molti casi solo per scoprire come funziona un nuovo sistema (sconosciuto al programmatore).
'ocamldebug' non ha il debug di stile di traccia di cui parli, ma supporta i breakpoint e il time-travel. È inoltre disponibile il profiling del supporto da strumenti/flag aggiuntivi. – nlucaroni
Sebbene non sia un debugger di per sé, il primo livello di OCaml ha '# trace' e' # install_printer', che possono fare molto. – Nikos