Acerca del servicio
TraducidoDesarrollo código aplicado e investigativo en el lenguaje Egison — un lenguaje funcional cuya característica clave es la coincidencia de patrones no lineales expresivos sobre tipos de datos no libres: conjuntos, multiconjuntos, grafos. Si tienes datos cuya estructura no se ajusta a la coincidencia de patrones estándar, diseño un coincididor adecuado, y el lenguaje Egison se encarga del trabajo pesado. Mi práctica se divide en tres direcciones. Primero — diseño de patrones: codifico colecciones, permutaciones, combinaciones de póker, alineación de secuencias y restricciones combinatorias como coincididores concisos y los verifico con pruebas exhaustivas. Segundo — computación simbólica y matemática: aplico el motor simbólico incorporado y la notación de índice tensorial para derivar y diferenciar expresiones, prototipar algoritmos y verificar identidades que son tediosas de calcular a mano. Tercero — apoyo a la investigación: ayudo a reproducir resultados de artículos del lenguaje Egison, portar prototipos y convertir especificaciones matemáticas en código ejecutable. El entregable incluye código fuente limpio comentado, README, suite de pruebas ejecutable y una breve llamada con recorrido. Tengo años de experiencia en programación funcional con Haskell y Scheme, por lo que la transición a Egison es natural. Describe qué estructuras necesitas coincidir y qué identidades probar, y enviaré un plan con hitos antes de la primera línea de código.
