Posts OCaml Dream
Post
Cancel

OCaml Dream

Hey you, welcome! In this blog post, we will briefly touch OCaml and one of its Web Frameworks, Dream. The stage is another interview code challenge that I got recently. Yes, again, another challenge of that puzzle style that I love (sarcastic laughs). I was looking for a reason to try to Dream that is not yet another hello world. Let’s give it a go.

UPDATE: Check the improved version of the solution in the next post “OCaml Improved”.

OCaml

I believe the first time I heard about OCaml, it came from Jonas Bonér in some tweet or post somewhere. It’s been a while, and I don’t fully recall it. At the time, possibly more than 12 years ago, I entered the language website and was in awe. Things were so different, I was learning Scala and a bit of Clojure, and in my mind, FP was just some funny way to play with lists.

I left that alien language behind until I met it again while working with Xen Server and realized it was mostly - or totally - written in OCaml. My interest fired up again for that language. But I soon started to question:

  1. Why only Jane Street?
  2. How do these people persist data? I couldn’t find a lot of database drivers out there.
  3. What about service HTTP? Do they use Kafka, AMQP, ZMQ? And what about Amazon S3, Google Cloud, Big Query, monitoring with datadog or distributed tracing?
  4. Do they use IoC?
  5. How do they test?
  6. How do they deal with concurrency and multi-core?

The questions are just a lot, and considering OCaml is not that mainstream, they are easy to find. And to this date, I’m not sure about most of the answers.

While I still try to find the answers, I can already share a couple of nice things:

  1. ReasonML brought a boost to OCaml. A lot of big names on it.
  2. Esy a package manager a la npm, for Reason and Ocaml. It makes setup very easy.
  3. Haxe is written in OCaml!
  4. Yes, Jane Stree uses it, and this is a strong case for sure.

The language is type-safe while having a light syntax that makes things easy to reason about while keeping specific bugs out and maintainability high.

“Enough talking. Show me the code”, you say.

Dream

I found Dream. A name that resonates with me and my career.

Although I’m very excited about what I do and have been doing, there is a niche, an area of work that I ultimately will try to join—the area where I can work with OCaml, Racket and alike. I know someday I will get there.

The simple tool we are trying to build is super simple. You call http://localhost:8080/find_repeated?word=Banana, and it returns a dummy HTML saying Found a'. Indicating it found the first repeating char of the word you provided.

Let’s go straight to the code:

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
module CharSet = Set.Make(Char)

(* Adds a char to the Set and returns the new instance and a 
bool indicating if the insertion suceeded *)
let add achar target =
    let added = CharSet.add achar target in
    added <> target, added

(* Finds the first repeated character in a word *)
let solve word =
  let rec solve' word' set = match word'() with
    Seq.Cons (c, xs) -> 
        (match add c set with
          (true, s)  -> solve' xs s
          | _ -> Some c)
  | _ -> None in
  solve' (String.to_seq word) CharSet.empty;;

let res w = match solve w with
  Some c -> Printf.sprintf "Found %c" c
| None -> "No repetition found"

let () = 
  Dream.run
  @@ Dream.logger
  @@ Dream.router [
    Dream.get "/find_repeated" (fun req -> match Dream.query "word" req with 
                  | None -> Dream.empty `Bad_Request
                  | Some word -> Dream.html (res word))
  ]
  @@ Dream.not_found

The parts you see Dream is setting up an HTTP server that logs your requests and routes the GET /find_repeated to a function called res, which returns a simple string used with HTML indicating the result of the processing. * The function solve implements the algorithm taking the word as an argument, turning it into a sequence of characters. You see solve' as a recursive function because Sets in OCaml are immutable; thus, you get a new instance every time you add something to them. This idiom looks like loop/recur in Clojure. Important: Check the next post “OCaml Improved” for an improved solution.

The logic is pretty stupid. It tries to add a character to a Set; if it succeeds, it’s because the char wasn’t there before. If it “fails”, this means the char was already present, and the whole processing returns immediately. The add is wrapping the native Set.add to return a tuple indicating if the set before and after are different. And they will be if the insertion succeeds.

You can see some Pattern Matching in the char sequence and in the result of add that returns a tuple like (true, s) where true matches the success insertion and s binds to the new set generated after adding the element.

Dream also comes with a lot of features including Websocket, SQL with Caqti, middlewares and more.

An improvement

There’s a caveat here. See the added <> target, added line? Sets implement that by walking across the elements to check equality. With 26 letters in the English alphabet, that is not a big deal, but suppose you change the requirements to take the letter case into account. Or, image you start taking words in a text instead of letters in a word. This in requirements can easily harm performance.

Luckly, Ocaml offers another API that does change elements in place and offers a handy Hashtbl.length to check the size of the table before and after adding an element to it. Hashtbl.length is a O(1), as opposed to Set’s cardinal, that walks through the whole internal trie to figure out how many elemts are there.

Something that got me is how Hash Tables work here. If you use add, you can add several items to the same key. Much like a MultiValuedMap. To make it work, I had do to use Hashtbl.replace that keeps only the last added value to a key.

There’s no reason to store any value for this hash table, but we can add the char itself as key and value to comply with the interface.

As we are fancy and have time, let’s change our code to make it work with both solutions:

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
module CharSet = Set.Make(Char)

(* Adds a char to the Set and returns the new instance and a 
bool indicating if the insertion suceeded *)
let add achar target =
    let added = CharSet.add achar target in
    target <> added, added

let add_ht c ht = 
  let lbefore = Hashtbl.length ht in
  Hashtbl.replace ht c c;
  lbefore < Hashtbl.length ht, ht

let rec solve' word' container add_fn = match word'() with
    Seq.Cons (c, xs) -> 
        (match add_fn c container with
          (true, s)  -> solve' xs s add_fn
          | _ -> Some c)
  | _ -> None

(* Finds the first repeated character in a word usingn a set *)
let solve word =
  Dream.info (fun log -> log "Solving [%s] using set" word);
  solve' (String.to_seq word) CharSet.empty add

(* Finds the first repeated character in a word using a hash table *)
let solve_ht word =
  Dream.info (fun log -> log "Solving [%s] using hash table" word);
  let size = String.length word and seq = String.to_seq word in
  solve' seq (Hashtbl.create size) add_ht

(* Finds the repetition using Set or Hashtable *)
let res w s = 
  let res' = match s with
      Some "set" -> solve w
    | _ -> solve_ht w in
  match res' with
    Some c -> Printf.sprintf "Found %c" c
  | None -> "No repetition found"

let () = 
  Dream.run
  @@ Dream.logger
  @@ Dream.router [
    Dream.get "/find_repeated" (fun req -> match Dream.query "word" req with 
                  | None -> Dream.empty `Bad_Request
                  | Some word -> Dream.html (res word (Dream.query "s" req)))
  ]
  @@ Dream.not_found

The code is mostly the same, except that the server now takes an optional parameter called s, and if its value is set, the program will use a set to solve the puzzle. Otherwise, it uses a hash table. This code also makes use of Dream.info to log what is going on.

The main difference is that solve' became a high-order function that takes a generic container and an arbitrary add function. So the logic remains the same regardless of the underlying container it is using. There are certainly more idiomatic ways to encode the container and its add operation using types or classes. But this was enough for now. The fun is there!

A short difference in the way we access the solution is that http://localhost:8080/find_repeated?word=hhana&s=set (s=set) triggers the solution with Set and the absence of the parameter, or any other value, solves the puzzle using Hastbl.

Conclusion

The code used here you find in a gist.

OCaml is a language that I find beautiful and mapping to my recent work in payments, where you have complex business logic and interactions among several different concepts/entities. Having the elegance of OCaml has the potential to make things more straightforward and more maintainable. I will certainly give it a go in real life if I have a chance to.

Dream is such a slim, lightweight framework offering almost everything a modern application would need. I miss out-of-the-box JWT handling. But it should be pretty manageable to implement using a bunch of middlewares. Another area that could get some attention is the external configuration.

And here I go, chasing my dreams!

Updates

2021 November 16 - Created a simple example with the same solution in Scala + Zio in this Gist. And to be fully compatible, you can also find the http version in this other file. This version uses ZIO-HTTP, which is very good but as most of new projects, documentation is not the strenght.

This post is licensed under CC BY 4.0 by the author.