>Grain aims to modernize innovative features from functional and academic programming languages and bring them to the masses. What are these features? This co

>Grain aims to modernize innovative features from functional and academic programming languages and bring them to the masses. What are these features? This could be things like "pattern matching and sum types", or it could be things like "effect systems and dependent types". Personally I don't think you can reasonably call pattern matching an "innovative feature" from an "academic programming language", but as far as I can tell that's what they mean...