4 ms·
At least in the first example, the optionality is directly encoded in the types, so no assumptions have been lost.
by zellyn 1y ago
At least in the first example, the optionality is directly encoded in the types, so no assumptions have been lost.