Sobre o serviço
TraduzidoEu desenvolvo backends e ferramentas para dados e finanças em F# na plataforma .NET, aderindo a uma abordagem funcional onde a correção é primordial. Começo o trabalho modelando o domínio do problema: suas regras de negócio eu codifico em tipos, de modo que estados incorretos são simplesmente impossíveis de construir, e classes inteiras de erros desaparecem antes mesmo do programa ser executado. Uniões etiquetadas, registros e correspondência de padrões exaustiva me permitem expressar a intenção com precisão, e o compilador se torna um revisor incansável que verifica cada ramo da lógica para mim. Como resultado, o código acaba sendo mais curto, mais fácil de entender e muito menos propenso aos erros silenciosos que atormentam sistemas fracamente tipados.
Ao longo dos anos, eu enviei serviços que calculam dinheiro, pedidos, preços e relatórios, onde um único erro é inaceitável. Eu confio na imutabilidade, funções puras e limites claros entre o núcleo do domínio e o mundo exterior, para que partes importantes permaneçam testáveis e previsíveis. Eu escrevo testes baseados em propriedades e testes baseados em exemplos, mantenho efeitos colaterais nas bordas e projeto APIs que são difíceis de usar incorretamente. Quando o desempenho importa, eu perfilo honestamente e otimizo caminhos quentes em vez de adivinhar.
Se você precisa de um backend HTTP ou de fila confiável, um motor de cálculo, um pipeline ETL ou uma pequena utilidade financeira, eu verei a tarefa do início ao fim e entregarei um código limpo e documentado que sua equipe pode manter. Eu integro com SQL e filas de mensagens, empacoto a construção em um contêiner e configuro integração contínua para que os lançamentos permaneçam chatos e previsíveis.
— Modelagem de domínio com tipos que proíbem estados inválidos
— Backends, motores de cálculo e pipelines ETL
— Testes baseados em propriedades e entrega de código limpo e documentado
Ao longo dos anos, eu enviei serviços que calculam dinheiro, pedidos, preços e relatórios, onde um único erro é inaceitável. Eu confio na imutabilidade, funções puras e limites claros entre o núcleo do domínio e o mundo exterior, para que partes importantes permaneçam testáveis e previsíveis. Eu escrevo testes baseados em propriedades e testes baseados em exemplos, mantenho efeitos colaterais nas bordas e projeto APIs que são difíceis de usar incorretamente. Quando o desempenho importa, eu perfilo honestamente e otimizo caminhos quentes em vez de adivinhar.
Se você precisa de um backend HTTP ou de fila confiável, um motor de cálculo, um pipeline ETL ou uma pequena utilidade financeira, eu verei a tarefa do início ao fim e entregarei um código limpo e documentado que sua equipe pode manter. Eu integro com SQL e filas de mensagens, empacoto a construção em um contêiner e configuro integração contínua para que os lançamentos permaneçam chatos e previsíveis.
— Modelagem de domínio com tipos que proíbem estados inválidos
— Backends, motores de cálculo e pipelines ETL
— Testes baseados em propriedades e entrega de código limpo e documentado