Lorem ipsum dolor sit amet, consectetur adipiscing elit. Li Europan lingues es membres del sam familie. Lor separat existentie es un myth.

Making Invalid States Unrepresentable#

Por scientie, musica, sport etc, litot Europa usa li sam vocabular. Li lingues differe solmen in li grammatica, li pronunciation e li plu commun vocabules.

Omnicos directe al desirabilite de un nov lingua franca: On refusa continuar payar custosi traductores. At solmen va esser necessi far uniform grammatica.

Newtypes and Phantom Types#

Ma quande lingues coalesce, li grammatica del resultant lingue es plu simplic e regulari quam ti del coalescent lingues.

struct Validated;
struct Unvalidated;

struct Email<State = Unvalidated> {
    address: String,
    _state: PhantomData<State>,
}

impl Email<Unvalidated> {
    fn validate(self) -> Result<Email<Validated>, Error> {
        // validation logic
    }
}

Li nov lingua franca va esser plu simplic e regulari quam li existent Europan lingues.