Programación intencional
La programación intencional es un paradigma de programación . Describe el enfoque de alejarse del código fuente convencional como la única especificación de un programa para expresar mejor las intenciones del programador a través de una variedad de opciones de especificación adecuadas. La programación intencional aún está en desarrollo, basada en ideas de Charles Simonyi .
En particular, las notaciones tradicionales, generalmente muy sofisticadas , de varios dominios de problemas (por ejemplo, fórmulas matemáticas, notación musical, fórmulas estructurales químicas, símbolos de circuitos, etc.) también deberían ser utilizables.
La insuficiencia de comprender un tema complejo con una sola representación no es inusual. Por ejemplo, en geometría diferencial se intenta describir variedades . Una esfera no se puede proyectar bien en todos los aspectos en un solo mapa bidimensional . Tienes que hacer varios mapas (un atlas ), cada uno de los cuales solo cubre aspectos parciales.
Actualmente no hay implementación de un lenguaje de programación intencional .