Fork about static typing split from another thread

mariosangiorgio · March 16, 2017, 12:26am

This is an interesting discussion. Personally I’m all for leveraging the type system as much as I can to ensure the correctness of my code.

I found Alpaca, which aims to be an ML for the BEAM. Has anyone gave it a try? It seems to be still in an early stage but nonetheless I think it’s promising

github.com

alpaca-lang/alpaca/blob/master/Tour.md

<div id="table-of-contents">
<h2>Table of Contents</h2>
<div id="text-table-of-contents">
<ul>
<li><a href="#sec-1">1. Intro</a>
<ul>
<li><a href="#sec-1-1">1.1. Helpful Foundations</a></li>
<li><a href="#sec-1-2">1.2. About This Document</a></li>
</ul>
</li>
<li><a href="#sec-2">2. The Structure of a Program</a>
<ul>
<li><a href="#sec-2-1">2.1. What Modules Include</a></li>
</ul>
</li>
<li><a href="#sec-3">3. Included Data Types</a>
<ul>
<li><a href="#sec-3-1">3.1. The Basic Ones</a>
<ul>
<li><a href="#sec-3-1-1">3.1.1. Booleans</a></li>

This file has been truncated. show original

OvermindDL1 · March 16, 2017, 8:34pm

Yep, I’ve been helping spur syntax and such as it moves along. ^.^

I question some of their choices, like not making messages be a block box that should be matched on, but eh…