хочу язык, состоящий из CPS чуть менее чем полностью. Очень хочу. И вообще странно что его досихпор никто не запилил. Потому что идея сама по себе охуительна хотябы тем что по statetrace'у (дада, трейсится будет именно не stack а state, состояние тобишь) можно будет очень быстро локализовывать причины хотябы потому что для каждого состояния ОЧЕНЬ легко определить, какие данные оно исопльзует. Даже при наличии глобальных переменных. Даже при их умеренном использовании. А еще там вполне нативно на небольшом кол-ве сахара получится объектная модель. И тут самый большой минус. Потому что от ЕБАНУТЫХНАХУЙКАКВЖАВЕ,извиняюсь, иерархий классов (ровно как и от фимозных недопрограммеров) не спасет ничего.