Resultados da pesquisa a pedido "sml"
Algoritmo de Horner em SML? [fechadas]
Estou tentando implementarAlgoritmo de Horner [http://en.wikipedia.org/wiki/Horner%27s_algorithm]em SML. fun horner(lst1:real list,x:real) = let val i = ref 1 val result = ref (List.last(lst1)) in if (lst1) = ([]:real list) then 0.0 else while ...
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 .....
Standard ML Expandir lista
Instruçõe Functionexpand que recebe uma lista de qualquer tipo e um número inteiron e retorna uma lista na qual cada item da lista de entrada é replicadon times. Por exemplo, a expansão [1,2,3] 3 deve ser avaliada para [1,1,1,2,2,2,3,3,3]. O ...
ipos de dados preguiçosos no Objetivo C
No SML, é possível o seguinte para modelar a programação lenta, // Have a datatype to wrap a computation datatype 'a susp = Susp of (unit -> 'a) // A function to hold the computation fun delay(f ) = Susp(f)Sei que os fechamentos podem ser ...