Serialization

1 article

• Isomorphisms at Boundaries: Lossless Translation3 min read

  An isomorphism between two types A and B is a pair of functions to : A → B and from : B → A such that from(to(a)) = a and to(from(b)) = b for any value.