Tony Morris

@techtangents @dibblego @channingwalton @jdegoes @puffnfresh thanks for checking off the, "b-b-b-but dependent types" box. We needed that.

@techtangents @dibblego @channingwalton @jdegoes @puffnfresh can you go ahead and take care of the "b-b-b-but modularity/fibration" one too?

@techtangents @dibblego @channingwalton @jdegoes @puffnfresh DTs are useful, but there are unresolved sources of design friction.

@bitemyapp @techtangents @dibblego @channingwalton @jdegoes @puffnfresh What issues concern you?

@pdxleif @techtangents @dibblego @channingwalton @jdegoes @puffnfresh I'd rather not as people often get defensive about their fav PL.

@bitemyapp @techtangents @dibblego @channingwalton @jdegoes @puffnfresh So I've noticed. ;)