Чисто функціональна розробка мовою Clean

Я розробляю високопродуктивне функціональне програмне забезпечення на мові Clean і займаюсь цим достатньо довго, щоб розуміти, де його сильні сторони справді окупаються. Моя спеціалізація — типізація унікальності: я моделюю стан так, щоб компілятор міг довести, що значення використовується рівно один раз. Це дозволяє мові Clean змінювати масиви, записи та файли прямо на місці, тоді як вихідний код залишається чисто функціональним і референціально прозорим. Саме так я отримую продуктивність рівня C з чистих, вільних від побічних ефектів вихідників. Звичайні завдання: перенесення числового або символьного ядра на мову Clean, усунення тонких помилок розділення посилань у існуючому модулі, проектування шару введення-виведення через *World, щоб ефекти залишались явними та впорядкованими, і доведення нативно скомпільованих бінарників до стану, коли гарячі цикли справді векторизуються. Я чесно профілюю, розставляю анотації суворості там, де ледивість дорого обходиться, і переробляю унікальні структури даних так, щоб падало число алокацій, а не просто замовкав перевірник типів. Дослідницькі роботи також приветствую: на мові Clean я робив експерименти з графовою редукцією, комбінатори парсерів та відтворювані бенчмарки. Ви отримуєте читабельні модулі, набір тестів, виміри щодо вашої базової версії та короткий документ, що пояснює атрибути унікальності, щоб команда могла розвивати код без мене. Якщо сумніваєтесь, чи підходить мова Clean під вашу задачу — надішліть опис, і я чесно скажу наперед, до витрат бюджету.