Описание услуги
Я разрабатываю высокопроизводительный функциональный софт на языке Clean и занимаюсь этим достаточно давно, чтобы понимать, где его сильные стороны действительно окупаются. Моя специализация — типизация уникальности: я моделирую состояние так, чтобы компилятор мог доказать, что значение используется ровно один раз. Это позволяет языку Clean изменять массивы, записи и файлы прямо на месте, тогда как исходный код остаётся чисто функциональным и ссылочно прозрачным. Именно так я получаю производительность уровня C из чистых, свободных от побочных эффектов исходников. Обычные задачи: перенос числового или символьного ядра на язык Clean, устранение тонких ошибок разделения ссылок в существующем модуле, проектирование слоя ввода-вывода через *World, чтобы эффекты оставались явными и упорядоченными, и доводка нативно скомпилированных бинарников до состояния, когда горячие циклы действительно векторизуются. Я честно профилирую, расставляю аннотации строгости там, где ленивость дорого обходится, и переделываю уникальные структуры данных так, чтобы падало число аллокаций, а не просто замолкал проверяльщик типов. Исследовательские работы тоже приветствую: на языке Clean я делал эксперименты с графовой редукцией, комбинаторы парсеров и воспроизводимые бенчмарки. Вы получаете читаемые модули, набор тестов, замеры относительно вашей базовой версии и короткий документ, поясняющий атрибуты уникальности, чтобы команда могла развивать код без меня. Если сомневаетесь, подходит ли язык Clean под вашу задачу — пришлите описание, и я честно скажу заранее, до трат бюджета.
