К основному содержанию
A1sCode
Быстрый старт
MILA v1.0 · Быстрый вход

MILA за 60 секунд

Одностраничная формула WHAT · TYPE · WHY · EDGE · HOW и переход EDGE → TEST.

Пройти микро-курс →К обзору MILA

Формула

TEXT
WHAT
    [TYPE]
    WHY
    EDGE
    HOW

EDGE → TEST

Шесть шагов

  1. Назови результат предметным именем.
  2. Добавь TYPE только тогда, когда язык не выражает важное ограничение.
  3. Напиши WHY: почему решение существует?
  4. Напиши EDGE: какое ближайшее значение меняет результат?
  5. Проверь HOW: соответствует ли оператор заявленной границе?
  6. Создай TEST: ниже → на границе → выше.

Пример

Пример 2наведите на цветной токен, чтобы увидеть его рольMILA
ЗадолженностьПослеОтгрузки
    // WHY: решение принимается по состоянию после заказа
    = ТекущийДолг + СуммаЗаказа;

ЛимитПревышен
    // EDGE: точное равенство лимиту разрешено
    = ЗадолженностьПослеОтгрузки > КредитныйЛимит;
TEXT
99.99 / 100.00 → Ложь
100.00 / 100.00 → Ложь
100.01 / 100.00 → Истина

TYPE нужен, если важно уточнить: null запрещён; 0 отличается от отсутствия; число должно быть конечным; точность равна двум знакам; допустимы только определённые статусы; внешние данные ещё не проверены.

ИИ может предложить HOW. Человек отвечает за WHAT, WHY и EDGE. TYPE уточняет контракт. TEST доказывает границу.