Zum Inhalt springen

Lambdaheads: Unterschied zwischen den Versionen

← Zum vorherigen Versionsunterschied
VisuellWikitext
Epsilon.halbe (Diskussion | Beiträge)
117 Bearbeitungen
Terminänderung
Dio (Diskussion | Beiträge)
47 Bearbeitungen
Keine Bearbeitungszusammenfassung
 
(34 dazwischenliegende Versionen von 4 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: <strike>Mi, '''2014-03-12'''</strike> Fr. '''2014-03-14''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]. Ich (ε/2) habe heute erfahren dass ich für eine Schulung Mo-Mi in Innsbruck bin -> verschoben auf Fr.
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 ===
 
Lange hat die Gruppe Lambdaheads kein Treffen mehr gehabt, das soll sich ändern!
* Wenn gewünscht kann ε/2 eine kleine Einführung in Haskell geben.
* Java8 soll im März released werden und hat schöne Lambdas und Streams zum mappen/reducen - kennt sich jemand damit aus?
* Wenn alle sattelfest in Haskell sind kann ε/2 sich auch dem Thema Parsen in Haskell mit Parsec widmen.
* JavaScript/Ruby/Perl/Erlang...wer Vortragen will ist gerne willkommen!
* Wer an Praktischem interessiert ist kann sich über codingame.com -> Training -> "Dwarfs standing on the shoulders of giants" stürzen und dann seine/ihre Lösung präsentieren.
 
=== Teilnehmer ===
 
 
* [[Benutzer:Epsilon.halbe|ε/2]]
* [[Benutzer:Phaebz|phaebz]]
<!--
* [[Benutzer:Daxim]]
* [[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]], [[phaebz]])
* Elm - Functional Reactive Programming ([[Benutzer:Epsilon.halbe|ε/2]])
* Cryptol - a DSL for cryptography ([[Benutzer:Epsilon.halbe|ε/2]])
* Coq - a proof assistant ([[Benutzer:Epsilon.halbe|ε/2]]?)
* Coq - a proof assistant ([[Benutzer:Epsilon.halbe|ε/2]]?)
* Interfacing to SDL/Games in functional languages ([http://prog21.dadgum.com/23.html Purely Functional Retro Games])
* Interfacing to SDL/Games in functional languages ([http://prog21.dadgum.com/23.html Purely Functional Retro Games])
* Readable/non-trivial Haskell Examples  ([[Benutzer:Epsilon.halbe|ε/2]], e.g. Pandoc)
* Readable/non-trivial Haskell Examples  ([[Benutzer:Epsilon.halbe|ε/2]], e.g. Pandoc)
* How Darcs works
* How Darcs works
* Two λ enter, one λ leaves: [http://snapframework.com/ Snap] vs. [http://yesodweb.com/ Yesod]
* Two λ enter, one λ leaves: [http://snapframework.com/ Snap] vs. [http://yesodweb.com/ Yesod] ([[Benutzer:Epsilon.halbe|ε/2]])
* Emacs
* Emacs ([[Benutzer:Epsilon.halbe|ε/2]])
* http://lambdacube3d.com/
__TOC__
__TOC__
== Vortragsvorschläge ==
== Vortragsvorschläge ==
* [http://weitz.de/hunchentoot/ Hunchentoot], Web programming, maybe hunchentoot-fcgi (WIP) or [http://common-lisp.net/project/postmodern/ Postmodern] ([[User:japhy|japhy]])
* [http://weitz.de/hunchentoot/ Hunchentoot], Web programming, maybe hunchentoot-fcgi (WIP) or [http://common-lisp.net/project/postmodern/ Postmodern] ([[User:japhy|japhy]])
Zeile 71: 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 ==
* no meeting has happened
== 2014-11-12 ==
* Web scraping with Haskell
* Next steps in writing a reporting tool in Haskell
== 2014-10-08 ==
* A gentle intro to swift - many thanks to the [[Cocoaheads|Cocoaheads]] and Mikael
* Drawing with Haskell (TagCloud, Calendar) a first step in building a reporting tool with haskell
== 2014-09-10 ==
* Record Syntax, Lenses and Prisms - Part 2 ([http://twitter.com/epsilonhalbe @epsilonhalbe])
== 2014-08-13 ==
* Record Syntax, Lenses and Prisms - Functional getters, setters and a bit more ([http://twitter.com/epsilonhalbe @epsilonhalbe])
* STM with Finalizers ([http://twitter.com/schrototo @schrototo]), fork auf [https://github.com/mcschroeder/ghc github] [
== 2014-07-09 ==
* Monads: a presentation of the Blogpost by Dan Piponi
* Gespräche über allerlei Themen
** Elm Talk bei [http://www.infoq.com/presentations/elm-reactive-programming InfoQ] in dem Evan Czaplicki in der letzten Viertelstunde eine Supermario from Scratch demo gibt
** Tolle Dinge die man mit Haskell machen kann: [http://music-suite.github.io/docs/ref/ Musik], [http://projects.haskell.org/diagrams Diagramme] u.v.m.
** Idris a.k.a. rocket science [https://www.youtube.com/watch?v=fVBck2Zngjo Youtube]
== 2014-06-09 ==
* [http://cryptol.net/ Cryptol] a language for cryptography released by Galois.inc
== 2014-05-14 ==
* Clojure
** Installing Clojure (wenn notwendig)
** Lösen der Clojure Koans - so weit wie es uns gefällt
* Martin berichtet von den Linuxwochen wo er einen Vortrag zum Thema Haskell gehalten haben wird
== 2014-04-09 ==
* <strike>A* algorithmus in Haskell</strike>
* Testen in Haskell (Unit Tests, Property Tests, Proof, Criterion, Profiler) [https://github.com/epsilonhalbe/Lambdaheads/tree/master/2014/04 Stuff]
== 2014-03-14 ==
Einführung in Haskell: Buchstaben nach ASCII-Art [https://github.com/epsilonhalbe/Lambdaheads/tree/master/2014/03 Stuff]
http://technologyconversations.com/2014/02/25/java-8-tutorial-through-katas-berlin-clock-easy/
http://blog.sigfpe.com/2006/08/you-could-have-invented-monads-and.html


== 2013-07-16 ==
== 2013-07-16 ==
Abgerufen von „https://metalab.at/wiki/Lambdaheads“