Développement en Carp pour des systèmes en temps réel

J'écris du code de production en Carp — un Lisp statiquement typé conçu pour des tâches en temps réel où une pause du ramasse-miettes est tout simplement inacceptable. Je me soucie des logiciels qui doivent respecter leur délai à chaque image et chaque tampon audio : logique de jeu, moteurs de synthèse et DSP, boucles physiques et noyaux numériques denses. Carp vous offre l'expressivité de Lisp associée à la prévisibilité du contrôle manuel de la mémoire, et je m'appuie sur son modèle de propriété pour garantir : il n'y aura jamais de pause cachée au pire moment. En pratique, cela signifie que je conçois vos données de sorte que les emprunts et les déplacements soient vérifiés à la compilation, et le résultat se comporte comme du C soigneusement écrit, mais sans ses pièges. Ce que je livre dépend exactement de votre objectif. Je peux commencer un projet à partir d'un dépôt vide, configurer la construction et développer une structure modulaire propre. Je peux prendre un prototype fonctionnel et le renforcer — corriger les erreurs de propriété, supprimer les copies accidentelles et profiler les points chauds jusqu'à ce que les chiffres soient stables. J'écris des liaisons pour que Carp communique proprement avec vos bibliothèques C, backends audio ou couche graphique. Chaque travail est accompagné d'une source lisible, de commentaires réfléchis, d'une petite suite de tests et d'une courte note sur les décisions de mémoire que nous avons prises, afin que votre équipe puisse maintenir le code après moi. Au fil des années à travailler avec des systèmes à faible latence, je me suis habitué à considérer le déterminisme comme une propriété, pas de la chance. Si vous avez une idée en temps réel que les environnements d'exécution continuent de limiter, Carp est presque certainement le bon outil, et je peux aider à le prouver rapidement. Nommez votre budget d'image ou taille de tampon — et je dirai honnêtement si je peux l'atteindre.