Moving Average Iskell

Während Haskells Reinheit mit einer ganzen Reihe von Vorteilen kommt, macht es uns etwas Probleme anders als wir in unreinen Sprachen. Wegen der referentiellen Transparenz ist ein Wert so gut wie ein anderer in Haskell, wenn er dasselbe darstellt. Also, wenn wir einen Baum voller Fünde haben (High-Fives vielleicht) und wir wollen einen von ihnen in eine Sekunde wechseln, müssen wir irgendwie wissen, welche Fünf in unserem Baum wir ändern wollen. Wir müssen wissen, wo es in unserem Baum ist. In unreinen Sprachen konnten wir nur merken, wo in unserem Gedächtnis die fünf sich befinden und das ändern. Aber in Haskell ist ein Fünf so gut wie ein anderer, also können wir nicht unterscheiden, wo wir in unserem Gedächtnis sind. Wir können auch nichts ändern, wenn wir sagen, dass wir einen Baum wechseln, wir meinen eigentlich, dass wir einen Baum nehmen und einen neuen zurückgeben, der dem ursprünglichen Baum ähnlich ist, aber etwas anders. Eine Sache, die wir tun können, ist, einen Weg von der Wurzel des Baumes zu dem Element zu erinnern, das wir ändern wollen. Wir könnten sagen, nehmen Sie diesen Baum, gehen Sie nach links, gehen Sie rechts und dann wieder links und ändern Sie das Element, das dort ist. Während dies funktioniert, kann es ineffizient sein. Wenn wir später ein Element ändern wollen, das sich in der Nähe des Elementes befindet, das wir vorher geändert haben, müssen wir den ganzen Weg von der Wurzel des Baumes zu unserem Element zurückgehen. In diesem Kapitel sehen wir, wie wir einige Datenstrukturen und Fokus aufnehmen können Ein Teil davon in einer Weise, die die Veränderung ihrer Elemente einfach macht und herumlaufen effizient. Nizza Einen Spaziergang machen Wie weve gelernt in der Biologie-Klasse gibt es viele verschiedene Arten von Bäumen, so können wir einen Samen wählen, den wir verwenden werden, um unsere zu pflanzen. Hier ist es: So ist unser Baum entweder leer oder ein Knoten, der ein Element und zwei Unterbäume hat. Heres ein schönes Beispiel für einen solchen Baum, den ich Dir, den Leser, für freies und Heres diesen Baum grafisch darstelle: Beachten Sie, dass W im Baum dort Sagen wir, dass wir es in ein P ändern wollen. Wie würden wir gehen zu tun Dass ein Weg wäre, um Muster auf unserem Baum, bis wir das Element finden, das liegt, indem Sie zuerst nach rechts und dann links und ändern dieses Element. Heres der Code für diese: Yuck Nicht nur ist dies ziemlich hässlich, seine auch Art von verwirrend. Was passiert hier Nun, wir Muster Match auf unserem Baum und nennen seine Wurzel Element x (das ist die P in der Wurzel) und seine linken Sub-Baum l. Anstatt einen Namen zu seinem rechten Teilbaum zu geben, passen wir uns weiter. Wir setzen diese Muster zusammen, bis wir den Unterbaum erreichen, dessen Wurzel unser W ist. Sobald wir dies getan haben, bauen wir den Baum wieder auf, nur der Unterbaum, der das W an seiner Wurzel enthielt, hat jetzt ein P. Gibt es einen besseren Weg Um dies zu tun Wie wär's mit unserer Funktion nehmen wir einen Baum zusammen mit einer Liste von Richtungen. Die Richtungen sind entweder L oder R., die links und rechts repräsentieren und das Element, das wir ankommen, gut ändern, wenn wir den angegebenen Richtungen folgen. Hier ist es: Wenn das erste Element in unserer Liste der Richtungen L ist, konstruieren wir einen neuen Baum, der wie der alte Baum ist, nur sein linker Teilbaum hat ein Element in P geändert. Wenn wir rekursiv changeToP nennen. Wir geben ihm nur den Schwanz der Richtungsanleitung, weil wir schon links gegangen sind. Wir machen dasselbe im Falle eines R. Wenn die Liste der Richtungen leer ist, bedeutet das, dass wir an unserem Bestimmungsort waren, also kehren wir einen Baum zurück, der wie der mitgelieferte ist, nur hat er P als sein Wurzel-Element. Um den ganzen Baum nicht auszudrucken, kann man eine Funktion machen, die eine Liste von Richtungen annimmt und uns sagt, was das Element am Zielort ist: Diese Funktion ist eigentlich ganz ähnlich wie changeToP. Nur anstatt sich an das Zeug zu erinnern und den Baum zu rekonstruieren, ignoriert er alles außer seinem Ziel. Hier ändern wir das W zu einem P und sehen, ob die Veränderung in unserem neuen Baum haftet: Nett, das scheint zu funktionieren. In diesen Funktionen fungiert die Liste der Richtungen als eine Art Fokus. Weil es einen genauen Unterbaum von unserem Baum punktiert. Eine Richtungsliste von R fokussiert auf den Unterbaum, der rechts von der Wurzel ist, zum Beispiel. Eine leere richtungsliste konzentriert sich auf den Hauptbaum selbst. Während diese Technik cool erscheinen mag, kann es eher ineffizient sein, besonders wenn wir die Elemente wiederholt verändern wollen. Sagen wir, wir haben einen wirklich riesigen Baum und eine lange Richtungsliste, die auf ein Element den ganzen Weg an der Unterseite des Baumes zeigt. Wir benutzen die Richtungsliste, um einen Spaziergang entlang des Baumes zu machen und ein Element an der Unterseite zu ändern. Wenn wir ein anderes Element ändern wollen, das sich in der Nähe des Elementes befindet, das wir nur geändert haben, müssen wir von der Wurzel des Baumes anfangen und den ganzen Weg nach unten gehen. Im nächsten Abschnitt finden Sie eine bessere Möglichkeit, sich auf einen Unterbaum zu konzentrieren, der es uns ermöglicht, den Fokus effizient auf Unterbäume zu schalten, die in der Nähe sind. Eine Spur von Paniermehl Okay, also für die Fokussierung auf einen Unterbaum, wollen wir etwas Besseres als nur eine Liste von Richtungen, die wir immer aus der Wurzel unseres Baumes folgen. Würde es helfen, wenn wir an der Wurzel des Baumes anfangen und sich entweder links oder rechts einen Schritt zu einer Zeit und Art von Urlaubsbreadkrumen bewegen. Das ist, wenn wir nach links gehen, erinnern wir uns, dass wir nach links gegangen sind und wenn wir nach rechts gehen, erinnern wir uns Dass wir richtig gegangen sind. Sicher, das können wir versuchen. Um unsere Paniermehl zu repräsentieren, benutze auch eine Liste von Direction (die entweder L oder R ist), anstatt sie anzurufen. Gut nennen es Brotkrumen. Weil unsere Richtungen jetzt umgekehrt werden, da sie sie verlassen haben, als wir unseren Baum hinuntergehen: Heres eine Funktion, die einen Baum und einige Brotkrumen nimmt und sich nach links bewegt, während er L den Kopf der Liste, die unsere Brotkrumen repräsentiert, Wir ignorieren das Element an der Wurzel und dem rechten Unterbaum und geben einfach den linken Unterbaum zusammen mit den alten Paniermehl mit L als Kopf zurück. Heres eine Funktion, um richtig zu gehen: Es funktioniert auf die gleiche Weise. Lets verwenden diese Funktionen, um unsere freeTree zu nehmen und gehen Sie nach rechts und dann links: Okay, so jetzt haben wir einen Baum, der W hat in seiner Wurzel und C in der Wurzel seines linken Teilbaums und R in der Wurzel seiner rechten Sub - Baum. Die Paniermehl sind L, R. Weil wir zuerst gegangen sind und dann links. Um zu Fuß auf unserem Baum klarer, können wir die - Funktion, die wir so definiert haben, wie folgt: Was erlaubt uns, Funktionen auf Werte anzuwenden, indem wir zuerst den Wert schreiben, dann schreiben ein - und dann die Funktion. Also statt goRight (freeTree). Wir können schreiben (freeTree,) -: goRight. Mit diesem können wir das oben umschreiben, so dass es noch deutlicher ist, dass es zuerst richtig war und dann links ging: Gehen Sie zurück Was, wenn wir jetzt in unserem Baum zurückkehren wollen. Von unseren Paniermehl wissen wir, dass der aktuelle Baum der linke Teil ist - tree von seinem Elternteil und dass es der rechte Unterbaum seines Elternteils ist, aber das ist es. Sie erzählen uns nicht genug über die Eltern des aktuellen Teilbaums, damit wir in den Baum gehen können. Es scheint, dass abgesehen von der Richtung, die wir nahmen, ein einziges Breadcrumb auch alle anderen Daten enthalten sollte, die wir brauchen, um wieder zu gehen. In diesem Fall ist das Element im übergeordneten Baum zusammen mit seinem rechten Teilbaum. Im Allgemeinen sollte ein einzelnes Breadcrumb alle Daten enthalten, die benötigt werden, um den übergeordneten Knoten zu rekonstruieren. So sollte es die Informationen von allen Pfaden haben, die wir nicht nahmen und es sollte auch die Richtung wissen, die wir genommen haben, aber es darf nicht den Unterbaum enthalten, der sich aktuell konzentrierte. Das ist, weil wir diesen Teilbaum bereits in der ersten Komponente des Tupels haben, also wenn wir es auch in den Paniermehl hatten, haben wir doppelte Informationen. Lets modifizieren unsere Paniermehl, so dass sie auch Informationen über alles, was wir zuvor ignoriert haben, wenn Sie nach links und rechts. Anstelle von richtung Gut machen einen neuen Datentyp: Jetzt, anstatt nur L. haben wir ein LeftCrumb, das auch das Element in den Knoten enthält, von dem wir verschoben wurden und den richtigen Baum, den wir nicht besuchen konnten. Statt R. haben wir RightCrumb. Die das Element in dem Knoten enthält, den wir von und dem linken Baum verschoben haben, den wir nicht besuchen konnten. Diese Brotkrumen enthalten jetzt alle Daten, die benötigt werden, um den Baum neu zu erstellen, den wir durchgemacht haben. Also anstatt nur normale Brotkrümel zu sein, sind sie jetzt eher wie Disketten, die wir verlassen, während wir mitgehen, weil sie viel mehr Informationen enthalten als nur die Richtung, die wir genommen haben. Im Grunde ist jeder Brotkrumen jetzt wie ein Baumknoten mit einem Loch darin. Wenn wir uns tiefer in einen Baum bewegen, trägt das Breadcrumb alle Informationen, die der Knoten, von dem wir weggezogen sind, außer dem Unterbaum, den wir uns konzentrieren wollten. Es muss auch beachten, wo das Loch ist. Im Falle eines LeftCrumb. Wir wissen, dass wir nach links gezogen sind, also der Unterbaum, der fehlt, ist der linke. Lets auch ändern unsere Brotkrumen Typ Synonym, um dies zu reflektieren: Als nächstes müssen wir die goLeft und goRight Funktionen zu speichern Informationen über die Pfade, die wir nicht in unsere Brotkrumen, anstatt zu ignorieren, dass Informationen wie sie zuvor getan haben. Heres goLeft Sie können sehen, dass es sehr ähnlich zu unserem vorherigen goLeft ist. Nur anstatt nur ein L zu dem Kopf unserer Liste der Paniermehl hinzuzufügen, fügen wir ein LeftCrumb hinzu, um zu bedeuten, dass wir nach links gegangen sind, und wir rüsten unser LeftCrumb mit dem Element in dem Knoten aus, von dem wir zogen (das ist das x) und das richtige Sub - tree, dass wir uns nicht besuchen wollten. Beachten Sie, dass diese Funktion davon ausgeht, dass der aktuelle Baum unter dem Fokus nicht leer ist. Ein leerer Baum hat keine Unterbäume, also wenn wir versuchen, von einem leeren Baum nach links zu gehen, wird ein Fehler auftreten, da das Muster auf Knoten nicht erfolgreich ist und theres kein Muster, das sich um Leer kümmert. GoRight ist ähnlich: Wir konnten vorher links und rechts gehen. Was wir jetzt bekommen haben, ist die Fähigkeit, durch die Erinnerung an die übergeordneten Knoten und die Pfade, die wir nicht besuchen, Heres die GoUp-Funktion: Wäre auf den Baum t und wir überprüfen, was die neuesten Crumb ist. Wenn es ein LeftCrumb ist. Dann konstruieren wir einen neuen Baum, wo unser Baum t der linke Teilbaum ist und wir benutzen die Informationen über den rechten Teilbaum, den wir nicht besuchen und das Element, um den Rest des Knotens auszufüllen. Weil wir zurückgekehrt haben, um so zu sprechen und nahm den letzten Breadcrumb, um mit ihm den Elternbaum neu zu erstellen, die neue Liste der Brotkrumen enthält es nicht. Beachten Sie, dass diese Funktion einen Fehler verursacht, wenn sie bereits an der Spitze eines Baumes sind und wir nach oben gehen wollen. Später, gut nutzen die vielleicht Monade, um mögliche Misserfolg beim Bewegen Fokus darstellen. Mit einem Paar Baum und Brotkrumen a. Wir haben alle Informationen, um den ganzen Baum wieder aufzubauen und wir haben auch einen Fokus auf einen Unterbaum. Dieses Schema ermöglicht es uns auch leicht nach oben, links und rechts zu bewegen. Ein solches Paar, das einen fokussierten Teil einer Datenstruktur und seiner Umgebung enthält, wird als Reißverschluss bezeichnet, denn das Bewegen unseres Fokus nach oben und unten der Datenstruktur ähnelt dem Betrieb eines Reißverschlusses auf einem regelmäßigen Paar Hosen. So ist es cool, ein Typ-Synonym als solches zu machen: Ich bevorzuge das Benennen des Typs Synonym Focus, weil das macht es klarer, dass sich auf einen Teil einer Datenstruktur konzentriert, aber der Begriff Reißverschluss ist weit verbreitet, um eine solche Einrichtung zu beschreiben, so gut Mit Reißverschluss Manipulieren von Bäumen unter Fokus Nun können wir eine Aufwärts - und Abwärtsbewegung ausführen, die eine Funktion veranlasst, die das Element in der Wurzel des Unterbaums modifiziert, auf den sich der Reißverschluss konzentriert: Wenn wir uns auf einen Knoten konzentrieren, ändern wir sein Wurzel-Element mit dem Funktion f. Wenn wir uns auf einen leeren Baum konzentrieren, lassen wir es so, wie es ist. Jetzt können wir mit einem Baum anfangen, um irgendwo zu wandern und ein Element zu modifizieren, während wir uns auf dieses Element konzentrieren, damit wir uns leicht nach oben oder unten bewegen können. Ein Beispiel: Wir gehen links, dann rechts und ändern dann das Wurzel-Element, indem wir es mit einem P ersetzen. Das liest noch besser, wenn wir - verwenden. Wir können dann nach oben, wenn wir wollen und ersetzen ein Element mit einem geheimnisvollen X. Oder wenn wir es mit geschrieben -. Das Bewegen ist einfach, weil die Brotkrumen, die wir verlassen, den Teil der Datenstruktur bilden, der sich nicht konzentrierte, aber seine umgekehrte Art, wie eine Socke von innen heraus drehen. Thats warum, wenn wir nach oben gehen wollen, müssen wir nicht von der Wurzel anfangen und unseren Weg nach unten machen, aber wir nehmen einfach die Spitze unseres umgekehrten Baumes und entbinden damit einen Teil davon und fügen ihn unserem Fokus hinzu. Jeder Knoten hat zwei Unterbäume, auch wenn diese Unterbäume leere Bäume sind. Wenn also auf einen leeren Teilbaum fokussiert wäre, dann können wir es mit einem nicht leeren Teilbaum ersetzen und damit einen Baum an einen Blattknoten anschließen. Der Code dafür ist einfach: Wir nehmen einen Baum und einen Reißverschluss und geben einen neuen Reißverschluss zurück, der seinen Fokus mit dem mitgelieferten Baum ersetzt hat. Nicht nur können wir Bäume auf diese Weise verlängern, indem wir leere Unterbäume durch neue Bäume ersetzen, sondern auch ganze bestehende Unterbäume ersetzen können. Lass uns einen Baum ganz links von unserem FreeTree anbringen. NewFocus konzentriert sich nun auf den Baum, den wir gerade befestigt haben und der Rest des Baumes liegt in den Paniermehl. Wenn wir gern gehen würden, um den ganzen Weg bis zum Gipfel des Baumes zu gehen, wäre es der gleiche Baum wie FreeTree, aber mit einem zusätzlichen Z auf seiner linken Seite. Ich gehe direkt an die Spitze, oh yeah, wo die Luft frisch und sauber ist Machen Sie eine Funktion, die den ganzen Weg an die Spitze des Baumes geht, unabhängig davon, was konzentriert wurde, ist wirklich einfach. Hier ist es: Wenn unsere Spur von beasted up Brotkrumen leer ist, bedeutet dies, dass bereits an der Wurzel unseres Baumes, so dass wir nur den aktuellen Fokus zurückgeben. Andernfalls gehen wir hinauf, um den Fokus des übergeordneten Knotens zu erhalten und dann rekursiv topMost anzumelden. So, jetzt können wir um unseren Baum herumlaufen, gehen nach links und rechts und oben, wenden sich an und wenden uns an, während wir mitgehen und dann, wenn wir mit unseren Modifikationen fertig sind, verwenden wir topMost, um sich auf die Wurzel unseres Baumes zu konzentrieren und die Änderungen zu sehen, Getan in der richtigen perspektive Fokussierung auf Listen Reißverschlüsse können mit so ziemlich jeder Datenstruktur verwendet werden, also ist es keine Überraschung, dass sie verwendet werden können, um sich auf Unterlisten von Listen zu konzentrieren. Immerhin sind Listen so ziemlich wie Bäume, nur wo ein Knoten in einem Baum ein Element (oder nicht) und mehrere Unterbäume hat, hat ein Knoten in einer Liste ein Element und nur eine einzige Unterliste. Als wir unsere eigenen Listen implementierten. Wir haben unseren Datentyp so definiert: Kontrastieren Sie dies mit unserer Definition unseres Binärbaums und es ist leicht zu sehen, wie Listen als Bäume betrachtet werden können, in denen jeder Knoten nur einen Teilbaum hat. Eine Liste wie 1,2,3 kann als 1: 2: 3 geschrieben werden. Es besteht aus dem Kopf der Liste, die 1 ist und dann die Listen Schwanz, die 2: 3: ist. Im Gegenzug 2: 3: hat auch einen Kopf, der 2 ist und ein Schwanz, der 3: ist. Mit 3 :. Die 3 ist der Kopf und der Schwanz ist die leere Liste. Lets machen einen Reißverschluss für Listen. Um den Fokus auf Unterlisten einer Liste zu ändern, bewegen wir uns entweder vorwärts oder zurück (während bei Bäumen wir entweder nach oben oder nach links oder rechts bewegt). Der fokussierte Teil wird ein Unterbaum sein und zusammen mit dem Brunnen Brotkrumen verlassen, während wir vorankommen. Nun, was wäre ein einziger Brotkrümel für eine Liste bestehen aus Als wir mit binären Bäumen zu tun hatten, sagten wir, dass ein Brotkrumen das Element in der Wurzel des Elternknotens zusammen mit allen Unterbäumen halten muss, die wir nicht gewählt haben. Es musste sich auch merken, ob wir nach links oder rechts gingen. Also musste es alle Informationen haben, die ein Knoten hat, außer für den Unterbaum, auf den wir uns konzentrieren wollten. Listen sind einfacher als Bäume, also müssen wir uns nicht erinnern, ob wir nach links oder rechts gegangen sind, denn es gibt nur einen Weg, um tiefer in eine Liste zu gehen. Weil theres nur ein Unterbaum zu jedem Knoten ist, müssen wir uns nicht an die Pfade erinnern, die wir auch nicht genommen haben. Es scheint, dass alles, was wir uns erinnern müssen, das vorherige Element ist. Wenn wir eine Liste wie 3,4,5 haben und wir wissen, dass das vorherige Element 2 war, können wir zurückgehen, indem wir dieses Element an die Spitze unserer Liste setzen und 2,3,4,5 bekommen. Weil ein einziges Breadcrumb hier nur das Element ist, müssen wir es nicht wirklich in einen Datentyp stellen, wie wir es gemacht haben, als wir den Crumb-Datentyp für Baumreißverschlüsse gemacht haben: Die erste Liste stellt die Liste dar, die sich auf die zweite Liste konzentriert hat Ist die Liste der Paniermehl. Lets machen Funktionen, die vorwärts und zurück in Listen gehen: Wann waren wir vorwärts, wir konzentrieren uns auf den Schwanz der aktuellen Liste und lassen das Kopf-Element als Brotkrumen. Als wir uns rückwärts bewegten, nehmen wir das letzte Breadcrumb und setzten es am Anfang der Liste. Hier sind diese beiden Funktionen in Aktion: Wir sehen, dass die Paniermehl im Falle von Listen nichts weiter als ein umgekehrter Teil unserer Liste sind. Das Element, das wir uns von uns weg bewegen, geht immer in den Kopf der Paniermehl, so dass es leicht ist, sich zurückzuziehen, indem er gerade dieses Element aus dem Kopf der Paniermehl nimmt und es den Kopf unseres Fokus macht. Das macht es auch leichter zu sehen, warum wir das einen Reißverschluss nennen, denn das sieht wirklich wie der Schieber eines Reißverschlusses aus und ab. Wenn du einen Texteditor machst, kannst du eine Liste von Strings verwenden, um die Textzeilen darzustellen, die momentan geöffnet sind und du kannst dann einen Reißverschluss verwenden, damit du weißt, auf welche Zeile der Cursor gerade fokussiert ist. Mit einem Reißverschluss würde es auch einfacher machen, neue Zeilen überall im Text einzufügen oder bestehende zu löschen. Ein sehr einfaches Dateisystem Nun, da wir wissen, wie Reißverschlüsse arbeiten, können wir Bäume verwenden, um ein sehr einfaches Dateisystem darzustellen und dann einen Reißverschluss für das Dateisystem zu machen, das es uns erlaubt, zwischen den Ordnern zu wechseln, genau wie wir es normalerweise tun, wenn wir herumspringen Unser Dateisystem. Wenn wir einen vereinfachten Blick auf das durchschnittliche hierarchische Dateisystem nehmen, sehen wir, dass es sich meist um Dateien und Ordner handelt. Dateien sind Dateneinheiten und kommen mit einem Namen, während Ordner verwendet werden, um diese Dateien zu organisieren und können Dateien oder andere Ordner enthalten. So sagen wir, dass ein Element in einem Dateisystem entweder eine Datei ist, die mit einem Namen und einigen Daten oder einem Ordner, der einen Namen und dann eine Reihe von Elementen, die entweder Dateien oder Ordner selbst sind, kommt. Heres ein Datentyp für diese und einige Typ Synonyme, so dass wir wissen, was ist was: Eine Datei kommt mit zwei Zeichenfolgen, die ihren Namen und die Daten, die es hält. Ein Ordner kommt mit einem String, der seinen Namen und eine Liste von Elementen ist. Wenn diese Liste leer ist, dann haben wir einen leeren Ordner. Heres ein Ordner mit einigen Dateien und Unterordner: Das ist eigentlich was meine Festplatte jetzt enthält. Ein Reißverschluss für unser Dateisystem Nun, da wir ein Dateisystem haben, ist alles, was wir brauchen, ein Reißverschluss, so dass wir es zip und zoomen können und hinzufügen, modifizieren und entfernen können Dateien sowie Ordner. Wie mit binären Bäumen und Listen, würden wir gehen, um Brotkrumen zu verlassen, die Informationen über all das Zeug enthalten, das wir nicht besuchen wollten. Wie wir schon sagten, sollte ein einziger Breadcrumb ein bisschen wie ein Knoten sein, nur sollte es alles außer dem Unterbaum enthalten, der sich aktuell konzentrierte. Es sollte auch beachten, wo das Loch ist, so dass, sobald wir wieder nach oben, können wir unsere bisherigen Fokus in das Loch zu stecken. In diesem Fall sollte ein Breadcrumb wie ein Ordner sein, nur sollte es den Ordner fehlen, den wir derzeit gewählt haben. Warum nicht wie eine Datei, fragst du gut, denn wenn du mich mal auf eine Datei konzentrierst, können wir uns nicht tiefer in das Dateisystem bewegen, also macht es keinen Sinn, ein Breadcrumb zu hinterlassen, das sagt, dass wir aus einer Datei kamen. Eine Datei ist wie ein leerer Baum. Wenn Sie sich auf den Ordner root konzentrieren und dann auf die Datei dijonpoupon. doc fokussieren. Was sollte das breadcrumb, das wir verlassen, aussehen Nun, es sollte den Namen seines übergeordneten Ordners zusammen mit den Gegenständen enthalten, die vor der Datei kommen, die sich konzentriert haben und die Gegenstände, die danach kommen. Also alles was wir brauchen ist ein Name und zwei Listen von Gegenständen. Durch die Aufbewahrung von separaten Listen für die Gegenstände, die vor dem Gegenstand kommen, der sich konzentriert und für die Gegenstände, die danach kommen, wissen wir genau, wo wir es platzieren müssen, sobald wir uns wieder bewegen. So wissen wir, wo das Loch ist. Heres unsere Breadcrumb-Typ für das Dateisystem: Und Heres ein Typ Synonym für unseren Reißverschluss: Zurück in der Hierarchie ist sehr einfach. Wir nehmen einfach den neuesten Breadcrumb und versammeln einen neuen Fokus aus dem aktuellen Fokus und Brotkrumen. So wie: Weil unser Breadcrumb wusste, was die Eltern-Ordner nennen, sowie die Artikel, die vor unserem fokussierten Artikel in den Ordner (thats ls) und die, die nach kam (das ist rs) kam, war nach oben war einfach. Wie wäre es, tiefer in das Dateisystem zu gehen. Wurde in der Wurzel und wir wollen uns auf dijonpoupon. doc konzentrieren. Der Brotkrumen, den wir verlassen, wird den Namen Wurzel mit den Gegenständen einschließen, die dijonpoupon. doc vorangehen und die, die danach kommen. Heres eine Funktion, die sich bei einem Namen auf eine Datei des Ordners konzentriert, die sich im aktuellen fokussierten Ordner befindet: fsTo nimmt einen Namen und einen FSZipper und gibt einen neuen FSZipper zurück, der auf die Datei mit dem gegebenen Namen fokussiert. Diese Datei muss sich im aktuellen fokussierten Ordner befinden. Diese Funktion sucht nicht überall, sondern schaut nur auf den aktuellen Ordner. Zuerst verwenden wir Pause, um die Liste der Gegenstände in einem Ordner in diejenigen zu bringen, die der Datei vorangehen, die gesucht wurden, und denen, die danach kommen. Wenn du dich daran erinnerst, nimmt die Pause ein Prädikat und eine Liste und gibt ein Paar Listen zurück. Die erste Liste im Paar enthält Items, für die das Prädikat False zurückgibt. Dann, sobald das Prädikat True für ein Element zurückgibt, platziert es dieses Element und den Rest der Liste in dem zweiten Element des Paares. Wir haben eine Hilfsfunktion namens nameIs gemacht, die einen Namen und ein Dateisystemobjekt annimmt und True zurückgibt, wenn die Namen übereinstimmen. So jetzt, ls ist eine Liste, die die Elemente enthält, die dem Element vorangehen, das gesucht wurde, Element ist das sehr Element und rs ist die Liste der Elemente, die nach ihm in seinem Ordner kommen. Nun, da wir das haben, präsentieren wir nur den Artikel, den wir aus der Pause bekommen haben, als der Fokus und bauen ein Brotkrumen, das alle Daten hat, die es braucht. Beachten Sie, dass, wenn der Name sucht, ist nicht in den Ordner, das Muster Element: rs wird versuchen, auf eine leere Liste passen und gut einen Fehler zu bekommen. Auch wenn unser aktueller Fokus nicht nur ein Ordner ist, sondern eine Datei, bekommt man auch einen Fehler und das Programm stürzt ab. Jetzt können wir unser Dateisystem nach oben und unten bewegen. Lässt uns an der Wurzel anfangen und zur Datei gehen Skullman (scary).bmp. NewFocus ist jetzt ein Reißverschluss, der sich auf die Skullman (scary).bmp Datei konzentriert. Lets bekommen die erste Komponente des Reißverschlusses (der Fokus selbst) und sehen, ob das wirklich wahr ist: Lässt uns nach oben und dann auf seine benachbarte Datei watermelonsmash. gif konzentrieren. Manipulieren unseres Dateisystems Nun, da wir wissen, wie wir unser Dateisystem navigieren, ist das Manipulieren einfach. Heres eine Funktion, die die aktuell fokussierte Datei oder den Ordner umbenennt: Jetzt können wir unseren Bilder-Ordner in cspi umbenennen. Wir stiegen in die Bilder-Ordner, umbenannt und dann wieder nach oben. Wie wäre es mit einer Funktion, die ein neues Element im aktuellen Ordner macht. Beachten Sie, dass dies stürzen würde, wenn wir versuchten, ein Element hinzuzufügen, aber werent konzentriert sich auf einen Ordner, sondern konzentrierten sich auf eine Datei statt. Lets fügen Sie eine Datei zu unserem pics-Ordner und dann wieder auf die Wurzel: Was ist wirklich cool über all dies ist, dass, wenn wir unser Dateisystem ändern, es nicht tatsächlich ändern es in Ort, aber es gibt ein ganz neues Dateisystem. Auf diese Weise haben wir Zugriff auf unser altes Dateisystem (in diesem Fall myDisk) sowie das neue (die erste Komponente von newFocus). Also, indem wir Reißverschlüsse benutzen, bekommen wir die Versionierung kostenlos, was bedeutet, dass wir immer auf ältere Versionen von Datenstrukturen verweisen können, auch nachdem wir sie so verändert haben. Dies ist nicht einzigartig für Reißverschlüsse, sondern ist eine Eigenschaft von Haskell, weil seine Datenstrukturen unveränderlich sind. Mit Reißverschlüssen erhalten wir aber die Möglichkeit, unsere Datenstrukturen einfach und effizient zu umgehen, so dass die Beharrlichkeit der Haskells Datenstrukturen wirklich zu glänzen beginnt. Beobachten Sie Ihren Schritt So weit, beim Gehen durch unsere Datenstrukturen, ob es sich um Binärbäume, Listen oder Dateisysteme handelte, haben wir uns wirklich nicht geholt, wenn wir einen Schritt zu weit machten und uns abfielen. Zum Beispiel nimmt unsere goLeft-Funktion einen Reißverschluss eines binären Baums und bewegt den Fokus auf den linken Teilbaum: Aber was ist, wenn der Baum von einem leeren Baum abhängt, das ist, was wenn es nicht ein Knoten ist. Aber eine leere. In diesem Fall würde ein Laufzeitfehler bekommen, weil die Musterübereinstimmung fehlschlagen würde, und wir haben kein Muster gemacht, um einen leeren Baum zu behandeln, der überhaupt keine Unterbäume hat. Bisher haben wir gerade davon ausgegangen, dass es niemals versuchen würde, sich auf den linken Unterbaum eines leeren Baumes zu konzentrieren, da sein linker Unterbaum überhaupt nicht existiert. Aber nach links gehen Unterbaum von einem leeren Baum macht nicht viel Sinn, und so weit weve nur bequem ignoriert dies. Oder was wäre, wenn wir schon an der Wurzel eines Baumes waren und keine Brotkrumen hatten, aber immer noch versucht haben, nach oben zu gehen. Das gleiche würde passieren. Es scheint, dass bei der Verwendung von Reißverschlüssen jeder Schritt unsere letzte (Cue ominous Musik) sein könnte. Mit anderen Worten, jeder Zug kann zu einem Erfolg führen, aber es kann auch zu einem Ausfall führen. Erinnert das an etwas. Natürlich, Monaden, genauer gesagt, die vielleicht Monade, die einen Kontext eines möglichen Fehlers auf normale Werte hinzufügt. So können wir die vielleicht Monade verwenden, um einen Kontext eines möglichen Misserfolgs unserer Bewegungen hinzuzufügen. Wurden die Funktionen nehmen, die an unserem binären Baumreißverschluss arbeiten und sie zu monadischen Funktionen machen würden. Zuerst kümmern wir uns um eventuelles Versagen in goLeft und goRight. Bisher war das Scheitern von Funktionen, die scheitern konnten, immer in ihrem Ergebnis reflektiert, und diesmal ist nicht anders. Also hier sind goLeft und goRight mit einer zusätzlichen Möglichkeit des Scheiterns: Cool, jetzt, wenn wir versuchen, einen Schritt nach links von einem leeren Baum zu machen, bekommen wir ein Nichts. Schaut gut Wie wäre es mit dem Aufgehen Das Problem war vorher passiert, wenn wir versuchten zu steigen, aber wir hatten keine Brotkrumen, was bedeutete, dass wir schon in der Wurzel des Baumes waren. Dies ist die GoUp-Funktion, die einen Fehler auslöst, wenn wir nicht in den Grenzen unseres Baumes bleiben: Jetzt können wir es ändern, um anmutig zu scheitern: Wenn wir Brotkrumen haben, ist alles in Ordnung und wir geben einen erfolgreichen neuen Fokus zurück, aber wenn wir nicht, dann Wir geben einen Fehler zurück. Früher haben diese Funktionen Reißverschlüsse und Rückholreißverschlüsse gemacht, was bedeutet, dass wir sie so ketten können, um herumzugehen: Aber jetzt, anstatt Zipper zurückzukehren. Sie kommen vielleicht zurück (zipper a). So Kettenfunktionen wie diese nicht funktionieren. Wir hatten ein ähnliches Problem, als wir mit unserem Seiltänzer im Kapitel über Monaden beschäftigt waren. Er ging auch einen Schritt zu einer Zeit und jeder seiner Schritte konnte zum Scheitern führen, weil ein Haufen Vögel auf einer Seite seines Ausgleichsstocks landen und ihn fallen lassen könnte. Nun, die Witze auf uns, weil waren die, die das Gehen machten, und durchquerten ein Labyrinth unserer eigenen Entwürfe. Zum Glück können wir von der Seiltänzerin lernen und einfach nur tun, was er tat, was die normale Funktion Anwendung für die Verwendung von gtgt tauschen soll. Die einen Wert mit einem Kontext annimmt (in unserem Fall der vielleicht (Zipper a), der einen Kontext eines möglichen Versagens hat) und füttert ihn in eine Funktion, während er sicherstellt, dass der Kontext gepflegt wird. So wie unser Seiltänzer, würden wir alle unsere - Operatoren für gtgt handeln. Okay, wir können unsere Funktionen wieder verketten Watch: Wir haben zurückgekehrt, um einen Reißverschluss in ein Just und dann verwendet gtgt zu füttern, dass unsere goRight-Funktion. Zuerst haben wir einen Baum gemacht, der auf seiner linken Seite einen leeren Teilbaum hat und rechts ein Knoten mit zwei leeren Unterbäumen. Wenn wir versuchen, gleich einmal zu gehen, ist das Ergebnis ein Erfolg, denn die Operation macht Sinn. Nach rechts gehen zweimal ist okay auch wir am Ende mit dem Fokus auf einen leeren Teilbaum. Aber das Richtige dreimal wäre nicht sinnvoll, denn wir können nicht nach rechts von einem leeren Teilbaum gehen, weshalb das Ergebnis ein Nichts ist. Jetzt haben wir unsere Bäume mit einem Sicherheitsnetz ausgestattet, das uns fangen wird, wenn wir abfallen. Wow, ich habe diese Metapher genagelt. Unser Dateisystem hat auch viele Fälle, in denen eine Operation fehlschlagen könnte, z. B. versuchen, sich auf eine Datei oder einen Ordner zu konzentrieren, die nicht existiert. Als Übung können Sie unser Dateisystem mit Funktionen ausstatten, die anmutig ausfallen, indem Sie die vielleicht monad. Haskell Free Library und Opera House Straddles verwenden. Die Canada-U. S.Border Während die Communities von Derby Line, Vt. Und Stanstead, Que. Liegen auf beiden Seiten der Kanada-U. S.-Grenze, die Bewohner von beiden grundsätzlich ignoriert es für viele Jahre. Die Leute überquerten es, um Freunde, Nachbarn und Schulen ohne Zwischenfall zu besuchen, und viele Kanadier haben eine doppelte Staatsbürgerschaft. Aber seit dem 11. September 2001 haben Beamte auf beiden Seiten die Sicherheit verschärft. Nord-Süd-Straßen sind jetzt durch Metalltore blockiert. Und die Einheimischen müssen ihre Pässe in die Hand haben, um in die USA zu gehen. Aber es gibt einen öffentlichen Platz, wo die Menschen ohne weiteres in das andere Land eintreten können: die Haskell Free Library und das Opernhaus. Die Queen Anne Revival-Stil Gebäude wurde in den frühen 1900er Jahren gebaut und spendete an die beiden Gemeinden in Erinnerung an einen amerikanischen Sägewerk Eigentümer und seine kanadische Frau, nach Canadas Historic Places. Eine schwarze Linie, die die Grenze anzeigt, führt durch den Lesesaal der Bibliothek und die Opernhaussitze. Das Gebäude hat auch zwei Adressen. Obwohl der Eingang auf der amerikanischen Seite ist, müssen kanadische Besucher nicht durch den Zoll gehen. Bibliotheksdirektor Nancy Rumery sagte CTV News. Solange ihr Fahrzeug auf der kanadischen Seite der Straße bleibt, können sie herumlaufen und die Bibliothek betreten, sagte sie der Steckdose. Solange sie wieder so zurückgehen, gibt es kein Problem. Aber die Menschen haben es noch für seine einzigartige Lage ausgenutzt. Eine Florida-Frau versuchte angeblich, die Kanonen nach Kanada über die Bibliothek zurückzukehren, im Jahr 2012, laut dem Newport Daily Express. Nancy Rumery, Haskell Free Library Director straddelt die U. S.- Kanada Grenzlinie, die durch die Bibliotheken International Reading Room läuft. Die U. S. ist rechts. (Foto: Stan GrossfeldThe Boston Globe über Getty Images) Drug Maultiere haben auch eine Feuerlöschtür benutzt, die aus dem Opernhaus in Kanada öffnet, um Gegenstände auszutauschen, schrieb Derek Lundy in einem Artikel für kanadische Geographie. Damit ist die Tür jetzt verschlossen. Aber das Gebäude ist immer noch ein besonderer Ort für die beiden Gemeinden, die wirtschaftlich kämpfen, um die Künste zu teilen, sagte der Regisseur Lynn Leimer gegenüber CTV News. Unser Publikum ist sowohl Kanadier als auch U. S. und es wird ein Treffen der Köpfe seine nur ein ganz besonderer Ort, der auf beiden Seiten der Grenze schwingt. Auch auf HuffPost: Dieses undatierte Künstler-Rendering von Stryker Weiner amp Yokota Public Relations, Inc. zeigt einen der Vorschläge für eine Barack Obama Präsidentschaftsbibliothek, die eine Hawaii-Gruppe bauen will, voraussagen, dass sie eine von Amerikas am stärksten besuchten Präsidentschaftszentren sein würden . Beamte sagte am Donnerstag, 11. Dezember 2014 die große Anzahl von Touristen besuchen Hawaii und die vorgeschlagenen Standorte Lage an der Uferpromenade zwischen Waikiki und der Innenstadt von Honolulu auf der Insel Oahu würde bringen viele in die Mitte. Der Vorschlag enthält Entwürfe von vier separaten Architektenteams. Die meisten haben riesige überdachte, Freilufträume, um die Vorteile der Staaten zu nutzen, die die Windwinde kühlen. Man schwört, die Staaten reichlich Sonnenschein für Sonnenenergie zu nutzen. Hawaii konkurriert mit Geboten aus Chicago und New York. Donnerstag war die Frist für Vorschläge. (AP PhotoStryker Weiner amp Yokota Public Relations) Diese undated Künstler Rendering von Stryker Weiner amp Yokota Public Relations, Inc. zeigt eine der Vorschläge für eine Barack Obama Präsidentschaftsbibliothek, dass eine Hawaii-Gruppe will bauen, voraussagen, sie wäre eine von Amerika Am stärksten besuchten Präsidentschaftszentren. Officials said Thursday, Dec. 11, 2014 the large number of tourists visiting Hawaii and the proposed sites location on the waterfront between Waikiki and downtown Honolulu on the island of Oahu would bring many to the center. The proposal includes designs from four separate architect teams. Most have vast covered, open-air spaces to take advantage of the states cooling trade winds. One vows to harness the states abundant sunshine for solar power. Hawaii is competing with bids from Chicago and New York. Thursday was the deadline for proposals. (AP PhotoStryker Weiner amp Yokota Public Relations) This undated artist rendering provided by Stryker Weiner amp Yokota Public Relations, Inc. shows one of the proposals for a Barack Obama presidential library that a Hawaii group wants to build, predicting theirs would be one of Americas most heavily visited presidential centers. Officials said Thursday, Dec. 11, 2014, the large number of tourists visiting Hawaii and the proposed sites location on the waterfront between Waikiki and downtown Honolulu on the island of Oahu would bring many to the center. The proposal includes designs from four separate architect teams. Most have vast covered, open-air spaces to take advantage of the states cooling trade winds. One vows to harness the states abundant sunshine for solar power. Hawaii is competing with bids from Chicago and New York. Thursday was the deadline for proposals. (AP PhotoStryker Weiner amp Yokota Public Relations)Why our education is different 1 Academic excellence through talented faculty who mentor and support your success throughout your education and beyond. 2 A transformative education through our unique Core Program that builds successful thinkers who can solve complex problems, consider multiple perspectives, and write and communicate effectively. 3 Commitment to affordability through generous financial aid and merit programs as well as our promise that your tuition will not increase during your four years of study. 4 An active and supportive campus community where you have opportunities to get involved, be a leader, contribute to the community, and to explore the world - you are not a number. Did you know that having a mentor makes you more successful Small schools offer a personalized education, but at SJC, you learn even more through your own academic mentors. Whether you are deciding on your major or already know, your academic mentors allow you to tailor your education to meet your needs and offer you strong support to help you succeed no matter what you decide to study. Small classesstudent-faculty ratio 14:1 Average class size is 14 69 of full-time faculty have PhD or terminal degree Do you want to be educated for the 21 st century Research shows that employees change careers several times a technical degree is outdated before you graduate and jobs in this century will require big picture thinking. This means that a Saint Josephs College degree, a liberal education for the whole person, will prepare you for your entire professional life. We have a new Sustainability Studies minor and a new Education Studies major. We have a new MS in Forensic Science, MS in Forensic Entomology (with Thesis), and non-degree Forensic Science Professional Development Series Program. Do you want to be a citizen of the world Whether you plan to live and work in the US or travel far and wide, Core and the major work in harmony to develop the skills for your success in a competitive global society. Students in Core discuss current events and become familiar with diverse cultures and civilizations. Still deciding on a major Academic mentors will get you moving down the right path. We are committed to supporting your expectations and keeping you on track to graduate in four years. Build your academic repertoire with Group Majors Stand out in your career with specializations Design the major and minor YOU want Undecided We have the support team to guide you to graduation 26 majors, 4 group majors, 32 minors, and 10 pre-professional programs, complemented by the nationally acclaimed Core Program Start Your Major Freshman Year Like Elementary Education major Brittany Cooper 12 . you start your major as soon as you walk in the door, so you will have four years of knowledge and experience in your field. You can even change your mind about your major and still graduate on time with lots of experience. Core and the major work in harmony to develop the cognitive skills requisite for success in a competitive, global society. Students better understand the forces that shape the future by exploring the past. They discuss contemporary events analyze the impact of science on our understanding of humanity and the universe and investigate diverse cultures and world civilizations. Mentorship Small colleges offer you personal attention SJC professors, such as Communication Professors Fred and Sally Berger, do more for youthey serve as mentors. Studies show that having a mentor leads to success in your field. Alumni often tell us how their professors not only played a major role in their success, but also became lifelong friends. If you are undecided about what to major in, we help you decide. High Quality Academics In the Core Program, you will be inspired to debate, analyze, and solve problems. Discussion of culture and society, the modern world, and Christian Humanism are just a few highlights of the Program. New perspectives will be gained, your worldview will expand, and you will graduate from SJC as a well rounded, highly marketable person. Leadership You get more deeply involved at SJC, so you get more meaningful experiences that prepare you for career and life. LaMichelle Sanders 14, for example, has spent two summers helping Chinese study abroad students adapt to life in the U. S. and at SJC. If you want to start a club or activity that doesnt exist, we encourage you to start one. At SJC, prepare yourself for what you want to do in life. Real-life Skills Because of the skills you develop by having the Core Program interact with your major for four years in addition to internships, job shadowing, and service learning, you get hands-on experience in preparation for your career or graduate school. Students Hanna Kane 14, Emily Baird 15, and Alyssa Guarnaccia 14 collect food in the SJC hoophouse to be distributed on campus. You will also get four years of analytical, writing, and speaking skills that will serve you well for the rest of your life. Get a jump start on your career and have your resume ready to go at graduation. Small colleges offer you personal attention SJC professors do more for youthey serve as mentors. The Core Program is all about you and your role in the world. You get more deeply involved at SJC, so you get more meaningful experiences that prepare you for career and life. Get real-life experience and become an excellent communicator.