Ich bin der Umsetzung einer ITracker Schnittstelle, die so etwas wie folgt aussieht: public interface ITracker
{
void Track(ITrackerEvent trackerEvent);
}
ich zunächst eine Implementierung di
Was ist eine flüssige Schnittstelle? Ich kann keine gute Definition dafür finden, aber alles, was ich bekomme, sind lange Codebeispiele in einer Sprache, mit der ich nicht sehr vertraut bin (z.B. C++)
gegeben Während this answer schreiben, bemerkte ich, dass dies zwar wie erwartet funktioniert: onlyModBy5 : (n : Nat) -> {auto prf : n `modNat` 5 = 0} -> Nat
onlyModBy5 n = n
foo : Nat
foo = onlyM