| |||
|
|
Кстати Еще к этому: Вообще-то упорное нежелание поддерживать средствами систем типов вариант "значение не определено" несколько удивляет - потому как делается несложно, и кроме того, что повышает читаемость и позволяет на уровне системы типов отслеживать этот вопрос, еще и просто полезно как распространенный случай представления данных (как в этом примере например). В общем тип 'a option рулит. |
||||||||||||||