Category Theory for Programmers / Core Logic

Meetup #11

* Théorie des Catégorie pour le programmeur (Yann Esposito)

La théorie des catégories peut être vu comme un nouveau paradigme de l'abstraction. Elle est notamment influente en topologie, physique, physique quantique, logique mais aussi en informatique.

Nous verrons en quoi la connaissance de la théorie des catégorie permet de voir les programmes sous un autre jour. Comment elle permet d'améliorer les spécifications et de diminuer les bugs. Nous verrons comment la théorie des catégories favorise la création d'opérateurs polymorphes abstraits d'une très grande généralité. Plus précisément, nous donnerons des exemples en Haskell concernant les foncteurs, les monades et si le temps le permet les catamorphismes qui sont une généralisation de la fonction "fold".

Category Theory for Programmers

Category theory provides a new paradigm and a fresh abstraction. It highly influences topology, physics, quantum physics, logics, but also computer science.

We'll see how category theory allows programmers to have another view point of programming, improve specifications, and reduce bugs. We'll also see how the theory helps create abstract operation , polymorphic, and neat generalization. We'll check out examples in Haskell on functor, monad, and also catamorphism which is nothing less than generalisation of the familiar fold function.

* Core Logic. Relational programming in Clojure

Relational programming is a programming paradigm where deduction and not necessarily computation play the central role. Core.logic is a library for relational programming in Clojure.

Let's play with core.logic . We'll start with basic notion of core logic, unification, and some fun examples. If we have time, we will also see cKanren, the extension of Core Logic with constraint programming.

Join or login to comment.

  • Stephane S.

    Merci pour la qualité des deux présentations. Une très bonne sélection des sujets et gros travail de préparation!!

    December 12, 2012

16 went

Our Sponsors

People in this
Meetup are also in:

Create a Meetup Group and meet new people

Get started Learn more
Allison

Meetup has allowed me to meet people I wouldn't have met naturally - they're totally different than me.

Allison, started Women's Adventure Travel

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy