Summary

Summary This Page

Preface Why Fairyland OCaml

Section: Library Gems

Good libraries deserve more explanaion.

Understanding Hashcons

Understanding Core.Command and Cmdliner

Using Z3.Datatype

Section: Using Core

More comprehensive discussion after RWO.

What are [@@deriving compare, sexp_of, hash] for?

Section: OCaml Internals

What is polymorphic compare?

🚧 Under Construction 🚧

Understanding Data Collections in Core

📝 In My Plan 📝

Section: Library Gems

Using Hashcons (libraries/hashcons-examples.md)

Understanding Fix (libraries/fix.md)

Using Fix (libraries/fix-examples.md)

Understanding Ocamlgraph (libraries/ocamlgraph.md)

Profiling (topics/profiling.md)

Section: OCaml Internals

Deriving print (internals/deriving-print.md)

Understanding type format6 (internals/type-format6.md)

Understanding module Format (internals/module-format.md)

Understanding destructive substitution (internals/destructive-substitution.md)

Section: Concepts

Fixed point (topics/fixed-point.md)

Contravariant (concepts/contravariant.md)

Typeclassopedia (concepts/typeclassopedia.md)

Section: Code Reading

OCaml source reading (reading/ocaml-source-reading.md)