kne questions

kne answers

• OCaml Signature Functors
• Why can't row polymorphism be use to store objects in heterogeneous containers?
• "Variable ... must occur on both sides of this | pattern"
• Anonymous recursive functions in OCaml
• Can compare return anything else than -1, 0 and 1?
• Polymorphic variant subtype implementation does not match signature