Zum Inhalt springen

Lambdaheads: Unterschied zwischen den Versionen

Zerocity (Diskussion | Beiträge)
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]], [[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ächster regulärer Termin ==
== nächste reguläre Termine ==
=== 2017-07-19 Wed 19:30-22:00 (Library) ===
==== Topic: TBD ====


Termin: <strong>Mittwoch</strong>, '''2015-01-14''' ab '''19:00''' Uhr in der Bibliothek [[Lage|im Metalab]]
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.
=== Programm ===
 
* 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]
 
 
=== 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 ==
* 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 ==