Talk: Alpaca Static Typing On The Beam

Today, I watched talk Alpaca Static Type Checking on the Beam.  alpaca-lang is a statically typed functional programming language inspired by ML family of languages for the Erlang VM. It has strong type inference based on Hindley-Milner type system. Type checker will disallow adding String to an Integer. It looks like an interesting language.  Continue reading “Talk: Alpaca Static Typing On The Beam”