Resultados da pesquisa a pedido "sml"
Aviso de SML: tipo Vars não generalizado ao usar Listas vazias ou opção NONE
Eu não posso para a vida de mim descobrir por que a seguinte função SML está jogando um aviso no meu problema de casa:
Se o SML.NET tiver functores, por que o F # não pode?
Esta questão começou deMinha tradução de "ML para o programador de trabalho"(WorldCat) por L. C. PAULSON para F # que usa functores para os exemplo...
o que é um tipo mutuamente recursivo?
Se no ML, um exemplo de um tipo de dados recursivo é:
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?
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 ...
Sml dobrando uma árvore
Eu estou tentando obter o produto de uma árvore usando a função fold até agora, é isso que eu tenho. Estou confuso sobre como usar o método fold enquanto atravessa a árvore datatype 'a bin_tree = Leaf of 'a | Node of 'a bin_tree * 'a bin_tree ...
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