# Exception vs Result

**URL:** <https://discuss.ocaml.org/t/exception-vs-result/6931>\
**Category:** Learning\
**Tags:** exceptions\
**Created:** [December 7, 2020, 7:38pm UTC](https://discuss.ocaml.org/t/exception-vs-result/6931 "2020-12-07T19:38:10Z")\
**Posts on this page:** 1\
**Showing post:** 16

<div class="post-metadata">

**Author:** ![Taki](https://sea2.discourse-cdn.com/flex020/user_avatar/discuss.ocaml.org/taki/32/718_2.png) [@Taki](https://discuss.ocaml.org/u/Taki)\
**Post date:** [December 8, 2020, 9:14am UTC](https://discuss.ocaml.org/t/exception-vs-result/6931/16 "2020-12-08T09:14:58Z")

</div>

It seems that we had some discussion on this

> [@Why not place exn in function signature?](https://discuss.ocaml.org/t/why-not-place-exn-in-function-signature/1855/7):
>
> I believe there are difficuties with checked exceptions and higher-order functions. For example, how would you write the type for List.map if the function taken in the first parameter can throw an arbitrary exception? You’d end up having to use some generic exception annotation and lose the specific error information anyway.

---

_[View the full topic](https://discuss.ocaml.org/t/exception-vs-result/6931)._