OCaml's type inference is truly amazing, makes it such a delight to write static...

Supermancho · 2025-10-11T21:13:32 1760217212

Annotations would be a substitute for writing the return type. Extra code for a shortcut seems like the worst solution.

miningape · 2025-10-12T00:49:09 1760230149

I don't mean Java annotations, those would be too clunky - in OCaml a type annotation is really just adding `: <typename>` to variables, function return types, etc.

so fibonacci could look like this

```

let rec fib n =

  match n with

  | 0 -> 1

  | 1 -> 1

  | _ -> fib (n - 1) + fib (n - 2)

```

or with annotations it becomes this:

```

let rec fib (n: int): int =

  // Same as above :)

```