
3 Sep
2010
3 Sep
'10
4:42 a.m.
In general, I like this approach, but what are
encrypt privateKey
or
decrypt publicKey
supposed to do? A type-class solution also does not *prevent* programmers to perform such non-sensical calls
Would it be desirable to prohibit such calls using the type system? -- Underestimating the novelty of the future is a time-honored tradition. (D.G.)