Iteração em várias listas no SML

O que essa assinatura de função significa em sml?

o que é um tipo mutuamente recursivo?

Se no ML, um exemplo de um tipo de dados recursivo é:

Cauda-recursão em árvores

Como 'consertar' o sistema interativo SML / NJ para usar as teclas de seta

Quais são as opções ALGUNS e NENHUMS no SML?

Eu sou novo em SML (e programação, na verdade). fun readlist (infile : string) = let val ins = TextIO.openIn infile fun loop ins = case TextIO.inputLine ins of SOME line => line :: loop ins | NONE => [] in loop ins before TextIO.closeIn ins end ...

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 .....

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?

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 ...