Wyzer es un lenguaje de programación compilado, de tipado estático y orientado a recursos que se presenta como un proyecto open source en fase temprana de investigación. Su propuesta central es aplicar una única regla de propiedad a tres ámbitos que suelen tratarse por separado: la gestión de memoria, la concurrencia entre hilos y la comunicación entre procesos en red. De este modo, el compilador puede detectar de forma estática errores clásicos como interbloqueos distribuidos, mensajes perdidos o condiciones de carrera sin que el programador tenga que razonar sobre cada caso.
El lenguaje adopta el conteo de referencias Perceus, tomado de Koka y Lean 4, para gestionar memoria sin recolector de basura ni un Borrow Checker al estilo Rust, y se apoya en la programación coreográfica, una técnica de investigación académica, para generar automáticamente el código de cada participante de un protocolo distribuido a partir de una especificación única. Los autores subrayan que la mayor parte de las piezas ya existen en otros sistemas: la novedad reside en combinarlas y extender la coreografía también a hilos e interrupciones, de manera que la misma regla demuestre seguridad de memoria, de interrupciones y de red.
Wyzer presume de una sintaxis explícita y minimalista: variables inmutables por defecto, tipado fuerte visible, errores devueltos como tipos Result manejados con match y ausencia de async/await oculto. Frente a Rust, busca una curva de aprendizaje más suave; frente a Go, Java, C# o Python, evitar el coste y la impredecibilidad del recolector de basura; y frente a la programación de red manual, eliminar las conjeturas sobre cómo se entienden dos procesos. El repositorio reconoce abiertamente que se trata de investigación inicial con varios problemas sin resolver y anima a contribuir y a unirse a su servidor de Discord.