Lambdaheads: Unterschied zwischen den Versionen

aus Metalab, dem offenen Zentrum für meta-disziplinäre Magier und technisch-kreative Enthusiasten.
Wechseln zu: Navigation, Suche
(2012-10-15)
(nächster regulärer Termin)
(37 dazwischenliegende Versionen von 4 Benutzern werden nicht angezeigt)
Zeile 1: Zeile 1:
<div style="float:right; margin: 2em;"> http://asset.soup.io/asset/1196/8300_0b12.jpeg <br /><small style="text-align: right">Source: [http://soup.fnordicwalking.de/post/84983706/my-head-is-now-a-lambda-expression soup.fnordicwalking.de]</small><br/><br/>
+
{{Usergroup
 
+
|logo=Lambdaheads-Logo.jpg
__TOC__
+
|organizer=[[User:citizen428|citizen428]], [[User:epsilonhalbe|epsilonhalbe]]
 
+
|email=
</div>
+
|irc=
 
+
|startdate=
 +
|homepage=
 +
|topic=Lambdaheads
 +
|status=active
 +
|meetings= every 2nd Wednesday in the Month
 +
|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.
 +
}}
 
= WTF =
 
= WTF =
 
Ein regelmäßiges Treffen von Leuten die sich für [[wde:Lisp|Lisp-Dialekte]] und [[wde:Funktionale_Programmierung|funktionale Programmierung]] im Allgemeinen interessieren.
 
Ein regelmäßiges Treffen von Leuten die sich für [[wde:Lisp|Lisp-Dialekte]] und [[wde:Funktionale_Programmierung|funktionale Programmierung]] im Allgemeinen interessieren.
Zeile 10: Zeile 17:
 
= Kommende Events =
 
= Kommende Events =
  
Nächster Termin = alter Termin + 28 Tage
+
Jeder 2te Mittwoch im Monat
  
 
== nächster regulärer Termin ==
 
== nächster regulärer Termin ==
  
Termin: Mo, '''2012-10-15''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]
+
Termin: <strike>Mi, '''2014-06-11'''</strike> <strong>Montag</strong>, '''2014-06-09''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]
 
+
 
=== Programm ===
 
=== Programm ===
  
* Coding Challenge: bring your favourite languages, solve a small practical real-world problem from Stack Overflow in a functional fashion, let's hack and learn from each others' solutions [https://github.com/lambdaheads] [https://github.com/epsilonhalbe/Lambdaheads]
+
* [http://cryptol.net/ Cryptol] a language for cryptography released by Galois.inc
 +
* Monads an attempt à la Dan Piponi
  
 
=== Teilnehmer ===
 
=== Teilnehmer ===
  
* [[Benutzer:Daxim]]
+
* [[Benutzer:Epsilon.halbe|ε/2]]
 +
* You??
  
 
<!--
 
<!--
* [[Benutzer:Epsilon.halbe|ε/2]]
+
* [[Benutzer:Daxim]]
 +
* [[Benutzer:Phaebz|phaebz]]
 
* [[Benutzer:Lefant|Lefant]]
 
* [[Benutzer:Lefant|Lefant]]
* [[Benutzer:Daxim]] & cie.
 
 
* [[Benutzer:Mark.probst|schani]]
 
* [[Benutzer:Mark.probst|schani]]
 
* [[User:Citizen428|citizen428]]
 
* [[User:Citizen428|citizen428]]
Zeile 33: Zeile 41:
  
 
== Vortragswünsche ==
 
== Vortragswünsche ==
 +
* NixOS - A linux with functional package manager ([[Benutzer:Epsilon.halbe|ε/2]])
 +
* 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]])
 +
__TOC__
  
 
== Vortragsvorschläge ==
 
== Vortragsvorschläge ==
Zeile 59: Zeile 71:
  
 
= Kontakt =
 
= Kontakt =
* [[User:Citizen428|citizen428]]
+
* [[User:Citizen428|citizen428]] - derzeit auf Weltreise
 
* [[User:Epsilon.halbe|epsilonhalbe]]
 
* [[User:Epsilon.halbe|epsilonhalbe]]
  
 
= Frühere Events =
 
= Frühere Events =
 +
 +
== 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 ==
 +
 +
generators in future ECMAscript (node.js 0.11.2) - https://developer.mozilla.org/en-US/docs/Web/JavaScript/Guide/Iterators_and_Generators
 +
 +
Python 3
 +
 +
<pre>
 +
def pager(lines, pagelen=60):
 +
    for lineno, line in enumerate(lines):
 +
        yield line
 +
        if lineno % pagelen == 0:
 +
            yield "\f"
 +
 +
for line in pager((range(10000))):
 +
    print(line)
 +
</pre>
 +
 +
Perl 6
 +
 +
<pre>
 +
use v6;
 +
 +
sub pager($lines, $pagelen=60) {
 +
    gather for zip 1..200, $lines -> $lineno, $line {
 +
        take $line;
 +
        take "\f" if $lineno %% $pagelen
 +
    }
 +
}
 +
 +
for pager(1..*, 30) -> $line {
 +
    say $line;
 +
}
 +
</pre>
 +
 +
Haskell
 +
 +
<pre>
 +
pager ::(Show a) => [a] -> Int -> [String]
 +
pager xs n = [if i %% n then show x else "\f" | (x,i) <- zip xs [1..]]
 +
 +
(%%) :: Int -> Int -> Bool
 +
i %% n = (rem i n) /= 0
 +
 +
 +
main :: IO ()
 +
main = putStr ( unlines (pager [1..10000] 60))
 +
</pre>
 +
 +
== 2013-06-18 ==
 +
 +
comb, one of the opposites of join (the other one is split)
 +
 +
<pre>
 +
String.prototype.comb = function(re) {
 +
    // lol type conversion the hacky way
 +
    re = ('' + re)              // now it's a string
 +
        .replace(/^\//, '')    // hack off leading
 +
        .replace(/\/$/, '');    // trailing delimiter
 +
    // no interpolation, no sigils, no sprintf
 +
    return eval('this.match(/(' + re + ')+/g)');
 +
}
 +
</pre>
 +
 +
gather/take construct reimplemented for JS - a replacement for the idiom of declaring a collecting variable and pushing into it occasionally http://perl6.wikia.com/wiki/Gather
 +
 +
<pre>
 +
function gather(fn) {
 +
    var guard = new Array;
 +
    var take = function (items) {
 +
        guard = guard.concat(items);
 +
    };
 +
    fn(take);
 +
    return guard;
 +
};
 +
 +
console.log(
 +
    gather(function(take) {
 +
        for (var i = 0; i <= 10; i++) {
 +
            if (i % 2) {
 +
                take(i);
 +
            }
 +
        }
 +
    })
 +
)
 +
 +
var arr = [];
 +
for (var i = 0; i <= 10; i++) {
 +
    if (i % 2) {
 +
        arr.push(i);
 +
    }
 +
}
 +
</pre>
 +
 +
Haskell example is incomplete
 +
 +
<pre>
 +
gather x = foldr (:) [] x
 +
main = print $ gather [0..10]
 +
</pre>
 +
 +
reimplementation of List::Gen::by http://p3rl.org/List::Gen#by-NUM-LIST (no generators, just list transformation)
 +
 +
<pre>
 +
function by(n, a) {
 +
    var r = new Array;
 +
    while(a.length) {
 +
        r.push(a.splice(0, n));
 +
    };
 +
    console.log(a);
 +
    return r;
 +
};
 +
 +
function by2(n, a) {
 +
    return a.length ? [a.slice(0, n)].concat(by2(n, a.slice(n))) : [];
 +
}
 +
 +
console.log( by2(5, [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15]) );
 +
console.log( by2(5, [1,2,3,4,5,6,7,8,9,10,11,12,13,14]) );
 +
console.log( by2(5, [1,2,3,4]) );
 +
console.log( by2(5, []) );
 +
</pre>
 +
 +
<pre>
 +
// contrib by intval
 +
// divides array into equal arrays, each of size n
 +
function by(n, arr) {
 +
    function byby(n, arr, accum) {
 +
        if(arr.length < 1) {
 +
            return accum;
 +
        }
 +
        var head = [arr.slice(0,n)];
 +
        var tail = arr.slice(n);
 +
        return byby(n, tail, accum.concat(head));
 +
    }
 +
    return byby(n, arr, []);
 +
}
 +
 +
console.log( by(5, [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15]) );
 +
console.log( by(5, [1,2,3,4,5,6,7,8,9,10,11,12,13,14]) );
 +
console.log( by(5, [1,2,3,4]) );
 +
console.log( by(25, []) );
 +
</pre>
 +
 +
== 2013-05-21 ==
 +
 +
A revival to much muttering, fretting and frowning of brows!
 +
 +
* A little tutorial on Monads [[User:Epsilon.halbe|(ε/2)]]
 +
** [https://github.com/epsilonhalbe/MonadTalk SourceCode]
 +
** [[media:MonadTalk.pdf|Slides(pdf)]]
 +
 +
* Func-prog in JS:
 +
** [http://stevelosh.com/blog/2013/03/list-out-of-lambda/ Steve Losh: List out of Lambda]
 +
** [http://www.youtube.com/watch?v=3ujq55fCx6o YouTube Elise Huard: Why functional is the new black -- JSConf EU 2012]
 +
 +
== 2012-10-15 ==
 +
 +
* Coding Challenge: bring your favourite languages, solve a small practical real-world problem from Stack Overflow in a functional fashion, let's hack and learn from each others' solutions [https://github.com/lambdaheads] [https://github.com/epsilonhalbe/Lambdaheads]
 +
 +
http://stackoverflow.com/questions/12872469
  
 
== 2012-09-17 ==
 
== 2012-09-17 ==
Zeile 254: Zeile 447:
 
* Functional Programming in Perl 6
 
* Functional Programming in Perl 6
  
[[Kategorie:Veranstaltungen]]
+
[[Kategorie:Usergroups]]
[[Kategorie:Stammtische]]
+
[[Kategorie:UserGroup]]
+

Version vom 26. Mai 2014, 12:35 Uhr


Lambdaheads
Lambdaheads-Logo.jpg

Status:

active

Thema:

Lambdaheads

Organisator:

citizen428, epsilonhalbe

Treffen:

every 2nd Wednesday in the Month

Zielgruppe:

Jeder mit Interesse an funktionaler Programmierung, vom Mathematiker zum Software-Entwickler.

Inhalt:

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

Zuletzt aktualisiert:

26.05.2014

WTF

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

Kommende Events

Jeder 2te Mittwoch im Monat

nächster regulärer Termin

Termin: Mi, 2014-06-11 Montag, 2014-06-09 ab 19:30 Uhr in der Bibliothek im Metalab

Programm

  • Cryptol a language for cryptography released by Galois.inc
  • Monads an attempt à la Dan Piponi

Teilnehmer


Vortragswünsche

  • NixOS - A linux with functional package manager (ε/2)
  • Elm - Functional Reactive Programming (ε/2)
  • Cryptol - a DSL for cryptography (ε/2)
  • 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 (ε/2)
  • Emacs (ε/2)

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

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

  • A* algorithmus in Haskell
  • Testen in Haskell (Unit Tests, Property Tests, Proof, Criterion, Profiler) Stuff

2014-03-14

Einführung in Haskell: Buchstaben nach ASCII-Art 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

generators in future ECMAscript (node.js 0.11.2) - https://developer.mozilla.org/en-US/docs/Web/JavaScript/Guide/Iterators_and_Generators

Python 3

def pager(lines, pagelen=60):
    for lineno, line in enumerate(lines):
        yield line
        if lineno % pagelen == 0:
            yield "\f"

for line in pager((range(10000))):
    print(line)

Perl 6

use v6;

sub pager($lines, $pagelen=60) {
    gather for zip 1..200, $lines -> $lineno, $line {
        take $line;
        take "\f" if $lineno %% $pagelen
    }
}

for pager(1..*, 30) -> $line {
    say $line;
}

Haskell

pager ::(Show a) => [a] -> Int -> [String]
pager xs n = [if i %% n then show x else "\f" | (x,i) <- zip xs [1..]]

(%%) :: Int -> Int -> Bool
i %% n = (rem i n) /= 0


main :: IO ()
main = putStr ( unlines (pager [1..10000] 60))

2013-06-18

comb, one of the opposites of join (the other one is split)

String.prototype.comb = function(re) {
    // lol type conversion the hacky way
    re = ('' + re)              // now it's a string
        .replace(/^\//, '')     // hack off leading
        .replace(/\/$/, '');    // trailing delimiter
    // no interpolation, no sigils, no sprintf
    return eval('this.match(/(' + re + ')+/g)');
}

gather/take construct reimplemented for JS - a replacement for the idiom of declaring a collecting variable and pushing into it occasionally http://perl6.wikia.com/wiki/Gather

function gather(fn) {
    var guard = new Array;
    var take = function (items) {
        guard = guard.concat(items);
    };
    fn(take);
    return guard;
};

console.log(
    gather(function(take) {
        for (var i = 0; i <= 10; i++) {
            if (i % 2) {
                take(i);
            }
        }
    })
)

var arr = [];
for (var i = 0; i <= 10; i++) {
    if (i % 2) {
        arr.push(i);
    }
}

Haskell example is incomplete

gather x = foldr (:) [] x
main = print $ gather [0..10]

reimplementation of List::Gen::by http://p3rl.org/List::Gen#by-NUM-LIST (no generators, just list transformation)

function by(n, a) {
    var r = new Array;
    while(a.length) {
        r.push(a.splice(0, n));
    };
    console.log(a);
    return r;
};

function by2(n, a) {
    return a.length ? [a.slice(0, n)].concat(by2(n, a.slice(n))) : [];
}

console.log( by2(5, [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15]) );
console.log( by2(5, [1,2,3,4,5,6,7,8,9,10,11,12,13,14]) );
console.log( by2(5, [1,2,3,4]) );
console.log( by2(5, []) );
// contrib by intval
// divides array into equal arrays, each of size n
function by(n, arr) {
    function byby(n, arr, accum) {
        if(arr.length < 1) {
            return accum;
        }
        var head = [arr.slice(0,n)];
        var tail = arr.slice(n);
        return byby(n, tail, accum.concat(head));
    }
    return byby(n, arr, []);
}

console.log( by(5, [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15]) );
console.log( by(5, [1,2,3,4,5,6,7,8,9,10,11,12,13,14]) );
console.log( by(5, [1,2,3,4]) );
console.log( by(25, []) );

2013-05-21

A revival to much muttering, fretting and frowning of brows!

2012-10-15

  • Coding Challenge: bring your favourite languages, solve a small practical real-world problem from Stack Overflow in a functional fashion, let's hack and learn from each others' solutions [1] [2]

http://stackoverflow.com/questions/12872469

2012-09-17

2012-08-20

- Burrows-Wheeler Transformation aus "R.Bird - Pearls of functional Programming"

  • Algorithmus durchbesprechen und
  • Ein bischen testen mit QuickCheck

2012-07-23

2012-06-25

  • ClojureC - neues Projekt von schani

2012-05-24

2012-04-30

2012-03-05

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

2012-02-13

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

Programm:

2012-01-09

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).

2011-11-12

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

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

2011-10-17

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

2011-09-19

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 ;-)

2011-08-29

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

User:Antifuchs zeig AllegroGraph in der Bibliothek im Metalab.

2011-07-25

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

2011-06-27

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

2011-05-30

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

2011-05-02

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

2011-04-04

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

2011-03-07

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

2011-02-07

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)

2011-01-17

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

2010-11-29

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

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

2010-10-04

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

  • Common Lisp Object System (japhy)

2010-09-06

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)

2010-07-12

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

2010-06-14

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

2010-05-17

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

2010-04-19

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

2010-03-22

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