Discussed (just barely) in the past. Other threads?

Seed7 programming language - https://news.ycombinator.com/item?id=10544046 - Nov 2015 (3 comments)

Seed7 programming language - https://news.ycombinator.com/item?id=637224 - June 2009 (2 comments)