возможно ли в ML поймать все возможные исключения? например, если я не знаю, какое исключение может быть
Оператор handle позволяет вам создавать исключения совпадений, поэтому вы можете использовать что-то вроде handle _ для сопоставления чего угодно, например,
handle
handle _
hd [] handle _ => 0