Quando usar ponto-e-vírgula no SML?

SML não detectando o SO no OS X Mavericks

declarações locais aninhadas em ML de NJ

ola pessoal eu tenho esse trecho de código: local helper(f, i, j) = local fun NTimesF(f, n:int) = if n = 1 then fn (x) => f(x) else fn (x) => f(NTimesF(f, n - 1)(x)); in if(i <= j) then NTimesF(f, i) :: helper(f, (i+1), j) else [] end in fun ...

QuickSort verdadeiro no ML padrão

Desde aSolução ML padrão da RosettaCode [https://rosettacode.org/wiki/Sorting_algorithms/Quicksort#Standard_ML]é uma versão muito lenta do Quicksort, de acordo com a pergunta (e discussão) "Por que o quicksort minimalista, por exemplo, Haskell, ...

construindo um analisador lexical usando ml-lex

Eu preciso criar uma nova instância de umlexer vinculado ao fluxo de entrada padrão. No entanto, quando eu digito val lexer = makeLexer( fn n => inputLine( stdIn ) );Eu recebo um erro que não entendo: stdIn:1.5-11.13 Error: operator and operand ...

A saída é truncada com # -signs no REPL

Eu escrevi uma função que funciona como esperado, mas eu não entendo por que a saída é assim. Função:datatype prop = Atom of string | Not of prop | And of prop*prop | Or of prop*prop; (* XOR = (A And Not B) OR (Not A Or B) *) local fun ...

Como desenhar uma árvore de análise de inferência de tipo para sml

Então, eu estou trabalhando na minha prática final, há um problema em me pedir para desenhar uma árvore de análise para este código sml: fun ff f x y = if (f x y) then (f 3 y) else (f x "zero") val ff = fn : (int -> string -> bool) -> int -> ...

Troque pares de elementos em uma lista usando a correspondência de padrões

Eu preciso usar técnicas de correspondência de padrões, para trocar recursivamente todos os pares de elementos em uma lista. Assim,[1, 2, 3, 4, 5] retornaria[2, 1, 4, 3, 5]. Eu encontrei duas coisas: List.length: para retornar o comprimento. O ...

Explicando a correspondência de padrões versus a chave

Eu tenho tentado explicar a diferença entre instruções de comutação e correspondência de padrões (F #) para algumas pessoas, mas eu realmente não consegui explicar bem .. na maioria das vezes elas apenas olham para mim e dizem "e por que você não ...

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