Abistreich war heute. Schule ist leer. Morten und Angelo sind da. Angelo hat einen monadischen Parser geschrieben. <\/p>\n\n\n\n
N\u00e4chste Mal normal. Noch zwei Mal, dann Ferien. <\/p>\n\n\n\n
Claude f\u00e4sst wie folgt zusammen:<\/p>\n\n\n\n
Ein Gastbeitrag der Computer-AG \u00fcber funktionale Programmierung und Parser-Design<\/em><\/p>\n\n\n\n Ein Entwickler namens Angelo hat einen monadischen Parser<\/strong> in OCaml geschrieben, der zeigt, wie elegant funktionale Programmierung sein kann. Sein Code ist ein perfektes Beispiel daf\u00fcr, warum OCaml in der Compiler-Entwicklung so gesch\u00e4tzt wird.<\/p>\n\n\n\n Was ist das?<\/strong> Ein Parser, der Code einer kleinen Programmiersprache lesen und verstehen kann – \u00e4hnlich wie wenn ihr euren Python-Code ausf\u00fchrt, muss der Computer ihn erst „parsen“.<\/p>\n\n\n\n Angelo verwendet Monaden<\/strong> – ein Konzept aus der Mathematik, das in der funktionalen Programmierung sehr m\u00e4chtig ist:<\/p>\n\n\n\n Was passiert hier?<\/strong> Parser k\u00f6nnen elegant miteinander kombiniert werden. Wenn einer fehlschl\u00e4gt \u2192 Stopp. Wenn er erfolgreich ist \u2192 Weitermachen mit dem n\u00e4chsten.<\/p>\n\n\n\n Das ist wie beim Dominoeffekt, nur dass intelligente Fehlerbehandlung eingebaut ist!<\/p>\n\n\n\n Warum ist das schlau?<\/strong><\/p>\n\n\n\n Hier wird’s richtig cool! Der Parser versteht, dass Das Problem:<\/strong> Wie bringt man einem Computer bei, dass Input:<\/strong><\/p>\n\n\n\n Was der Parser daraus macht:<\/strong><\/p>\n\n\n\n Angelo’s Code zeigt: Mit den richtigen Abstraktionen werden komplizierte Probleme einfach.<\/p>\n\n\n\n F\u00fcr die Computer-AG:<\/strong><\/p>\n\n\n\n F\u00fcr euer Studium\/Beruf:<\/strong><\/p>\n\n\n\n Was Angelo richtig macht:<\/strong><\/p>\n\n\n\n Rating: 9\/10<\/strong> – Das ist Profi-Code! \ud83d\ude80<\/p>\n\n\n\n Wer traut sich?<\/strong><\/p>\n\n\n\n N\u00e4chstes Treffen:<\/strong> Wir schauen uns gemeinsam an, wie man sowas implementiert!<\/p>\n\n\n\n Interesse geweckt?<\/strong> Kommt zum n\u00e4chsten Computer-AG Meeting! Wir experimentieren mit funktionaler Programmierung und bauen vielleicht unseren eigenen kleinen Parser. \ud83d\udcbb<\/p>\n\n\n\n Dieser Post entstand nach der Analyse von Angelo’s exzellentem Parser-Code. Thanks Angelo f\u00fcr das Teilen! \ud83d\ude4f<\/em><\/p>\n\n\n\n <\/p>\n","protected":false},"excerpt":{"rendered":" Abistreich war heute. Schule ist leer. Morten und Angelo sind da. Angelo hat einen monadischen Parser geschrieben. N\u00e4chste Mal normal. Noch zwei Mal, dann Ferien. Claude f\u00e4sst wie folgt zusammen: Ein eleganter Parser-Combinator in OCaml – Was wir daraus lernen k\u00f6nnen Ein Gastbeitrag der Computer-AG \u00fcber funktionale Programmierung und Parser-Design TL;DR – Das Wichtigste in […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[3,7,8],"tags":[],"class_list":["post-3474","post","type-post","status-publish","format-standard","hentry","category-tagesberichte","category-termine","category-tisch"],"_links":{"self":[{"href":"https:\/\/wordpress.wvs-berlin.de\/index.php?rest_route=\/wp\/v2\/posts\/3474","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/wordpress.wvs-berlin.de\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/wordpress.wvs-berlin.de\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/wordpress.wvs-berlin.de\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/wordpress.wvs-berlin.de\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=3474"}],"version-history":[{"count":4,"href":"https:\/\/wordpress.wvs-berlin.de\/index.php?rest_route=\/wp\/v2\/posts\/3474\/revisions"}],"predecessor-version":[{"id":3479,"href":"https:\/\/wordpress.wvs-berlin.de\/index.php?rest_route=\/wp\/v2\/posts\/3474\/revisions\/3479"}],"wp:attachment":[{"href":"https:\/\/wordpress.wvs-berlin.de\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=3474"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/wordpress.wvs-berlin.de\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=3474"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/wordpress.wvs-berlin.de\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=3474"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
\n\n\n\nTL;DR – Das Wichtigste in K\u00fcrze<\/h2>\n\n\n\n
Was macht diesen Parser so besonders?<\/h2>\n\n\n\n
\ud83e\udde0 Monaden – Klingt kompliziert, ist aber genial<\/strong><\/h3>\n\n\n\n
let (>>=) p f stream = \n match p stream with\n | None -> None\n | Some (x, stream') -> f x stream'\n<\/code><\/pre>\n\n\n\n\ud83d\udd04 Lazy Streams – Memory wie ein Profi verwalten<\/strong><\/h3>\n\n\n\n
type lazy_stream = Stream of (unit -> (char * lazy_stream) option)\n<\/code><\/pre>\n\n\n\n\n
\u2696\ufe0f Operator-Precedence – Mathematik richtig verstehen<\/strong><\/h3>\n\n\n\n
2 + 3 * 4<\/code> gleich 2 + (3 * 4)<\/code> ist:<\/p>\n\n\n\nlet prec = function\n | Multiply | Divide -> 6\n | Add | Subtract -> 5\n | Equ | Neq | Less | LEqu | Greater | GEqu -> 4\n<\/code><\/pre>\n\n\n\n*<\/code> vor +<\/code> kommt? Angelos L\u00f6sung:<\/strong> Elegante rekursive Funktionen, die die Mathematik-Regeln befolgen.<\/p>\n\n\n\nEin praktisches Beispiel<\/h2>\n\n\n\n
if a = 2 then\n b := 1\nelse\n x := y + 3*4\n<\/code><\/pre>\n\n\n\n\n
if<\/code>, a<\/code>, =<\/code>, 2<\/code>, etc.<\/li>\n\n\n\nIfElse (\n Binary(Equ, Symbol \"a\", Number 2),\n Binary(Assign, Symbol \"b\", Number 1),\n Binary(Assign, Symbol \"x\", \n Binary(Add, Symbol \"y\", Binary(Multiply, Number 3, Number 4)))\n)\n<\/code><\/pre>\n\n\n\nWas k\u00f6nnen wir daraus lernen?<\/h2>\n\n\n\n
1. Funktionale Programmierung ist m\u00e4chtig<\/strong><\/h3>\n\n\n\n
\n
2. OCaml eignet sich perfekt f\u00fcr Compiler<\/strong><\/h3>\n\n\n\n
\n
3. Komplexe Probleme elegant l\u00f6sen<\/strong><\/h3>\n\n\n\n
Warum ist das relevant f\u00fcr uns?<\/h2>\n\n\n\n
\n
\n
Code-Qualit\u00e4t auf h\u00f6chstem Niveau<\/h2>\n\n\n\n
\n
Challenge f\u00fcr die Computer-AG<\/h2>\n\n\n\n
\n
\n\n\n\nWeiterf\u00fchrende Links<\/h2>\n\n\n\n
\n
\n\n\n\n