Next Meetup

Functional Vilnius #12: Implicits & Sequent Calculus
This time we will discuss these two topics: 1. Induction using implicits (Algimantas Krasauskas). In the talk I will discuss methods of scrapping your boilerplate by using implicit induction and scala’s type system. As part of the demo, I will talk about HList and problems it helps us solve. 2. Abstract machines & sequent calculus (Alex Gryzlov). Have you ever wondered if the foundations of FP can be redesigned from the ground up? In this talk we'll use a logical framework called "sequent calculus" to define an alternative system to the lambda calculus and see the benefits this will bring us, demystifying continuations in the process. We will have pizza before the talks! See you!

Wix New Vilnius office

Didžioji st. 28 · Vilnius

    Past Meetups (11)

    What we're about

    Functional Vilnius is a meetup group for everyone interested in functional programming and/or type-driven software development.

    We aim to be a polyglot user group and are completely open-minded to applications of these principles in any programming language (i.e. we are not some Haskell-nazis). Our goal is to spread the adoption of ideas related to functional programming in an approachable way and in as many different settings as possible.

    If you want to help with organisation, be a speaker or just say hi, drop us an email:
    Currently we need some web design help and help with running the events.

    Members (613)

    Photos (3)

    Find us also at