80: MoonBitで形式検証 / OxCamlのzero_alloc注釈

MoonBit 0.9で導入された形式検証の話や、OxCamlのzero_alloc注釈を用いてパフォーマンス最適化を行う記事を読みながら雑談しました。

• MoonBit 0.9: Introducing First-Class Formal Verification
  • Extra, Extra - Read All About It: Nearly All Binary Searches and Mergesorts are Broken
• The feature in OxCaml that more languages should steal
• 本編で言及されているイチゼロエフエム過去回
  • 15: 簡潔データ構造と冬休み読書
  • 37: VictoriaLogs, Secure Cache, OxCaml, DuckDB Easter Egg

Chapters:
(00:00) Opening
(02:38) MoonBit 0.9: Introducing First-Class Formal Verification
(23:33) The feature in OxCaml that more languages should steal