In 8 days, I will to release a language with context stacks like the ones Jai has. (Jai is the closed beta language by Jonathan Blow.) However, that alone is

In 8 days, I will to release a language with context stacks like the ones Jai has. (Jai is the closed beta language by Jonathan Blow.) However, that alone is not enough for what the article author wants because context stacks are a runtime concept. The problem with contexts as the author wants is that it only works where things can be statically determined. This means that the restrictions a function has should be part of its type. This can be done, but then you have a problem: your functions are essentially colored and/or you are dealing with the Java checked exceptions problem. The language that solves this, and avoids the function coloring and checked exceptions problem, would be adopted literally overnight. Needless to say, I am trying to do this in my language, but I am starting to think it may be impossible.