My take is more that functional style really wants everything to be a value. And checked exceptions break that pretty heavily. Same reason most functional sty

My take is more that functional style really wants everything to be a value. And checked exceptions break that pretty heavily. Same reason most functional style heavy languages don't have statements as much as they do expressions. For places it gets really intrusive, consider that when/where an exception is raised in a map statement. There is also the annoyance of how junior programmers will fixate on trying to model every exception thinking that means they have handled them. With many exceptions being necessarily delivered all the way to the user, granular modeling of them is of rapidly diminishing value compared to quickly getting it to the user in the first place.