Name: #5 -> {LambdaCube 3D, Idris}
Start: 2015-06-02T19:00:00+02:00
End: 2015-06-02T22:00:00+02:00
Location: Criteo

- LambdaCube 3D, par Csaba Hruska (en)

LambdaCube 3D is a domain specific language and library that makes it possible to program GPUs in a purely functional style.

Csaba Hruska, the main author of LambdaCube 3D will give an overview and we plan some live coding as well.

- À la découverte d'Idris, par Benoit Lemoine

Idris est un langage inspiré d'Haskell implémentant le paradigme du typage dépendant permettant d'utiliser des valeurs comme type.
Cette session, mi-présentation, mi live-code, sera l'occasion de découvrir Idris et ses particularités par rapport à Haskell. On y parlera donc typage dépendant, Isomorphisme de Curry-Howard, preuves et génération d'implémentation de code.

Benoit est développeur fullstack depuis bientôt 8 ans. Ses centres d'intérêts principaux tournent autour du front au sens large (HTML, CSS, JS, frameworks, etc.) et de la programmation fonctionnelle.

---

N'hésitez pas à proposer vos talks par la messagerie meetup!

Functional Programmers Paris

Technology

Lisp

Scala

Clojure

Technology Startups

Software Development

Open Source

New Technology

Computer Programming

Programming Languages

Functional Programming

#5 -> {LambdaCube 3D, Idris}

Criteo

Share

Functional Programmers Paris

#5 -> {LambdaCube 3D, Idris}

Functional Programmers Paris

Details

Members are also interested in