tonymorris · August 18, 2014 22:27
diff --git a/twitter-sucks b/twitter-sucks
 @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?)?)
	@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?)?)