-
Notifications
You must be signed in to change notification settings - Fork 0
/
tabelka.txt
29 lines (26 loc) · 949 Bytes
/
tabelka.txt
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
Na 20 punktów
+ 01 (dwa typy)
+ 02 (arytmetyka, porównania)
+ 03 (if)
+ 04 (funkcje wieloargumentowe, rekurencja)
+ 05 (funkcje anonimowe i wyższego rzędu, częściowa aplikacja)
+ 06 (obsługa błędów wykonania)
+ 07 (statyczne wiązanie identyfikatorów)
Listy:
- 08 (z pattern matchingiem)
+ 09 (z empty, head, tail)
+ 10 (lukier)
Na 25 punktów
- 11 (listy dowolnego typu, zagnieżdżone i listy funkcji)
- 12 (proste typy algebraiczne z jednopoziomowym pattern matchingiem)
- 13 (statyczne typowanie)
Na 30 punktów
- 14 (ogólne polimorficzne i rekurencyjne typy algebraiczne)
- 15 (zagnieżdżony pattern matching)
Bonus
- 16 (typy polimorficzne z algorytmem rekonstrukcji typów)
- 17 (sprawdzenie kompletności pattern matchingu)
Razem: 20
Uwaga:
Zaznaczone są te punkty, które planowałem oraz wykonałem.
Przy dodatkowym czasie i chęci, chciałbym zająć się pattern matchingiem.