Next Meetup

Hands-On Generative Programming
This evening's talk will be given by Nada Amin: Hands-On Generative Programming I will illustrate the promise of generative programming—writing expressive high-level programs that generate fast low-level code at runtime—by turning interpreters into compilers, and even collapsing towers of interpreters into one-pass compilers. Examples include regular expression matchers, program transformers, SQL engines, and conceptually infinite reflective towers of interpreters. If we have time, I will also show that we can generate low-level heterogeneous code, that can independently verified for safety and correctness. For most of the examples, I will use the Lightweight Modular Staging (LMS) framework in Scala, generating Scala and C, and perhaps touch upon MetaOCaml. http://scala-lms.github.io/ github.com/namn/lms-verify http://okmij.org/ftp/ML/MetaOCaml.html Exercise 3: https://www.cl.cam.ac.uk/teaching/1718/L28/assessment.html Arrive from 6pm to grab a drink and socialise.

Metail

50 St Andrew's Street, CB2 3AH · Cambridge

Upcoming Meetups

Past Meetups (56)

What we're about

Public Group

This is a group for people who are interested in functional programming languages. Instead of having one group for a particular language, we'd like to create a group for users (or want-to-be users) of all functional languages. We will have regular drink-up type events, as well as the occasional talk on functional programming (volunteers welcome!).

Members (428)

Photos (18)