Desarrollo puramente funcional en el lenguaje Clean

Desarrollo software funcional de alto rendimiento en el lenguaje Clean y he estado haciéndolo el tiempo suficiente para entender dónde realmente se aprovechan sus fortalezas. Mi especialización es el tipado de unicidad: modelo el estado de manera que el compilador pueda probar que un valor se utiliza exactamente una vez. Esto permite que el lenguaje Clean muta arreglos, registros y archivos en su lugar, mientras que el código fuente permanece puramente funcional y referencialmente transparente. Así es como obtengo un rendimiento de nivel C de código puro, sin efectos secundarios. Tareas típicas: portar núcleos numéricos o simbólicos a Clean, eliminar sutiles errores de aliasing de referencia en un módulo existente, diseñar una capa de E/S a través de *World para que los efectos permanezcan explícitos y ordenados, y ajustar binarios compilados nativamente a un estado donde los bucles calientes realmente se vectorizan. Perfilo honestamente, anoto la estrictitud donde la pereza es costosa, y rediseño estructuras de datos únicas para reducir asignaciones en lugar de solo silenciar el verificador de tipos. También se acepta trabajo de investigación: en Clean he experimentado con reducción de grafos, combinadores de analizadores y benchmarks reproducibles. Obtienes módulos legibles, un conjunto de pruebas, mediciones contra tu versión base, y un documento corto que explica los atributos de unicidad para que tu equipo pueda desarrollar el código sin mí. Si no estás seguro de si Clean es adecuado para tu tarea — envía una descripción, y te diré honestamente de antemano, antes de que gastes presupuesto.