Zum Inhalt springen

Lambdaheads: Unterschied zwischen den Versionen

Epsilon.halbe (Diskussion | Beiträge)
Dio (Diskussion | Beiträge)
Keine Bearbeitungszusammenfassung
 
(7 dazwischenliegende Versionen von einem anderen Benutzer werden nicht angezeigt)
Zeile 1: Zeile 1:
{{Usergroup
{{Usergroup
|logo=Lambdaheads-Logo.jpg
|logo=Lambdaheads-Logo.jpg
|organizer=[[User:citizen428|citizen428]], [[User:epsilonhalbe|epsilonhalbe]]
|organizer=[[User:dio|dio]]; vormals [[User:citizen428|citizen428]] und [[User:epsilonhalbe|epsilonhalbe]]
|email=
|email=
|irc=
|irc=
|startdate=
|startdate=
|homepage=
|homepage=
|topic=Lambdaheads
|topic=Funktionale Programmierung
|status=active
|status=active
|meetings= every 2nd Wednesday in the Month
|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 =


Jeder 2te Mittwoch im Monat
Voraussichtlich jeder 3te Mittwoch im Monat


== nächste reguläre Termine ==
== nächste reguläre Termine ==
=== 2017-07-19 Wed 19:30-22:00 (Library) ===
==== Topic: TBD ====


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.
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.
=== 2016-04-13 Wed (LOUNGE!!) ===
==== Programm ====
* Category theory part 3
Third and (maybe) final part of Category Theory!
We will do a short recap and then
* natural transformations - a.k.a. "functors" of categories 
* universal constructions
* sum
* product 
* learn what is so universal about them
* see why Hask is not a category
* maybe have an expert guest whom you can ask about everything you wanted to know, I'll let you know in the comments section wether he has time.
As always if you want to present or have a topic suggestions - please add a comment. Btw. if you want to talk and need help - just ask I'll be glad to help.
Cheers Martin
==== Teilnehmer ====
* [[Benutzer:Epsilon.halbe|ε/2]]
<!--
* zerocity?
* [[Benutzer:Daxim]]
* [[Benutzer:Phaebz|phaebz]]
* [[Benutzer:Lefant|Lefant]]
* [[Benutzer:Mark.probst|schani]]
* [[User:Citizen428|citizen428]]
-->
=== 2016-05-11 Wed (Library) ===
==== Programm ====
* Taming the parallel beast
Practical functional programming - can you believe it!
Functional programming is known, well at least said to be one of the best paradigms for structuring concurrent and/or parallel programs. This time we try to give prove for that.
I expect some talks by you - as every other month I do need a break - volunteers step forward! There is two months time to prepare something big or something tiny, all of you are awesome people - especially if you help me and present ;-). If you need help preparing a talk, ask and you shall receive!
Topic suggestions to prepare for you are
* Haskell
** STM (= software transactional memory) 
** Par/Seq, Lvish 
** accelerate 
** data parallel haskell
* Erlang
** guess almost everything is concurrent there
* Scala
** actors
* Clojure's
** data.async
** Agents, Atoms
for the haskell stuff take a look at Simon Marlowe's book
http://chimera.labs.oreilly.com/books/1230000000929/index.html
If you have a talk with a topic other than parallelism/concurrency I'll gladly accept it.
Cheers martin
==== Teilnehmer ====
* [[Benutzer:Epsilon.halbe|ε/2]]
<!--
* zerocity?
* [[Benutzer:Daxim]]
* [[Benutzer:Phaebz|phaebz]]
* [[Benutzer:Lefant|Lefant]]
* [[Benutzer:Mark.probst|schani]]
* [[User:Citizen428|citizen428]]
-->


== Vortragswünsche ==
== Vortragswünsche ==
Zeile 130: 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==
==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)
* your talk ?