Thanks for the link. Indeed a nice programming language proposal. I love the opinionated set of design principles https://flix.dev/principles/.

There is also a former thread on HN: https://news.ycombinator.com/item?id=25513397