index

2021-09-08

2021-09-18

struct vs record

Struct has the schema out of band. Record value is a sequence of attribute values.

Record is a sequence of attribute -id, value type, value triples.

value types in the Dabric prelude

attribute typing

Attributes could be associated with a function that validates the attribute values.

Struct and record type definitions in a file header must always thus include value type defiitions for each attribute.

dabric file headers

→ attribute typing
← not fixing attribute value encoding helps preventing Y2K like problems
→ dabric file headers
→ byte size prefixed values
→ type tag
→ value types in the Dabric prelude
← 2021-08-26
← dabric file structure
→ value types in the Dabric prelude
→ length vs size
→ struct vs record
← dabric file headers
← value types

This site is generated with zetgen