newsfilter.io
Lecture, Tutorial

How to Use OCaml's Coercion Operator

Jane Streetcamels
Watch on YouTube →
  • The speaker plans to explore OCaml's subtyping relation over the course of two videos.
  • Following the subtyping discussion, the speaker intends to examine immutable arrays specific to Jane Street.
  • The speaker anticipates that immutable arrays possess a feature connected to the discussed subtyping relation.
  • It is expected that most programmers will utilize the fully explicit coercion notation in practice.
  • The coercion operator is predicted to be guaranteed free at runtime with no impact on performance.
  • The operator performs only type checking and executes no operations during runtime.
  • The coercion operator is expected to maintain consistent efficiency.
  • The speaker expects to cover the interaction between the coercion operator and variant annotations during new data type definitions in the subsequent video.