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

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

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

Dica para inferência do tipo SML

Eu sou novo no SML e estou tentando praticar na referência de tipo SML. Estou tentando deduzir os tipos abaixo: a)fun add42 x =x+42 b)fun comp F G = let fun C x = G(F(x)) in C end c)fun compA42 x = comp add42 x d)val foo = compA42 add42 e)fun ...

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

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

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 não detectando o SO no OS X Mavericks

Iteração em várias listas no SML

ipos de dados preguiçosos no Objetivo C

No SML, é possível o seguinte para modelar a programação lenta, // Have a datatype to wrap a computation datatype 'a susp = Susp of (unit -> 'a) // A function to hold the computation fun delay(f ) = Susp(f)Sei que os fechamentos podem ser ...