We obtain a criterion for an analytic subset of a Euclidean space to contain points of differentiability of a typical Lipschitz function: namely, that it cannot be covered by countably many sets, each of which is closed and purely unrectifiable (has a zero-length intersection with every $C^1$ curve). Surprisingly, we establish that any set failing this criterion witnesses the opposite extreme of typical behaviour: in any such coverable set, a typical Lipschitz function is everywhere severely non-differentiable.

We prove that for every function $f\,:\,X\,\to \,Y$ , where $X$ is a separable Banach space and $Y$ is a Banach space with RNP, there exists a set $A\,\in \,\overset{\sim }{\mathop{\mathcal{A}}}\,$ such that $f$ is Gâteaux differentiable at all $x\,\in \,S\left( f \right)\backslash A$ , where $S\left( f \right)$ is the set of points where $f$ is pointwise-Lipschitz. This improves a result of Bongiorno. As a corollary, we obtain that every $K$ -monotone function on a separable Banach space is Hadamard differentiable outside of a set belonging to $\tilde{C}\,;$ this improves a result due to Borwein and Wang. Another corollary is that if $X$ is Asplund, $f\,:\,X\,\to \,\mathbb{R}$ cone monotone, $g\,:\,X\,\to \,\mathbb{R}$ continuous convex, then there exists a point in $X$ , where $f$ is Hadamard differentiable and $g$ is Fréchet differentiable.