Lambdaheads: Unterschied zwischen den Versionen

aus Metalab Wiki, dem offenen Zentrum für meta-disziplinäre Magier und technisch-kreative Enthusiasten.
Zur Navigation springenZur Suche springen
Zeile 28: Zeile 28:
  
 
=== Vortragswünsche ===
 
=== Vortragswünsche ===
* Coq - a proof assistant
+
* Coq - a proof assistant ([[Benutzer:Epsilon.halbe|ε/2]]?)
* Interfacing to SDL/Games in functional languages
+
* Interfacing to SDL/Games in functional languages ([http://prog21.dadgum.com/23.html Purely Functional Retro Games])
* Intro to Haskell
+
* Readable/non-trivial Haskell Examples  ([[Benutzer:Epsilon.halbe|ε/2]], e.g. Pandoc)
* Intro to a Clojure Web Framework
+
* How Darcs works
* Readable Haskell Examples
 
* How Darcs works
 
* Intro to QuickCheck and Software Testing in Haskell
 
* [http://marcoil.org/wp-content/uploads/2009/04/format-fear.jpg Format], Mutterliebhaber, do you speak it?
 
* [http://en.wikipedia.org/wiki/Zipper_(data_structure) Zippers]
 
 
* 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]
  
 
== Vortragsvorschläge ==
 
== Vortragsvorschläge ==
* Intro to Clojure ([[User:Cypher|cypher]])
 
* Principles of Functional Programming ([[User:Cypher|cypher]])
 
 
* [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]])
 
* Zippers ([[User:Citizen428|citizen428]])
 
* Zippers ([[User:Citizen428|citizen428]])
 
* fold and it's universal mapping property - ein versuch fold kennenzulernen - [[Benutzer:Epsilon.halbe|ε/2]]
 
* fold and it's universal mapping property - ein versuch fold kennenzulernen - [[Benutzer:Epsilon.halbe|ε/2]]
 
+
* Intro to QuickCheck and Software Testing in Haskell  ([[Benutzer:Epsilon.halbe|ε/2]])
 +
* Intro to a Clojure Web Framework (Noir semi-done, again [[User:Citizen428|citizen428]])
  
 
=== Links ===
 
=== Links ===

Version vom 30. April 2012, 18:38 Uhr

8300_0b12.jpeg

WTF

Ein regelmäßiges Treffen von Leuten die sich für Lisp-Dialekte und funktionale Programmierung im Allgemeinen interessieren.

Kommende Events

Nächster Termin = alter Termin + 28 Tage

Achtung: Spezialtermin im Februar März April mit einem Vortrag von Microsoft zu F#, Termin tba.

Nächster regulärer Termin:

Termin: Mo, 2012-04-30 ab 19:00 Uhr in der Bibliothek im Metalab

Programm:

Teilnehmer:

Vortragswünsche

  • Coq - a proof assistant (ε/2?)
  • Interfacing to SDL/Games in functional languages (Purely Functional Retro Games)
  • Readable/non-trivial Haskell Examples (ε/2, e.g. Pandoc)
  • How Darcs works
  • Two λ enter, one λ leaves: Snap vs. Yesod

Vortragsvorschläge

  • Hunchentoot, Web programming, maybe hunchentoot-fcgi (WIP) or Postmodern (japhy)
  • Zippers (citizen428)
  • fold and it's universal mapping property - ein versuch fold kennenzulernen - ε/2
  • Intro to QuickCheck and Software Testing in Haskell (ε/2)
  • Intro to a Clojure Web Framework (Noir semi-done, again citizen428)

Links

Kontakt


Frühere Events

Mo, 2012-04-02 ab 19:30 Uhr in der Bibliothek im Metalab
Mo, 2012-03-05 ab 19:30 Uhr in der Bibliothek im Metalab

Programm: Ich bin vor kurzem auf den catalyst coding contest hingewiesen worden und habe versucht das Challenge von 2010 in Haskell zu lösen, und stehe nun (ich armer Tor) vor dem 5ten Level. Und komm nicht weiter. Ich werde meinen Code präsentieren und wäre interessiert Lösungen funktionaler und nichtfunktionaler Art zu sehen, bzw. hoffe ich auf Ideen eurerseits wie ich weitercoden könnte.

Mein Zeug bzw die Aufgabenbeschreibungen (als pdf) findet Ihr auf github - ε/2

Mo 2012-02-13 ab 19:30 in der Bibliothek im Metalab

Programm:

Mo, 2012-01-09 ab 19:30 Uhr in der Bibliothek im Metalab

Programming Challenge by daxim. Solutions in Ruby (citizen428), Haskell (ε/2), Python2 (a friend of ε/2) and Common Lisp (japhy).


Mo., 2011-11-12, ab 19:30 Uhr im Hauptraum im Metalab

angeregte Diskussion auf der Couch vor der Blinkenwall über alles mögliche™


Mo, 17.10. ab 19:30 Uhr in der Bibliothek im Metalab


Mo, 19.9. ab 19:30 Uhr in der Bibliothek im Metalab

  • Overview: Martins (=ε/2) Spielprojekt "Algebra Alchemy"
    • Symbolic Algebra
    • Algebraic Expression Trees
    • Parsing
    • Testing (HUnit)
    • Documentation (Haddock)

in Haskell all DIY - hopefully readable ;-)


Lambdaheads Spezial, 29.8., 18:15 - 19:45

User:Antifuchs zeig AllegroGraph in der Bibliothek im Metalab.


Mo, 25.7. ab 19:30 Uhr in der Bibliothek im Metalab


Mo, 27.6. ab 19:30 Uhr in der Bibliothek im Metalab

  • OCaml is dead - long live OCaml
  • Sequential versus ISeq - Clo-shure?!?
  • Haskell examples - code of a newbie (ε/2)
  • Misc stuff to read the Monad.Reader #13 - Typeclassopedia


Mo, 30.5. ab 19:30 Uhr in der Bibliothek im Metalab


Mo, 2.5. ab 19:30 Uhr in der Bibliothek im Metalab


Mo, 4.4. ab 19:30 Uhr in der Bibliothek im Metalab


Mo, 7.3.2011 ab 19:30 in der Bibliothek im Metalab


Mo, 7.2.2011 ab 19:30 Uhr in der Bibliothek im Metalab

  • Y-Combinator in Perl/Lisp/Javascript (citizen428)
  • myReverse list - a hard task todo on the fly - except in haskell ;-) (ε/2)


Mo, 17.1. ab 19:30 Uhr in der Bibliothek im Metalab


Mo, 29.11. ab 19:30 Uhr in der Bibliothek im Metalab

Brian Beckman's "Don't fear the Monads" talk


Mo. 04.10.2010 ab 19:30 Uhr in der Bibliothek im Metalab

  • Common Lisp Object System (japhy)


Mo. 06.09.2010 ab 19:30 Uhr in der Bibliothek im Metalab

  • Func proc concepts: Higher-order functions (citizen428)
  • Functional programming in Perl 6 (Daxim)
  • Function level programming with APL and J (citizen428)


Mo. 12.07.2010 ab 19:30 Uhr im Hauptraum im Metalab


Mo. 14.06.2010 ab 19:30 Uhr in der Bibliothek im Metalab


Mo. 17.05.2010 ab 19:30 Uhr in der Bibliothek im Metalab


Mo. 19.04.2010 ab 19:30 Uhr in der Bibliothek im Metalab


Mo. 22.03.2010 ab 19:30 Uhr in der Bibliothek im Metalab