type-theory

Diese min -Definition arbeitet an zwei Kirchennummern und gibt am wenigsten groß aus. Jede Zahl wird zu einer Fortsetzung, die ihr pred zum anderen schickt, zig und zag, bis Null erreicht ist. Darüber hinaus hängt eine der Zahlen jedes Mal, w...

Die Kommentare zu Steve Yegge ist über serverseitiges JavaScript begann die Diskussion über die Vorzüge von Typ-Systemen in Sprachen und diese Kommentar beschreibt:    ... Beispiele von H-M Stilsystemen, wo Sie Dinge wie: bekommen...

Ich beobachtete diesen Vortrag von Bartosz Milewski und er erklärte Koprodukt- und Summentypen. In der Vorlesung ging er von einem zum anderen. Ist das Nebenprodukt dasselbe wie der Summentyp?     

Was ist die Beziehung zwischen Rekursion und Beweis durch Induktion? Sagen wir fn(n) , Rekursion ist fn(n) ruft sich selbst auf, bis meet base condition ; Induktion ist, wenn base condition erfüllt ist, versuchen zu beweisen...

Wer dem Blog von Tony Morris und den Scala-Übungen gefolgt ist, weiß, dass diese beiden Signaturen gleichwertig sind: > %Vor% Und: %Vor% Außerdem wurde festgestellt, dass der Typ einfach bewohnt ist (d. h. alle Implementierungen des...

Ich stelle eine Funktion zur Verfügung, die zwei Parameter benötigt, eine ist eine Mindestgrenze und die andere ist eine Höchstgrenze. Wie kann ich mit Typen sicherstellen, dass beispielsweise die Mindestgrenze nicht größer ist als die Maximalgr...