Продолжаю разираться с Why3
Очень поучительно (кроме практической пользы) в плане менее навороченной и в некотором смысле "промежуточной" альтернативы всякой науке про зависимые и рафинированные типы и прочее - примерно как Ocaml полезен в качестве "промежуточной" к Haskell ступеньки (еще и куда более практичной, тоже).
Щас осознал откуда берется естественным образом идея необязательных (в смысле автоматически определяемых из контекста) параметров:
И правда:
( Collapse )
Щас осознал откуда берется естественным образом идея необязательных (в смысле автоматически определяемых из контекста) параметров:
И правда:
( Collapse )