Perguntas com a marcação «programming-languages»

O que significa quando um argumento para uma função é chamado de argumento fictício ? Não encontrei esse termo fora de Fortran, é um termo geral em ciência da computação? Quais seriam os exemplos de argumentos passados ​​como fictícios e não passados ​​como fictícios? Encontrei essa definição , que não …

8 terminology  programming-languages  functional-programming 

Estou prestes a implementar uma linguagem específica de domínio para representação de convenções de aprendizagem social. Parte da implementação é uma descrição formal de uma linguagem - seu 'cálculo', símbolos e expressões lógicas. Minha abordagem seria descrever a linguagem descrevendo sua gramática, mas também existem conceitos como relações, diálogos, expectativas …

8 formal-languages  programming-languages  semantics 

As máquinas de Turing têm uma descrição formal do alfabeto de símbolos, estado e regras de transição de como é feita uma computação. Às vezes, o modelo do ator é mencionado como um modelo computacional mais poderoso do que as máquinas de Turing (não no que ele pode calcular, mas …

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

Estou aprendendo programação em ML (OCaml), e anteriormente perguntei sobre as funções de ML do tipo'a -> 'b . Agora eu tenho experimentado um pouco com funções do tipo 'a list -> 'b list. Existem alguns exemplos simples óbvios: let rec loop l = loop l let return_empty l = …

8 programming-languages  typing  functional-programming 

Qual é a relação e a diferença entre um modelo de programação e um paradigma de programação? (especialmente ao falar sobre o modelo de programação e o paradigma de programação para uma linguagem de programação.) A Wikipedia tenta responder à minha pergunta em 1: Os paradigmas de programação também podem …

8 terminology  programming-languages  computation-models  programming-paradigms 

Dizem que um programa inclui algoritmos; no entanto, se nos referirmos à sua definição, um algoritmo é uma sequência de instruções escritas para executar uma tarefa especificada e um programa de computador também é uma sequência de instruções para executar algumas tarefas no computador. Então, o que torna um programa …

8 algorithms  terminology  programming-languages 

Eu sou interessante no ensino de programação para alunos do ensino médio. Eu gostaria de uma linguagem de programação com os seguintes critérios: Simples - reduzido ao mínimo absoluto necessário para oferecer suporte a programação sofisticada sem muito código. Como tal, para esta linguagem, não estou interessado em indicadores e …

8 programming-languages  education 

Um vídeo do YouTube que eu estava assistindo explicou as diferenças entre programação imperativa e funcional, demonstrando como os números de 1para 10são resumidos em Java e em Haskell, respectivamente. Em Java, você deve declarar explicitamente cada etapa e atribuir o resultado de cada etapa a uma variável - algo …

8 programming-languages  functional-programming  programming-paradigms  imperative-programming 

Aqui, estou realmente interessado em diminuir as barreiras à educação matemática. Alvo: Eu gostaria de ver criado para a comunidade JavaScript, um equivalente das bibliotecas de computação científica e de alto desempenho baseadas em Python / vinculadas (ótimas listas das quais estão disponíveis no Sage ou não ). E eu …

8 programming-languages  compilers  performance 

A forma normal administrativa é uma representação intermediária do programa na qual cada instrução imediata tem um nome. É usado no GHC e no OCaml . A forma normalizada de K é uma representação intermediária na qual cada instrução consiste em uma atribuição e operação. É usado no MLKit, Min-Caml …

7 programming-languages  compilers 

Estou tentando provar algumas declarações sobre a execução em programas Java sob algumas restrições pesadas (basicamente tenho uma conjectura de que, se dois métodos satisfazem um conjunto de restrições para uma determinada entrada, então eles são equivalentes - ou seja, que retornam valor e estado após execução são idênticas). Para …

7 programming-languages  semantics  java  operational-semantics 

De acordo com esta descrição da ordem de resolução de método do Python (mro), também conhecida como linearização C3 , o algoritmo pode ser descrito recursivamente da seguinte forma: L(O) = <O> L(C) = <C> + merge(L(B1),..., L(Bn), <B1,...,Bn>) Onde O é a classe da qual toda classe herda. Cé …

7 algorithms  programming-languages  type-theory  object-oriented 

Então, eu estou familiarizado com duas estratégias principais de ter polimorfismo de classificação mais alta em um idioma: Polimorfismo no estilo System-F, em que as funções são explicitamente digitadas e a instanciação ocorre explicitamente no tipo de aplicativo. Esses sistemas podem ser impredicativos. Polimorfismo baseado em subtipagem, em que um …

7 programming-languages  type-theory  functional-programming  type-checking  polymorphisms 

Recentemente, deparei-me com este post de Brian McKenna explicando o polimorfismo de linha. Pareceu-me uma ideia maravilhosa, mas então percebi que cheira muito a polimorfismo paramétrico limitado: Com polimorfismo de linha: sum: {x: int, y: int | rho} -> int function sum r = r.x + r.y Com polimorfismo paramétrico …

7 programming-languages  semantics 

Eu nunca usei um depurador que pode executar um programa para trás, mas gostaria. Agora, pergunto-me se há muita evidência e teoria sobre programação executável reversa, quando e por que um programa pode ser executado inversamente ou quando e por que não? Intuitivamente, acho que o computador deve ser capaz …

7 automata  programming-languages