All pastes #269442 Raw Edit

Untitled

public text v1 · immutable
·published 2006-12-06 16:24 UTC
rendered paste body

fun naaj(n,rej) = 
let
fun wstaw((kd2,(nazwa2,cena2)),[]) = [(kd2,(nazwa2,cena2))]
 |    wstaw((kd1,(nazwa1,cena1)),(kd2,(nazwa2,cena2))::rej) = if cena1<=cena2 then (kd1,(nazwa1,cena1))::(kd2,(nazwa2,cena2))::rej else (kd2,(nazwa2,cena2))::wstaw((kd1,(nazwa1,cena1)),rej)
fun sortuj [] = []
 |    sortuj ( (kd2,(nazwa2,cena2))::rej ) = wstaw((kd2,(nazwa2,cena2)), sortuj rej);
val v = sortuj(rej)
fun naj(n,[]) = []
 | naj(0,(kd2,(nazwa2,cena2))::x) = []
 | naj(n,(kd2,(nazwa2,cena2))::x) = (kd2,(nazwa2,cena2))::naj(n-1,x)
in
naj(3,v)
end;

naaj(3,Rejestr);