🪓 Quartz 4.0

Home

āÆ

Introduction to Type Systems

Introduction to Type Systems

Apr 23, 20191 min read

  • image
  • Amazon

This page is auto-translated from /nishio/åž‹ć‚·ć‚¹ćƒ†ćƒ å…„é–€ using DeepL. If you looks something interesting but the auto-translated English is not good enough to understand it, feel free to let me know at @nishio_en. I’m very happy to spread my thought to non-Japanese readers.


Graph View

Backlinks

  • Difference between a nomenclature-type system and a structural-type system.
  • Dynamic typing is dynamic inspection

Created with Quartz v4.4.0 Ā© 2024

  • GitHub
  • Discord Community