Preguntas etiquetadas con programming-languages

¿Qué significa cuando un argumento de una función se llama argumento ficticio ? No he encontrado este término fuera de Fortran, ¿es un término general en informática? ¿Cuáles serían ejemplos de argumentos pasados ​​como ficticios y no pasados ​​como ficticios? Encontré esta definición , que no estoy seguro de entender, …

8 terminology  programming-languages  functional-programming 

Estoy a punto de implementar un lenguaje de dominio específico para la representación de convenciones de aprendizaje social. Parte de la implementación es una descripción formal de un lenguaje: su 'cálculo', símbolos y expresiones lógicas. Mi enfoque sería describir el lenguaje describiendo su gramática, pero también hay conceptos como relaciones, …

8 formal-languages  programming-languages  semantics 

Las máquinas de Turing tienen un alfabeto de símbolos formales , un estado y una descripción basada en reglas de transición de cómo se realiza un cálculo. El Modelo de actor a veces se menciona como un modelo computacional más poderoso que las máquinas de Turing (no en lo que …

8 terminology  computability  reference-request  programming-languages  computation-models 

Estoy aprendiendo programación en ML (OCaml), y antes pregunté sobre las funciones de tipo ML'a -> 'b . Ahora he estado experimentando un poco con funciones de tipo 'a list -> 'b list. Hay algunos ejemplos simples obvios: let rec loop l = loop l let return_empty l = [] …

8 programming-languages  typing  functional-programming