À propos du service
TraduitJe développe des backends et des outils pour les données et la finance en F# sur la plateforme .NET, en respectant une approche fonctionnelle où la correction est primordiale. Je commence par modéliser le domaine du problème : vos règles métier que j'encode en types, de sorte que des états incorrects sont simplement impossibles à construire, et des classes entières d'erreurs disparaissent avant même que le programme ne s'exécute. Les unions étiquetées, les enregistrements et le matching de motifs exhaustif me permettent d'exprimer l'intention avec précision, et le compilateur devient un réviseur inflexible qui vérifie chaque branche de logique pour moi. En conséquence, le code s'avère plus court, plus facile à comprendre et beaucoup moins sujet aux erreurs silencieuses qui affligent les systèmes faiblement typés.
Au fil des ans, j'ai expédié des services qui calculent de l'argent, des commandes, des prix et des rapports, où une seule erreur est inacceptable. Je m'appuie sur l'immuabilité, les fonctions pures et des frontières claires entre le cœur du domaine et le monde extérieur, de sorte que les parties importantes restent testables et prévisibles. J'écris des tests basés sur des propriétés et des tests basés sur des exemples, je garde les effets secondaires aux bords, et je conçois des API qui sont difficiles à utiliser incorrectement. Lorsque la performance compte, je profile honnêtement et j'optimise les chemins critiques plutôt que de deviner.
Si vous avez besoin d'un backend HTTP ou de file d'attente fiable, d'un moteur de calcul, d'un pipeline ETL ou d'un petit utilitaire financier, je mènerai la tâche de bout en bout et livrerai un code propre et documenté que votre équipe pourra maintenir. Je m'intègre avec SQL et les files de messages, emballe la construction dans un conteneur et mets en place une intégration continue afin que les versions restent ennuyeuses et prévisibles.
— Modélisation de domaine avec des types qui interdisent les états invalides
— Backends, moteurs de calcul et pipelines ETL
— Tests basés sur des propriétés et livraison de code propre et documenté
Au fil des ans, j'ai expédié des services qui calculent de l'argent, des commandes, des prix et des rapports, où une seule erreur est inacceptable. Je m'appuie sur l'immuabilité, les fonctions pures et des frontières claires entre le cœur du domaine et le monde extérieur, de sorte que les parties importantes restent testables et prévisibles. J'écris des tests basés sur des propriétés et des tests basés sur des exemples, je garde les effets secondaires aux bords, et je conçois des API qui sont difficiles à utiliser incorrectement. Lorsque la performance compte, je profile honnêtement et j'optimise les chemins critiques plutôt que de deviner.
Si vous avez besoin d'un backend HTTP ou de file d'attente fiable, d'un moteur de calcul, d'un pipeline ETL ou d'un petit utilitaire financier, je mènerai la tâche de bout en bout et livrerai un code propre et documenté que votre équipe pourra maintenir. Je m'intègre avec SQL et les files de messages, emballe la construction dans un conteneur et mets en place une intégration continue afin que les versions restent ennuyeuses et prévisibles.
— Modélisation de domaine avec des types qui interdisent les états invalides
— Backends, moteurs de calcul et pipelines ETL
— Tests basés sur des propriétés et livraison de code propre et documenté
