caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] Detecting missed checks for error indications in ML code
@ 2021-01-24 11:42 Markus Elfring
  2021-01-24 14:08 ` Hendrik Boom
  2021-01-24 14:34 ` Oliver Bandel
  0 siblings, 2 replies; 13+ messages in thread
From: Markus Elfring @ 2021-01-24 11:42 UTC (permalink / raw)
  To: caml-list

Hello,

OCaml belongs also to the category of functional programming languages.
Thus the last expression in a function usually becomes the result of
the data processing which was specified in a ML source file.
This would usually happen also if the return value from a function call
indicates an error code (when a function implementation does not throw an exception
according to an error situation).

I got the impression that corresponding error checks can occasionally be missing.
How do you think about to detect such cases by advanced source code analysis?

Regards,
Markus

^ permalink raw reply	[flat|nested] 13+ messages in thread

end of thread, other threads:[~2021-01-30 11:51 UTC | newest]

Thread overview: 13+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-01-24 11:42 [Caml-list] Detecting missed checks for error indications in ML code Markus Elfring
2021-01-24 14:08 ` Hendrik Boom
2021-01-24 15:28   ` Markus Elfring
2021-01-24 14:34 ` Oliver Bandel
2021-01-24 15:52   ` Markus Elfring
2021-01-24 16:07     ` Oliver Bandel
2021-01-24 16:21       ` Markus Elfring
2021-01-25  3:59         ` Yawar Amin
2021-01-25 18:55           ` Markus Elfring
2021-01-24 16:18     ` Oliver Bandel
2021-01-24 16:50       ` Markus Elfring
2021-01-29 21:14         ` [Caml-list] Error handling in FPLs (Re: Detecting missed checks for error indications in ML code) Oliver Bandel
2021-01-30 11:51           ` Markus Elfring

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).