octachron questions

octachron answers

• Equivalent of Haskell's $ operator in OCaml
• What's the OCaml equivalent of C's printf("%.3s"), i.e, specifying a maximum width for a string argument?
• What are equality witnesses like `Type.eq` / `Typing_equal.equal` used for?
• How can I create a type in order to accommodate the return value of my Ocaml function?
• When using GADT in OCaml, how can I remove the 'less general definition' error message on a function?
• How do I get the last evaluated expression in OCaml's toplevel?
• What is the difference between ('a * 'a) list and 'a * 'a list in ocaml?
• strange behaviour of OCaml when writing a function in two different ways
• Why is this OCaml definition accepted with a wrong type?
• Why Peano numbers in OCaml not working due to scope error?