On 27/03/12 23:38, Michael Kohl wrote:

Hi,

nachdem Martin beim M�rztermin allein war (ich war im Urlaub), wollte ich mal so in die Runde fragen ob es f�r den April mehr Interesse gibt? Pers�nlich hatte ich (noch) keine Zeit was vorzubereiten, allerdings gehen mir eh auch langsam ein bisschen die Ideen aus, ich hab eh schon �fter den Alleinunterhalter gemacht... ;-)

Also, gibt's generell Interesse Lambdaheads fortzusetzen? Wenn ja, mag jemand was pr�sentieren/vorbereiten?

lg, Michi

_______________________________________________ Metalab mailing list Metalab@lists.metalab.at https://lists.metalab.at/mailman/listinfo/metalab

Hi Lambdaheads, also mein Interesse am funktionalen Programmieren ist ungebrochen. Themen die mich interessieren und ich ein wenig dazu sagen k�nnte: - Criterion - a benchmarking suite for Haskell - fold and its universal mapping property (ein paper) daf�r brauche ich Tafel oder flipchart ;-) - wxhaskell -gui + ein bischen code aber noch keine funktionalit�t - Coq - Andreas Bogk's Talks vom 27c3, CCCamp11, und Podcast �ber beweisbare Programme, da h�tten mich eure meinungen dazu interessiert, ein paar haben den vortrag am Camp gesehen (glaub ich). - und das Programmierbeispiel was ich letztes Mal "vorbereitet" habe - in wirklichkeit wei� ich nur nicht weiter und will eure klugen K�pfe missbrauchen. - Category theory (pure math) woran ich interesse h�tte aber nichts dazu sagen kann: - noir - Michi hat sich das glaub ich mal angesehen und da yesod (ein Haskell webframework) demn�chst ein o'reilly buch gewidmet bekommt. w�rd ich gern wissen was ein webframework so k�nnen soll/muss und ein wenig unterschiede vom funktionalen und nicht funktionalen ansatz dabei - emacs lisp - das bekannteste und am weitesten benutzte lisp am besten an einem beispiel erkl�rt warum emacs rockt. - R - zwar nicht funktionales programmieren daf�r statistisches ? - prolog, daf�r k�nnte ich mich auch erw�rmen jo das w�rs von mir Martin