Über den Service
ÜbersetztIch entwickle Programme in Joy – einer rein funktionalen, konkatenativen Sprache, in der gesamte Programme aus Funktionskomposition bestehen, wobei Funktionen einen einzelnen Stapel aneinander übergeben. Es gibt keine benannten Variablen und kein Lambda-Geschwurbel: Ich stapel kleine Kombinatoren zu großen, und das gesamte Programm liest sich wie ein ehrlicher Datenfluss. Wenn Sie ein Stapelverfahren, eine Menge wiederverwendbarer Zitate oder eine saubere punktfreie Umgestaltung verworrener Logik benötigen – ich mache das.
Meine Arbeit verläuft in mehreren Richtungen. Erstens, Entwicklung von Grund auf: Ich entwerfe Vokabulare von Wörtern, ziehe gemeinsame Muster in Kombinatoren wie map und fold und in die Rekursionsschemata, für die Joy bekannt ist, wobei ich jede Definition kurz und testbar halte. Zweitens, Refaktorisierung: Ich nehme ein gewachsenes Joy-Skript und schreibe es im disziplinierten punktfreien Stil um, sodass die Bedeutung in der Komposition lebt, nicht in Nebenwirkungen. Drittens, die Idee von "Programm als Daten": Da Zitate nur Listen sind, schreibe ich Metaprogramme, die andere Programme erstellen, parsen und umschreiben, und wende die Termumformung an, um kleine Äquivalenzen zu beweisen und Ausdrücke zu vereinfachen.
Ich unterrichte auch. Ich führe Einzelgespräche und bereite schriftliche Materialien vor, die einen Anfänger von einem leeren Stapel zur selbstanwendbaren Rekursion führen, mit Problemen von einfach bis wirklich schwierig. Forschungserfahrung ermöglicht es mir, die Algebra der Sprache, ihre Verbindung zur kombinatorischen Logik und wie sich das Stapelmodell vom Lambda-Kalkül unterscheidet, zu diskutieren.
Was Sie bekommen: kommentierter Quellcode, eine Testreihe für jedes Wort, eine kurze Projektnotiz zur Kompositionsstrategie und einen Aufruf zur Überprüfung und Diskussion. Hinter mir liegen Jahre der Arbeit mit konkatenativen und funktionalen Sprachen und eine Liebe zu Code, der klein, beweisbar und angenehm zu lesen bleibt.
Meine Arbeit verläuft in mehreren Richtungen. Erstens, Entwicklung von Grund auf: Ich entwerfe Vokabulare von Wörtern, ziehe gemeinsame Muster in Kombinatoren wie map und fold und in die Rekursionsschemata, für die Joy bekannt ist, wobei ich jede Definition kurz und testbar halte. Zweitens, Refaktorisierung: Ich nehme ein gewachsenes Joy-Skript und schreibe es im disziplinierten punktfreien Stil um, sodass die Bedeutung in der Komposition lebt, nicht in Nebenwirkungen. Drittens, die Idee von "Programm als Daten": Da Zitate nur Listen sind, schreibe ich Metaprogramme, die andere Programme erstellen, parsen und umschreiben, und wende die Termumformung an, um kleine Äquivalenzen zu beweisen und Ausdrücke zu vereinfachen.
Ich unterrichte auch. Ich führe Einzelgespräche und bereite schriftliche Materialien vor, die einen Anfänger von einem leeren Stapel zur selbstanwendbaren Rekursion führen, mit Problemen von einfach bis wirklich schwierig. Forschungserfahrung ermöglicht es mir, die Algebra der Sprache, ihre Verbindung zur kombinatorischen Logik und wie sich das Stapelmodell vom Lambda-Kalkül unterscheidet, zu diskutieren.
Was Sie bekommen: kommentierter Quellcode, eine Testreihe für jedes Wort, eine kurze Projektnotiz zur Kompositionsstrategie und einen Aufruf zur Überprüfung und Diskussion. Hinter mir liegen Jahre der Arbeit mit konkatenativen und funktionalen Sprachen und eine Liebe zu Code, der klein, beweisbar und angenehm zu lesen bleibt.
