mercury

3La chaleur

3Répondre

propriétés ADT dans Mercury

Je vagabonder pourquoi Mercury (10,04) ne peut pas déduire le déterminisme du prochain extrait: :- pred load_freqs(int::in, io.res(list(float))::out, io::di, io::uo) is det. load_freqs(CPU, ResFreqs,

logic declarative mercury 2010-07-29

---

1La chaleur

1Répondre

instances polymorphes pour classes de types en langue

Mercure considérer la prochaine déclaration: :- type wrap(T) ---> wrap(T). :- inst wrap(I) ---> wrap(I). :- typeclass infer_wrap(A, B) <= ((A -> B)). :- instance infer_wrap(A, wrap(A)). Mercury

typeclass mercury 2010-08-10

---