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
Keine Bearbeitungszusammenfassung
 
(82 dazwischenliegende Versionen von 8 Benutzern werden nicht angezeigt)
Zeile 1: Zeile 1:
<span style="float:right;border:10px;"> http://asset.soup.io/asset/1196/8300_0b12.jpeg <br /><div align="right"><small>Source: [http://soup.fnordicwalking.de/post/84983706/my-head-is-now-a-lambda-expression soup.fnordicwalking.de]</small></div></span>
{{Usergroup
|logo=Lambdaheads-Logo.jpg
|organizer=[[User:dio|dio]]; vormals [[User:citizen428|citizen428]] und [[User:epsilonhalbe|epsilonhalbe]]
|email=
|irc=
|startdate=
|homepage=
|topic=Funktionale Programmierung
|status=active
|meetings=3. Mittwoch im Monat
|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 =
Ein regelmäßiges Treffen von Leuten die sich für [[wde:Lisp|Lisp-Dialekte]] und [[wde:Funktionale_Programmierung|funktionale Programmierung]] im Allgemeinen interessieren.


=== WTF ===
= Kommende Events =
Ein regelmäßiges Treffen von Leuten die sich für [[wde:Lisp|Lisp-Dialekte]] und [[wde:Funktionale_Programmierung|funktionale Programmierung]] im Allgemeinen interessieren.


=== Kommende Events ===
Voraussichtlich jeder 3te Mittwoch im Monat


Nächster Termin = alter Termin + 28 Tage
== nächste reguläre Termine ==
=== 2017-07-19 Wed 19:30-22:00 (Library) ===
==== Topic: TBD ====


'''Achtung:''' Spezialtermin im <del>Februar</del> <del>März</del> <del>April</del> mit einem Vortrag von Microsoft zu F#, Termin tba.
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.


Nächster regulärer Termin:
== Vortragswünsche ==
 
* NixOS - A linux with functional package manager ([[Benutzer:Epsilon.halbe|ε/2]], [[phaebz]])
Termin: Mo, '''2012-04-30''' ab 19:00 Uhr in der Bibliothek [[Lage|im Metalab]]
* Elm - Functional Reactive Programming ([[Benutzer:Epsilon.halbe|ε/2]])
 
* Cryptol - a DSL for cryptography ([[Benutzer:Epsilon.halbe|ε/2]])
Programm:
* 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])
* [http://www.lisperati.com/casting.html Casting SPELs in Lisp] ([http://www.lisperati.com/casting-spels-emacs/html/casting-spels-emacs-1.html EmacsLisp version])
* Readable/non-trivial Haskell Examples ([[Benutzer:Epsilon.halbe|ε/2]], e.g. Pandoc)
* [http://lisperati.com/haskell/ Haskell tutorial von Conrad Barski]
* [http://yannesposito.com/Scratch/en/blog/Haskell-the-Hard-Way/ Learn Haskell Fast and Hard]
* [https://gist.github.com/c3ef3b994a43bee8f90b Solution for Martin's coding challenge]
 
Teilnehmer:
 
* [[User:Citizen428|citizen428]]
* [[Benutzer:Epsilon.halbe|ε/2]]
 
=== Vortragswünsche ===
* Coq - a proof assistant
* Interfacing to SDL/Games in functional languages
* Intro to Haskell
* Intro to a Clojure Web Framework
* Readable Haskell Examples
* How Darcs works
* How Darcs works
* Intro to QuickCheck and Software Testing in Haskell
* Two λ enter, one λ leaves: [http://snapframework.com/ Snap] vs. [http://yesodweb.com/ Yesod] ([[Benutzer:Epsilon.halbe|ε/2]])
* [http://marcoil.org/wp-content/uploads/2009/04/format-fear.jpg Format], Mutterliebhaber, do you speak it?
* Emacs ([[Benutzer:Epsilon.halbe|ε/2]])
* [http://en.wikipedia.org/wiki/Zipper_(data_structure) Zippers]
* http://lambdacube3d.com/
* Two λ enter, one λ leaves: [http://snapframework.com/ Snap] vs. [http://yesodweb.com/ Yesod]
__TOC__


== 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 ===
* [[wde:Lambda-Kalkül|Lambda-Kalkül]]
* [[wde:Lambda-Kalkül|Lambda-Kalkül]]
* [http://common-lisp.net/ Common Lisp]
* [http://common-lisp.net/ Common Lisp]
Zeile 57: Zeile 56:
* [http://www.complang.tuwien.ac.at/schani/chpp/ Chakotay]
* [http://www.complang.tuwien.ac.at/schani/chpp/ Chakotay]


=== Kontakt ===
= Kontakt =
* [[User:Citizen428|citizen428]]
* [[User:dio|dio]]
<!--
* [[User:Citizen428|citizen428]] - derzeit auf Weltreise
* [[User:Epsilon.halbe|epsilonhalbe]]
-->
 
= 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 ==
 
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;


=== Frühere Events ===
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 ==
* Introduction to Scala von Alex ([[Scala_User_Group]])
== 2012-08-20 ==
- Burrows-Wheeler Transformation aus "R.Bird - Pearls of functional Programming"
* Algorithmus durchbesprechen und
* Ein bischen testen mit QuickCheck
== 2012-07-23 ==
* [https://github.com/schani/clojurec ClojureC] Status Report von [[Benutzer:Mark.probst|schani]]
== 2012-06-25 ==
* ClojureC - neues Projekt von [[Benutzer:Mark.probst|schani]]
== 2012-05-24 ==
* neues bei [http://hackage.haskell.org/packages/archive/pkg-list.html#cat:pugs Pugs]
== 2012-04-30 ==
* [http://www.lisperati.com/casting.html Casting SPELs in Lisp] ([http://www.lisperati.com/casting-spels-emacs/html/casting-spels-emacs-1.html EmacsLisp version])
* [http://lisperati.com/haskell/ Haskell tutorial von Conrad Barski]
* [http://yannesposito.com/Scratch/en/blog/Haskell-the-Hard-Way/ Learn Haskell Fast and Hard]
* [https://gist.github.com/c3ef3b994a43bee8f90b Solution for Martin's coding challenge]
* [http://shop.oreilly.com/product/0636920023142.do Yesod Buch]
== 2012-03-05 ==
<del>Mo, '''2012-04-02''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]</del><br>
<del>Mo, '''2012-04-02''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]</del><br>
Mo, '''2012-03-05''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]
Mo, '''2012-03-05''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]
Zeile 71: Zeile 400:
- ε/2
- ε/2


== 2012-02-13 ==
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]]


Zeile 81: Zeile 411:
* [http://evincarofautumn.blogspot.com/2012/02/why-concatenative-programming-matters.html Why Concatenative Programming Matters]
* [http://evincarofautumn.blogspot.com/2012/02/why-concatenative-programming-matters.html Why Concatenative Programming Matters]


== 2012-01-09 ==
Mo, '''2012-01-09''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]
Mo, '''2012-01-09''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]


[http://stackoverflow.com/questions/8439003/what-is-the-regex-to-extract-a-date-mask-in-perl Programming Challenge] by [[Benutzer:daxim|daxim]]. Solutions in [https://gist.github.com/64db740e0d69d03d756e Ruby] ([[User:Citizen428|citizen428]]), [https://gist.github.com/1582790 Haskell] ([[User:Epsilon.halbe|ε/2]]), [https://gist.github.com/1638626 Python2] (a friend of ε/2) and [https://gist.github.com/e4d81989ba2f2e119a4d Common Lisp] ([[User:japhy|japhy]]).
[http://stackoverflow.com/questions/8439003/what-is-the-regex-to-extract-a-date-mask-in-perl Programming Challenge] by [[Benutzer:daxim|daxim]]. Solutions in [https://gist.github.com/64db740e0d69d03d756e Ruby] ([[User:Citizen428|citizen428]]), [https://gist.github.com/1582790 Haskell] ([[User:Epsilon.halbe|ε/2]]), [https://gist.github.com/1638626 Python2] (a friend of ε/2) and [https://gist.github.com/e4d81989ba2f2e119a4d Common Lisp] ([[User:japhy|japhy]]).


 
== 2011-11-12 ==
Mo., '''2011-11-12''', ab 19:30 Uhr im Hauptraum [[Lage|im Metalab]]
Mo., '''2011-11-12''', ab 19:30 Uhr im Hauptraum [[Lage|im Metalab]]


angeregte Diskussion auf der Couch vor der Blinkenwall über alles mögliche™
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 [[Lage|im Metalab]]
Mo, '''17.10.''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]


* [http://www.complang.tuwien.ac.at/schani/chpp/ Chakotay] von Schani
* [http://www.complang.tuwien.ac.at/schani/chpp/ Chakotay] von Schani


== 2011-09-19 ==
Mo, '''19.9.''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]


Mo, '''19.9.''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]
* Overview: Martins (=[[User:Epsilon.halbe|ε/2]]) Spielprojekt "Algebra Alchemy"
 
* Overview: Martins (=[[User:Epsilon.halbe|ε/2]]) Spielprojekt "Algebra Alchemy"  
** Symbolic Algebra<br>
** Symbolic Algebra<br>
** Algebraic Expression Trees<br>
** Algebraic Expression Trees<br>
Zeile 106: Zeile 437:
in Haskell all DIY - hopefully readable ;-)
in Haskell all DIY - hopefully readable ;-)


 
== 2011-08-29 ==
Lambdaheads Spezial, '''29.8.''', 18:15 - 19:45
Lambdaheads Spezial, '''29.8.''', 18:15 - 19:45


[[User:Antifuchs]] zeig [http://www.franz.com/agraph/allegrograph/ AllegroGraph] in der Bibliothek [[Lage|im Metalab]].
[[User:Antifuchs]] zeig [http://www.franz.com/agraph/allegrograph/ AllegroGraph] in der Bibliothek [[Lage|im Metalab]].


 
== 2011-07-25 ==
Mo, '''25.7.''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]
Mo, '''25.7.''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]


Zeile 121: Zeile 452:
* http://98.245.80.27/tcpc/OSCON2011/gbu/gbu.html
* http://98.245.80.27/tcpc/OSCON2011/gbu/gbu.html


 
== 2011-06-27 ==
Mo, '''27.6.''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]  
Mo, '''27.6.''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]


* OCaml is dead - long live OCaml
* OCaml is dead - long live OCaml
Zeile 129: Zeile 460:
* Misc stuff to read [http://www.haskell.org/wikiupload/8/85/TMR-Issue13.pdf the Monad.Reader #13] - Typeclassopedia
* Misc stuff to read [http://www.haskell.org/wikiupload/8/85/TMR-Issue13.pdf the Monad.Reader #13] - Typeclassopedia


 
== 2011-05-30 ==
Mo, '''30.5.''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]  
Mo, '''30.5.''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]


* Introduction to F# ([[User:Citizen428|citizen428]])
* Introduction to F# ([[User:Citizen428|citizen428]])
* Robert Zinkov: http://lafp.us/
* Robert Zinkov: http://lafp.us/


 
== 2011-05-02 ==
Mo, '''2.5.''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]
Mo, '''2.5.''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]


Zeile 141: Zeile 472:
* Buch: Learn You A Haskell for Great Good ([[User:Citizen428|citizen428]])
* Buch: Learn You A Haskell for Great Good ([[User:Citizen428|citizen428]])


 
== 2011-04-04 ==
Mo, '''4.4.''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]  
Mo, '''4.4.''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]


* Testen wie ein Weltmeister mit [http://testanything.org/wiki/index.php/TAP_Producers#Haskell TAP]  ([[Benutzer:Daxim|Daxim]])
* Testen wie ein Weltmeister mit [http://testanything.org/wiki/index.php/TAP_Producers#Haskell TAP]  ([[Benutzer:Daxim|Daxim]])
* Dies und das: https://gist.github.com/c7d4744047a2bb3b3c9c ([[User:Citizen428|citizen428]])
* Dies und das: https://gist.github.com/c7d4744047a2bb3b3c9c ([[User:Citizen428|citizen428]])


 
== 2011-03-07 ==
Mo, '''7.3.2011''' ab 19:30 in der Bibliothek [[Lage|im Metalab]]
Mo, '''7.3.2011''' ab 19:30 in der Bibliothek [[Lage|im Metalab]]


* [https://github.com/epsilonhalbe/Mastermind Mastermind] ([[Benutzer:Epsilon.halbe|ε/2]])
* [https://github.com/epsilonhalbe/Mastermind Mastermind] ([[Benutzer:Epsilon.halbe|ε/2]])


 
== 2011-02-07 ==
Mo, '''7.2.2011''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]
Mo, '''7.2.2011''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]


Zeile 158: Zeile 489:
* myReverse list - a hard task todo on the fly - except in haskell ;-) (ε/2)
* 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 [[Lage|im Metalab]]  
Mo, '''17.1.''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]


* [https://gist.github.com/783538 Func proc basics] ([[Benutzer:Citizen428|citizen428]])
* [https://gist.github.com/783538 Func proc basics] ([[Benutzer:Citizen428|citizen428]])
* Land of Lisp ([[Benutzer:Citizen428|citizen428]])
* Land of Lisp ([[Benutzer:Citizen428|citizen428]])


 
== 2010-11-29 ==
Mo, '''29.11. ab 19:30''' Uhr in der Bibliothek [[Lage|im Metalab]]  
Mo, '''29.11. ab 19:30''' Uhr in der Bibliothek [[Lage|im Metalab]]


* Func proc concepts: Monads ([[Benutzer:Citizen428|citizen428]])
* Func proc concepts: Monads ([[Benutzer:Citizen428|citizen428]])
[http://channel9.msdn.com/Shows/Going+Deep/Brian-Beckman-Dont-fear-the-Monads Brian Beckman's "Don't fear the Monads" talk]
[http://channel9.msdn.com/Shows/Going+Deep/Brian-Beckman-Dont-fear-the-Monads Brian Beckman's "Don't fear the Monads" talk]


 
== 2010-10-04 ==
Mo. '''04.10.2010''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]  
Mo. '''04.10.2010''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]


* Common Lisp Object System ([[User:japhy|japhy]])
* Common Lisp Object System ([[User:japhy|japhy]])


 
== 2010-09-06 ==
Mo. '''06.09.2010''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]  
Mo. '''06.09.2010''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]


* Func proc concepts: Higher-order functions ([[Benutzer:Citizen428|citizen428]])
* Func proc concepts: Higher-order functions ([[Benutzer:Citizen428|citizen428]])
Zeile 182: Zeile 513:
* Function level programming with APL and J ([[Benutzer:Citizen428|citizen428]])
* Function level programming with APL and J ([[Benutzer:Citizen428|citizen428]])


 
== 2010-07-12 ==
Mo. '''12.07.2010''' ab 19:30 Uhr im Hauptraum [[Lage|im Metalab]]  
Mo. '''12.07.2010''' ab 19:30 Uhr im Hauptraum [[Lage|im Metalab]]


* Introduction to Scala ([[User:MSch|MSch]])
* Introduction to Scala ([[User:MSch|MSch]])
Zeile 189: Zeile 520:
* Random [https://gist.github.com/7d6e873ae8b6b767a7af func prog tidbits] ([[User:Citizen428|citizen428]])
* Random [https://gist.github.com/7d6e873ae8b6b767a7af func prog tidbits] ([[User:Citizen428|citizen428]])


 
== 2010-06-14 ==
Mo. '''14.06.2010''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]  
Mo. '''14.06.2010''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]


* Functional features of C# ([[Benutzer:Metaz|Metaz]])
* Functional features of C# ([[Benutzer:Metaz|Metaz]])
Zeile 197: Zeile 528:
* The Little Schemer ([[Benutzer:Citizen428|citizen428]])
* The Little Schemer ([[Benutzer:Citizen428|citizen428]])


 
== 2010-05-17 ==
Mo. '''17.05.2010''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]  
Mo. '''17.05.2010''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]


* New GHC packages for openSUSE  ([[Benutzer:Daxim|Daxim]])
* New GHC packages for openSUSE  ([[Benutzer:Daxim|Daxim]])
Zeile 205: Zeile 536:
* The monthly "[https://gist.github.com/674e091831cb7bb5d226 What's new in Clojure land?]" ([[User:Citizen428|citizen428]])
* The monthly "[https://gist.github.com/674e091831cb7bb5d226 What's new in Clojure land?]" ([[User:Citizen428|citizen428]])


 
== 2010-04-19 ==
Mo. '''19.04.2010''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]  
Mo. '''19.04.2010''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]


* What is functional programming? - Diskussion anhand der [[Functional Programming|Workshop]]-Slides ([[User:Citizen428|citizen428]] & [[User:red667|red667]])
* What is functional programming? - Diskussion anhand der [[Functional Programming|Workshop]]-Slides ([[User:Citizen428|citizen428]] & [[User:red667|red667]])
Zeile 212: Zeile 543:
* Common Lisp: format and more ([[Benutzer:Antifuchs|Antifuchs]])
* Common Lisp: format and more ([[Benutzer:Antifuchs|Antifuchs]])


 
== 2010-03-22 ==
Mo. '''22.03.2010''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]  
Mo. '''22.03.2010''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]


* Lambdaheads: Was, warum, wieso, etc.
* Lambdaheads: Was, warum, wieso, etc.
Zeile 221: Zeile 552:
* Functional Programming in Perl 6
* Functional Programming in Perl 6


[[Kategorie:Veranstaltungen]]
[[Kategorie:Usergroups]]
[[Kategorie:Stammtische]]
[[Kategorie:UserGroup]]
 
__NOTOC__

Aktuelle Version vom 14. Juni 2017, 18:21 Uhr


Lambdaheads
Lambdaheads-Logo.jpg
Status: active
Thema: Funktionale Programmierung
Organisator: dio; vormals citizen428 und epsilonhalbe
Treffen: 3. Mittwoch im Monat
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: 2017-06-14

WTF

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

Kommende Events

Voraussichtlich jeder 3te Mittwoch im Monat

nächste reguläre Termine

2017-07-19 Wed 19:30-22:00 (Library)

Topic: TBD

Termin: Die Organisation der Lambdaheads wurde auf meetup verschoben - bitte dort die Themenlage ansehen die Announcements passieren ca 1-2 Wochen vor dem eigentlichen Termin.

Vortragswünsche

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

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
    • accelerate-typelits

2016-03-09

2016-02-10

  • 19:30 Category Theory part 2
    • meetup
    • slides
    • a neat trick of encoding numbers on a type level, gist by michael schröder

2016-01-20

2015-12-09

2015-11-11

  • functional web experience meetup
  • hdgarood - purescript
  • gregor riegler - purescript
  • peter - jboss (erlang webframework)

2015-10-21

Summer break

2015-07-02 special

  • Lambda-Calculus/Dependent-Type Theory meetup a lecture at the university of vienna dpt. of logic by prof. dana s. scott
  • slides

2015-06-10

  • Coding dojo - minesweeper kata comparing languages (Java, php, haskell(1,2,3) …) meetup
  • haskell martin
  • F# andreas schlapsi
  • c
  • dart
  • java

2015-05-13

  • Purescript (and maybe some haskell) meetup
  • presentation by Gregor Riegler 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 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 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 and Mikael
  • Drawing with Haskell (TagCloud, Calendar) a first step in building a reporting tool with haskell

2014-09-10

2014-08-13

  • Record Syntax, Lenses and Prisms - Functional getters, setters and a bit more (@epsilonhalbe)
  • STM with Finalizers (@schrototo), fork auf github [

2014-07-09

  • Monads: a presentation of the Blogpost by Dan Piponi
  • Gespräche über allerlei Themen
    • Elm Talk bei InfoQ in dem Evan Czaplicki in der letzten Viertelstunde eine Supermario from Scratch demo gibt
    • Tolle Dinge die man mit Haskell machen kann: Musik, Diagramme u.v.m.
    • Idris a.k.a. rocket science Youtube

2014-06-09

  • 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

  • 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