Saya mau tau Type system dari Basa program. Jelaskan dalam bahasa sunda

A type system defines how a programming language classifies values and expressions into types, how it can manipulate those types and how they interact.  This generally includes a description of the data structures that can be constructed in the language.  The design and study of type systems using formal mathematics is known as type theory.

Internally, all data in modérn digital computers are stored simply as zeros or ones (binary).