Lambdaheads: Unterschied zwischen den Versionen
| Zeile 134: | Zeile 134: | ||
= Frühere Events = | = Frühere Events = | ||
==2016-03-09== | |||
* 19:30 '''Parsing in Haskell''' | |||
** [http://www.meetup.com/Lambdaheads/events/228735477/ meetup] | |||
** [https://github.com/epsilonhalbe/Talks/tree/master/20160309-Parsing slides(github)] | |||
==2016-02-10== | |||
* 19:30 '''Category Theory''' part 2 | |||
** [http://www.meetup.com/Lambdaheads/events/227402479/ meetup] | |||
** [https://github.com/epsilonhalbe/Talks/tree/master/20151209-LH-Categories slides] | |||
** a neat trick of encoding numbers on a type level, [https://gist.github.com/mcschroeder/b59c7859db87f27b812f gist] by michael schröder | |||
==2016-01-20== | |||
* 19:00 '''Functional Calisthenics''' - by Peter 'codecop' Kofler | |||
** [http://www.meetup.com/Lambdaheads/events/226571385/ meetup] | |||
** [https://github.com/epsilonhalbe/lambdadojo github: solution in haskell] | |||
==2015-12-09== | |||
* '''category theory''' part 1 [http://www.meetup.com/Lambdaheads/events/226089384/ meetup] | |||
* [https://github.com/epsilonhalbe/Talks/tree/master/20151209-LH-Categories slides] | |||
==2015-11-11== | |||
* '''functional web experience''' [http://www.meetup.com/Lambdaheads/events/226089022/ meetup] | |||
* hdgarood - purescript | |||
* gregor riegler - purescript | |||
* peter - jboss (erlang webframework) | |||
==2015-10-21== | |||
* '''No agenda''' [http://www.meetup.com/Lambdaheads/events/225606983/ meetup] | |||
* skillsmatter conference | |||
* [https://github.com/epsilonhalbe/Talks/tree/master/20151021-LH-Stack haskell stack tool] | |||
* [https://github.com/epsilonhalbe/Talks/tree/master/20151021-LH-Func thinking about function composition/functor/applicative/warm fuzzy things] | |||
==Summer break== | |||
==2015-07-02 special== | |||
* '''Lambda-Calculus/Dependent-Type Theory''' [http://www.meetup.com/Lambdaheads/events/223610012/ meetup] a lecture at the university of vienna dpt. of logic by prof. dana s. scott | |||
* [https://dl.dropboxusercontent.com/u/11887842/scott.7z slides] | |||
==2015-06-10== | |||
* '''Coding dojo - minesweeper kata''' comparing languages (Java, php, haskell(1,2,3) …) [http://www.meetup.com/Lambdaheads/events/222293460/ meetup] | |||
* [https://github.com/epsilonhalbe/minesweeper haskell] martin | |||
* [https://github.com/aschlapsi/FSharpMinesweeper F#] andreas schlapsi | |||
* [http://blog.knatten.org/2011/04/01/the-minesweeper-kata-in-15-lines-of-c/ c] | |||
* [https://github.com/queltos/minesweeper-kata-dart dart] | |||
* [https://bitbucket.org/pkofler/minesweeper-kata java] | |||
==2015-05-13== | |||
* '''Purescript (and maybe some haskell)''' [http://www.meetup.com/Lambdaheads/events/222292794/ meetup] | |||
* presentation by Gregor Riegler [http://sleepomeno.github.io/purescript-lambdaheads/#/ slides] | |||
==2015-04-08== | |||
* '''Fun with Functions''' - Haskell tutorial part 3 | |||
==2015-02-11== | ==2015-02-11== | ||
* 19:00 '''Power of polymorphism''', a beginner's tutorial for haskell [http://www.meetup.com/Lambdaheads/events/220385939/ meetup] | * 19:00 '''Power of polymorphism''', a beginner's tutorial for haskell [http://www.meetup.com/Lambdaheads/events/220385939/ meetup] (part 2) | ||