Past Meetup

#5 -> {LambdaCube 3D, Idris}

Hosted by Functional Programmers Paris

Public group

This Meetup is past

58 people went

Location image of event venue

Details

- 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!