Über den Service
ÜbersetztIch entwickle niedrigstufige funktionale Systeme in Ante – einer Forschungssprache, die funktionalen Stil mit manueller Speicherverwaltung kombiniert. Ante leitet Lebensdauern zur Compile-Zeit ab, sodass Sie die Sicherheit eines Borrow-Checkers und die Freiheit der manuellen Zuweisung ohne zwingend erforderliche explizite Anmerkungen erhalten. Darüber hinaus ermöglichen algebraische Effekte, I/O, Zustand, Ausnahmen und asynchrone Vorgänge als komposable erstklassige Handler auszudrücken, anstatt in Callback-Verwicklungen oder verstecktem globalen Zustand.
Was ich tue: leistungskritische Bibliotheken und Dienste, benutzerdefinierte Allokatoren und Arenen, Effekt-Handler für Ihr Fachgebiet, sichere FFI-Brücken zu bestehendem C-Code und einen rein funktionalen Kern um eine imperative Shell. Ich lege Wert auf vorhersehbares Speicherverhalten, nullkosten Abstraktionen und lesbaren Code, der beim Wachsen lesbar bleibt.
Wie die Arbeit abläuft: Wir beginnen mit einer kurzen Entwurfsphase für Datenmodell und Effektgrenzen, dann baue ich iterativ mit Tests in jedem Schritt. Ante kompiliert über LLVM, sodass ich heiße Pfade profiliere und die Speicherplatzierung anpasse, um die Latenzen gleichmäßig zu halten. Sie erhalten dokumentierte Quellen, Build-Setup und eine Anleitung, damit das Team das Projekt warten kann.
Ante ist eine junge Forschungssprache, daher bin ich ehrlich, was produktionsbereit ist und was experimentell ist. Wenn eine Komponente eine stabile Laufzeit benötigt, schlage ich einen hybriden Weg vor. Schreiben Sie die Aufgabe auf – ich werde sie direkt bewerten.
Was ich tue: leistungskritische Bibliotheken und Dienste, benutzerdefinierte Allokatoren und Arenen, Effekt-Handler für Ihr Fachgebiet, sichere FFI-Brücken zu bestehendem C-Code und einen rein funktionalen Kern um eine imperative Shell. Ich lege Wert auf vorhersehbares Speicherverhalten, nullkosten Abstraktionen und lesbaren Code, der beim Wachsen lesbar bleibt.
Wie die Arbeit abläuft: Wir beginnen mit einer kurzen Entwurfsphase für Datenmodell und Effektgrenzen, dann baue ich iterativ mit Tests in jedem Schritt. Ante kompiliert über LLVM, sodass ich heiße Pfade profiliere und die Speicherplatzierung anpasse, um die Latenzen gleichmäßig zu halten. Sie erhalten dokumentierte Quellen, Build-Setup und eine Anleitung, damit das Team das Projekt warten kann.
Ante ist eine junge Forschungssprache, daher bin ich ehrlich, was produktionsbereit ist und was experimentell ist. Wenn eine Komponente eine stabile Laufzeit benötigt, schlage ich einen hybriden Weg vor. Schreiben Sie die Aufgabe auf – ich werde sie direkt bewerten.
