octachron questions

octachron answers

• Is there a way to embed unit-handling logic in the OCaml type system?
• Subtype coercion with first-class modules
• Inline records in polymorphic variants?
• OCaml nested structure
• syntax for string vs array indexing
• Type inference fails horribly when omitting argument label on a function call
• How to include a signature in an extended module?
• Can someone explain the type syntax used in this OCaml program?
• Too eager infering of ocaml optional function argument
• Is there a way to declare executables with hyphens in a OCaml dune?