[cardanome]

Is there any programming language based on abstraction logic?

This is all a bit too abstract for me right now but seems interesting.

[practal]

There is nothing practically usable right now. I hope there will be before the end of the year. Algebraic effects seem an interesting feature to include from the start, they seem conceptually very close to abstraction algebra.