Zum Inhalt springen

Lambdaheads: Unterschied zwischen den Versionen

Overflo (Diskussion | Beiträge)
Keine Bearbeitungszusammenfassung
Epsilon.halbe (Diskussion | Beiträge)
Keine Bearbeitungszusammenfassung
Zeile 8: Zeile 8:
Nächster Termin = alter Termin + 28 Tage
Nächster Termin = alter Termin + 28 Tage


'''Achtung:''' Spezialtermin im <del>Februar</del> <del>März</del> April(??) mit einem Vortrag von Microsoft zu F#, Termin tba.
'''Achtung:''' Spezialtermin im <del>Februar</del> <del>März</del> <del>April</del> mit einem Vortrag von Microsoft zu F#, Termin tba.


Nächster regulärer Termin:  
Nächster regulärer Termin:  


Termin: Mo, '''2012-03-05''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]
Termin: Mo, '''2012-04-30''' ab 19:30 Uhr in der Bibliothek [[Lage|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.
Programm: fold and it's universal mapping property - ein versuch fold kennenzulernen - [[Benutzer:Epsilon.halbe|ε/2]]
 
Mein Zeug bzw die Aufgabenbeschreibungen (als pdf) findet Ihr auf [https://github.com/epsilonhalbe/Lambdaheads github]
- ε/2


Teilnehmer:
Teilnehmer:
Zeile 25: Zeile 22:


=== Vortragswünsche ===
=== Vortragswünsche ===
 
* Coq - a proof assistant
* Interfacing to SDL/Games in functional languages
* Interfacing to SDL/Games in functional languages
* Intro to Haskell
* Intro to Haskell
Zeile 58: Zeile 55:


=== Frühere Events ===
=== Frühere Events ===
Mo, '''2012-03-05''' ab 19:30 Uhr in der Bibliothek [[Lage|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 [https://github.com/epsilonhalbe/Lambdaheads github]
- ε/2


Mo '''2012-02-13''' ab 19:30 in der Bibliothek [[Lage|im Metalab]]
Mo '''2012-02-13''' ab 19:30 in der Bibliothek [[Lage|im Metalab]]