| @jdegoes @puffnfresh The Email/String smart constructor is a Prism. /cc @d6 @luqui | |
| @dibblego @puffnfresh @d6 @luqui Preferred solution: correct model of email. Pragmatic solution: Prism / smart constructor on String. | |
| (private thought: what could "correct model of email" mean? What is so "pragmatic solution" about Prism?) | |
| @jdegoes @puffnfresh @d6 @luqui what is "correct model of email"? Do you mean only allow correct construction? | |
| @dibblego @puffnfresh @d6 @luqui i.e. a data structure (ADT) which is naturally isomorphic to the set of all valid emails. | |
| (private thought: What could this possibly mean? Isn't this just writing a proof in a total language (is this a smart person rediscovering an idea without a vocabulary to express it?)?) |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment