Logotipo
Unionpédia
Comunicação
Disponível no Google Play
Novo! Faça o download do Unionpédia em seu dispositivo Android™!
Livre
Acesso mais rápido do que o navegador!
 

Standard ML

Índice Standard ML

Standard ML (SML) é uma linguagem de programação funcional de propósito geral modular com verificação e inferência de tipos em tempo de compilação.

13 relações: Alice (linguagem de programação), Common Language Runtime, Compilador, Expressão (computação), Linguagem de programação multiparadigma, ML (linguagem de programação), Modular, OCaml, Programação funcional, Programação imperativa, Rust (linguagem de programação), Teorema de Herão, .NET Framework.

Alice (linguagem de programação)

Alice é uma linguagem de programação funcional, concebida pelo Laboratório de Programação de Sistemas da Universidade do Sarre.

Novo!!: Standard ML e Alice (linguagem de programação) · Veja mais »

Common Language Runtime

O tempo de execução de linguagem comum, em inglês Common Language Runtime (CLR), é o componente de máquina virtual da plataforma.NET da Microsoft que gerencia a execução de programas.NET.

Novo!!: Standard ML e Common Language Runtime · Veja mais »

Compilador

GCC versão 4.0.2 rodando em uma janela xterm. Um programa simples está sendo compilado e então executado. Um compilador é um programa de computador (ou um grupo de programas) que, a partir de um código fonte escrito em uma linguagem compilada, cria um programa semanticamente equivalente, porém escrito em outra linguagem, código objeto.

Novo!!: Standard ML e Compilador · Veja mais »

Expressão (computação)

Uma expressão em linguagens de programação é uma combinação de valores, variáveis, operadores, e chamadas de funções que são interpretadas (avaliadas) de acordo com as regras de precedência e de associatividade particulares a uma determinada linguagem de programação, que calcula e, em seguida, produz (retorna) um valor.

Novo!!: Standard ML e Expressão (computação) · Veja mais »

Linguagem de programação multiparadigma

Paradigma de programação é a forma de se classificar determinada linguagem de programação com base em seu funcionamento e sua estruturação.

Novo!!: Standard ML e Linguagem de programação multiparadigma · Veja mais »

ML (linguagem de programação)

ML é uma linguagem de programação funcional de proposta geral desenvolvida por Robin Milner e outros no final dos anos 1970 na Universidade de Edimburgo, cuja sintaxe foi inspirada pelo ISWIM.

Novo!!: Standard ML e ML (linguagem de programação) · Veja mais »

Modular

Em Análise funcional, um modular é um funcional \varrho:\mathfrak X \to \mathbb R que goza de algumas das propriedades de norma.

Novo!!: Standard ML e Modular · Veja mais »

OCaml

Objective Caml, também conhecida como OCaml (Objective Categorical Abstract Machine Language), é uma linguagem de programação funcional da família ML, desenvolvida pelo INRIA em 1996.

Novo!!: Standard ML e OCaml · Veja mais »

Programação funcional

Em ciência da computação, programação funcional é um paradigma de programação que trata a computação como uma avaliação de funções matemáticas e que evita estados ou dados mutáveis.

Novo!!: Standard ML e Programação funcional · Veja mais »

Programação imperativa

Na ciência da computação, programação imperativa é um paradigma de programação de software que descreve a computação como ações, enunciados ou comandos que mudam o estado (variáveis) de um programa.

Novo!!: Standard ML e Programação imperativa · Veja mais »

Rust (linguagem de programação)

Rust é uma linguagem de programação multiparadigma compilada desenvolvida pela Mozilla Research.

Novo!!: Standard ML e Rust (linguagem de programação) · Veja mais »

Teorema de Herão

A fórmula tradicional de cálculo da área do triângulo, ensinada e muito utilizada no ensino fundamental é A.

Novo!!: Standard ML e Teorema de Herão · Veja mais »

.NET Framework

O.NET Framework (pronuncia-se: dótnét) é uma iniciativa da empresa Microsoft, que visa uma plataforma única para desenvolvimento e execução de sistemas e aplicações.

Novo!!: Standard ML e .NET Framework · Veja mais »

CessanteEntrada
Ei! Agora estamos em Facebook! »