File: test.sml

package info (click to toggle)
source-highlight 3.1.7-1
  • links: PTS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 10,332 kB
  • ctags: 5,233
  • sloc: sh: 11,270; cpp: 10,206; ansic: 9,515; makefile: 1,865; lex: 1,200; yacc: 1,021; php: 213; perl: 211; awk: 98; erlang: 94; lisp: 90; java: 75; ruby: 69; python: 61; asm: 43; ml: 38; ada: 36; haskell: 27; xml: 23; cs: 11; sql: 8; tcl: 6; sed: 4
file content (53 lines) | stat: -rw-r--r-- 1,184 bytes parent folder | download | duplicates (6) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
 
fun map (f : 'a -> 'b, xs : 'a list) : 'b list =
  case xs of
    nil => nil
  | (y::ys) => (f (y))::(map (f, ys));

fun zip (xs : 'a list, ys : 'b list) : ('a * 'b) list =
  case (xs, ys) of
    (nil, _) => nil
  | (_, nil) => nil
  | (b::bs, c::cs) => (b, c)::(zip (bs, cs));

fun filter (f : 'a -> bool, xs : 'a list) : 'a list =
  case xs of
    nil => nil
  | (y::ys) =>
      if f (y) then
        y::(filter (f, ys))
      else
        filter (f, ys);

fun foldl (f : 'a * 'b -> 'a, n : 'a, xs : 'b list) : 'a =
  case xs of
    nil => n
  | (y::ys) => foldl (f, f (n, y), ys);

fun upto (x : int, y : int) : int list =
  if x <= y then
    x::(upto (x + 1, y))
  else
    nil;

fun sum (xs : int list) : int = 
  case xs of
    nil => 0
  | (x'::xs') => x' + sum (xs');
  
fun fold (opr: int*int->int, base: int, xs: int list) : int = 
  case xs of
    nil => base
  | (x'::xs') => opr(x', fold(opr, base, xs'));

fun add(x,y) = x+y;

fun foldsum (xs: int list) = fold (add,0, xs);

fun foldr (opr: 'b*'a->'a, base: 'a, xs: 'b list) : 'a = 
  case xs of
    nil => base
  | (x'::xs') => opr(x', foldr(opr, base, xs'));