Разработка на языке Clean под ключ: функциональные системы

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