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

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

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

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

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

Suprimir a saída “val it” no Standard ML

Quais são os limites da inferência de tipos?

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