Lambdaheads: Unterschied zwischen den Versionen
Keine Bearbeitungszusammenfassung |
Dio (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
(13 dazwischenliegende Versionen von 3 Benutzern werden nicht angezeigt) | |||
Zeile 1: | Zeile 1: | ||
{{Usergroup | {{Usergroup | ||
|logo=Lambdaheads-Logo.jpg | |logo=Lambdaheads-Logo.jpg | ||
|organizer=[[User:citizen428|citizen428]] | |organizer=[[User:dio|dio]]; vormals [[User:citizen428|citizen428]] und [[User:epsilonhalbe|epsilonhalbe]] | ||
|email= | |email= | ||
|irc= | |irc= | ||
|startdate= | |startdate= | ||
|homepage= | |homepage= | ||
|topic= | |topic=Funktionale Programmierung | ||
|status=active | |status=active | ||
|meetings= | |meetings=3. Mittwoch im Monat | ||
|targetgroup=Jeder mit Interesse an funktionaler Programmierung, vom Mathematiker zum Software-Entwickler. | |targetgroup=Jeder mit Interesse an funktionaler Programmierung, vom Mathematiker zum Software-Entwickler. | ||
|description=Ein regelmäßiges Treffen von Leuten die sich für [[wde:Lisp|Lisp-Dialekte]] und [[wde:Funktionale_Programmierung|funktionale Programmierung]] im Allgemeinen interessieren. | |description=Ein regelmäßiges Treffen von Leuten die sich für [[wde:Lisp|Lisp-Dialekte]] und [[wde:Funktionale_Programmierung|funktionale Programmierung]] im Allgemeinen interessieren. | ||
Zeile 17: | Zeile 17: | ||
= Kommende Events = | = Kommende Events = | ||
Voraussichtlich jeder 3te Mittwoch im Monat | |||
== | == nächste reguläre Termine == | ||
=== 2017-07-19 Wed 19:30-22:00 (Library) === | |||
==== Topic: TBD ==== | |||
Termin: | Termin: Die Organisation der Lambdaheads wurde auf [http://meetup.com/Lambdaheads meetup] verschoben - bitte dort die Themenlage ansehen die Announcements passieren ca 1-2 Wochen vor dem eigentlichen Termin. | ||
== Vortragswünsche == | == Vortragswünsche == | ||
* NixOS - A linux with functional package manager ([[Benutzer:Epsilon.halbe|ε/2]]) | * NixOS - A linux with functional package manager ([[Benutzer:Epsilon.halbe|ε/2]], [[phaebz]]) | ||
* Elm - Functional Reactive Programming ([[Benutzer:Epsilon.halbe|ε/2]]) | * Elm - Functional Reactive Programming ([[Benutzer:Epsilon.halbe|ε/2]]) | ||
* Cryptol - a DSL for cryptography ([[Benutzer:Epsilon.halbe|ε/2]]) | * Cryptol - a DSL for cryptography ([[Benutzer:Epsilon.halbe|ε/2]]) | ||
Zeile 51: | Zeile 35: | ||
* Two λ enter, one λ leaves: [http://snapframework.com/ Snap] vs. [http://yesodweb.com/ Yesod] ([[Benutzer:Epsilon.halbe|ε/2]]) | * Two λ enter, one λ leaves: [http://snapframework.com/ Snap] vs. [http://yesodweb.com/ Yesod] ([[Benutzer:Epsilon.halbe|ε/2]]) | ||
* Emacs ([[Benutzer:Epsilon.halbe|ε/2]]) | * Emacs ([[Benutzer:Epsilon.halbe|ε/2]]) | ||
* http://lambdacube3d.com/ | |||
__TOC__ | __TOC__ | ||
Zeile 72: | Zeile 57: | ||
= Kontakt = | = Kontakt = | ||
* [[User:dio|dio]] | |||
<!-- | |||
* [[User:Citizen428|citizen428]] - derzeit auf Weltreise | * [[User:Citizen428|citizen428]] - derzeit auf Weltreise | ||
* [[User:Epsilon.halbe|epsilonhalbe]] | * [[User:Epsilon.halbe|epsilonhalbe]] | ||
--> | |||
= Frühere Events = | = Frühere Events = | ||
=== 2016-06-08 Wed 19:30-22:30 (Library) === | |||
==== Topic: Haskell/Purescript and maybe some Erlang ==== | |||
* Benefits and Problems of using Haskell and Purescript in this day and age. | |||
== 2016-05-11 Wed 19:30 (Library) == | |||
==== Topic: Taming the parallel beast ==== | |||
* Perl6 | |||
** Concurrency primitives, basics for parallelism | |||
** Promises/hyper-operators ... | |||
* Haskell | |||
** Accelerate - complicated but powerful library to do GPU operations in a high level language | |||
** [https://github.com/epsilonhalbe/accelerate-typelits accelerate-typelits] | |||
==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== | |||
* 19:00 '''Power of polymorphism''', a beginner's tutorial for haskell [http://www.meetup.com/Lambdaheads/events/220385939/ meetup] (part 2) | |||
== 2015-01-14 == | |||
* 19:00 installing Haskell/git (if necessary) | |||
* 19:30 '''Types and Typos''', a beginner's tutorial for haskell with a focus on error messages - see more on [http://www.meetup.com/Lambdaheads/events/219474571/ meetup] | |||
== 2014-12-10 == | == 2014-12-10 == |