Пишу низкоуровневые функциональные системы на Ante — экспериментальном системном языке, который соединяет функциональный подход с ручным распоряжением памятью. Ante определяет времена жизни ещё при компиляции, поэтому вы получаете надёжность уровня borrow-checker и гибкость ручного размещения данных без обязательных явных пометок. Вдобавок алгебраические эффекты дают возможность описать ввод-вывод, состояние, исключения и асинхронность как компонуемые обработчики первого класса вместо клубка колбэков и скрытых глобальных переменных.
Мои задачи: чувствительные к скорости библиотеки и сервисы, собственные аллокаторы и арены памяти, обработчики эффектов под вашу область, надёжные FFI-переходы к готовому коду на C и опрятное функциональное ядро вокруг императивной обёртки. Держу в приоритете предсказуемую работу с памятью, абстракции без накладных расходов и код, который остаётся понятным при разрастании.
Порядок работы: сначала короткий этап проектирования модели данных и границ эффектов, дальше пишу пошагово, с проверками на каждой стадии. Ante собирается через LLVM, поэтому я замеряю нагруженные участки и подбираю размещение памяти, удерживая задержки стабильными. На выходе — исходники с описанием, готовая сборка и разбор для вашей команды.
Ante — молодой исследовательский язык, поэтому я прямо говорю, что уже пригодно для боевого применения, а что пока эксперимент. Если узлу нужен устойчивый рантайм, предложу смешанный вариант. Опишите задачу — оценю честно.
Мои задачи: чувствительные к скорости библиотеки и сервисы, собственные аллокаторы и арены памяти, обработчики эффектов под вашу область, надёжные FFI-переходы к готовому коду на C и опрятное функциональное ядро вокруг императивной обёртки. Держу в приоритете предсказуемую работу с памятью, абстракции без накладных расходов и код, который остаётся понятным при разрастании.
Порядок работы: сначала короткий этап проектирования модели данных и границ эффектов, дальше пишу пошагово, с проверками на каждой стадии. Ante собирается через LLVM, поэтому я замеряю нагруженные участки и подбираю размещение памяти, удерживая задержки стабильными. На выходе — исходники с описанием, готовая сборка и разбор для вашей команды.
Ante — молодой исследовательский язык, поэтому я прямо говорю, что уже пригодно для боевого применения, а что пока эксперимент. Если узлу нужен устойчивый рантайм, предложу смешанный вариант. Опишите задачу — оценю честно.
