| 1 | <!doctype html> |
|---|
| 2 | <meta charset=utf-8> |
|---|
| 3 | <title>CodeMirror: OCaml mode</title> |
|---|
| 4 | |
|---|
| 5 | <link rel=stylesheet href=../../lib/codemirror.css> |
|---|
| 6 | <link rel=stylesheet href=../../doc/docs.css> |
|---|
| 7 | |
|---|
| 8 | <style type=text/css> |
|---|
| 9 | .CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;} |
|---|
| 10 | </style> |
|---|
| 11 | |
|---|
| 12 | <script src=../../lib/codemirror.js></script> |
|---|
| 13 | <script src=ocaml.js></script> |
|---|
| 14 | |
|---|
| 15 | <h1>CodeMirror: OCaml mode</h1> |
|---|
| 16 | |
|---|
| 17 | <textarea id=code> |
|---|
| 18 | (* Summing a list of integers *) |
|---|
| 19 | let rec sum xs = |
|---|
| 20 | match xs with |
|---|
| 21 | | [] -> 0 |
|---|
| 22 | | x :: xs' -> x + sum xs' |
|---|
| 23 | |
|---|
| 24 | (* Quicksort *) |
|---|
| 25 | let rec qsort = function |
|---|
| 26 | | [] -> [] |
|---|
| 27 | | pivot :: rest -> |
|---|
| 28 | let is_less x = x < pivot in |
|---|
| 29 | let left, right = List.partition is_less rest in |
|---|
| 30 | qsort left @ [pivot] @ qsort right |
|---|
| 31 | |
|---|
| 32 | (* Fibonacci Sequence *) |
|---|
| 33 | let rec fib_aux n a b = |
|---|
| 34 | match n with |
|---|
| 35 | | 0 -> a |
|---|
| 36 | | _ -> fib_aux (n - 1) (a + b) a |
|---|
| 37 | let fib n = fib_aux n 0 1 |
|---|
| 38 | |
|---|
| 39 | (* Birthday paradox *) |
|---|
| 40 | let year_size = 365. |
|---|
| 41 | |
|---|
| 42 | let rec birthday_paradox prob people = |
|---|
| 43 | let prob' = (year_size -. float people) /. year_size *. prob in |
|---|
| 44 | if prob' < 0.5 then |
|---|
| 45 | Printf.printf "answer = %d\n" (people+1) |
|---|
| 46 | else |
|---|
| 47 | birthday_paradox prob' (people+1) ;; |
|---|
| 48 | |
|---|
| 49 | birthday_paradox 1.0 1 |
|---|
| 50 | |
|---|
| 51 | (* Church numerals *) |
|---|
| 52 | let zero f x = x |
|---|
| 53 | let succ n f x = f (n f x) |
|---|
| 54 | let one = succ zero |
|---|
| 55 | let two = succ (succ zero) |
|---|
| 56 | let add n1 n2 f x = n1 f (n2 f x) |
|---|
| 57 | let to_string n = n (fun k -> "S" ^ k) "0" |
|---|
| 58 | let _ = to_string (add (succ two) two) |
|---|
| 59 | |
|---|
| 60 | (* Elementary functions *) |
|---|
| 61 | let square x = x * x;; |
|---|
| 62 | let rec fact x = |
|---|
| 63 | if x <= 1 then 1 else x * fact (x - 1);; |
|---|
| 64 | |
|---|
| 65 | (* Automatic memory management *) |
|---|
| 66 | let l = 1 :: 2 :: 3 :: [];; |
|---|
| 67 | [1; 2; 3];; |
|---|
| 68 | 5 :: l;; |
|---|
| 69 | |
|---|
| 70 | (* Polymorphism: sorting lists *) |
|---|
| 71 | let rec sort = function |
|---|
| 72 | | [] -> [] |
|---|
| 73 | | x :: l -> insert x (sort l) |
|---|
| 74 | |
|---|
| 75 | and insert elem = function |
|---|
| 76 | | [] -> [elem] |
|---|
| 77 | | x :: l -> |
|---|
| 78 | if elem < x then elem :: x :: l else x :: insert elem l;; |
|---|
| 79 | |
|---|
| 80 | (* Imperative features *) |
|---|
| 81 | let add_polynom p1 p2 = |
|---|
| 82 | let n1 = Array.length p1 |
|---|
| 83 | and n2 = Array.length p2 in |
|---|
| 84 | let result = Array.create (max n1 n2) 0 in |
|---|
| 85 | for i = 0 to n1 - 1 do result.(i) <- p1.(i) done; |
|---|
| 86 | for i = 0 to n2 - 1 do result.(i) <- result.(i) + p2.(i) done; |
|---|
| 87 | result;; |
|---|
| 88 | add_polynom [| 1; 2 |] [| 1; 2; 3 |];; |
|---|
| 89 | |
|---|
| 90 | (* We may redefine fact using a reference cell and a for loop *) |
|---|
| 91 | let fact n = |
|---|
| 92 | let result = ref 1 in |
|---|
| 93 | for i = 2 to n do |
|---|
| 94 | result := i * !result |
|---|
| 95 | done; |
|---|
| 96 | !result;; |
|---|
| 97 | fact 5;; |
|---|
| 98 | |
|---|
| 99 | (* Triangle (graphics) *) |
|---|
| 100 | let () = |
|---|
| 101 | ignore( Glut.init Sys.argv ); |
|---|
| 102 | Glut.initDisplayMode ~double_buffer:true (); |
|---|
| 103 | ignore (Glut.createWindow ~title:"OpenGL Demo"); |
|---|
| 104 | let angle t = 10. *. t *. t in |
|---|
| 105 | let render () = |
|---|
| 106 | GlClear.clear [ `color ]; |
|---|
| 107 | GlMat.load_identity (); |
|---|
| 108 | GlMat.rotate ~angle: (angle (Sys.time ())) ~z:1. (); |
|---|
| 109 | GlDraw.begins `triangles; |
|---|
| 110 | List.iter GlDraw.vertex2 [-1., -1.; 0., 1.; 1., -1.]; |
|---|
| 111 | GlDraw.ends (); |
|---|
| 112 | Glut.swapBuffers () in |
|---|
| 113 | GlMat.mode `modelview; |
|---|
| 114 | Glut.displayFunc ~cb:render; |
|---|
| 115 | Glut.idleFunc ~cb:(Some Glut.postRedisplay); |
|---|
| 116 | Glut.mainLoop () |
|---|
| 117 | |
|---|
| 118 | (* A Hundred Lines of Caml - http://caml.inria.fr/about/taste.en.html *) |
|---|
| 119 | (* OCaml page on Wikipedia - http://en.wikipedia.org/wiki/OCaml *) |
|---|
| 120 | </textarea> |
|---|
| 121 | |
|---|
| 122 | <script> |
|---|
| 123 | var editor = CodeMirror.fromTextArea(document.getElementById('code'), { |
|---|
| 124 | mode: 'ocaml', |
|---|
| 125 | lineNumbers: true, |
|---|
| 126 | matchBrackets: true |
|---|
| 127 | }); |
|---|
| 128 | </script> |
|---|
| 129 | |
|---|
| 130 | <p><strong>MIME types defined:</strong> <code>text/x-ocaml</code>.</p> |
|---|
