On: We need less powerful languages (2015)

[maattdd]

Some people are already exploring this idea of "language subset".

For example, Dhall (https://dhall-lang.org/) could be seen as a subset of Haskell, with less features but guaranteed termination!