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.

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

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

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

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

SML não detectando o SO no OS X Mavericks

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

Cauda-recursão em árvores

Como faço para instalar uma versão de trabalho do ML Padrão no Mac?

o que é um tipo mutuamente recursivo?

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