Preguntas etiquetadas con programming-languages

A menudo trabajo con lexer / parsers , a diferencia de un combinador de analizadores y veo personas que nunca tomaron una clase de análisis, preguntan sobre el análisis de datos binarios. Por lo general, los datos no solo son binarios, sino también sensibles al contexto. Básicamente, esto lleva a …

13 programming-languages  compilers  parsers 

En el wiki de haskell hay el siguiente ejemplo de uso condicional de la mónada IO (ver aquí) . when :: Bool -> IO () -> IO () when condition action world = if condition then action world else ((), world) Tenga en cuenta que en este ejemplo, la definición …

12 programming-languages  functional-programming  haskell 

Cerrado. Esta pregunta está fuera de tema . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que esté en el tema de Computer Science Stack Exchange. Cerrado hace 10 meses . Python usa muy bien la sangría para definir sintácticamente bloques de código. (Ver declaraciones …

12 programming-languages  python  syntax 

Me encanta todo lo que es tiempo de compilación y me encanta la idea de que una vez que compilas un programa, se hacen muchas garantías sobre su ejecución. En términos generales, un sistema de tipo estático (Haskell, C ++, ...) parece ofrecer garantías de tiempo de compilación más sólidas …

12 programming-languages  type-theory  type-checking  software-verification 

En primer lugar, me gustaría decir que mi texto a continuación puede contener errores, así que siéntase libre de señalar cualquier error en mi formulación de la pregunta. Considere un cálculo lambda sin tipo con booleanos y sentencias if cuyos términos están dados por esta sintaxis: t ::= v | …

12 programming-languages  lambda-calculus 

Recientemente me di cuenta de que hay algún tipo de relación entre la teoría de los tipos de Russell y los sistemas de tipos, como se encuentra, por ejemplo, en Haskell. En realidad, parte de la notación de tipos en Haskell parece tener precursores en la teoría de tipos. Pero, …

12 programming-languages  type-theory 

Estoy tratando de entender las gramáticas sensibles al contexto. Entiendo por qué a los idiomas les gusta { w w ∣ w ∈ A∗}{ww∣w∈A∗}\{ww \mid w \in A^*\} { anortesinorteCnorte∣ n ∈ N }{anbncn∣n∈N}\{a^n b^n c^n \mid n\in\mathbb{N}\} no están libres de contexto, pero me gustaría saber si un lenguaje …

12 formal-grammars  programming-languages  lambda-calculus  context-sensitive 

Al crear un cliente para una API web en C #, me encontré con un problema relacionado nullcon un valor en el que representaría dos cosas diferentes: nada , por ejemplo, un foopuede o no tener unbar desconocido : por defecto, la respuesta API solo incluye un subconjunto de propiedades, …

11 programming-languages  language-design 

¿Existe alguna herramienta para la creación de prototipos de una semántica de lenguaje de programación y un sistema de tipos y que también permita algún tipo de verificación de modelo de propiedades estándar, como la solidez de tipo? Pregunto esto, porque estoy leyendo un libro sobre Alloy y proporciona la …

11 reference-request  programming-languages  semantics  model-checking 

¿Por qué los lenguajes de alto nivel aparentemente nunca llegan a los de nivel inferior en términos de velocidad? Ejemplos de lenguajes de alto nivel serían Python, Haskell y Java. Los lenguajes de bajo nivel serían más difíciles de definir, pero digamos C. Las comparaciones se pueden encontrar en todo …

11 programming-languages  performance 

Una respuesta sobre Programmers.SE caracteriza un ensayo de Cook (Los objetos no son ADT ) como diciendo Los objetos se comportan como una función característica sobre los valores de un tipo, más que como un álgebra. Los objetos usan abstracción de procedimiento en lugar de abstracción de tipo Los ADT …

11 programming-languages  object-oriented  abstract-data-types 

Estoy tratando de tener una idea general de la importancia del punto menos fijo (lfp) en el análisis del programa. Por ejemplo, la interpretación abstracta parece utilizar la existencia de lfp. Muchos trabajos de investigación sobre análisis de programas también se centran principalmente en encontrar el punto menos fijo. Más …

11 programming-languages  finite-model-theory  fixed-point 

Necesito una definición concisa del "estado de un objeto" en la programación orientada a objetos (para un artículo). Durante aproximadamente medio día busqué un documento que pueda citar sobre este tema, pero no pude encontrar uno. Todos los documentos que encontré eran principalmente documentos generales sobre programación orientada a objetos …

11 terminology  reference-request  programming-languages  object-oriented 

En el trabajo, se me ha encomendado la tarea de inferir cierta información sobre un lenguaje dinámico. Reescribo secuencias de declaraciones en letexpresiones anidadas , así: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

Estoy trabajando en un lenguaje basado en expresiones de genealogía ML, por lo que naturalmente necesita inferencia de tipos> :) Ahora, estoy tratando de extender una solución basada en restricciones al problema de inferir tipos, basada en una implementación simple en EOPL (Friedman y Wand), pero ellos eligen elegantemente los …

11 programming-languages  type-theory  functional-programming  inductive-datatypes  typing