Leotek Gcm Forex

Billy Talent Tour Toronto n-Queens mit MiniZink MiniZinc ist eine hohe Ebene Constraint Programming (CP) Sprache (oder ein Frontend für Constraint-Programmierung Solver). Wird mit einer eigenen IDE verteilt, ist es eine sehr freundliche Umgebung, um einen Vorgeschmack auf die Constraint-Programmierung haben. Hier ist das n-Queens-Problem, das wie eine Hallo-Welt für CP in MiniZinc ist. Beachten Sie, dass feste Parameter, die vor dem Runnning des Lösers initialisiert werden sollen, mit dem Schlüsselwort var deklariert werden und die Variablen, die nach Lösungen gesucht werden sollen, mit dem Schlüsselwort var deklariert werden. Diese Var ist in der Tat ein Teil des Typs. Und in der IDE sieht es so aus. Da wir das feste Paramenter n nicht eingeführt haben. Die IDE fragt nach seinem Wert, wenn Sie es mit Ctrl-R ausführen. Die Ausgabe sieht für n 8 so aus. Lösung: xs 3, 6, 4, 2, 8, 5, 7, 1 Um das Schachbrett config ziemlich zu drucken, verwenden Sie ghci zum Laufen: xs 3, 6, 4, 2, 8, 5, 7, 1 in putStrLn Concat Data. List. intersperse n wenn ik dann Q else k lt - ys ilt-1..length xs Versuchen Sie, das Ergebnis in 2D-Schach-Konfiguration mit Ihrer bevorzugten Programmiersprache, die in meinem Fall Haskell ist, zu drucken. Scheint wie MiniZinc hat eine richtige Lösung :) Sie müssen einen externen Mechanismus verwenden, um diesen letzten Schritt zu drucken, da Sie nicht verwenden können, var-Typen, wo normale Typen erforderlich sind. Var int unterscheidet sich von int. Der Ausgabebefehl gibt nur die Zeichenfolge s nicht var string aus. Var ist wie eine Bühnennotation, die das Ergebnis verunreinigt, sobald Sie es verwenden. Wenn Sie z. B. versuchen, etwas auszudrucken, das auf einem beliebigen var-Wert basiert, wird sich MiniZinc beschweren, dass es sich um eine Zeichenfolge ohne Zeichenfolge handelt. Wenn ein High-Level-Constraint-Programmierung lanaguage unterstützt Multi-Staging-Berechnung könnten wir tatsächlich tun, diese Art von Dingen im letzten Schritt des Ausdrucks ein Ergebnis in Abhängigkeit von der Lösung Wert. Warum Prolog hat nicht (open ended) gesetzt Vereinheitlichung eingebaut In den letzten Monaten habe ich mich gewundert, warum Prolog oder andere ähnliche logische Programmierung Implementierungen in der Regel nicht unterstützen (offene) gesetzt Vereinheitlichung. Es gab eine Menge Studien über die endliche Mengenvereinigung, die noch nicht zu standardisierten Bibliotheken oder gemeinsamen Idiomen in der Logikprogrammierung zu machen scheinen, aber es gibt nur wenige Studien zu einer offenen Vereinigung. Der Grund, warum ich begann zu fragen, ist dies, weil ich eine Karten-Vereinigung für die Beschreibung der Art Schlußfolgerung einschließlich Datensätze benötigt, zum Beispiel sollte gleichwertig sein. Ein vereinfachtes Problem, ignoriert die Typ-Annotationen, ist die Satz-Vereinigung, wo und sollte als gleichwertig. Um allgemein erweiterbare Aufzeichnungen zu behandeln, brauchen wir eine offene Vereinigung, bei der der Schwanz (oder der Rest) des Satzes eine Variable ist. Man betrachte beispielsweise die Vereinheitlichung eines Satzes, der mindestens x enthält, und einen Satz, der mindestens y enthält, Wir wissen intuitiv, dass die allgemeinste Vereinigung für die Abfrage -. Ist S1, S2, wobei die Substitution für S1 und S2 denselben Schwanz S teilt. Diese Idee der offenen Satzvereinigung wurde bereits von Frieder Stolzenburg (1996) erforscht und veröffentlicht. Ich konnte dies in Prolog auf Github / kyagrd / ExtensibleRecordsWithSetMembLP (siehe setunifynaive. pl und setunify. pl im Repository) schreiben und es scheint gut in Prolog-Implementierungen zu funktionieren. Daher ist dies in gewisser Weise ein gelöstes Problem. Allerdings ist diese Art von Open-Ended-Set-Vereinigung nicht in Prolog oder andere logische Programmierung Implementierungen als primitive integrierte Vereinheitlichung verkabelt. Also, warum havenrsquot offenen Sets in als primitive Werte, die in logischen Programmierung Paradigma vereinheitlicht werden könnte verdrahtet werden Die kurze Antwort auf könnte sein, dass es schwer zu kommen mit einer effizienten internen Darstellung von offenen Sets, vor allem für verschachtelte offenen Sets , Zum Beispiel Satz von Sätzen. Wir können mit der Vereinheitlichung der offenen Liste der offenen Liste (hier wieder offene bedeutet, dass der Schwanz eine uninstantiated Logikvariable sein könnte), einfach durch die Anwendung der rekursiven Definition der strukturellen Vereinigung und erhalten Sie die allgemeinste Unifier als erste Antwort wann Wobei es als ein logisches Programm ausgeführt wird. Allerdings, wenn wir mit Satz von Sets zu tun haben, wird dies ein wenig irritierend. Betrachten wir die folgende Vereinigung: Was ist die allgemeinste Vereinigung dieser Vereinigung Wir können an zwei Kandidaten denken. Zuerst versuchen Sie die oberste Ebene Open-Ended-Set-Vereinigung ohne Berücksichtigung, dass die Elemente offenen Sets sind: SS1 SS, SS2 SS Second, unter Berücksichtigung, dass Elemente offenen Sets versuchen Vereinheitlichung der bekannten Elemente und wenn diese Vereinigung von Elementen gelingt dann vereinheitlichen ihre Schwanz: S1, S2, SS1 SS2 Beide sind Unifiers. Obwohl letzteres kompakter aussieht, ist das erstere tatsächlich ein mehr ldquogeneralrdquo-Unifier im herkömmlichen Sinne, weil er mehr Möglichkeiten darstellt. Wenn wir S1 und S2 in dem ersteren als letzterer vereinheitlichen, erhalten wir diese effektiv. Das heißt, die erste Vereinigung durch S1, S2 wird weiter instanziiert. Sie ist äquivalent zu letzterem, da die Duplizierung in Sätzen ignoriert wird. Dennoch, wenn wir in einer Situation sind, in der wir letztlich die Antwort wünschen, könnte die interne Repräsentation von Mengen weit entfernt sein, indem wir dem Algorithmus folgen, der jenes erzeugt. So kann es mehr Dinge zu berücksichtigen, um eine solche Menge Vereinigung effizienter zu implementieren, wenn wir beginnen Unterstützung Unifikationen von offenen Sets zusätzlich zu den üblichen strukturellen Vereinheitlichung in einem Allzweck-Logik-Programmiersystem. Und aus meiner Erfahrung, die Algorithmen für eine Vereinheitlichung aufzuschreiben, ist es ziemlich schwierig vorherzusagen, ob sich der Algorithmus wie der erste oder letztere (oder sogar anders als einer von beiden) verhalten soll. Glücklicherweise ist für das Problem der Typinduzierung, bei der es sich um ausdehnbare Datensätze handelt, diese Set-of-Set-Situation nicht zu berücksichtigen, da die Feldnamen eines Datensatzes immer atomare Labels sind (zB x und y in den obigen Beispielen) Nicht einmal eine zusammengesetzte Struktur. Aber dieses Problem ist an sich interessant, und Logik-Programmierung Enthusiasten könnte es zu lösen. Da meine aktuelle Priorität Typ-Schlußfolgerung von Datensatztypen ausdrückt, brauche ich nur eine Stufe der Vereinheitlichung auf den Labels und dann könnte die Typ-Annotation dieses Labels ein anderer Datensatz sein und so weiter. Das heißt, es könnte ein Muster der alternierenden strukturellen Vereinheitlichung geben und eine Vereinheitlichung (die im wesentlichen eine Kartenunifikation ist), aber nicht die Satzmenge von Vereinigung bei der Handhabung von Arten von Datensätzen. Also, ich donrsquot denke, dass ich eine Initiative ergreifen kann, um dieses Set-of-set Vereinigungsproblem zu lösen, das effiziente Implementierung jetzt betrachtet, aber glücklich zu diskutieren, wer eine Initiative haben könnte, um auf dieses spezielle Problem voranzutreiben. Ich brauche noch einen generischen Vereinigungs-Opeator sowohl für strukturelle Werte als auch für set-Werte für Typ-Inference-Spezifikationen, da Typsysteme mit Datensätzen sowohl Datensatztypen als auch Nicht-Datensatztypen (z. B. Basistypen, Funktionstypen, hellip) aufweisen würden. Bei der Implementierung (interne Hacking-Logikprogrammierung auf der Basis von micorKanren) bindet der knifflige Teil den Knoten an einen generischen Vereinigungsoperator, der sowohl strukturelle Werte als auch eingestellte Werte anwenden könnte. Die Implementierung sollte ausgehend von einer strukturellen Rekursion und Hinzufügen eines Hooks, der aufruft endet Set-Vereinigung, wenn es einen Set-Konstruktor erfüllt. Jedoch werden die Satzoperationen auch in Form eines Vereinigungsoperators definiert, so daß eine sorgfältige Bindung des Knotens leicht in eine Endlosschleife laufen könnte. Ich glaube, ich bin nahe daran, den Knoten zu binden. Ich war in der Lage, set-of-set Vereinigung zu implementieren, indem ich den Knoten an der Mitgliedschaftseinschränkung bindet, damit Satzvereinigung Satzvereinheitlichung für seine Elemente aufrufen könnte, falls erforderlich. I havnrsquot zu dem letzten Schritt des Bindens des Knotens an der strukturellen Gleichheit gelangt, um Satzvereinigung aufzurufen, wenn er den Satzkonstruktor trifft. Erste Schritte mit PureScript 0.7.1.0 Einige Triva über PureScript PureScript ist eine rein funktionale Sprache, die speziell auf Javascript als Backend ausgerichtet ist. Wenn Sie Haskell geschmeckt haben und über die aktuelle untypisierte Durcheinander in Skriptsprachen, vor allem in Bezug auf Web-Programmierung, probabiy Ihre einzige Wahl da draußen ist PureScript geklagt. PureScript ist die einzige Sprache mit einem sane Approch zu staticaly Unterstützung Ente Eingabe auf Datensätze mit Row Polymorphism. Darüber hinaus unterstützt PureScript Extensible Effects mit demselben Mechanismus unter Verwendung von Row Polymorphism. Monads werden mit Effekten (z. B. Konsole für Konsolen-E / A) in PureScript beschriftet. Dies reduziert das Problem des übermäßigen Transformatorstapels beim Komponieren von Haskell monadischen Bibliotheken einfach, um Effekte in offensichtlicher Weise zu kombinieren. Kurzer Hinweis für neue PureScript-Benutzer (wie mich) Dies ist eine kurze Nachricht für diejenigen, die PureScript ausprobieren möchten, die bereits mit GHC und Kabal vertraut sind. PureScript ist relativ gut dokumentiert, aber für Anfänger könnte es verwirrend sein, weil aktualisierte Dokumente für die aktuelle Version 0.7.1.0 um mehrere URLs verstreut sind und das E-Book und mehrere andere Dokumente im Web auf der Grundlage der älteren Version geschrieben werden. Die Installation von PureScript ist einfach, wenn Sie cabal installiert haben, um PureScript und npm für die Installation von JavaScript-Paketen zu installieren, insbesondere für die Installation von Zellstoff (Paketabhängigkeits-Manangment / Sandboxing für PureScript). Da purescript in Haskell implementiert ist, fühlte ich es am natürlichsten, cabal zu benutzen, weil ich GHC-Benutzer bin. Aber Sie donrsquot müssen GHC und Kabal in der Tat installiert haben. Es gibt auch binäre Verteilungen direkt downlodierbar oder über andere Binärpaketmanager von der PureScript Homepage siehe purescript. org/download/ für weitere Informationen. Irsquoll nur an Kabal in diesem Dokument. Sie können PureScript in beliebigen Systemkabelläufen installieren. Für npm und Zellstoff haben Yoursquod so etwas auf Mac OS X und auf Debian-basierten Linux-Systemen. Die meisten Benutzer von Mac OS X hätten Admin-Rechte, so dass es am sinnvollsten ist, Zellstoff global im System zu installieren. Die PureScript-Binärdateien sollten in /.cabal/bin installiert sein, und Sie sollten bereits /.cabal/bin Ihrem PATH bereits hinzugefügt haben, wenn Sie ein vernünftiger GHC-Benutzer sind. Da yoursquove Pulp global mit der Option - g installiert hat, sollte es auch in Ihrem PATH sein. Beachten Sie, dass die Installation von Zellstoff kann eine Weile dauern, vor allem, wenn Sie frisch installiert npm, weil es alle seine Abhängigkeiten installiert. Sie können sudo installieren - g Zellstoff auf Linux-Systemen, wenn Sie in Sudo-Gruppe sind, ist es in der Regel nicht empfohlen, in Linux-Systemen. Also, installieren Sie es nur lokal und richten Sie einige zusätzliche Pfad in bashrc oder was Shell-Konfigurationsdatei Sie verwenden. In einigen Linux-Distributionen wie Debian wird der ausführbare Dateiname für das ldquonode. jsrdquo in den meisten anderen Systemen als nodejs und nicht als node bezeichnet. Also, yoursquod müssen einen symbolischen Link in einem Ihrer PATH sowieso zu machen. Der Zellstoffpaketmananager für PureScript versucht auch, Knoten zu finden. Sowieso ist dieses, was ich in Debian tat, nachdem ich Zellstoff lokal installierte. Der npm-pacakge-Manager für JavaScript auf Debian installiert Benutzerpakete in das Verzeichnis / npmmodules und seine binären / ausführbaren Dateien sind in so verknüpft. Dies ist ein guter Platz, um im umbenannten Symlink für ldquonode. jsrdquo zu bleiben. (Wenn Sie donrsquot wie es hier können Sie es in irgendwo anders sagen / bin und fügen Sie es Ihrem PATH.) Jetzt wersquore getan mit all den langweiligen Sachen und Spaß haben. Der Pulp-Initialbefehl erstellt ein Schablonen-PureScript-Projekt für Sie. Um andere Befehle von Zellstoff zu sehen, können Sie pulp --help. Wir können Run - und Testbefehle ausführen Der Befehl run und test ruft build build auf, bevor er ausgeführt oder getestet wird, falls das Projekt noch nicht erstellt wurde. Eine letzte Sache ist über die Bearbeitung der ldquobob. jsonrdquo-Datei. Der Pulp-Paketmanager für PureScript verwendet bower (ein lokaler Sandboxing-Paketmanager für javascirpt-Pakete und wird auch für purescript-cuase-Purescript-Paket verwendet, das als kompatibel mit Javascript-Paketversionierung / dpenecy-Konvention zu sein scheint), um alle Abhängigkeiten im Verzeichnis bowercompnents lokal zu sammeln . Ich denke für Anfänger wie mich, das einzige, was zu bearbeiten ist die Abhängigkeit Abschnitt. Der Abschnitt "dependices" des standardmäßig aufgerufenen ldquobower. jsonrdquo enthält nur das Paket purescript-console. Da Sie mehr Bibliothekspakete verwenden müssen, können Sie diese im Abschnitt "Abhängigkeiten" auflisten. Es gibt eine Liste der am häufigsten verwendeten Basispakete (natürlich einschließlich Purescript-Konsole) als eine Art von Meta-Paket namens purescript-Basis kombiniert. Wir können die depenecy Abschnitt bearbeiten, anstelle von purescript-Konsole ändern Sie es auf purescript-Basis. Weil purescript-base von purescript-console abhängt, ist es redundent, purescript-console anzugeben, wenn es purescript-base gibt. Die aktuelle Version von purescript-base ist 0.1.0, was genauso ist wie die Version der purescript-Konsole. So ändern Sie es wie dieses und installieren Sie dann alle seine abhängigen Pakete mit pulp dep installieren (die Bower-Installation aufruft). Es ist sicher, installieren Sie mehr Pakete als zuvor. Es gibt mehrere Tutorial-Beispiele online. Viele von ihnen sollten durch die Bearbeitung der Datei src / Main. purs machbar sein. Ones, die tatsächlich auf Browsern laufen müssten, um Zellstoff zu verwenden browserify. Die einzelne Datei, die selbst enthaltenen Javascript-Code enthält ausgibt. Wir können es für dieses Vorlageprojekt auch tun (Sie müssen Entwicklerkonsole für die Ausgabe aber überprüfen). Laden Sie ldquoindex. htmlrdquo in einem Browser, der eine deveolper Konsole wie Firefox unterstützt. Jedes Mal, wenn Sie ldquoindex. htmlrdquo laden, können Sie das Konsolenprotokoll ldquohello sailorrdquo sehen, genau wie es, wenn wir pulp auf der Kommandozeilen-Konsole laufen. Einige schnelle Gedanken über eine beschränkte Form von Art Polymophismus Es ist bekannt, dass das Hinzufügen von uneingeschränktem Artpolymorphismus zum höherwertigen polymorphen Lambda-Kalkül, a. k.a. System Fomega, zu logisch inkonsistenten Paradoxen führt. Für diejenigen in abhängiger Typisierung der Theorembeweisgemeinschaft ist dies nicht von Belang, da abhängig typisierte Beweisassistenten gewöhnlich auf prädikativem Kalkül mit geschichteten Universen basieren. Allerdings gibt es einen alternativen Ansatz, der noch nicht gut erforscht noch. Betrachten wir einen alternativen Ansatz, der von einer traditionelleren funktionalen Sprache ausgeht, die auf einem unberechenbaren Polymorphismus basiert und diesen zu einem Theorem-Prüfungssystem macht. Zum Beispiel betrachten Sie eine bestimmte Teilmenge von Haskell mit GHC-Erweiterungen wie RankNTypes und ImpredicativeTypes (nach allem, Kern von GHC ist eine Erweiterung von Fomega), und versuchen, eine logisch konsistente Sprache zu schnitzen. Das ist genau die Motivation meiner Doktorarbeit. Und das daraus resultierende Artefakt ist die Nax-Sprache. Um die lange Geschichte kurz zu machen, sollten wir in der Lage sein, eine logisch konsistente Teilmenge von sagen Haskell mit GHC-Erweiterung einschließlich GADTs und PolyKind haben. Der Vorteil eines solchen Designs ist, dass wir alle Einrichtungen, die bereits um funktionale Sprachen wie Haskell, die weit mehr anspruchsvolle und gut optimierte Compiler als die meisten Theorem-Prüfsysteme gebaut wurde gebaut werden. Wenn wir diesen Weg einschlagen, sollten wir einen sicheren Weg finden, den unschädlichen Polymorphismus mit einer eingeschränkten Form von Artpolymorphismus zu erweitern. Ich glaube, dass die Erweiterung Fomega mit Rang 1 polymorphen Art Bindungen für endliche Anzahl von global definierten Typ-Konstruktor-Variablen ist sicher. Das heißt, das resultierende Kalkül mit dieser Erweiterung ist logisch konsistent. Der Beweis der logischen Konsequenz dieses erweiterten Kalküls sollte ganz einfach sein, indem man das erweiterte Kalkül zurück in Fomega durch Inlining kartographiert. Hier ist die Syntax der erweiterten Kalkül: Sigma. Kappa mid forall chi. kappa kappa kaufen. Chi Mitte Mitte Kappa zu Kapparsquo A, B, F, G. X Mitte A bis B Mitte Lambda X. F Mitte F G Mitte Forall X. B Sigma. Cdot mid Tsigma, Sigma Gamma. Cdot Mitte X Mitte x: A t, r, s. X mid lambda x. t mid r Ein Typkonstruktorname T unterscheidet sich nicht von einer Typvariablen X. Es ist nur eine begriffliche Konvention, um hervorzuheben, dass die Variable für einen global definierten Namen für einen Typkonstruktor steht. Aus einer Liste von global definierten Typkonstruktoren T1 F1, T2 F2, ldots, Tn Fn kann ein globaler Kontext Sigma erhalten werden, so dass Sigma T1, T2, ldots, Tn Jedes Sigmai ist eine polymorphe Art von Fi. Zum Beispiel ist das polymorphe Schema von F1 lambda X. X sigma1 für alle chi. chi bis chi. Der Einfachheit halber betrachten wir nur eine globale Definition mit T1 F1. Angenommen, F1 ist gut, wir bekommen Sigma T1. In dem Ableitungsbaum eines Schreibgerichts T1 Gamma vdash t. A, setzen wir jedes Auftreten von T1 mit einer Instanziierung seiner Definition F1 ein, wobei alle freien Artenvariablen in F1 passend für jedes Vorkommen instanziiert werden. Wenn wir zum Beispiel F1 lambda X. X hätten, könnten wir es zu Lambda X. X, Lambda X. X oder jeder geeigneten Instanziierung von chi nach Bedarf instanziieren. Sobald wir jedes Vorkommen von T1 inliniert haben, wird der globale Kontext Sigma irrelevant. Daher können wir einfach ignorieren Sigma, und die daraus resultierende Ableitung Baum ist genau der Ableitung Baum für eine typing Urteil in Fomega. Die Verallgemeinerung des Inlinings für n Definitionen ist nicht so schwer. Die einzige zusätzliche Sache zu berücksichtigen ist, dass die zuvor definierten Typ Konstruktor Namen können in den letzteren Definitionen verwendet werden. Betrachten Sie T1 F1, T2 F2, ldots, Tn Fn. Der erste Name T1 kann in jedem von F2, ldots, Fn erscheinen. So sollte das Inlinieren in einer Kaskadierung ausgehend von T1, Inlining innerhalb Sigma sowie andere Teile der Ableitung Baum durchgeführt werden. Der nächste Schritt besteht darin, diese Idee für System Fi zu verallgemeinern, die das System Fomega mit löschbaren Typindizes erweitert. Hier wird dies komplizierter, da Typ-Variablen und Term-Index-Variablen in Arten sowie Art-Variablen auftreten können. Ich bekam ein MacBook Air, spielte mit ihm für eine Woche Da ich planen, dieses Jahr zu graduieren, dachte ich, es ist eine gute Zeit, um endlich einen Laptop von Apple, wenn ich noch einen Studentenrabatt haben. Ein anderer Zweck war es, Keynote zu verwenden, um Präsentationen effektiv zu machen. Mac OS X ist die einzige sinnvolle Desktop-Umgebung, die GUI-Engine unterstützt, die Vektor-Grafiken richtig verarbeiten kann. Man kann eine Figur, Formel, Tabelle, etc. aus einer PDF-Datei und fügen Sie einfach in eine Präsentation Folie und skalieren, ohne sich Gedanken über Verwischen. Das ist wirklich toll für LaTeX-Benutzer, weil man nur den Inhalt von einem Papier wieder verwenden, müssen donrsquot Snippets neu formatieren für Folien neu zu erstellen. Ich hatte alte Mac mini, die wie eine weiße Bento-Box aus etwa 2007 aussah, machte wenige Dias mit und war sehr zufrieden. Nun, ich habe es zu langsam für neue Software und kann nicht sogar aktualisieren, so bekam ich eine neue Maschine, 11rsquorsquo MacBook Air mit 256GB SSD. Die Mindestmenge von 128GB ist ungefähr 100 weniger, aber ich wirklich Notwendigkeit, Linux (entweder über virtuelle Maschine oder Doppelstiefel) zu verwenden, also mehr Speicherung war unvermeidlich. Es gibt Verpackungssysteme OS X-Ports von Software vor allem für Linux, aber ich war nie damit zufrieden, leider. Ich habe gehört, dass es eine bessere Option kam vor kurzem genannt Homebrew, aber immer noch, ich canrsquot sich an die Tastenbelegungen mit Befehl anstatt Kontrolle und all diese Dinge verwendet :( Ich mag die Hardware natürlich, fein aussehende Aluminium, hochwertige Anzeige (11rsquorsquo didnrsquot fühlen, dass kleine), und Applersquos Touchpad ist kein Vergleich zu anderen Laptops. Itrsquos ersten Mal mit SSD sotrate, und es schien schneller zu arbeiten als HDD. So, obwohl es nicht hohe Rechenleistung in der CPU , Es wouldnrsquot das Gefühl, dass langsam im Vergleich zu Maschinen mit High-End-CPUrsquos mit HDD. I donrsquot haben ernsthafte Grafik / Video / Audio-Aufgaben, so itrsquos fein für mich. Wenn eine virtuelle Maschine, SSD gewinnt definitiv gewinnt. Es verwendet weniger Batterie als Gut, und die Keynote für iCloud ist auch gut. Sie ​​können den Inhalt Ihres (oder othersrsquo geteilt, um Sie für die Bearbeitung bearbeiten) Präsentation online, auch in Nicht-Mac-Maschinen, obwohl es am besten mit Safari funktioniert, sind viele Arbeitsplätze machbar sind Firefox auch (z Fix Tippfehler, Text bearbeiten, kleinere Layout-Änderungen, neue Folien, und so weiter). Ein Problem hatte ich mit iCloud Keynote ist, dass es nicht richtig skalieren Vektor-Bild, nur streckt sich und macht es verwischen. Also, wenn Sie Vektor-Grafik-Source-Bilder wie eps oder pdf-Format verwenden, donrsquot versuchen, es durch Web-Browser präsentieren, sondern halten Keynote für die Präsentation. Abgesehen von Keynote und Web-Browsing, neige ich dazu, in Debian linux läuft auf Virtualbox zu arbeiten. Da ich donrsquot viel Grafikbeschleunigung benötige, ist Irsquom zurzeit mit visualisierter Linux-Umgebung glücklich, glaube ich, dass SSD es weniger fühlt, dass es eine virtuelle Maschine als laufender Gast OS auf HDD ist. Mendler-artige Rekursionsschemata für gemischtvariante Datentypen Ein Entwurf eines neuen Papiers über Menlder-artige Rekursionssysteme (zur Berücksichtigung von TYPES14-Nachbehandlungen) ist online verfügbar. Powered by ShareLaTeX. Wersquod schätzen jedes Feedback. Dieses Papier enthält eine Bug-Fix für mcata1 (oder ittext es in diesem Papier) in ldquoA Hierarchie von Mendler-Stil Rekursion Schemata rdquo, ein interessantes Beispiel für seine Verwendung über einen indizierten gemischt-Variante Datentyp und strengere theoretische Ausarbeitung seiner Fomega-Einbettung . Darüber hinaus führen wir die laufende Arbeit von zwei neuen Mendler-Stil Rekursion System. Einer von ihnen ist Mendler-Stil Iteration über parametrische obere Ordnung Abstract Syntax (PHOAS), inspiriert durch parametrische zusammengesetzte Datentypen (PCDT). Wir nannten unser Rekursionsschema ittext, das für parametrische Iterationen höherer Ordnung im Mendler-Stil steht. Irsquoll kann vielleicht einen eigenen Beitrag schreiben. Interaktive Haskell im Web tryhaskell. org verwendet eine gepatchte Version von mueval Bibliothek und Konsolen-Bibliothek und die famouse Javascript-Bibliothek jQuery. Also, es basiert auf GHC, kann aber nur begrenzte Dinge laufen, die mueval erlaubt. Fpcomplete scheint, GHC zu verwenden und sein Netz freamwork ist jaod, aber nicht genau sicher, was seine Implementierung auf basiert. Dies ist die umfassendste Authoring-Seite, die interaktive Haskell-Umgebung im Web unterstützt.