Desenvolvimento puramente funcional na linguagem Clean

Eu desenvolvo software funcional de alto desempenho na linguagem Clean e tenho feito isso tempo suficiente para entender onde suas forças realmente compensam. Minha especialização é a tipagem de unicidade: eu modelo o estado para que o compilador possa provar que um valor é usado exatamente uma vez. Isso permite que a linguagem Clean mutile arrays, registros e arquivos in-loco, enquanto o código-fonte permanece puramente funcional e referencialmente transparente. É assim que eu obtenho desempenho de nível C a partir de código puro, sem efeitos colaterais. Tarefas típicas: portar núcleos numéricos ou simbólicos para Clean, eliminar bugs sutis de aliasing de referência em um módulo existente, projetar uma camada de I/O via *World para que os efeitos permaneçam explícitos e ordenados, e ajustar binários compilados nativamente para um estado onde loops quentes realmente se vetorizam. Eu perfilo honestamente, anoto a rigidez onde a preguiça é cara, e redesenho estruturas de dados únicas para reduzir alocações em vez de apenas silenciar o verificador de tipos. Trabalho de pesquisa também é bem-vindo: em Clean, experimentei com redução de grafos, combinadores de analisadores e benchmarks reproduzíveis. Você recebe módulos legíveis, um conjunto de testes, medições em relação à sua versão base, e um documento curto explicando os atributos de unicidade para que sua equipe possa desenvolver o código sem mim. Se você não tem certeza se Clean é adequado para sua tarefa — envie uma descrição, e eu direi honestamente de antemão, antes que você gaste orçamento.