Hat es jemand geschafft, ein Typsystem zu implementieren oder zu entwerfen, das sowohl Typstatus (lineare Typen) als auch Effekttypen (z. B. Koka ) kombiniert
Ich habe über ein Problem nachgedacht, das durch das Treffen mit einem Fremdsprachenprofessor für Anfänger am Goethe-Institut inspiriert wurde, der die fünf häufigsten Sprachen gelernt hat, die von Studenten gesprochen werden, um mit so vielen Studenten wie möglich zu kommunizieren. Stellen Sie...
Für mein Science-Fair-Projekt habe ich eine Optimierung der Sortierroutine von Python implementiert . Die Idee ist, die Sicherheitsüberprüfungen, die bei jedem Vergleich durchgeführt werden müssen, z. B. Typprüfungen und Zeichenbreitenprüfungen, außerhalb der Sortierschleife zu verschieben und sie...
Moderne Artikel zu Suchindizes enthalten häufig die Aussage, dass invertierte Indizes (Posting-Listen) Signaturdateien (Bloom-Filter) kategorisch überlegen sind. Hier einige Beispiele aus 2016 veröffentlichten Artikeln: Während diese [Signaturdatei] -Technik einen relativ geringen Rechenaufwand...
Es ist klar, dass Mathematica den Baillie-PSW-Test für seine PrimeQ-Funktion verwendet (die die Primalität testet), und wie ich in der Mathematica-Dokumentation gelesen habe , beginnt er mit der Testteilung, dann mit dem Miller-Rabin-Test der Basis 2 und 3 und dann mit dem Lucas-Pseudoprime-Test....
Wir wissen, dass sich das Halteproblem in der ersten Ebene der arithmetischen Hierarchie befindet. Wir wissen, dass sich das Totalitätsproblem in der 2. Ebene der arithmetischen Hierarchie befindet. Was sind einige Beispiele für Probleme in der 3. (oder höheren) Ebene der arithmetischen Hierarchie?...
An verschiedenen Stellen ( http://www.ams.org/journals/mcom/2004-73-246/S0025-5718-03-01539-4/S0025-5718-03-01539-4.pdf und https:
Jemand sagte mir, dass die Funktion eingeführt wurde, um die Berechnung zu vereinfachen. Wenn wir berechnen müssen , können wir stattdessen berechnen , da . Wie kann dies die Berechnung erleichtern? Vielleicht aus mathematischer Sicht, aber was ist mit der Sicht eines
Im Rahmen eines Kurses, den ich über Datenstrukturen unterrichte, möchte ich, dass die Schüler die Verwendung von Datenstrukturen in gängigen Software / Diensten erforschen und präsentieren. Grundlegendes Googeln zeigt mir jedoch, dass diese Informationen nicht so leicht verfügbar sind. Kann mich...