Drup questions

Drup answers

• Why is ML called Meta-Language?
• How to map modules to a module type in OCaml?
• What are the rules for equality of types and modules in OCaml
• OCaml's GADT and many type variables
• Printing abstract syntax tree using ppx_deriving
• Map a subset of a polymorphic variant
• MirageOS - Unable to build unikernel for XEN
• Are streams in ocaml really used?
• How to decide whether to parameterize on the type-level or the module-level when designing modules?
• OCaml : why comparison operator are type agnostic, whereas arithmetic ones are not?