Bearbeiten von „KIF425:Arbeitskreise“
Aus KIF
Die Bearbeitung kann rückgängig gemacht werden. Bitte prüfe den Vergleich unten, um sicherzustellen, dass du dies tun möchtest, und veröffentliche dann unten deine Änderungen, um die Bearbeitung rückgängig zu machen.
Aktuelle Version | Dein Text | ||
Zeile 113: | Zeile 113: | ||
| beschreibung=Da der AK Funktionale Programmierung auf der letzten KIF etwas darunter litt, dass unterschiedlichste Level von Erwartungen und Expertise vorhanden waren machen wir dieses Mal einfach zwei. Dies ist der für Neugierige und Anfänger. Wir werden ein paar Codebeispiele haben, zeigen was Funktionale Programmierung so drauf hat und darüber philosophieren, ob und warum das so eine tolle Sache ist. Ob du ein Haskell von einem OCaML unterscheiden kannst oder nicht spielt keine Rolle, Hauptsache du hast Lust was neues zu lernen! :) | | beschreibung=Da der AK Funktionale Programmierung auf der letzten KIF etwas darunter litt, dass unterschiedlichste Level von Erwartungen und Expertise vorhanden waren machen wir dieses Mal einfach zwei. Dies ist der für Neugierige und Anfänger. Wir werden ein paar Codebeispiele haben, zeigen was Funktionale Programmierung so drauf hat und darüber philosophieren, ob und warum das so eine tolle Sache ist. Ob du ein Haskell von einem OCaML unterscheiden kannst oder nicht spielt keine Rolle, Hauptsache du hast Lust was neues zu lernen! :) | ||
| wieviele=Alle die Lust haben! | | wieviele=Alle die Lust haben! | ||
| wer= | | wer=[[Benutzer:Jbetzend|jbetzend (Bielefeld)]] | ||
| wann=TBA | | wann=TBA | ||
| dauer=Wie es gerade in den Kram passt. | | dauer=Wie es gerade in den Kram passt. | ||
Zeile 121: | Zeile 121: | ||
| beschreibung=Da der AK Funktionale Programmierung auf der letzten KIF etwas darunter litt, dass unterschiedlichste Level von Erwartungen und Expertise vorhanden waren machen wir dieses Mal einfach zwei. Dies ist der für Menschen mit etwas mehr Erfahrung, sodass man auch mal zeigen kann, was *wirklich* in den Compilern steckt (Alle anderen sind natürlich auch willkommen, aber beschwert euch hinterher nicht wenn euch der Kopf brummt. :-P). Mögliche Themen inkludieren Fortgeschrittenes Haskell, Dependent Types and Theorem Proving mit Idris/Agda/Coq, Game Development in λ-Land und die Frage "Wenn du ein Funktor wärst, welcher wärst du?". | | beschreibung=Da der AK Funktionale Programmierung auf der letzten KIF etwas darunter litt, dass unterschiedlichste Level von Erwartungen und Expertise vorhanden waren machen wir dieses Mal einfach zwei. Dies ist der für Menschen mit etwas mehr Erfahrung, sodass man auch mal zeigen kann, was *wirklich* in den Compilern steckt (Alle anderen sind natürlich auch willkommen, aber beschwert euch hinterher nicht wenn euch der Kopf brummt. :-P). Mögliche Themen inkludieren Fortgeschrittenes Haskell, Dependent Types and Theorem Proving mit Idris/Agda/Coq, Game Development in λ-Land und die Frage "Wenn du ein Funktor wärst, welcher wärst du?". | ||
| wieviele=Alle die Lust haben! | | wieviele=Alle die Lust haben! | ||
| wer= | | wer=[[Benutzer:Jbetzend|jbetzend (Bielefeld)]] | ||
| wann=TBA, aber auf jeden Fall nach dem Schnupperkurs | | wann=TBA, aber auf jeden Fall nach dem Schnupperkurs | ||
| dauer=Wie es gerade in den Kram passt. | | dauer=Wie es gerade in den Kram passt. |