Lisa crashcourse

Author: sim642

src/crashcourse/basics.ml

@@ -0,0 +1,79 @@
+(** Näited. *)
+
+(** Lihtsad funktsioonid. *)
+
+(** Suurendab täisarvu ühe võrra. *)
+let inc (x: int): int =
+  failwith "TODO"
+
+(** Suurendab täisarvu ühe võrra.
+    Kasutada "lambdafunktsiooni". *)
+let inc': int -> int = fun x ->
+  failwith "TODO"
+
+
+(** Rekursiivsed funktsioonid. *)
+
+(** Arvutab faktoriaali.
+    Kasutada if-i.
+    Vihje: võrdusoperaator on = (mitte ==) ja selle vastand on <> (mitte !=). *)
+let rec fact (n: int): int =
+  failwith "TODO"
+
+(** OCaml-i if on avaldis, millel on väärtus, mitte lause: if a then b else c.
+    Java-s jms. on selle analoog ternary operaator: a ? b : c. *)
+
+(** Arvutab faktoriaali.
+    Kasutada match-i. *)
+let rec fact' (n: int): int =
+  failwith "TODO"
+
+
+(** Mitme argumendiga funktsioonid. *)
+
+(** Arvutab suurima ühisteguri.
+    Vt. https://en.wikipedia.org/wiki/Euclidean_algorithm#Implementations.
+    Vihje: Jäägi operaator (mitte funktsioon) on mod. *)
+let rec gcd (x: int) (y: int): int =
+  failwith "TODO"
+
+(** Arvutab implikatsiooni.
+    Kasutada mitme argumendiga match-i. *)
+let implies (x: bool) (y: bool): bool =
+  failwith "TODO"
+
+
+
+(** Ülesanded. *)
+
+(** Suurendab täisarvu kolme võrra.
+    Kasutada funktsiooni inc kolm korda järjest. *)
+let inc3 (x: int): int =
+  failwith "TODO"
+
+(** Arvutab kolmnurkarvu.
+    Vt. https://en.wikipedia.org/wiki/Triangular_number.
+    Kasutada rekursiooni, mitte valemit. *)
+let rec triangular (n: int): int =
+  failwith "TODO"
+
+(** Arvutab x astmes y.
+    Võib eeldada, et y pole negatiivne.
+    Kasutada rekursiooni, mitte ** operaatorit. *)
+let rec pow (x: int) (y: int): int =
+  failwith "TODO"
+
+(** Näide:
+    Kas täht on täishäälik (inglise keeles)? *)
+let is_vowel (c: char): bool =
+  c = 'a' || c = 'e' || c = 'i' || c = 'o' || c = 'u'
+
+(** Kas täht on täishäälik (inglise keeles)?
+    Kasutada match-i. *)
+let is_vowel' (c: char): bool =
+  failwith "TODO"
+
+(** Arvutab välistava või (xor).
+    Kasutada mitme argumendiga match-i. *)
+let xor (x: bool) (y: bool): bool =
+  failwith "TODO"

src/crashcourse/collections.ml

@@ -0,0 +1,101 @@
+open Types
+
+(** Listid. *)
+
+(** Näited. *)
+
+(** Teisendab puu elementide listiks (keskjärjestuses).
+    Vihje: Listide konkateneerimise operaator on @. *)
+let rec list_of_tree (t: 'a tree): 'a list =
+  failwith "TODO"
+
+(** Suurendab täisarvude listi elemente ühe võrra. *)
+let list_inc (xs: int list): int list =
+  failwith "TODO"
+
+(** Jätab täisarvude listist alles elemendid, mis on vähemalt 4. *)
+let list_big (xs: int list): int list =
+  failwith "TODO"
+
+(** Liidab kokku täisarvude listi elemendid. *)
+let list_sum (xs: int list): int =
+  failwith "TODO"
+
+(** Liidab kokku täisarvude listi elemendid.
+    Imperatiivsem lahendus. *)
+let list_sum' (xs: int list): int =
+  let acc = ref 0 in
+  List.iter (fun x ->
+      acc := !acc + x
+    ) xs;
+  !acc
+
+(** Liidab kokku täisarvude listi elemendid.
+    Rekursiivne funktsionaalne lahendus. *)
+let rec list_sum'' (xs: int list): int =
+  match xs with
+  | [] -> 0
+  | x :: xs' -> x + list_sum'' xs'
+
+
+(** Ülesanded. *)
+
+(** Korrutab täisarvude listi elemendid kahega. *)
+let list_double (xs: int list): int list =
+  failwith "TODO"
+
+(** Jätab täisarvude listist alles elemendid, mis on paaris. *)
+let list_even (xs: int list): int list =
+  failwith "TODO"
+
+(** Korrutab kokku täisarvude listi elemendid. *)
+let list_product (xs: int list): int =
+  failwith "TODO"
+
+
+
+(** Hulgad. *)
+
+(** Näited. *)
+
+(** Täisarvude hulkade moodul. *)
+module IntSet = Set.Make (Int)
+
+(** Teisendab täisarvude puu hulgaks.
+    Vihje: IntSet.singleton.
+    Vihje: IntSet.union. *)
+let rec intset_of_tree (t: int tree): IntSet.t =
+  failwith "TODO"
+
+
+(** Puu elementide mooduli tüüp/signatuur. *)
+module type TreeElement =
+sig
+  (** Abstraktne elemendi tüüp. *)
+  type t
+
+  (** Standardne võrdlusfunktsioon. *)
+  val compare: t -> t -> int
+
+  (** Teisendab elemendi sõneks. *)
+  val show: t -> string
+end
+
+(** Puude moodul, mille argumendiks on elementide moodul.
+    Parametriseeritud mooduleid nimetatakse funktoriteks. *)
+module Tree (Element: TreeElement) =
+struct
+  type element = Element.t
+
+  (** Elementide hulkade moodul. *)
+  module Set = Set.Make (Element)
+
+  (** Teisendab puu hulgaks. *)
+  let rec to_set (t: element tree): Set.t =
+    failwith "TODO"
+
+  (** Teisendab puu sõneks.
+      Vihje: Element.show. *)
+  let rec show (t: element tree): string =
+    failwith "TODO"
+end

src/crashcourse/dune

@@ -0,0 +1,2 @@
+(library
+ (name crashcourse))

src/crashcourse/types.ml

@@ -0,0 +1,80 @@
+(** Enum tüübid. *)
+
+type color =
+  | Red
+  | Green
+  | Blue
+
+(** Näide:
+    Teisendab värvi sõneks, vastavalt "R", "G" ja "B".
+    Kasutada match-i. *)
+let show_color (c: color): string =
+  failwith "TODO"
+
+(** Ülesanne:
+    Teisendab sõne värviks. show_color pöördfunktsioon.
+    Kasutada match-i.
+    Vihje: Mittesobiva juhu jaoks kasuta wildcard mustrit _.
+    Vihje: Vea jaoks kasuta failwith funktsiooni. *)
+let parse_color (s: string): color =
+  failwith "TODO"
+
+
+(** Algebralised andmetüübid. *)
+
+(** Polümorfne kahendpuu, mille elemendid on tüüpi 'a. *)
+type 'a tree =
+  | Leaf of 'a (** Leht sisaldab ühte väärtust. *)
+  | Branch of 'a tree * 'a tree (** Vahetipul on kaks alampuud, väärtust pole. *)
+
+(** Näide:
+        .
+       / \
+      1   .
+         / \
+        .   5
+       / \
+      .   4
+     / \
+    2   3 *)
+let example_int_tree = Leaf 1
+
+(** Ülesanne:
+           .
+         /   \
+       .       .
+      / \     / \
+    'a' 'b' 'b' 'a' *)
+let example_char_tree = Leaf 'a'
+
+
+(** Näited. *)
+
+(** Arvutab puu kõrguse. Lehe kõrgus on 0.
+    Vihje: Kasuta max funktsiooni. *)
+let rec height (t: 'a tree): int =
+  failwith "TODO"
+
+(** Teisendab puu sõneks. Vt teste.
+    Vihje: Sõnede konkateneerimise operaator on ^. *)
+let rec show_tree (show_leaf: 'a -> string) (t: 'a tree): string =
+  failwith "TODO"
+
+(** Rakendab funktsooni puu lehtedele. *)
+let rec tree_map (f: 'a -> 'b) (t: 'a tree): 'b tree =
+  failwith "TODO"
+
+
+(** Ülesanded. *)
+
+(** Arvutab lehtede arvu. *)
+let rec leaves (t: 'a tree): int =
+  failwith "TODO"
+
+(** Peegeldab puu, st. vahetab harud. *)
+let rec tree_mirror (t: 'a tree): 'a tree =
+  failwith "TODO"
+
+(** Leiab puu vasakpoolseima lehe väärtuse. *)
+let rec tree_left (t: 'a tree): 'a =
+  failwith "TODO"

test/crashcourse/basics_test.ml

@@ -0,0 +1,115 @@
+open OUnit2
+open Crashcourse.Basics
+
+let test_inc _ =
+  let assert_equal = assert_equal ~printer:string_of_int in
+  assert_equal 5 (inc 4);
+  assert_equal 1 (inc 0)
+
+let test_inc' _ =
+  let assert_equal = assert_equal ~printer:string_of_int in
+  assert_equal 5 (inc' 4);
+  assert_equal 1 (inc' 0)
+
+let test_fact _ =
+  let assert_equal = assert_equal ~printer:string_of_int in
+  assert_equal 1 (fact 0);
+  assert_equal 1 (fact 1);
+  assert_equal 2 (fact 2);
+  assert_equal 6 (fact 3);
+  assert_equal 24 (fact 4);
+  assert_equal 120 (fact 5)
+
+let test_fact' _ =
+  let assert_equal = assert_equal ~printer:string_of_int in
+  assert_equal 1 (fact' 0);
+  assert_equal 1 (fact' 1);
+  assert_equal 2 (fact' 2);
+  assert_equal 6 (fact' 3);
+  assert_equal 24 (fact' 4);
+  assert_equal 120 (fact' 5)
+
+let test_gcd _ =
+  let assert_equal = assert_equal ~printer:string_of_int in
+  assert_equal 1 (gcd 3 5);
+  assert_equal 3 (gcd 3 9);
+  assert_equal 3 (gcd 9 6);
+  assert_equal 6 (gcd 12 18)
+
+let test_implies _ =
+  let assert_equal = assert_equal ~printer:string_of_bool in
+  assert_equal true (implies false false);
+  assert_equal true (implies false true);
+  assert_equal false (implies true false);
+  assert_equal true (implies true true)
+
+let test_inc3 _ =
+  let assert_equal = assert_equal ~printer:string_of_int in
+  assert_equal 7 (inc3 4);
+  assert_equal 3 (inc3 0)
+
+let test_triangular _ =
+  let assert_equal = assert_equal ~printer:string_of_int in
+  assert_equal 0 (triangular 0);
+  assert_equal 1 (triangular 1);
+  assert_equal 3 (triangular 2);
+  assert_equal 6 (triangular 3);
+  assert_equal 10 (triangular 4)
+
+let test_pow _ =
+  let assert_equal = assert_equal ~printer:string_of_int in
+  assert_equal 1 (pow 2 0);
+  assert_equal 2 (pow 2 1);
+  assert_equal 4 (pow 2 2);
+  assert_equal 8 (pow 2 3);
+  assert_equal 16 (pow 2 4);
+  assert_equal 9 (pow 3 2)
+
+let test_is_vowel _ =
+  let assert_equal = assert_equal ~printer:string_of_bool in
+  assert_equal true (is_vowel 'a');
+  assert_equal true (is_vowel 'e');
+  assert_equal true (is_vowel 'i');
+  assert_equal true (is_vowel 'o');
+  assert_equal true (is_vowel 'u');
+  assert_equal false (is_vowel 'x');
+  assert_equal false (is_vowel 'm');
+  assert_equal false (is_vowel 'b')
+
+let test_is_vowel' _ =
+  let assert_equal = assert_equal ~printer:string_of_bool in
+  assert_equal true (is_vowel' 'a');
+  assert_equal true (is_vowel' 'e');
+  assert_equal true (is_vowel' 'i');
+  assert_equal true (is_vowel' 'o');
+  assert_equal true (is_vowel' 'u');
+  assert_equal false (is_vowel' 'x');
+  assert_equal false (is_vowel' 'm');
+  assert_equal false (is_vowel' 'b')
+
+let test_xor _ =
+  let assert_equal = assert_equal ~printer:string_of_bool in
+  assert_equal false (xor false false);
+  assert_equal true (xor false true);
+  assert_equal true (xor true false);
+  assert_equal false (xor true true)
+
+let tests =
+  "basics" >::: [
+    "examples" >::: [
+      "inc" >:: test_inc;
+      "inc'" >:: test_inc';
+      "fact" >:: test_fact;
+      "fact'" >:: test_fact';
+      "gcd" >:: test_gcd;
+      "implies" >:: test_implies;
+    ];
+    "problems" >::: [
+      "inc3" >:: test_inc3;
+      "triangular" >:: test_triangular;
+      "pow" >:: test_pow;
+      "is_vowel" >:: test_is_vowel;
+      "is_vowel'" >:: test_is_vowel';
+      "xor" >:: test_xor;
+    ];
+  ]

test/crashcourse/basics_test.mli

@@ -0,0 +1 @@
+val tests: OUnit2.test