Ingo Blechschmidt

icon indicating a website link https://www.ingo-blechschmidt.eu/ icon indicating an email [email protected]

icon company University of Padova icon location Augsburg, Germany icon location Mathematician working in applied topos theory. Also interested in functional programming.

Results 14 comments of Ingo Blechschmidt

CC-Kärtchen erstellen

Folgendes Quine kam gerade von Marc: ``` scheme ((lambda (x) `(,(reverse x) ',x)) '(`(,(reverse x) ',x) (x) lambda)) ```

Ich sehe die Klammern auch nicht

Ich meine nur, dass es physikalisch nicht unmöglich wäre, zu jedem Treffen (und insbesondere zu den Workshops) im Nachhinein einen Blog-Artikel zu verfassen. (Etwa auch zu Gesprächsthemen beim Essen.) Tun...

Code für Wir bauen einen Parserkombinator hinterlegen

Jup, sollten wir mirrorn. Habe erst jetzt deinen Blogpost gesehen. Finde ihn richtig, richtig gut! Bin begeistert. :-)

Artikel über Zahlen in Haskell

+1; ich habe vollstes Vertrauen in dich. :-) Mögliche Stichpunkte sind: - Was Profpatsch gesagt hat. - Der Trick, wie Haskell statisch getypt sein kann und `2 + 3.0` trotzdem...