1. Helsinki Haskell Users Group Meetup - Zippers & Recalled


    from Nitor Added 192 0 0

    First group meetup at Nitor premises. We had two keynotes: Zippers and Recalled. Zippers Zippers are a programming technique that can make code that transforms pure data structures more efficient.…

    + More details
    • Sayeret Lambda - Haskell (19/10/2010)


      from Sayeret Lambda Added 245 0 0

      Aur Saraf presented "Computation as Mathematics with Haskell" at October meeting of sayeret.

      + More details
      • Let me explain it in Haskell por Gustavo Pinto via @Stoodos (Aula 1)


        from stoodos Added 143 0 0

        Aprender diferentes linguagens de programação é extremamente importante, visto a existência crescente de muitas alternativas para desenvolvimento. Aprender diferentes paradigmas…

        + More details
        • [nyc-haskell] Greg Wright - A Purely Symbolic Effort in Mathematics


          from Richard Minerich Added 597 4 0

          Event: http://www.meetup.com/NY-Haskell/events/104481892/ Slides: http://gbaz.github.com/slides/wheeler-feb-2013.pdf Since the earliest days of programming, symbolic algebra has been a laboratory…

          + More details
          • [nyc-haskell] Lenses, Folds and Traversals: An Introduction to the Lens Library with Edward Kmett


            from Richard Minerich Added 1,709 13 0

            A big thanks to Johan Kiviniemi. Without his help in fixing the audio this video would be nearly unwatchable. This event and its recording has been brought to you by the combined hard work of NYC…

            + More details
            • [nyc-haskell] Practical Data Processing With Haskell and Putting Cloud Haskell to Work with Ozgun Ataman and Gershom Bazerman


              from Richard Minerich Added 2,109 9 1

              From the NYC Haskell User Group: http://www.meetup.com/NY-Haskell/events/86257622/ We're kicking off the New York Haskell Users Group with two great talks, one for people just getting started…

              + More details
              • The Ubiquitous Monad by Jim Powers


                from Anthony West Added 514 4 1

                Although the technical term for Monad comes from Category Theory, it turns out that monads are pervasive in programming. Most of the time people don't know they are using a monad, but getting…

                + More details
                • Manuel Chakravarty - Data Parallelism in Haskell


                  from Rob Manthey Added 3,422 14 2

                  Speaker: Manuel Chakravarty Topic: Data Parallelism in Haskell Conference: Brisbane Functional Programming Group Location: Brisbane Venue: Mincom rooms - Lev7/193 Turbot St Date: 1 Sep 2011

                  + More details
                  • [ny-haskell] Dependent Types in Haskell


                    from Richard Minerich Added 462 1 0

                    New York Haskell Users Group, October 24, 2014 Dependent Types in Haskell by Richard Eisenberg Why you want them, How to use them today, and What they will look like tomorrow This talk will…

                    + More details
                    • [nyc-haskell] Doug Beardsley - Coding and Reasoning with Purity, Strong Types and Monads


                      from Richard Minerich Added 1,226 8 0

                      Link to event: http://www.meetup.com/NY-Haskell/events/96038872/ Link to slides: https://github.com/mightybyte/purity-types-monads All proceeds from the tip jar will go towards NY Haskell Meetup…

                      + More details

                      What are Tags?


                      Tags are keywords that describe videos. For example, a video of your Hawaiian vacation might be tagged with "Hawaii," "beach," "surfing," and "sunburn."