17:41
@Jefffrey I have two objections to using exceptions in pure code, one ideological and one technical.
The ideological boils down to exceptions being a hack to let us write functions that are not total but masquerade as such (they kinda are: the language doesn't need them, but it would make the barrier to entry even higher; just one of the many design 'mistakes' that cater to newbies).
The technical one is the fact that the behaviour of code that uses exception-throwing pure functions is unpredictable because of lazy evaluation.