Ya que algunos científicos de la computación categoría de uso de la teoría, me preguntaba si hay lenguajes de programación que utilizan ampliamente.
Respuestas
¿Demasiados anuncios?
Dave Ganger
Puntos
139
Desde el Categorical_abstract_machine entrada en la wikipedia, de la que estoy no se permite el enlace a:
"La noción de categórico de la máquina abstracta, o CAM surgió en la década de 1980 y en ciencias de la computación ocupa el lugar de una especie de teoría de la computación para los programadores. En una teoría de la CAM está representado por Cartesiana cerrada categoría (c.c.c.) y embebido en la lógica combinatoria."
Caml (también conocido como la base para Microsoft F#) es un acrónimo para Categórico de la Máquina Abstracta del Lenguaje.
Otra lectura interesante es Categórica Manifiesto por José Goguen.
Su proyecto lingüístico es el OBJ de la familia de las lenguas. Que yo no puedo enlace porque soy un usuario nuevo y estoy limitado a 1 hipervínculo.
Patrick
Puntos
20392
ML se utiliza en
Computacional De La Categoría De Teoría
Al parecer, existe al menos uno "categórica lenguaje de programación", es decir, Hagino
Un Categórico Lenguaje De Programación
(Hagino de la Tesis)
Andrew M
Puntos
390
Haskell es puramente funcional del lenguaje. Sin embargo, los efectos secundarios son (casi por definición) dificultad para incorporar en un lenguaje funcional. Esto es un problema importante ya que de e/S es muy importante el efecto secundario para la mayoría de los programas de ordenador. Haskell del método de incorporación de los efectos secundarios es el uso de las mónadas.
Una de las formas más simples de obtener una mónada es de un par de adjoint functors.
Para obtener más información sobre las mónadas ver:
(1) Embûches tejidos blog: las Mónadas en Matemáticas 1: ejemplos
(2) Una serie de conferencias en youtube por TheCatsters:
Pares de adjoint functors son bastante comunes, y he encontrado que proporcionan una forma útil de ver parte de la "gran imagen" en muchas ramas de las matemáticas.
Aquí es una de las varias presentaciones de pares de adjoint functors del Hormigón Tonterías blog.
