Resultados da pesquisa a pedido "sml"
O que há de errado com o meu código no sml?
Não sei por que meu código não funciona. fun lookup _ [] = 0 | lookup key ((k,v)::entries) = if k = key then v else (lookup key entries)Foi o que aconteceu quando o testei no cmd. val lookup = fn : ''a -> (''a * int) list -> int - lookup ...
Largura funcional Primeira pesquisa
A primeira pesquisa de profundidade funcional é adorável em gráficos acíclicos direcionados. Nos gráficos com ciclos, no entanto, como evitamos recursões infinitas? Em uma linguagem processual, eu marcaria os nós ao atingi-los, mas digamos que ...
Como fazer AND bit a bit em SML / NJ?
Preciso dele para um programa que estou escrevendo (quadrado repetido para computar x ^ n). Não consigo encontrar a sintaxe para ele, ou mesmo se é suportado.
Padrões múltiplos em 1 caso
No SML, é possível ter vários padrões em uma instrução de caso? Por exemplo, eu tenho 4 operadores aritméticos expressos em string,"+", "-", "*", "/" e eu quero imprimir"PLUS MINUS" disso é"+" or "-" e"MULT DIV" se for"*" or "/". TL; DR: Existe ...
A variável de tipo a ser unificada ocorre no tipo
Eu tenho uma função para reconstruir uma árvore de 2 listas. Retorno uma lista em todas as ramificações, mas estou recebendo um erro que não entendo. Mas presumo que isso tenha a ver com os tipos de retorno. O erro é este: Can't unify ''a with ...
SML Como verificar o tipo de variável?
Existe alguma maneira de verificar / testar o tipo de uma variável? Eu quero usá-lo assim: if x = int then foo else if x = real then bar else if x = string then ... else .....
Dica para inferência do tipo SML
Eu sou novo no SML e estou tentando praticar na referência de tipo SML. Estou tentando deduzir os tipos abaixo: a)fun add42 x =x+42 b)fun comp F G = let fun C x = G(F(x)) in C end c)fun compA42 x = comp add42 x d)val foo = compA42 add42 e)fun ...
Como decidir se deve ser parametrizado no nível de tipo ou no nível do módulo ao projetar módulos?
Estou trabalhando para uma compreensão profunda dos módulos no estilo ML: acho que o conceito é importante e adoro o tipo de pensamento que eles incentivam. Agora, estou descobrindo a tensão que pode surgir entre tipos paramétricos e módulos ...
Ajuda sml - incomodado
Como declarar uma função para Listn: '' uma lista -> '' uma lista -> bool, listn xs e ys retornam true. Exemplo: lisen [# "1" # "2"], [# "1" "# 3"] retorna false e [# "1", # "2"] [# "2", # "1"] retorna verdadeiro
Diferença entre "local" e "let" no SML
Não consegui encontrar uma resposta amigável para iniciantes sobre qual é a diferença entre as palavras-chave "local" e "let" no SML. Alguém poderia fornecer um exemplo simples, por favor, e explicar quando um é usado sobre o outro?