28 Dec
2005
28 Dec
'05
8:03 p.m.
On 12/27/05, oleg@pobox.com <oleg@pobox.com> wrote:
data a :+: bb -- Conj assertion a and assertions bb data aa :@: bb -- Conjunction of assertions aa and bb
Why is the difference here?
class WellTyped a instance WellTyped Nil instance WellTyped cs => WellTyped ((a :=: a) :+: cs) instance (WellTyped cs1, WellTyped cs2) => WellTyped (cs1 :@: cs2)
Could one not write: instance WellTyped (a :=: a) and do away with (:+:)? -- Taral <taralx@gmail.com> "Computer science is no more about computers than astronomy is about telescopes." -- Edsger Dijkstra