LiP Lab

LiP students are expected to fork the repository and push solutions to the exercises on their fork.

Ocaml basics #1

You can work on these exercises using the online Ocaml playground: Try Ocaml.

1. Max of two numbers
2. Absolute value
3. From type to function #1
4. Find a function #1
5. Highest card wins
6. From type to function #2
7. Even and odd
8. Comparing fractions
9. Reverse a list
10. Minimum of a function
11. Fibonacci sequence
12. Student grades

Ocaml basics #2

1. Duplicates
2. Random list
3. From list to string
4. Min and max of a function
5. Extract an element from a list
6. Alternating-even numbers
7. Binary search trees
8. Deck of cards
9. The return of the Pumping Lemma
10. List crush
11. Longest subsequence
12. Ping pong

Arithmetic expressions

To work at this project you must have a local installation of OCaml. Look here for minimal instructions.

1. A minimal language of boolean expressions
2. Boolean expressions with not, and, or
3. Arithmetic expressions with dynamic type checking
4. Boolean expressions with propositional variables

References

• OCaml Programming: Correct + Efficient + Beautiful