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. Following […]![]()
