[Haskell-cafe] Well-typed design issue
alex323 at gmail.com
Thu Oct 8 16:57:17 UTC 2015
On Thu, 8 Oct 2015 12:51:00 -0400
Richard Eisenberg <eir at cis.upenn.edu> wrote:
> What's going wrong? It looks like you're off to a solid start here.
> I don't know about these cryptographic primitives you speak of, but
> it sounds like the type conversion functions you're railing against
> are indeed necessary -- that is, they perform a runtime action. So
> where's the problem? Richly typed interfaces are sometimes more
> verbose (especially when you're just setting things up), but you're
> getting safety guarantees for that payment.
After a discussion with Cale in #haskell, I've been convinced of the
point that you're making. The reason I was feeling uneasy was because I
incorrectly equated verbosity to inelegance.
More information about the Haskell-Cafe