À propos du service
TraduitJe développe des systèmes fonctionnels de bas niveau dans Ante — un langage de systèmes de recherche qui combine le style fonctionnel avec la gestion manuelle de la mémoire. Ante infère les durées de vie à la compilation, vous obtenez donc la sécurité d'un vérificateur d'emprunt et la liberté d'allocation manuelle sans annotations explicites obligatoires. De plus, les effets algébriques vous permettent d'exprimer l'I/O, l'état, les exceptions et l'asynchrone comme des gestionnaires de premier ordre composables au lieu de mélanges de rappels ou d'états globaux cachés.
Ce que je fais : bibliothèques et services critiques pour la performance, allocateurs et arènes personnalisés, gestionnaires d'effets pour votre domaine, ponts FFI sûrs vers du code C existant, et un noyau fonctionnel pur autour d'une interface impérative. Je garde un focus sur un comportement mémoire prévisible, des abstractions sans coût, et un code qui reste lisible à mesure qu'il grandit.
Comment se déroule le travail : nous commençons par une courte phase de conception pour le modèle de données et les limites des effets, puis je construis de manière itérative avec des tests à chaque étape. Ante compile via LLVM, donc je profile les chemins chauds et ajuste le placement de la mémoire, en maintenant les latences uniformes. Vous obtenez le code source documenté, la configuration de construction, et un guide pour que l'équipe puisse maintenir le projet.
Ante est un jeune langage de recherche, donc je suis honnête sur ce qui est prêt pour la production et ce qui est expérimental. Si un composant nécessite un runtime stable, je suggérerai un chemin hybride. Notez la tâche — je l'évaluerai directement.
Ce que je fais : bibliothèques et services critiques pour la performance, allocateurs et arènes personnalisés, gestionnaires d'effets pour votre domaine, ponts FFI sûrs vers du code C existant, et un noyau fonctionnel pur autour d'une interface impérative. Je garde un focus sur un comportement mémoire prévisible, des abstractions sans coût, et un code qui reste lisible à mesure qu'il grandit.
Comment se déroule le travail : nous commençons par une courte phase de conception pour le modèle de données et les limites des effets, puis je construis de manière itérative avec des tests à chaque étape. Ante compile via LLVM, donc je profile les chemins chauds et ajuste le placement de la mémoire, en maintenant les latences uniformes. Vous obtenez le code source documenté, la configuration de construction, et un guide pour que l'équipe puisse maintenir le projet.
Ante est un jeune langage de recherche, donc je suis honnête sur ce qui est prêt pour la production et ce qui est expérimental. Si un composant nécessite un runtime stable, je suggérerai un chemin hybride. Notez la tâche — je l'évaluerai directement.
