Hacker News Digest

Цель стажировки – заложить основу для системы рефакторинга в Merlin, вдохновлённой IntelliJ и Gleam.

Первый эксперимент – команда «вынести выражение на верхний уровень» (extract to toplevel).

Как работает

1. Выделяется наибольшее выражение внутри выбранного фрагмента.
2. Оно переносится в новое let-связывание на уровень выше.
3. Если выражение не чистое, создаётся thunk unit -> …, чтобы сохранить семантику.
4. Свободные переменные превращаются в параметры новой функции.

Примеры

• Константа 3.14159 → let const_name1 = 3.14159.
• print_endline внутри блока → оборачивается в fun () -> ….
• a + b + c + (c * x * y) + z → функция, принимающая x, y, a, b, c.

Результат – работающий прототип, готовый к расширению другими командами.