Опис послуги
ПерекладРозробляю низькорівневі функціональні системи на Ante — дослідницькій системній мові, яка поєднує функціональний стиль з ручним управлінням пам'яттю. Ante виводить часи життя на етапі компіляції, тому ви отримуєте безпеку як у borrow-checker та свободу ручного розміщення без обов'язкових явних анотацій. Поверх цього алгебраїчні ефекти дозволяють виразити введення-виведення, стан, винятки та асинхронність як композовані обробники першого класу, а не як плутанину зворотних викликів або приховане глобальне стан.
Що я роблю: критичні до продуктивності бібліотеки та сервіси, власні розподільники та арени, обробники ефектів під вашу предметну область, безпечні FFI-мости до існуючого коду на C та чисте функціональне ядро навколо імперативної оболонки. Я тримаю в фокусі передбачувальну поведінку пам'яті, абстракції з нульовою вартістю та код, який залишається читаним при зростанні.
Як іде робота: починаємо з короткого етапу проектування моделі даних та кордонів ефектів, потім реалізую ітеративно, з тестами на кожному кроці. Ante компілюється через LLVM, тому я профілюю гарячі ділянки та налаштовую розміщення пам'яті, утримуючи затримки рівними. Ви отримуєте документований вихідний код, настройку збірки та розбір, щоб команда могла супроводжувати проект.
Ante — молодий дослідницький язик, тому я чесно розділяю, що готово до продакшену, а що експериментально. Якщо компоненті потрібен стабільний рантайм, я пропоную гібридний шлях. Напишіть задачу — оцню її без присутності.
Що я роблю: критичні до продуктивності бібліотеки та сервіси, власні розподільники та арени, обробники ефектів під вашу предметну область, безпечні FFI-мости до існуючого коду на C та чисте функціональне ядро навколо імперативної оболонки. Я тримаю в фокусі передбачувальну поведінку пам'яті, абстракції з нульовою вартістю та код, який залишається читаним при зростанні.
Як іде робота: починаємо з короткого етапу проектування моделі даних та кордонів ефектів, потім реалізую ітеративно, з тестами на кожному кроці. Ante компілюється через LLVM, тому я профілюю гарячі ділянки та налаштовую розміщення пам'яті, утримуючи затримки рівними. Ви отримуєте документований вихідний код, настройку збірки та розбір, щоб команда могла супроводжувати проект.
Ante — молодий дослідницький язик, тому я чесно розділяю, що готово до продакшену, а що експериментально. Якщо компоненті потрібен стабільний рантайм, я пропоную гібридний шлях. Напишіть задачу — оцню її без присутності.
