Considerations on Codecrafting - words are my own, not an LLM’s

Last August, I wrote a series of posts outlining my ideas and plans for my then-upcoming programming language 1SubML.

In 2020, I released Cubiml, a language based on Algebraic Subtyping, and earlier this year, I followed it up with PolySubML, extending it with polymorphic types.

This post is part 6 of a series.

This post is part 5 of a series.

This post is part 4 of a series.

This post is part 3 of a series.

This post is part 2 of a series.

In 2020, I released Cubiml, showing how to combine full type inference with structural subtyping in an ML-like language, and earlier this year, I followed it up with PolySubML, extending it with higher rank types and existential types among other features.

Ever since Stephen Dolan’s 2016 thesis Algebraic Subtyping showed how to combine type inference and subtyping, I’ve been developing increasingly sophisticated programming languages based on those ideas, first IntercalScript in 2019, then CubiML in 2020, P…

Programming languages typically support two different features for abbreviating complex types - type aliases and newtypes.