8 Oct
2015
8 Oct
'15
12:57 p.m.
On Thu, 8 Oct 2015 12:51:00 -0400
Richard Eisenberg
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.
Richard
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. -- Alex