Estou aprendendo SML na aula de Linguagens de Programação, intao vou postando algumas coisas e exercicios sobre a linguagem
Página do projeto SML NJ (o copilador mais utilizado)
Wikipédia
Standard ML (SML) é uma linguagem de programação funcional de propósito geral modular com verificação e inferência de tipos em tempo de compilação. É popular entre pesquisadores de linguagem de programação e compiladores.
SML é um descendente moderno da ML (linguagem de programação) utilizado em lógica de funções computáveis (LCF). Distingue-se entre as linguagens utiliada devido sua característica funcional e devido sua especificação formal, dado como escrever regras e semântica operacional na definição da Standard ML
A Página do meu Professor Fernando (muito bom) tem mais informações sobre a materia e sobre o SML
http://homepages.dcc.ufmg.br/~fpereira/classes/dcc024/ementa/
Outros links em inglês
http://u.cs.biu.ac.il/~89-310/
alguns exercicios de SML
Escreva uma função cube, de tipo int -> int que retorne o cubo do seu parametro
fun cube x = x*x*x;
Escreva uma função cuber, de tipo real -> real que retorne o cubo de seu parametro.
fun cuber x:real = x*x*x;
Escreva a funcao fourth, de tipo 'a list -> 'a que retorne o quarto elemento da
lista passada como parametro. Nao se preocupe com a condicao de contorno em que a
lista de entrada possui menos que quatro elementos.
fun fourth a = hd(tl(tl(tl(a) )))
