{:ok, %VanEE{talk: "Alpaca: Static Typing on the BEAM"}}

Hello Alchemists and Erlangutangs! ⚗️🐒

Are you interested in hearing more about statically typed languages? Do you like to learn about the implementation and trade-offs of such languages?

That was a trick question: of course you are(and do)!

Here's the itinerary for the night:

6:00 PM - Doors open, grab a snack and some refreshments, mingle

6:30 PM - Talk begins

7:20 PM - Q&A

8:00 PM - We move discussions with new & old friends to other establishments

VENUE:

https://a248.e.akamai.net/secure.meetupstatic.com/photos/event/b/b/3/9/600_458567929.jpeg

BIG Thanks to CodeCore (https://codecore.ca/) for providing an awesome space for this :)

Jeremy Pierre (https://twitter.com/j14159) is the founder of the Alpaca (http://alpaca-lang.org) language project and he will be presenting with the following synopsis:

Static typing provides significant advantages in terms of reduced unit testing needs and faster feedback loops. While the reasons for Erlang's dynamic typing vary, with careful trade-offs it is possible to bring the rigour of a statically typed language to the Erlang virtual machine. This talk will cover the reasons for which Alpaca was started, the basic and most compelling features of its statically typed nature including typed message sending, some of the trade-offs made, and how the compiler itself is structured.

About Alpaca: Alpaca is a statically typed, functional programming language inspired by the ML family of languages, written in Erlang, for the Erlang virtual machine. It has a type inferencer and the basic features one would expect from such a language like algebraic data types (ADTs), row polymorphism, and typed message flows for processes.

About Jeremy: Jeremy came to a software development career by a circuitous route through a music education and brief stints in sales and teaching English. A longtime Scala user and more recently Erlang programmer, his day job involves developing and managing parts of the Askuity platform built using both.